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
- Uploaded to:
- Precise
- Original maintainer:
- Michael Tautschnig
- Architectures:
- any
- Section:
- science
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Precise | release | 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
- diff from 4.0-3 to 4.0-4 (1.8 KiB)
Binary packages built by this source
- cbmc: No summary available for cbmc in ubuntu quantal.
No description available for cbmc in ubuntu quantal.