diff options
| author | PythonShell | 2016-03-19 23:51:37 +0800 |
|---|---|---|
| committer | PythonShell | 2016-03-19 23:51:37 +0800 |
| commit | c09b084b84ed29c47095abb044730e49f2b87d35 (patch) | |
| tree | 6acf2a37ecee7eeb4a4f49dcdc0f6987c97ecf30 | |
| parent | 7f9f8f1a439d4ed2b334c945825cfe0707e0117d (diff) | |
| download | aur-c09b084b84ed29c47095abb044730e49f2b87d35.tar.gz | |
version 5.4 pkgrel 1
Signed-off-by: PythonShell <pythonshell@yeah.net>
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 7 |
2 files changed, 10 insertions, 11 deletions
@@ -1,21 +1,21 @@ pkgbase = cbmc pkgdesc = Bounded Model Checking for ANSI-C - pkgver = 5.3 + pkgver = 5.4 pkgrel = 1 url = http://www.cprover.org/cbmc/ arch = i686 arch = x86_64 license = custom makedepends = subversion - depends = flex - depends = bison - depends = make - depends = patch - depends = perl-libwww + makedepends = flex + makedepends = bison + makedepends = make + makedepends = patch + makedepends = perl-libwww provides = cbmc conflicts = cbmc conflicts = cbmc-bin - source = cbmc::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.3 + source = cbmc::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.4 sha1sums = SKIP pkgname = cbmc @@ -1,15 +1,14 @@ # Maintainer: Python Shell <pythonshell@yeah.net> pkgname=cbmc -pkgver=5.3 +pkgver=5.4 pkgrel=1 pkgdesc="Bounded Model Checking for ANSI-C" arch=('i686' 'x86_64') url="http://www.cprover.org/cbmc/" license=('custom') -makedepends=('subversion') -depends=('flex' 'bison' 'make' 'patch' 'perl-libwww') -source=("${pkgname}::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.3") +makedepends=('subversion' 'flex' 'bison' 'make' 'patch' 'perl-libwww') +source=("${pkgname}::svn+http://www.cprover.org/svn/cbmc/releases/cbmc-5.4") sha1sums=('SKIP') provides=('cbmc') |