gienah@gentoo.org
Mark Wright
sci-mathematics@gentoo.org
Gentoo Mathematics Project
sci-mathematics/sha1-polyml is the implementation of SHA1 taken from
the GNU coreutils package as described in the sci-mathematics/sha1-polyml
README. It is required by sci-mathematics/isabelle.