lwhsu 2007-06-01 14:35:25 UTC
FreeBSD ports repository
Modified files:
math/cvcl Makefile
Log:
- Mark BROKEN for gcc 4.2
- Mark DEPRECATED, this project is replaced by CVC3 (math/cvc3)
- Set EXPIRATION_DATE to 2007-06-30
Revision Changes Path
1.4 +10 -1 ports/math/cvcl/Makefile