Ubuntu
cbmc package

cbmc 4.1-1.1 source package in Ubuntu

Changelog

cbmc (4.1-1.1) unstable; urgency=low


  * Non-maintainer upload.
  * Add fix-FTBFS-with-gcc-4.7.patch patch.
    Fix FTBFS with gcc 4.7. Fix missing <unistd.h> includes and add 'this->'
    where needed.
    Thanks to Cyril Brulebois <email address hidden> for the patch. (Closes: #667131)

 -- Salvatore Bonaccorso <email address hidden>  Sun, 13 May 2012 14:25:21 +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.1.dsc 1.7 KiB cd692bd3fb7b4c14b3ecc20361768a3ba72f1b52e67afd5d4938d6ca4de6433f
cbmc_4.1.orig.tar.gz 895.1 KiB 7f75605a6fc69afc75314c71168302ae334d5ad0bce806f12c05838962c24c68
cbmc_4.1-1.1.debian.tar.gz 4.7 KiB 51a45d9309a53bbe1a02d7bf9cd756a4db3a9e58e76836363ee7f0b658882539

Available diffs

No changes file available.

Binary packages built by this source

cbmc: No summary available for cbmc in ubuntu quantal.

No description available for cbmc in ubuntu quantal.