Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2014-10-10 00:19:01
Message id: 20141009221901.541A298@cvs.netbsd.org
Log Message:
Revbump because of ocaml 4.02, added compilation patch (already in
repository upstream) and updated package to use ocaml.mk framework.
Files:
RevisionActionfile
1.77modifypkgsrc/lang/coq/Makefile
1.15modifypkgsrc/lang/coq/PLIST
1.20modifypkgsrc/lang/coq/distinfo
1.1addpkgsrc/lang/coq/patches/patch-kernel_univ.ml