diff options
| author | PythonShell | 2019-02-10 20:14:17 +0800 |
|---|---|---|
| committer | PythonShell | 2019-02-10 20:14:17 +0800 |
| commit | e2cbe9646c33b20772ef02a7d56bc12db7666ae9 (patch) | |
| tree | b4d943908c8ac172c87ad3fededb9f46556d77e7 | |
| parent | ef00f4741ea1578c78ce1f99696e3191e4004d84 (diff) | |
| download | aur-e2cbe9646c33b20772ef02a7d56bc12db7666ae9.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 pkgdesc = Bounded Model Checking for ANSI-C - pkgver = 5.10 + pkgver = 5.11 pkgrel = 1 url = http://www.cprover.org/cbmc/ arch = i686 @@ -15,8 +15,8 @@ pkgbase = cbmc conflicts = cbmc conflicts = cbmc-git conflicts = cbmc-bin - source = https://github.com/diffblue/cbmc/archive/cbmc-5.10.tar.gz - sha256sums = 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352 + source = https://github.com/diffblue/cbmc/archive/cbmc-5.11.tar.gz + sha256sums = 5c3e621c07ff9903beff99b2b91645d82fbb31d5e761384a7c19ef022ffa2c85 pkgname = cbmc @@ -1,7 +1,7 @@ # Maintainer: Python Shell <pythonshell@yeah.net> pkgname=cbmc -pkgver=5.10 +pkgver=5.11 pkgrel=1 pkgdesc="Bounded Model Checking for ANSI-C" arch=('i686' 'x86_64') @@ -11,8 +11,8 @@ license=('custom') makedepends=('flex' 'bison' 'make' 'patch' 'perl-libwww') provides=('cbmc') conflicts=('cbmc' 'cbmc-git' 'cbmc-bin') -source=("https://github.com/diffblue/cbmc/archive/cbmc-5.10.tar.gz") -sha256sums=('00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352') +source=("https://github.com/diffblue/cbmc/archive/cbmc-5.11.tar.gz") +sha256sums=('5c3e621c07ff9903beff99b2b91645d82fbb31d5e761384a7c19ef022ffa2c85') _pkg_src_root="${pkgname}-${pkgname}-${pkgver}" |