diff options
| author | agc <agc> | 2005-02-24 09:03:05 +0000 |
|---|---|---|
| committer | agc <agc> | 2005-02-24 09:03:05 +0000 |
| commit | a7bf25d976f72087f264ac9a6a8ba2a140870546 (patch) | |
| tree | c9f60b5bd7ea5ceabad536398c5bc831195c0860 /lang/coq/distinfo | |
| parent | 28027d3e61d71072242120f619fe698a76e30d55 (diff) | |
| download | pkgsrc-a7bf25d976f72087f264ac9a6a8ba2a140870546.tar.gz | |
Add RMD160 digests
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 015a9efacf6..833eb4c4db4 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,5 +1,6 @@ -$NetBSD: distinfo,v 1.2 2005/02/05 11:19:02 adrianp Exp $ +$NetBSD: distinfo,v 1.3 2005/02/24 09:03:06 agc Exp $ SHA1 (coq-8.0pl2.tar.gz) = 58d0c054c9b50ef12b462f97df2424ee3baa25ab +RMD160 (coq-8.0pl2.tar.gz) = ead90ff5957ccc9cbcd0f3769b75a7fb440b383b Size (coq-8.0pl2.tar.gz) = 2285855 bytes SHA1 (patch-aa) = e62e14729a2dacd7e6e9aa4418c911b34cc4aee5 |