mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-20 00:21:35 +00:00
Code Issues Releases Activity
bda67845a6
freebsd-ports/math/cvc4
History
Jan Beich 701aa3bcf8 devel/boost-*: update to 1.72.0 
Changes:	http://www.boost.org/users/history/version_1_72_0.html
PR:		241449
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D22136
2019-12-11 17:53:48 +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.72.0 2019-12-11 17:53:48 +00:00
pkg-descr
pkg-plist math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00