pkgbase = boogie-git
	pkgdesc = Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver
	pkgver = 0.r5030.8448ac1c
	pkgrel = 1
	url = http://boogie.codeplex.com
	arch = any
	license = custom: Ms-Pl
	makedepends = mercurial
	makedepends = wget
	depends = z3-git
	depends = mono
	provides = boogie
	conflicts = boogie
	source = boogie-git::git+https://github.com/boogie-org/boogie.git
	source = execute_boogie.sh
	source = license.txt
	md5sums = SKIP
	md5sums = 3c484f49455c24eb8984461b9d78d45f
	md5sums = ab2e2e62d9befcc932895745749d4a54

pkgname = boogie-git