pkgbase = cbmc-bin
	pkgdesc = Bounded Model Checking for ANSI-C
	pkgver = 5.4
	pkgrel = 1
	url = http://www.cprover.org/cbmc/
	arch = i686
	arch = x86_64
	license = custom
	provides = cbmc
	conflicts = cbmc
	conflicts = cbmc-bin
	source = http://www.cprover.org/cbmc/download/cbmc-5-4-linux-64.tgz
	sha256sums = 63d67d99b9e687d81fe828904768a423b5bafa3084a28cfea2e6972fdd117a8d

pkgname = cbmc-bin