freebsd-ports/math/cvc4/distinfo

TIMESTAMP = 1531429558
SHA256 (cvc4-1.6.tar.gz) = 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7
SIZE (cvc4-1.6.tar.gz) = 7815893
math/cvc4: Update 1.5 -> 1.6 Port changes: * Add dependency on cryptominisat, and the corresponding port option * Add USES=autoreconf, the suplied configure fails, see https://github.com/CVC4/CVC4/issues/2192 * Now build depends on python * Force clang-60 to prevent build failures on 10 PR: 229780 Submitted by: Greg V <greg@unrelenting.technology> 2018-07-22 18:30:29 +00:00			`TIMESTAMP = 1531429558`
			`SHA256 (cvc4-1.6.tar.gz) = 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7`
			`SIZE (cvc4-1.6.tar.gz) = 7815893`