diff options
| author | Daniel Poellmann | 2023-06-24 21:56:03 +0000 |
|---|---|---|
| committer | Daniel Poellmann | 2023-06-24 21:56:03 +0000 |
| commit | 1a8e629e1b6e2a157a7d47b9135e3f55ef9d56c8 (patch) | |
| tree | 8c8abf92baf4e702d65f87e3713d6389d5515afe /.SRCINFO | |
| parent | 46fcdc022ae02af33562334bc57ba1b4b70fe0d4 (diff) | |
| download | aur-cpachecker.tar.gz | |
update to v2.2
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -1,17 +1,16 @@ pkgbase = cpachecker pkgdesc = Tool for configurable software verification. - pkgver = 1.9 - pkgrel = 2 + pkgver = 2.2 + pkgrel = 3 url = https://svn.sosy-lab.org/software/cpachecker/trunk arch = x86_64 license = Apache Version 2.0 - depends = java-environment=11 + depends = java-environment=17 depends = python depends = bash depends = jre-openjdk conflicts = cpachecker-svn - source = https://cpachecker.sosy-lab.org/CPAchecker-1.9-unix.tar.bz2 - md5sums = feee336b472cda8e81e70b7b6fa49c6e + source = https://cpachecker.sosy-lab.org/CPAchecker-2.2-unix.zip + md5sums = 90a858f808b708fd161e12cf8f1b460e pkgname = cpachecker - |