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
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
