diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..9eaa4f4ba1c2 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,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 + |