diff options
author | PythonShell | 2015-10-10 18:43:15 +0000 |
---|---|---|
committer | PythonShell | 2015-10-10 18:43:15 +0000 |
commit | 1ac1affcee0430a122dc7578495b1d75f1b5ee8e (patch) | |
tree | a7fbbaca5c6e0173de652b9e476193df2559a60f | |
parent | 6130b90128b310a520a36514913ef62f42721153 (diff) | |
download | aur-1ac1affcee0430a122dc7578495b1d75f1b5ee8e.tar.gz |
version 5.2 pkgrel 1
Signed-off-by: PythonShell <pythonshell@yeah.net>
-rw-r--r-- | .SRCINFO | 8 | ||||
-rw-r--r-- | PKGBUILD | 12 |
2 files changed, 10 insertions, 10 deletions
@@ -1,7 +1,7 @@ pkgbase = cbmc-bin pkgdesc = Bounded Model Checking for ANSI-C - pkgver = 5.1 - pkgrel = 2 + pkgver = 5.2 + pkgrel = 1 url = http://www.cprover.org/cbmc/ arch = i686 arch = x86_64 @@ -9,8 +9,8 @@ pkgbase = cbmc-bin provides = cbmc conflicts = cbmc conflicts = cbmc-bin - source = http://www.cprover.org/cbmc/download/cbmc-5-1-linux-32.tgz - sha256sums = 9b9775340b8136e6d83d5a4a689dc84f5f2d905281eb2f3ad71611d8f42e03f8 + source = http://www.cprover.org/cbmc/download/cbmc-5-2-linux-32.tgz + sha256sums = c1123bc6af3bb4b52917530361ae6093cb69de74ff8dc0bbdf27f35bcb73b8c9 pkgname = cbmc-bin @@ -2,8 +2,8 @@ # Contributor: Johannes Schlatow <johannes.schlatow@googlemail.com> pkgname=cbmc-bin -pkgver=5.1 -pkgrel=2 +pkgver=5.2 +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-1-linux-64.tgz") - sha256sums=('7662f727f52ba9ad6bc280ea0bd26cfe219bf03e30ffb34d5bc745d6a6a217c8') + source=("http://www.cprover.org/cbmc/download/cbmc-5-2-linux-64.tgz") + sha256sums=('2067d49ac4c8179c13e3d5fec0b43949c3fffb905feec9cd92b58e3d0fb540e8') else - source=("http://www.cprover.org/cbmc/download/cbmc-5-1-linux-32.tgz") - sha256sums=('9b9775340b8136e6d83d5a4a689dc84f5f2d905281eb2f3ad71611d8f42e03f8') + source=("http://www.cprover.org/cbmc/download/cbmc-5-2-linux-32.tgz") + sha256sums=('c1123bc6af3bb4b52917530361ae6093cb69de74ff8dc0bbdf27f35bcb73b8c9') fi package() { |