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