No summary available for cbmc in ubuntu quantal.

Source package

Published versions

• cbmc 4.0-4 in amd64 (Release)
• cbmc 4.0-4 in armel (Release)
• cbmc 4.0-4 in armhf (Release)
• cbmc 4.0-4 in i386 (Release)
• cbmc 4.0-4 in powerpc (Release)