freebsd-ports/math/cvc4
2019-08-19 15:35:27 +00:00
..
files math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
distinfo math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
Makefile devel/boost-*: update to 1.71.0 2019-08-19 15:35:27 +00:00
pkg-descr
pkg-plist math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00