diff options
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..f898db639e22 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,19 @@ +pkgbase = cpachecker-svn + pkgdesc = Tool for configurable software verification. + pkgver = r33105 + pkgrel = 1 + url = https://svn.sosy-lab.org/software/cpachecker/trunk + arch = x86_64 + license = Apache Version 2.0 + checkdepends = ant + makedepends = ant + makedepends = subversion + depends = java-environment=11 + depends = python + depends = bash + conflicts = cpachecker + source = cpachecker::svn+https://svn.sosy-lab.org/software/cpachecker/trunk + md5sums = SKIP + +pkgname = cpachecker-svn + |