cvs commit: ports/math/coq Makefile distinfo pkg-plist
ports/math/coq/files ide-coqide.diff patch-coq-camlp5-605
Johan van Selst
johans at FreeBSD.org
Sun Mar 25 09:21:06 UTC 2012
johans 2012-03-25 09:21:05 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile distinfo pkg-plist
Added files:
math/coq/files patch-coq-camlp5-605
Removed files:
math/coq/files ide-coqide.diff
Log:
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag
Feature safe: yes
Revision Changes Path
1.33 +1 -5 ports/math/coq/Makefile
1.14 +2 -2 ports/math/coq/distinfo
1.2 +0 -47 ports/math/coq/files/ide-coqide.diff (dead)
1.1 +357 -0 ports/math/coq/files/patch-coq-camlp5-605 (new)
1.12 +1 -0 ports/math/coq/pkg-plist
More information about the cvs-ports
mailing list