sem 2004-12-20 21:37:52 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile
Log:
- 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
Revision Changes Path
1.4 +1 -2 ports/math/coq/Makefile