openbsd-ports/math/coq
2005-08-09 22:50:15 +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 SIZE 2005-01-05 17:05:00 +00:00
Makefile this version doesn't work with ocaml 3.08, mark it as broken. 2005-08-09 22:50:15 +00:00