DEFINED_PHASES=compile install prepare test DESCRIPTION=implementation of SHA1 is taken from the GNU coreutils package EAPI=5 HOMEPAGE=http://isabelle.in.tum.de/ KEYWORDS=~amd64 ~x86 LICENSE=GPL-3 SLOT=0 SRC_URI=http://isabelle.in.tum.de/components/polyml-5.5.0.tar.gz _eclasses_=multilib d410501a125f99ffb560b0c523cd3d1e toolchain-funcs 1a94dc06d324bd0dab754e11abe6d27e _md5_=549f4eafce90224bdb416841df1ff0dd