UbuntuUpdates.org

Package "cbmc"

Name: cbmc

Description:

bounded model checker for C and C++ programs
Latest version: 4.0-4
Release: precise (12.04)
Level: base
Repository: universe
Homepage: http://www.cprover.org/cbmc/

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "cbmc"

32-bit deb package
64-bit deb package
APT INSTALL

Other versions of "cbmc" in Precise

No other version of this package is available in the Precise release.

Changelog

Version: *DELETED* 2012-03-06 10:08:13 UTC
No changelog for deleted or moved packages.

Version: 4.0-4 2011-12-18 16:08:33 UTC

cbmc (4.0-4) unstable; urgency=low

  * Rename patches and update description to make dpkg-source happy
    (closes: #643074)

 -- Michael Tautschnig Sat, 22 Oct 2011 00:51:01 +0100
643074 cbmc: FTBFS: dpkg-buildpackage: error: dpkg-source -b cbmc-4.0 gave error exit status 2 - Debian Bug report logs

Version: *DELETED* 2011-12-18 14:05:36 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates