diff options
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 10 |
2 files changed, 8 insertions, 8 deletions
@@ -1,6 +1,6 @@ pkgbase = cbmc-bin pkgdesc = Bounded Model Checking for ANSI-C - pkgver = 5.8 + pkgver = 5.9 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-8-linux-64.tgz - sha256sums = fdb91b32baa7ba54d62024a8b271cd8ee1426c5a4341e24dba5c5ae82303ba74 + source = http://www.cprover.org/cbmc/download/cbmc-5-9-linux-64.tgz + sha256sums = 1932458de5d9bc02145b4370754c991045adea09b9ccdcce89bf4df772638ebd pkgname = cbmc-bin @@ -2,7 +2,7 @@ # Contributor: Johannes Schlatow <johannes.schlatow@googlemail.com> pkgname=cbmc-bin -pkgver=5.8 +pkgver=5.9 pkgrel=1 pkgdesc="Bounded Model Checking for ANSI-C" arch=('i686' 'x86_64') @@ -11,11 +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-8-linux-64.tgz") - sha256sums=('fdb91b32baa7ba54d62024a8b271cd8ee1426c5a4341e24dba5c5ae82303ba74') + source=("http://www.cprover.org/cbmc/download/cbmc-5-9-linux-64.tgz") + sha256sums=('1932458de5d9bc02145b4370754c991045adea09b9ccdcce89bf4df772638ebd') else - source=("http://www.cprover.org/cbmc/download/cbmc-5-8-linux-32.tgz") - sha256sums=('8140c0dda9ec3d2808c38235ad7d1e00dd3f118cd46dfe0b2f14610b93627185') + source=("http://www.cprover.org/cbmc/download/cbmc-5-9-linux-32.tgz") + sha256sums=('1a8db38996f4dcb88f0ad2503c9abef088c44b61eaf328f509d0a676ff49b127') fi package() { |