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 | 34accd8f4dccb1479537bfc4dfe040a83cee7a95 (patch) | |
tree | 46fab5aa96e4a202868af1e83a5ea8ff5bd335ac /lang/coq/Makefile | |
parent | ffbba888c2404853bbab17f3a7f77b55cb2a2a8e (diff) | |
download | pkgsrc-34accd8f4dccb1479537bfc4dfe040a83cee7a95.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/Makefile')
-rw-r--r-- | lang/coq/Makefile | 5 |
1 files changed, 2 insertions, 3 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/ |