blob: 31ed3d17f003e08ec128ed9b48b14059bf37c27d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = mcrl2
pkgdesc = A formal specification language with an associated toolset.
pkgver = 202307.1
pkgrel = 1
url = http://www.mcrl2.org
install = mcrl2.install
arch = i686
arch = x86_64
license = Boost
makedepends = boost
makedepends = cmake
makedepends = gcc>=7.0
depends = qt5-base
depends = glu
depends = hicolor-icon-theme
optdepends = python: for easily running the included examples
source = http://mcrl2.org/download/release/mcrl2-202307.1.tar.gz
sha256sums = cc21c23bcb46c8ec6a51cd31dedfcdddd521e1e1bbb257a69602bf419b00e090
pkgname = mcrl2
|