CBMC in Debian
27 views
Skip to first unread message
Daniel Kroening
May 16, 2011, 2:58:26 AM5/16/11
to cpr...@googlegroups.com
Dear CBMC users,
there is now a CBMC package description in sid:
http://packages.debian.org/en/sid/cbmc
Daniel
Reply all
Reply to author
Forward
0 new messages