diff options
| author |   Jason Wever <weeve@gentoo.org> | 2006-05-03 01:10:42 +0000 |
|---|---|---|
| committer | Jason Wever <weeve@gentoo.org> | 2006-05-03 01:10:42 +0000 |
| commit | e2415fbc851b7f4ed2008c6ea62b806a9bc1b043 (patch) | |
| tree | e36751a4efba27bce2611f9814812975ba621b4a /sci-mathematics/coq/files/digest-coq-8.0-r1 | |
| parent | Stable on SPARC. (diff) | |
| download | historical-e2415fbc851b7f4ed2008c6ea62b806a9bc1b043.tar.gz historical-e2415fbc851b7f4ed2008c6ea62b806a9bc1b043.tar.bz2 historical-e2415fbc851b7f4ed2008c6ea62b806a9bc1b043.zip | |
Stable on SPARC.
Package-Manager: portage-2.1_pre10-r2
Diffstat (limited to 'sci-mathematics/coq/files/digest-coq-8.0-r1')
| -rw-r--r-- | sci-mathematics/coq/files/digest-coq-8.0-r1 | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/sci-mathematics/coq/files/digest-coq-8.0-r1 b/sci-mathematics/coq/files/digest-coq-8.0-r1 index 73335eb85772..ce6925235d8c 100644 --- a/sci-mathematics/coq/files/digest-coq-8.0-r1 +++ b/sci-mathematics/coq/files/digest-coq-8.0-r1 @@ -1,2 +1,6 @@ -MD5 95237e64081d7306fdea49e1988bde12 coq-8.0pl1.tar.gz 2272613 MD5 58a3c3c6e3903b0267857d283047c7e3 coq-8.0pl1-translator.tar.gz 233233 +RMD160 dc241dcd596e5c667a4e8295eb44f23cbfef432e coq-8.0pl1-translator.tar.gz 233233 +SHA256 baea2c89f52c06062b3c38d3cd9367206dcbb7728a0315d1d2ce49524f4aa340 coq-8.0pl1-translator.tar.gz 233233 +MD5 95237e64081d7306fdea49e1988bde12 coq-8.0pl1.tar.gz 2272613 +RMD160 e8437bc84e130757ae4bc46b832a95c0ea655da3 coq-8.0pl1.tar.gz 2272613 +SHA256 e90955b200b1bd64093eeebbad173d1228ea9d88aea0615a28de08782024be33 coq-8.0pl1.tar.gz 2272613 |