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

DIST acl2.tar.gz 11699557 RMD160 622dbef91b3af8d75a99cc482ca240a20cc8af0a SHA1 75c24b3fc6b1ca0e7a4163fd47088eca3b0c1104 SHA256 0f727b44257640346dc6eecc046f339b171676e79c31883535281e61bbfca077