diff options
author | jaapb <jaapb@pkgsrc.org> | 2013-04-20 08:21:49 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2013-04-20 08:21:49 +0000 |
commit | a866ea274d212cfce343dafbf9f8cf4ac9545ca7 (patch) | |
tree | 46fab5aa96e4a202868af1e83a5ea8ff5bd335ac /lang/coq | |
parent | e14f8d8977867ee673ed5ac55b8707dd61d6ef3a (diff) | |
download | pkgsrc-a866ea274d212cfce343dafbf9f8cf4ac9545ca7.tar.gz |
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).
Diffstat (limited to 'lang/coq')
-rw-r--r-- | lang/coq/Makefile | 5 | ||||
-rw-r--r-- | lang/coq/distinfo | 8 |
2 files changed, 6 insertions, 7 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 219db563f5e..9f9eb87eeb4 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,7 @@ -# $NetBSD: Makefile,v 1.58 2013/02/16 11:22:51 wiz Exp $ +# $NetBSD: Makefile,v 1.59 2013/04/20 08:21:49 jaapb Exp $ # -DISTNAME= coq-8.4pl1 -PKGREVISION= 3 +DISTNAME= coq-8.4pl2 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 364220336c5..92db7e2bdb8 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,6 +1,6 @@ -$NetBSD: distinfo,v 1.15 2013/01/22 15:32:03 jaapb Exp $ +$NetBSD: distinfo,v 1.16 2013/04/20 08:21:49 jaapb Exp $ -SHA1 (coq-8.4pl1.tar.gz) = 23d403dbe9e410a99c584d0210dc527950051679 -RMD160 (coq-8.4pl1.tar.gz) = fa472852de474ed5b83ddd4bd5a303f32b5dba94 -Size (coq-8.4pl1.tar.gz) = 4139808 bytes +SHA1 (coq-8.4pl2.tar.gz) = adcef430b8e27663e8ea075e646112f7d4d51fa6 +RMD160 (coq-8.4pl2.tar.gz) = 4860eaff4c8f0a235d3fcf162199eaa5fe1db2da +Size (coq-8.4pl2.tar.gz) = 4145112 bytes SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4 |