mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
Code Issues Releases Activity
40940da3e8
freebsd-ports/math/cvc3
History
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