Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq/files/digest-coq-8.1_p1
blob: 4b3934caab8aa0723b8195859665cc58b59bf8fa (plain) 
1
2
3

MD5 4d0e393b6c62bb4508aa454878c9e8ab coq-8.1pl1.tar.gz 2984726
RMD160 9982d2022abfb2f74dc34cdc6cdd25343f5cb583 coq-8.1pl1.tar.gz 2984726
SHA256 04ffc9c5a31953af6294753118dbb2e41b6aa5aaa5a41f7cf2648afff98f4940 coq-8.1pl1.tar.gz 2984726