blob: 994c65234e713df3f689fb2b9546772588455901 (
plain)
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 = 202006.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-202006.0.tar.gz
sha256sums = f4975dfd4bc18071249b0f1c50bd6255a1a43a95280529d82852a8307ff6f998
pkgname = mcrl2
|