diff options
| author | tonio <tonio> | 2007-12-01 13:05:36 +0000 |
|---|---|---|
| committer | tonio <tonio> | 2007-12-01 13:05:36 +0000 |
| commit | 9f3ec11bc21cb52de387109f53ad5dadef0cb74e (patch) | |
| tree | 58be7b9689795793c7fa6f30f3af022bdc4e049a /lang/coq/distinfo | |
| parent | 4a077e51eaf2d15f41a25b3c51f872c838d85ef0 (diff) | |
| download | pkgsrc-9f3ec11bc21cb52de387109f53ad5dadef0cb74e.tar.gz | |
Update lang/coq to 8.2pl2
As camlp5 is required with ocaml 3.10, bring it as a dependency anyway,
instead of requiring ocaml 3.10
Changes include:
* Installation
- Support for compilation with ocaml 3.10 and (transitional) camlp5.
- Many bugs have been fixed (cf coq-bugs web page)
- All known failures of ROmega have been fixed. It should now be a
faithful and quicker replacement for Omega (except when nat parts
are involved). ROmega and Omega now handle <->.
- Better computational behavior of some constants (eq_nat_dec and
le_lt_dec more efficient, Z_lt_le_dec and Positive_as_OT.compare
transparent) [exceptionally source of incompatibilities].
- Loading FSets/FMap used to open unwanted scopes of integer datatypes
(see bug #1347). These scopes may need to be manually opened now.
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 |