MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60
MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64
MD5 95671e452c7ebef2ea2fb0ed1119e725 ChangeLog 702
MD5 3149d38c8c2ff538bcce27f663103547 coq-7.4.ebuild 954
MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
MD5 c25ef19759211220c56f31d63ebec8cb coq-8.0_beta.ebuild 964