CVS commit: pkgsrc/lang/coq

["Jaap Boender" <jaapb%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Tue Jan 22 15:32:03 UTC 2013

Modified Files:
        pkgsrc/lang/coq: Makefile distinfo
Removed Files:
        pkgsrc/lang/coq/patches: patch-ide_preferences.ml
            patch-ide_utils_okey.ml

Log Message:
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.


To generate a diff of this commit:
cvs rdiff -u -r1.53 -r1.54 pkgsrc/lang/coq/Makefile
cvs rdiff -u -r1.14 -r1.15 pkgsrc/lang/coq/distinfo
cvs rdiff -u -r1.1 -r0 pkgsrc/lang/coq/patches/patch-ide_preferences.ml \
    pkgsrc/lang/coq/patches/patch-ide_utils_okey.ml

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.