Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
aboutsummaryrefslogtreecommitdiff
path: root/sci-mathematics/acl2/Manifest
blob: abf3d42ae211d8c9091d68e84a8cc2baa1828f53 (plain) 
1

DIST acl2-7.0.tar.gz 58301172 SHA256 dbbe63ddbe342072fa0504e05f9e02fb01bb654b6befcc1e34ba7ceab2b1e0eb SHA512 25746df91de3b418d0be8f5b6aa906b5456eb95e46745362f4c8697cd5dc57ad44fa25151ebffa6ad3efc28efd9ecdb830dedc136c79082d3fbc71e9393fa2cc WHIRLPOOL 1b7232d0c7c9c68bd3ee8bfc9d2a6547e533dfac5681313e513f7f72bc4aff6a727f36b1704020c21f2d44a8bf36baac91ac411633ff67cf7a3f46071e671fa8