Information for sha1-polyml

Versions

• 5.9

Package names

• sha1-polyml

Repositories

• Gentoo
• LiGurOS stable
• LiGurOS develop

Categories

• sci-mathematics

Licenses

• GPL-3

Summaries

• implementation of SHA1 is taken from the GNU coreutils package

Maintainers

• gienah@gentoo.org
• sci-mathematics@gentoo.org

• Group email

Homepage links

• https://isabelle.in.tum.de/^{ok, no IPv6}

All package recipes

• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/sha1-polyml/sha1-polyml-5.9.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/sha1-polyml/sha1-polyml-5.9.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/sha1-polyml/sha1-polyml-5.9.ebuild^ok

Downloads

• https://isabelle.in.tum.de/components/polyml-5.9.tar.gz^{ok, no IPv6}