diff options
| author | jaapb <jaapb@pkgsrc.org> | 2013-01-22 15:32:03 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2013-01-22 15:32:03 +0000 |
| commit | 1451ec9438c33c4db2a7235b32feb5640279aa84 (patch) | |
| tree | fb94a1691cdc2120639cad871a9f1439288b1eda /lang/coq/distinfo | |
| parent | 6365c993122ad9ed7279b696b371d8a716147b2e (diff) | |
| download | pkgsrc-1451ec9438c33c4db2a7235b32feb5640279aa84.tar.gz | |
Updated lang/coq to the newest version, 8.4pl1. Changes include:
Bug fixes
- Solved bugs :
#2851 #2863 #2865 #2893 #2895 #2892 #2905 #2906 #2907 #2917 #2921
#2930 #2941 #2878
- Partially fixed bug : #2904
- Various fixes concerning coq_makefile
Optimizations
- "Union by rank" optimization for universes contributed by J.H. Jourdan
and G. Sherrer (see union-find-and-coq-universes on gagallium blog).
Libraries
- Internal organisation of some modular libraries have slightly changed
due to bug #2904 (GenericMinMax, OrdersTac)
- No more constant "int" in ZArith/Int.v to avoid name clash with OCaml
(cf bug #2878).
Coqide
- Improved shutdown of coqtop processes spawned by coqide
(in particular added a missing close_on_exec primitive before forking).
- On windows, launching coqide with the -debug option now produces
a log file in the user's temporary directory. The location of this
log file is displayed in the "About" message.
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index b528bb8eff2..364220336c5 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,8 +1,6 @@ -$NetBSD: distinfo,v 1.14 2012/10/29 11:33:17 jaapb Exp $ +$NetBSD: distinfo,v 1.15 2013/01/22 15:32:03 jaapb Exp $ -SHA1 (coq-8.4.tar.gz) = 2987aa418dd96a0df7284afe296293cb28814ef5 -RMD160 (coq-8.4.tar.gz) = 6824f9542c823c7d943a59acefb90ff9c9dbe37a -Size (coq-8.4.tar.gz) = 4134779 bytes +SHA1 (coq-8.4pl1.tar.gz) = 23d403dbe9e410a99c584d0210dc527950051679 +RMD160 (coq-8.4pl1.tar.gz) = fa472852de474ed5b83ddd4bd5a303f32b5dba94 +Size (coq-8.4pl1.tar.gz) = 4139808 bytes SHA1 (patch-Makefile.build) = 3fa72d701a80f363ef637e3cbd0e4c2d410da6c4 -SHA1 (patch-ide_preferences.ml) = 625b8e7fe7b4f1612c7f43bd634070aff928fdfb -SHA1 (patch-ide_utils_okey.ml) = d61ad0e2ea23c531bb4f5e9540f8581a72b54da8 |