diff options
author | PythonShell | 2017-05-04 22:14:59 +0800 |
---|---|---|
committer | PythonShell | 2017-05-04 22:20:26 +0800 |
commit | 58ea704743fba50e600a061cf5e76d434280a15c (patch) | |
tree | b0ec99bd81dfa1c3b5132eb53d4f865d0e8460d0 | |
parent | de779fecccecd7a487cd85ff06b266997f9b1975 (diff) | |
download | aur-58ea704743fba50e600a061cf5e76d434280a15c.tar.gz |
version 5.7 pkgrel 1
Signed-off-by: PythonShell <pythonshell@yeah.net>
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 12 |
2 files changed, 8 insertions, 10 deletions
@@ -1,6 +1,6 @@ pkgbase = cbmc-bin pkgdesc = Bounded Model Checking for ANSI-C - pkgver = 5.6 + pkgver = 5.7 pkgrel = 1 url = http://www.cprover.org/cbmc/ arch = i686 @@ -9,8 +9,8 @@ pkgbase = cbmc-bin provides = cbmc conflicts = cbmc conflicts = cbmc-bin - source = http://www.cprover.org/cbmc/download/cbmc-5-6-linux-32.tgz - sha256sums = 90b166d2dad1e845acdcffe13f46e42877c430789c86779b8e0e51e4d100ce6c + source = http://www.cprover.org/cbmc/download/cbmc-5-7-linux-64.tgz + sha256sums = 6ba7f84f38385de8e38b8ee40725ea068bc020ee0e0213aac0c7a06e92b30f55 pkgname = cbmc-bin @@ -2,7 +2,7 @@ # Contributor: Johannes Schlatow <johannes.schlatow@googlemail.com> pkgname=cbmc-bin -pkgver=5.6 +pkgver=5.7 pkgrel=1 pkgdesc="Bounded Model Checking for ANSI-C" arch=('i686' 'x86_64') @@ -11,13 +11,11 @@ license=('custom') provides=('cbmc') conflicts=('cbmc' 'cbmc-bin') if test "$CARCH" == x86_64; then - source=("http://www.cprover.org/cbmc/download/cbmc-5-6-linux-64.tgz") - # sha256sum cbmc-5-6-linux-64.tgz - sha256sums=('671ee433f7fddce0782bd06e87c06970af4d35d9125d23700d37aaff677a0964') + source=("http://www.cprover.org/cbmc/download/cbmc-5-7-linux-64.tgz") + sha256sums=('6ba7f84f38385de8e38b8ee40725ea068bc020ee0e0213aac0c7a06e92b30f55') else - source=("http://www.cprover.org/cbmc/download/cbmc-5-6-linux-32.tgz") - # sha256sum cbmc-5-6-linux-32.tgz - sha256sums=('90b166d2dad1e845acdcffe13f46e42877c430789c86779b8e0e51e4d100ce6c') + source=("http://www.cprover.org/cbmc/download/cbmc-5-7-linux-32.tgz") + sha256sums=('e3a2af95db990ac3fceaea2160743f61bdac2779c4bc17c989ae7764f95e487a') fi package() { |