sci-mathematics/
sha1-polyml

implementation of SHA1 is taken from the GNU coreutils package

http://isabelle.in.tum.de/

Available Versions

Version amd64 x86 alpha arm hppa ia64 ppc ppc64 sparc
5.5.0 : 0 ~amd64 ~x86 ?alpha ?arm ?hppa ?ia64 ?ppc ?ppc64 ?sparc

Package Metadata

Changelog