Li-Wen Hsu bdf601ddb9 - Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later		2013-11-13 15:55:09 +00:00
..
distinfo
Makefile	- Try to fix build with USE_GCC, anyway, cvc4 is out and would be ported later	2013-11-13 15:55:09 +00:00
pkg-descr
pkg-plist