aboutsummaryrefslogtreecommitdiff
path: root/development/cbmc/cbmc.info
blob: 471480d37f72dd5ed0fe397d5f6f27acd206c542 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
PRGNAM="cbmc"
VERSION="5.95.1"
HOMEPAGE="https://www.cprover.org/cbmc/"
DOWNLOAD="UNSUPPORTED"
MD5SUM=""
DOWNLOAD_x86_64="https://github.com/diffblue/cbmc/archive/refs/tags/cbmc-5.95.1.tar.gz \
https://github.com/arminbiere/cadical/archive/rel-2.0.0-rc.6.tar.gz"
MD5SUM_x86_64="05f0e4a4a3e7e2830c3be3b9398018de \
5825f8ac81283f5049c402938fe6ee99"
REQUIRES=""
MAINTAINER="Caterino Tommaso, T.O.P."
EMAIL="alan_avNOersa@lavSPAMabit.com (remove NO and SPAM)"