Ubuntu
cbmc package

cbmc 4.1-1.2 source package in Ubuntu

Changelog

cbmc (4.1-1.2) unstable; urgency=low


  * Non-maintainer upload.
  * Update fix-FTBFS-with-gcc-4.7.patch patch.
    Fix FTBFS with gcc 4.7 on kfreebsd and hurd.
    Thanks to Steven Chamberlain <email address hidden> for the patch.
    (Closes: #673579)

 -- Salvatore Bonaccorso <email address hidden>  Sun, 20 May 2012 07:55:28 +0200

Upload details

Uploaded by:
Michael Tautschnig
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
cbmc_4.1-1.2.dsc 1.7 KiB 0cf1af0b3c83caf0fabf641ad2c842e8e3f9dc40a79e669c34919015b49754fe
cbmc_4.1.orig.tar.gz 895.1 KiB 7f75605a6fc69afc75314c71168302ae334d5ad0bce806f12c05838962c24c68
cbmc_4.1-1.2.debian.tar.gz 4.8 KiB 2304fdc35cfecc49cb1ea0dc7ded065f16de29d51805e9468d023541cef14939

Available diffs

No changes file available.

Binary packages built by this source

cbmc: No summary available for cbmc in ubuntu raring.

No description available for cbmc in ubuntu raring.