diff options
Diffstat (limited to 'development/cbmc/cbmc.info')
| -rw-r--r-- | development/cbmc/cbmc.info | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/development/cbmc/cbmc.info b/development/cbmc/cbmc.info new file mode 100644 index 0000000000..471480d37f --- /dev/null +++ b/development/cbmc/cbmc.info @@ -0,0 +1,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)" |