diff options
author | daniel7 | 2022-05-06 22:55:33 +0200 |
---|---|---|
committer | daniel7 | 2022-05-06 22:55:33 +0200 |
commit | 46fcdc022ae02af33562334bc57ba1b4b70fe0d4 (patch) | |
tree | 092322bce42e54c430870a483f1aa1a8920eaa6a /PKGBUILD | |
parent | 2dbb5c5991e11235c0362356029325a064e98048 (diff) | |
download | aur-46fcdc022ae02af33562334bc57ba1b4b70fe0d4.tar.gz |
update to 2.1.1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,7 +1,7 @@ # Maintainer: Daniel Poellmann <aur@<lastname><firstname>.de> pkgname=cpachecker -pkgver=1.9 -pkgrel=2 +pkgver=2.1.1 +pkgrel=3 pkgdesc="Tool for configurable software verification." arch=("x86_64") url="https://svn.sosy-lab.org/software/cpachecker/trunk" @@ -10,10 +10,10 @@ depends=("java-environment=11" "python" "bash" "jre-openjdk") makedepends=() checkdepends=() 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.1.1-unix.zip") +md5sums=("77f82582b3fc62ce62f3318c49b47e29") validpgpkeys=() -_dir=CPAchecker-1.9-unix +_dir=CPAchecker-2.1.1-unix prepare() { cd "$srcdir/$_dir" |