diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..25d766f9366c --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = cpachecker + pkgdesc = Tool for configurable software verification. + pkgver = 1.9 + pkgrel = 1 + url = https://svn.sosy-lab.org/software/cpachecker/trunk + arch = x86_64 + license = Apache Version 2.0 + depends = java-environment + depends = python + depends = bash + conflicts = cpachecker-svn + source = https://cpachecker.sosy-lab.org/CPAchecker-1.9-unix.tar.bz2 + md5sums = feee336b472cda8e81e70b7b6fa49c6e + +pkgname = cpachecker + |