openbsd-ports/math/coq/patches
chrisz 3eeef006f1 Upgrade to 8.10beta2, which supports OCaml 4.08.
no objections krw@, please commit daniel@
2019-09-06 22:10:18 +00:00
..
patch-configure_ml Upgrade to 8.10beta2, which supports OCaml 4.08. 2019-09-06 22:10:18 +00:00
patch-Makefile_ide Upgrade to 8.10beta2, which supports OCaml 4.08. 2019-09-06 22:10:18 +00:00