diff options
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 12 |
2 files changed, 10 insertions, 12 deletions
@@ -1,9 +1,7 @@ -# Generated by mksrcinfo v8 -# Sat Dec 5 22:35:56 UTC 2015 pkgbase = cbmc-bin pkgdesc = Bounded Model Checking for ANSI-C - pkgver = 5.3 - pkgrel = 2 + pkgver = 5.4 + pkgrel = 1 url = http://www.cprover.org/cbmc/ arch = i686 arch = x86_64 @@ -11,8 +9,8 @@ pkgbase = cbmc-bin provides = cbmc conflicts = cbmc conflicts = cbmc-bin - source = http://www.cprover.org/cbmc/download/cbmc-5-3-linux-32.tgz - sha256sums = 38972dabad356536c1f703ab2ce9b5ccb90230b5ccc72306a0a041c13eb7e8f5 + source = http://www.cprover.org/cbmc/download/cbmc-5-4-linux-64.tgz + sha256sums = 63d67d99b9e687d81fe828904768a423b5bafa3084a28cfea2e6972fdd117a8d pkgname = cbmc-bin @@ -2,8 +2,8 @@ # Contributor: Johannes Schlatow <johannes.schlatow@googlemail.com> pkgname=cbmc-bin -pkgver=5.3 -pkgrel=2 +pkgver=5.4 +pkgrel=1 pkgdesc="Bounded Model Checking for ANSI-C" arch=('i686' 'x86_64') url="http://www.cprover.org/cbmc/" @@ -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-3-linux-64.tgz") - sha256sums=('64b7ce9fb277064fd6f4c67ac40b94499688bf61d9db68fa80684b241b838beb') + source=("http://www.cprover.org/cbmc/download/cbmc-5-4-linux-64.tgz") + sha256sums=('63d67d99b9e687d81fe828904768a423b5bafa3084a28cfea2e6972fdd117a8d') else - source=("http://www.cprover.org/cbmc/download/cbmc-5-3-linux-32.tgz") - sha256sums=('38972dabad356536c1f703ab2ce9b5ccb90230b5ccc72306a0a041c13eb7e8f5') + source=("http://www.cprover.org/cbmc/download/cbmc-5-4-linux-32.tgz") + sha256sums=('7d35463a7f914111d20da1ba53c10bad7c80eb175f1435193f11ec50b41545c3') fi package() { |