diff options
Diffstat (limited to 'app-sci/coq')
| -rw-r--r-- | app-sci/coq/Manifest | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/app-sci/coq/Manifest b/app-sci/coq/Manifest index f78f083981e0..1e5f7e90f36c 100644 --- a/app-sci/coq/Manifest +++ b/app-sci/coq/Manifest @@ -1,6 +1,6 @@ -MD5 588d37ebbb81a0f0e9d777a3908b2701 coq-8.0_beta.ebuild 960 -MD5 5b3bd95c81c08df116223beb9ca0de4f coq-7.4.ebuild 976 -MD5 8ea318dfb8fa73049a3d5b26257daba7 ChangeLog 467 +MD5 c25ef19759211220c56f31d63ebec8cb coq-8.0_beta.ebuild 964 +MD5 7bed781998338f06983c76af53dd425d coq-7.4.ebuild 974 +MD5 95671e452c7ebef2ea2fb0ed1119e725 ChangeLog 702 MD5 5af6b26df9264817e5b6a292c1436417 metadata.xml 238 MD5 73c401b2052bccdc88677bf5be2d453f files/digest-coq-8.0_beta 64 MD5 d3f33f3602d82ea691f91b062dbf236b files/digest-coq-7.4 60 |