MD5 f7362fd7ee6b7239ea9b2fc4119e7ce6 coq-8.0_beta.ebuild 957
MD5 dcfaeb126d2f6d629b7bb08dad938493 coq-8.0.ebuild 1890
MD5 4086c425a9d17c6e54e23201184e90ec coq-7.4.ebuild 948
MD5 9aff6bfd98e9836736a5cab5a0a31986 ChangeLog 1070
MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64
MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60
MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130
MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242