openbsd-ports/math/coq
2008-01-04 17:48:33 +00:00
..
patches
pkg new style PLISTs 2004-09-15 09:11:58 +00:00
distinfo base64 checksums. 2007-04-05 16:19:55 +00:00
Makefile tweak FAKE_FLAGS semantics to saner defaults. 2008-01-04 17:48:33 +00:00