# Generated by makepkg 5.1.1
# Fri Jan 11 11:38:35 UTC 2019
pkgbase = cvc4
	pkgdesc = An automatic theorem prover
	pkgver = 1.6
	pkgrel = 2
	url = http://cvc4.cs.nyu.edu/web/
	arch = x86_64
	license = GPL
	license = BSD
	license = MIT
	license = custom:HPND
	makedepends = python
	depends = boost
	depends = libantlr3c
	depends = cln
	optdepends = readline: for an improved interaction support
	source = http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz
	source = cvc4-gcc7.patch
	sha512sums = 0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4
	sha512sums = 5b05fff54c1f610b4e1d9884812980529512a0656da66cf5f67a407eaf28e10da59fd06e9b34ee0200751a2e796df37e37df9dda406cc3a5ceaaf518c357a5d7

pkgname = cvc4

