1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-02 01:20:54 +00:00
freebsd-ports/math/cvc3
2013-11-13 15:55:09 +00:00
..
distinfo - Update to 2.4.1 2012-02-04 14:37:52 +00:00
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 - Update to 2.4.1 2012-02-04 14:37:52 +00:00