diff options
| author | jaapb <jaapb> | 2013-04-20 08:21:49 +0000 |
|---|---|---|
| committer | jaapb <jaapb> | 2013-04-20 08:21:49 +0000 |
| commit | 216e514fc3a33c9027470a458d9b979a04881790 (patch) | |
| tree | 46fab5aa96e4a202868af1e83a5ea8ff5bd335ac /lang/coq/distinfo | |
| parent | 5e411a9b54385b8ef83594a4df0d41bfe17f99b7 (diff) | |
| download | pkgsrc-216e514fc3a33c9027470a458d9b979a04881790.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/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 8 |
1 files changed, 4 insertions, 4 deletions
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 |