Sat Apr 20 08:21:49 2013 UTC ()
Updated package to the latest version, 8.4pl2. Changes include:

Bug fixes
- Solved bugs :
  #2466 #2629 #2668 #2750 #2839 #2869 #2954 #2955 #2959 #2962 #2966 #2967
  #2969 #2970 #2975 #2976 #2977 #2978 #2981 #2983 #2995 #3000 #3004 #3008
- Partially fixed bugs : #2830 #2949
- Coqtop should now react more reliably when receiving interrupt signals:
  all the "try...with" constructs have been protected against undue
  handling of the Sys.Break exception.

Coqide
- The Windows-specific code handling the interrupt button of Coqide
  had to be reworked (cf. bug #2869). Now, in Win32 this button does
  not target a specific coqtop client, but instead sends a Ctrl-C to
  any process sharing its console with Coqide. To avoid awkward
  effects, it is recommended to launch Coqide via its icon, its menu,
  or in a dedicated console window.

Extraction
- The option Extraction AccessOpaque is now set by default,
  restoring compatibility of older versions of Coq (cf bug #2952).


(jaapb)
diff -r1.58 -r1.59 pkgsrc/lang/coq/Makefile
diff -r1.15 -r1.16 pkgsrc/lang/coq/distinfo
cvs diff -r1.58 -r1.59 pkgsrc/lang/coq/Makefile (expand / switch to unified diff)

--- pkgsrc/lang/coq/Makefile 2013/02/16 11:22:51 1.58
+++ pkgsrc/lang/coq/Makefile 2013/04/20 08:21:49 1.59
@@ -1,18 +1,17 @@ @@ -1,18 +1,17 @@
1# $NetBSD: Makefile,v 1.58 2013/02/16 11:22:51 wiz Exp $ 1# $NetBSD: Makefile,v 1.59 2013/04/20 08:21:49 jaapb Exp $
2# 2#
3 3
4DISTNAME= coq-8.4pl1 4DISTNAME= coq-8.4pl2
5PKGREVISION= 3 
6CATEGORIES= lang math 5CATEGORIES= lang math
7MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ 6MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/
8 7
9MAINTAINER= jaapb@NetBSD.org 8MAINTAINER= jaapb@NetBSD.org
10HOMEPAGE= http://coq.inria.fr/ 9HOMEPAGE= http://coq.inria.fr/
11COMMENT= Theorem prover which extracts programs from proofs 10COMMENT= Theorem prover which extracts programs from proofs
12LICENSE= gnu-lgpl-v2.1 11LICENSE= gnu-lgpl-v2.1
13 12
14USE_TOOLS+= gmake 13USE_TOOLS+= gmake
15HAS_CONFIGURE= yes 14HAS_CONFIGURE= yes
16CONFIGURE_ARGS+= -prefix ${PREFIX} 15CONFIGURE_ARGS+= -prefix ${PREFIX}
17CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp 16CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp
18CONFIGURE_ARGS+= -mandir ${PREFIX}/${PKGMANDIR} 17CONFIGURE_ARGS+= -mandir ${PREFIX}/${PKGMANDIR}
cvs diff -r1.15 -r1.16 pkgsrc/lang/coq/distinfo (expand / switch to unified diff)

--- pkgsrc/lang/coq/distinfo 2013/01/22 15:32:03 1.15
+++ pkgsrc/lang/coq/distinfo 2013/04/20 08:21:49 1.16
@@ -1,6 +1,6 @@ @@ -1,6 +1,6 @@
1$NetBSD: distinfo,v 1.15 2013/01/22 15:32:03 jaapb Exp $ 1$NetBSD: distinfo,v 1.16 2013/04/20 08:21:49 jaapb Exp $
2 2
3SHA1 (coq-8.4pl1.tar.gz) = 23d403dbe9e410a99c584d0210dc527950051679 3SHA1 (coq-8.4pl2.tar.gz) = adcef430b8e27663e8ea075e646112f7d4d51fa6
4RMD160 (coq-8.4pl1.tar.gz) = fa472852de474ed5b83ddd4bd5a303f32b5dba94 4RMD160 (coq-8.4pl2.tar.gz) = 4860eaff4c8f0a235d3fcf162199eaa5fe1db2da
5Size (coq-8.4pl1.tar.gz) = 4139808 bytes 5Size (coq-8.4pl2.tar.gz) = 4145112 bytes
6SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4 6SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4