Li-Wen Hsu 9e16bde814 - Mark BROKEN for gcc 4.2 ... - Mark DEPRECATED, this project is replaced by CVC3 (math/cvc3) - Set EXPIRATION_DATE to 2007-06-30		2007-06-01 14:35:25 +00:00
..
files
distinfo
Makefile	- Mark BROKEN for gcc 4.2	2007-06-01 14:35:25 +00:00
pkg-descr
pkg-plist