pkgbase = verifast-bin
	pkgdesc = research prototype of a tool for formal verification of C and Java programs
	pkgver = 18.02
	pkgrel = 2
	url = https://github.com/verifast/verifast
	arch = any
	license = MIT
	source = http://github.com/verifast/verifast/releases/download/18.02/verifast-18.02-linux.tar.gz
	source = https://raw.githubusercontent.com/verifast/verifast/master/LICENSE.md
	md5sums = 79fb1f673df94776bb465fe154200129
	md5sums = a53d80725c9b46c7dc7dc507b6dee172

pkgname = verifast-bin