blob: 9eaa4f4ba1c2744985eff17ce10f687ab1d02efa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# Generated by mksrcinfo v8
# Wed Nov 22 12:04:58 UTC 2017
pkgbase = prob
pkgdesc = ProB Animator and Model Checker
pkgver = 1.7.1
pkgrel = 1
url = http://eclipseclp.org/
arch = x86_64
license = EPL 1.0
depends = tk85
depends = tcl85
depends = java-runtime
source_x86_64 = http://www3.hhu.de/stups/downloads/prob/tcltk/releases/1.7.1/ProB.linux64.tar.gz
md5sums_x86_64 = eb74b2991967f0a8ed8669c4186ac1fa
pkgname = prob
|