diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 8 |
1 files changed, 4 insertions, 4 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 |