cbmc 4.0-4 source package in Ubuntu

Changelog

cbmc (4.0-4) unstable; urgency=low

  * Rename patches and update description to make dpkg-source happy
    (closes: #643074)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  02 Nov 2011 12:50:31 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync on 2011-11-02
Uploaded to:
Precise
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Precise release on 2011-11-02 universe science

Downloads

File Size SHA-256 Checksum
cbmc_4.0.orig.tar.gz 848.8 KiB f4b780fd81db80ccfde1704319af58a641bcf411a4f724c43e2a127212650c45
cbmc_4.0-4.debian.tar.gz 4.8 KiB a0fa513f65fe43fbf10fa2fc4cce437ebd713c4bdb6049f2faa5ce336ba850d5
cbmc_4.0-4.dsc 1.0 KiB 3df324e5c58c67402cbdf3842eb159c4baa900ca0fd4619b929822e05dc72977

Available diffs

View changes file

Binary packages built by this source

cbmc: No summary available for cbmc in ubuntu quantal.

No description available for cbmc in ubuntu quantal.