kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/cvc4
History
Tobias Kortkamp 6be3634f44 math/cvc4: Remove llvm60 build dependency 
It was added for FreeBSD 10.x/i386 and is no longer needed.

PR:		238162
Approved by:	greg@unrelenting.technology (maintainer)
2019-05-27 10:10:15 +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 math/cvc4: Remove llvm60 build dependency 2019-05-27 10:10:15 +00:00
pkg-descr
pkg-plist math/cvc4: Update 1.5 -> 1.6 2018-07-22 18:30:29 +00:00