openbsd-ports/math/coq
2007-04-05 16:19:55 +00:00
..
patches Update to 7.3.1 and unbreak. 2002-11-04 21:10:44 +00:00
pkg new style PLISTs 2004-09-15 09:11:58 +00:00
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