mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-02 01:20:54 +00:00
Code Issues Releases Activity
1ea08b6396
freebsd-ports/math/cvc4
History
Jan Beich 9b21a3a084 devel/boost-*: update to 1.70.0 
Changes:	http://www.boost.org/users/history/version_1_70_0.html
PR:		235956
Exp-run by:	antoine
Differential Revision:	https://reviews.freebsd.org/D19303
2019-04-12 06:36:31 +00:00
..
files math/cvc4: Update 1.5 -> 1.6 2018-07-22 18:30:29 +00:00
distinfo math/cvc4: Update 1.5 -> 1.6 2018-07-22 18:30:29 +00:00
Makefile devel/boost-*: update to 1.70.0 2019-04-12 06:36:31 +00:00
pkg-descr
pkg-plist math/cvc4: Update 1.5 -> 1.6 2018-07-22 18:30:29 +00:00