blob: 932ac1d2119d7c4d31d4d0c432a1a559028fb4d7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = cbmc-bin
pkgdesc = Bounded Model Checking for ANSI-C
pkgver = 5.8
pkgrel = 1
url = http://www.cprover.org/cbmc/
arch = i686
arch = x86_64
license = custom
provides = cbmc
conflicts = cbmc
conflicts = cbmc-bin
source = http://www.cprover.org/cbmc/download/cbmc-5-8-linux-64.tgz
sha256sums = fdb91b32baa7ba54d62024a8b271cd8ee1426c5a4341e24dba5c5ae82303ba74
pkgname = cbmc-bin
|