Up to [cvs.NetBSD.org] / pkgsrc / lang / coq
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: pkgsrc-2014Q4
Revision 1.77 / (download) - annotate - [select for diffs], Thu Oct 9 22:19:01 2014 UTC (9 years, 5 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2014Q4-base,
pkgsrc-2014Q4
Changes since 1.76: +6 -8
lines
Diff to previous 1.76 (colored)
Revbump because of ocaml 4.02, added compilation patch (already in repository upstream) and updated package to use ocaml.mk framework.