openbsd-ports/math/coq
2018-05-20 08:25:36 +00:00
..
patches Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep 2016-06-24 15:59:11 +00:00
pkg this does need the emacs dirs 2018-05-20 08:25:36 +00:00
distinfo
Makefile this does need the emacs dirs 2018-05-20 08:25:36 +00:00