diff options
| author | PythonShell | 2019-02-10 20:12:28 +0800 |
|---|---|---|
| committer | PythonShell | 2019-02-10 20:12:28 +0800 |
| commit | c725ebdeffc71fd43d3a9ed3fc697110477a990c (patch) | |
| tree | 5cc7bfa0ba4a312de51b4476558ec0a25aff1763 | |
| parent | 912a323ce4a6e29fc6e4f12a3c6bb6db879fa189 (diff) | |
| download | aur-cbmc-bin.tar.gz | |
version 5.11 pkgrel 1
Signed-off-by: PythonShell <pythonshell@yeah.net>
| -rw-r--r-- | .SRCINFO | 6 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 6 deletions
@@ -1,6 +1,6 @@ pkgbase = cbmc-bin pkgdesc = Bounded Model Checking for ANSI-C - pkgver = 5.10 + pkgver = 5.11 pkgrel = 1 url = http://www.cprover.org/cbmc/ arch = i686 @@ -9,8 +9,8 @@ pkgbase = cbmc-bin provides = cbmc conflicts = cbmc conflicts = cbmc-git - source = http://www.cprover.org/cbmc/download/cbmc-5-10-linux-64.tgz - sha256sums = 19241d74848f0d85fbbec3f217c6dacd1e7100bae31cf48aef2e501a4e120a9f + source = http://www.cprover.org/cbmc/download/cbmc-5-11-linux-64.tgz + sha256sums = 6be102146cebe21390c78062eedadd3368b93790af2147313ac6f6cc11958ea6 pkgname = cbmc-bin @@ -2,7 +2,7 @@ # Contributor: Johannes Schlatow <johannes.schlatow@googlemail.com> pkgname=cbmc-bin -pkgver=5.10 +pkgver=5.11 pkgrel=1 pkgdesc="Bounded Model Checking for ANSI-C" arch=('i686' 'x86_64') @@ -12,8 +12,8 @@ provides=('cbmc') conflicts=('cbmc' 'cbmc-git') # No longer provide official pre-build x32 pkg. # Suggest to use cbmc or cbmc-git if you are in x32 platform -source=("http://www.cprover.org/cbmc/download/cbmc-5-10-linux-64.tgz") -sha256sums=('19241d74848f0d85fbbec3f217c6dacd1e7100bae31cf48aef2e501a4e120a9f') +source=("http://www.cprover.org/cbmc/download/cbmc-5-11-linux-64.tgz") +sha256sums=('6be102146cebe21390c78062eedadd3368b93790af2147313ac6f6cc11958ea6') package() { install -D "${srcdir}/cbmc" "${pkgdir}/usr/bin/cbmc" |