PRGNAM="cbmc"
VERSION="5.95.1"
HOMEPAGE="https://www.cprover.org/cbmc/"
DOWNLOAD="UNSUPPORTED"
MD5SUM=""
DOWNLOAD_x86_64="https://github.com/diffblue/cbmc/archive/cbmc-5.95.1/cbmc-cbmc-5.95.1.tar.gz \
                 https://github.com/arminbiere/cadical/archive/rel-2.0.0-rc.6/cadical-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)"
