Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2016-02-06 17:08:36
Message id: 20160206160836.D8CDCFBB7@cvs.NetBSD.org

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.)

Files:
RevisionActionfile
1.85modifypkgsrc/lang/coq/Makefile
1.18modifypkgsrc/lang/coq/PLIST
1.24modifypkgsrc/lang/coq/distinfo
1.3modifypkgsrc/lang/coq/patches/patch-Makefile.build
1.1addpkgsrc/lang/coq/patches/patch-Makefile.common
1.1addpkgsrc/lang/coq/patches/patch-configure.ml