openbsd-ports/math/coq
2007-04-05 16:19:55 +00:00
..
patches
pkg
distinfo base64 checksums. 2007-04-05 16:19:55 +00:00
Makefile this version doesn't work with ocaml 3.08, mark it as broken. 2005-08-09 22:50:15 +00:00