diff options
| author | adrianp <adrianp> | 2005-02-05 11:19:02 +0000 |
|---|---|---|
| committer | adrianp <adrianp> | 2005-02-05 11:19:02 +0000 |
| commit | 1d851f6413455122c80cebad56b7b764385f2f65 (patch) | |
| tree | 4fc13b95350b38f54609dff84f0973f3a3f16f4f /lang/coq/distinfo | |
| parent | 24881625d0ad96b2e711f886610d01936397694f (diff) | |
| download | pkgsrc-1d851f6413455122c80cebad56b7b764385f2f65.tar.gz | |
- Update of coq from 7.4 to 8.0pl2
- Initial patches supplied by Antoine Reilles, thanks !
- Lots of changes/fixes/updates, see: CHANGES
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index a23e80062a0..015a9efacf6 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,5 +1,5 @@ -$NetBSD: distinfo,v 1.1.1.1 2003/03/22 20:21:17 kristerw Exp $ +$NetBSD: distinfo,v 1.2 2005/02/05 11:19:02 adrianp Exp $ -SHA1 (coq-7.4.tar.gz) = 82fe0094cde8a766e3ba0a77c731b4ef2345a41b -Size (coq-7.4.tar.gz) = 1537547 bytes -SHA1 (patch-aa) = ce59dda44ac5f81834f9f60a7f87524c90f6cb6e +SHA1 (coq-8.0pl2.tar.gz) = 58d0c054c9b50ef12b462f97df2424ee3baa25ab +Size (coq-8.0pl2.tar.gz) = 2285855 bytes +SHA1 (patch-aa) = e62e14729a2dacd7e6e9aa4418c911b34cc4aee5 |