blob: 109105d5b13d90ff869fa949a35030209498f913 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = cbmc
pkgdesc = C Bounded Model Checker
pkgver = 6.4.1
pkgrel = 1
url = https://diffblue.github.io
changelog = CHANGELOG
arch = x86_64
license = custom:4-clause BSD license
makedepends = git
source = https://github.com/diffblue/cbmc/archive/refs/tags/cbmc-6.4.1.tar.gz
source = https://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz
b2sums = 8293364ad67c52fbae98658d39766e9f82677e30427a12fb060a24b6569686711f0b80535ae42121ed6bb181859fb97c5cb194277228ddcd4b2ab64e34afe059
b2sums = de9bded4bd8a17ec157af486c0572d47429cd0f59bdd57e1238d3c031d7406dc4e305e5e7368898c991e0184ed845bae21717f10a8ba36ea6b60aac0fb84dc71
pkgname = cbmc
|