# Generated by mksrcinfo v8
# Sat Dec  5 22:35:56 UTC 2015
pkgbase = cbmc-bin
	pkgdesc = Bounded Model Checking for ANSI-C
	pkgver = 5.3
	pkgrel = 2
	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-3-linux-32.tgz
	sha256sums = 38972dabad356536c1f703ab2ce9b5ccb90230b5ccc72306a0a041c13eb7e8f5

pkgname = cbmc-bin