diff options
Diffstat (limited to 'lang/coq/distinfo')
-rw-r--r-- | lang/coq/distinfo | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo new file mode 100644 index 00000000000..a23e80062a0 --- /dev/null +++ b/lang/coq/distinfo @@ -0,0 +1,5 @@ +$NetBSD: distinfo,v 1.1.1.1 2003/03/22 20:21:17 kristerw Exp $ + +SHA1 (coq-7.4.tar.gz) = 82fe0094cde8a766e3ba0a77c731b4ef2345a41b +Size (coq-7.4.tar.gz) = 1537547 bytes +SHA1 (patch-aa) = ce59dda44ac5f81834f9f60a7f87524c90f6cb6e |