diff options
| author | PythonShell | 2015-12-03 14:50:48 +0000 |
|---|---|---|
| committer | PythonShell | 2015-12-03 14:50:48 +0000 |
| commit | 0234360cca59e8d10cb2b51fe332cbbf800a4414 (patch) | |
| tree | f758c9cff57a61fd6451a21d87be58c64f16a732 | |
| parent | 1ac1affcee0430a122dc7578495b1d75f1b5ee8e (diff) | |
| download | aur-0234360cca59e8d10cb2b51fe332cbbf800a4414.tar.gz | |
version 5.3 pkgrel 1
Signed-off-by: PythonShell <pythonshell@yeah.net>
| -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.2 + pkgver = 5.3 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-2-linux-32.tgz - sha256sums = c1123bc6af3bb4b52917530361ae6093cb69de74ff8dc0bbdf27f35bcb73b8c9 + source = http://www.cprover.org/cbmc/download/cbmc-5-3-linux-32.tgz + sha256sums = 38972dabad356536c1f703ab2ce9b5ccb90230b5ccc72306a0a041c13eb7e8f5 pkgname = cbmc-bin @@ -2,7 +2,7 @@ # Contributor: Johannes Schlatow <johannes.schlatow@googlemail.com> pkgname=cbmc-bin -pkgver=5.2 +pkgver=5.3 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-2-linux-64.tgz") - sha256sums=('2067d49ac4c8179c13e3d5fec0b43949c3fffb905feec9cd92b58e3d0fb540e8') + source=("http://www.cprover.org/cbmc/download/cbmc-5-3-linux-64.tgz") + sha256sums=('64b7ce9fb277064fd6f4c67ac40b94499688bf61d9db68fa80684b241b838beb') else - source=("http://www.cprover.org/cbmc/download/cbmc-5-2-linux-32.tgz") - sha256sums=('c1123bc6af3bb4b52917530361ae6093cb69de74ff8dc0bbdf27f35bcb73b8c9') + source=("http://www.cprover.org/cbmc/download/cbmc-5-3-linux-32.tgz") + sha256sums=('38972dabad356536c1f703ab2ce9b5ccb90230b5ccc72306a0a041c13eb7e8f5') fi package() { |