kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
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