Gentoo Packages

Search

Package Information

Description:

<pkg>sci-mathematics/sha1-polyml</pkg> is the implementation of SHA1 taken from the GNU coreutils package as described in the <pkg>sci-mathematics/sha1-polyml</pkg> README.

Homepage:

https://isabelle.in.tum.de/

License:

GPL-3

Versions

Metadata

Description

• <pkg>sci-mathematics/sha1-polyml</pkg> is the implementation of SHA1 taken from the GNU coreutils package as described in the <pkg>sci-mathematics/sha1-polyml</pkg> README.

Maintainers

• Gentoo Mathematics Project (sci-mathematics@gentoo.org) - Type: project

<pkgmetadata>
	<maintainer type="project">
		<email>sci-mathematics@gentoo.org</email>
		<name>Gentoo Mathematics Project</name>
	</maintainer>
	<longdescription lang="en">
    <pkg>sci-mathematics/sha1-polyml</pkg> is the implementation of SHA1 taken from
    the GNU coreutils package as described in the <pkg>sci-mathematics/sha1-polyml</pkg>
    README.
  </longdescription>
</pkgmetadata>

Lint Warnings

• [Warning] Missing md5-cache for version 5.9. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

Manifest