pkgbase = mcrl2
	pkgdesc = A formal specification language with an associated toolset.
	pkgver = 201409.1
	pkgrel = 1
	url = http://www.mcrl2.org
	install = mcrl2.install
	arch = i686
	arch = x86_64
	license = custom
	makedepends = cmake
	depends = boost
	depends = qt4
	depends = glu
	source = http://mcrl2.org/download/release/mcrl2-201409.1.tar.gz
	md5sums = 32818c4111aa406033e865c30ac7862b

pkgname = mcrl2