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.