Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-sci/coq/files/digest-coq-8.0-r1
blob: 73335eb8577249ff265800cdd215b20550dda21a (plain) 
1
2

MD5 95237e64081d7306fdea49e1988bde12 coq-8.0pl1.tar.gz 2272613
MD5 58a3c3c6e3903b0267857d283047c7e3 coq-8.0pl1-translator.tar.gz 233233