CVS commit: pkgsrc/lang/coq

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

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Thu Oct  9 22:19:01 UTC 2014

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

Log Message:
Revbump because of ocaml 4.02, added compilation patch (already in
repository upstream) and updated package to use ocaml.mk framework.


To generate a diff of this commit:
cvs rdiff -u -r1.76 -r1.77 pkgsrc/lang/coq/Makefile
cvs rdiff -u -r1.14 -r1.15 pkgsrc/lang/coq/PLIST
cvs rdiff -u -r1.19 -r1.20 pkgsrc/lang/coq/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/coq/patches/patch-kernel_univ.ml

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