CVS commit: pkgsrc/lang/coq

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Sat Feb  6 16:08:36 UTC 2016

Modified Files:
        pkgsrc/lang/coq: Makefile PLIST distinfo
        pkgsrc/lang/coq/patches: patch-Makefile.build
Added Files:
        pkgsrc/lang/coq/patches: patch-Makefile.common patch-configure.ml

Log Message:
Updated package to latest version, 8.5. The changeset is over 500 lines
long, so I will not include it here, but details can be found in the
CHANGES file in the source. (the previous version was V8.4.)


To generate a diff of this commit:
cvs rdiff -u -r1.84 -r1.85 pkgsrc/lang/coq/Makefile
cvs rdiff -u -r1.17 -r1.18 pkgsrc/lang/coq/PLIST
cvs rdiff -u -r1.23 -r1.24 pkgsrc/lang/coq/distinfo
cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/coq/patches/patch-Makefile.build
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/coq/patches/patch-Makefile.common \
    pkgsrc/lang/coq/patches/patch-configure.ml

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