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

DIST acl2-7.1.tar.gz 63345284 SHA256 1a8503095a4e1deb6a6b0f3bc51823ba65cad38466def8d6845f193d73338f9d SHA512 5875b88615930fc841cd1d7ed30ada7c04b241a391eeee22184b4e3630e57cc6304a51e445e33ca1284576c2b4110c269f9eb59c47bd2eb47659134450151e27 WHIRLPOOL 632012e3d8998c67f70cd19b8fa7c7ff8000dbdba2d87dfdd56d5b4b39ebb390503d243e051c308c8a5aea0097bb48fa4e5c510b24478886a4a8bfca2c8d0645