diff options
| -rw-r--r-- | sci-mathematics/coq/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index ffe021bfb349..82800cbe73e6 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -1,7 +1,7 @@ -MD5 d1148834f222c85f7d9ceb9f424ea4f5 ChangeLog 2405 +MD5 33ed2f313933f2c53cc6a9033b3248eb ChangeLog 2405 MD5 cb991d5ec534868ff853690657f2e104 coq-8.0-r1.ebuild 2069 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 -MD5 22f6d6388ee273fe4ea23d6a27bc39f5 coq-8.0_p3.ebuild 2054 +MD5 3c5fa38730258cd884b0156b4a8ad519 coq-8.0_p3.ebuild 2054 MD5 5d46723c29afcd1e24e529e5993c3096 files/coq-8.0-byteflags.patch 676 MD5 02ac210c6af5d8e258a2805a22822a8b files/coq-8.0-ocaml-3.08.1.patch 1321 MD5 e5491c930f8f944ed9c3590fdc8492c1 files/coqide.desktop 242 |