freebsd-ports/math/coq
Sergey Matveychuk 45f9d23248 - Unbreak on amd64
(Johan van Selst succesfully ran the test-suite
  on an amd64 running 6-CURRENT and ocaml-3.08.2)

PR:		ports/75334
Submitted by:	maintainer
2004-12-20 21:37:52 +00:00
..
distinfo
Makefile - Unbreak on amd64 2004-12-20 21:37:52 +00:00
pkg-descr
pkg-plist