.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

pkgbase = mcrl2
	pkgdesc = A formal specification language with an associated toolset.
	pkgver = 201908.0
	pkgrel = 1
	url = http://www.mcrl2.org
	install = mcrl2.install
	arch = i686
	arch = x86_64
	license = custom
	makedepends = cmake
	makedepends = gcc
	depends = boost
	depends = qt5-base
	depends = glu
	source = http://mcrl2.org/download/release/mcrl2-201908.0.tar.gz
	sha256sums = 5f3b48392a1ab283617dd279e5ba45f5b29ca7f30c94c86bf8f1b9d2047d9dc4

pkgname = mcrl2