diff options
Diffstat (limited to 'app-sci/coq/Manifest')
-rw-r--r-- | app-sci/coq/Manifest | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest index c43bdba1b245..7e03b17f30d0 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,11 +1,11 @@ -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 9c70a98ad448402faff529a8287f7dca ChangeLog 1306 +MD5 7dbc14bf6765d9a269a437af3cd571c2 coq-7.4.ebuild 971 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64 +MD5 8374a27627b8d9a2c3e867eb5dc53621 coq-8.0-r1.ebuild 1939 +MD5 872ac2c5458a025d58c8455aa0b5cfad coq-8.0.ebuild 1913 +MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 -MD5 86922705a72292e7508baae5bc75e2a3 files/digest-coq-8.0 130 +MD5 dc0f737371101bc7c97b0a80165ddac6 files/digest-coq-8.0-r1 136 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 |