MD5 1e1b2a26dc57dbb1765cbb2b553d398c ChangeLog 1399
MD5 2559fb0ebf76645f855752a3a18fa7d2 coq-7.4.ebuild 975
MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238
MD5 4b3e22466363130a7a799228534043a2 coq-8.0.ebuild 1910
MD5 10df3ee1a69584eddf40eb9ad0493471 coq-8.0-r1.ebuild 1948
MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60
MD5 393c3085f82f205122b4e66c94232ff7 files/ocaml-3.07.patch 333
MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676
MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242
MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130
MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136