blob: b44ecbf5c93f1fb01cb1a4bdb5370355f1d6f568 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = prob
pkgdesc = ProB Animator and Model Checker
pkgver = 1.12.2
pkgrel = 1
url = https://www3.hhu.de/stups/prob/
arch = x86_64
license = EPL 1.0
depends = tk>=8.5.0
depends = tcl>=8.5.0
depends = java-runtime
optdepends = graphviz: visualizations
optdepends = gv: PostScript visualizations
source_x86_64 = http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.12.2/ProB.linux64.tar.gz
md5sums_x86_64 = a8e033178bc132975e2c9eb52ecc2cd9
pkgname = prob
|