summaryrefslogtreecommitdiff
path: root/lang/coq
diff options
context:
space:
mode:
authoragc <agc@pkgsrc.org>2005-02-24 09:03:05 +0000
committeragc <agc@pkgsrc.org>2005-02-24 09:03:05 +0000
commit475ab002d71ac31e718bfd49de7ccc7ff66d87ec (patch)
treec9f60b5bd7ea5ceabad536398c5bc831195c0860 /lang/coq
parent6a7b3846353de18d7d68d0af328440c5881b805b (diff)
downloadpkgsrc-475ab002d71ac31e718bfd49de7ccc7ff66d87ec.tar.gz
Add RMD160 digests
Diffstat (limited to 'lang/coq')
-rw-r--r--lang/coq/distinfo3
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