diff options
| author | tonio <tonio> | 2006-01-16 14:34:34 +0000 |
|---|---|---|
| committer | tonio <tonio> | 2006-01-16 14:34:34 +0000 |
| commit | 6e9ac26a1b263654cbb0545f8fdda4b101b6833a (patch) | |
| tree | 2f627901ae87874a5b180176a6f9a028b862d438 /lang/coq/distinfo | |
| parent | 84448341008be0c60c2e1f0730fde3323fc65709 (diff) | |
| download | pkgsrc-6e9ac26a1b263654cbb0545f8fdda4b101b6833a.tar.gz | |
Make lang/coq compile with ocaml 3.09
by applying the patch distributed by the coq team
Bump PKGREVISION, and require ocaml >= 3.09
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 833eb4c4db4..16f0de12fae 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,6 +1,6 @@ -$NetBSD: distinfo,v 1.3 2005/02/24 09:03:06 agc Exp $ +$NetBSD: distinfo,v 1.4 2006/01/16 14:34:34 tonio 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 +SHA1 (patch-aa) = 1e2592d494be250de76debfb79687611d4b7b870 |