diff options
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 46bce0304cc..b7ef051cad8 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,6 +1,7 @@ -$NetBSD: distinfo,v 1.6 2007/02/25 15:03:52 tonio Exp $ +$NetBSD: distinfo,v 1.7 2007/12/01 13:05:36 tonio Exp $ -SHA1 (coq-8.1.tar.gz) = 151aca5b7c919eeb39ba3c6fecec836b7953b206 -RMD160 (coq-8.1.tar.gz) = 548d2e25e7813567252f9b176f318619a780d729 -Size (coq-8.1.tar.gz) = 2977142 bytes -SHA1 (patch-aa) = 4cc1fdee8074aaa3d1af24151c2d2277522ec9bc +SHA1 (coq-8.1pl2.tar.gz) = 33ab31abffe42559a5c8341b66a0520805337526 +RMD160 (coq-8.1pl2.tar.gz) = e45451fdd41b1f979febcfb2c0dbd19a39d09256 +Size (coq-8.1pl2.tar.gz) = 2997185 bytes +SHA1 (patch-aa) = 4a518e52aea4a2e239754b6a8123b9a2fdaefa00 +SHA1 (patch-ab) = b252096b0bef5fee0a2f719ddc17021fd013ed64 |