cbmc 5.5-1 source package in Ubuntu
Changelog
cbmc (5.5-1) unstable; urgency=low * New upstream release -- Michael Tautschnig <email address hidden> Sun, 16 Oct 2016 13:10:20 +0100
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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cbmc_5.5-1.dsc | 1.7 KiB | b8d9b69e09d1ff52f4b01eb90f5b11bb546c7fbb537e3ccb920b1023ccdf4042 |
cbmc_5.5.orig.tar.gz | 5.0 MiB | 748dbdfe37fb91b2755fdeaa61d20aa0b3a18df184d6be6ec283e7f2492537d9 |
cbmc_5.5-1.debian.tar.xz | 9.9 KiB | 72740c3f3d132ae0f171ab2a540883e50db6998efd99a1efd71d5da8a3fa1396 |
No changes file available.
Binary packages built by this source
- cbmc: No summary available for cbmc in ubuntu zesty.
No description available for cbmc in ubuntu zesty.
- cbmc-dbgsym: No summary available for cbmc-dbgsym in ubuntu zesty.
No description available for cbmc-dbgsym in ubuntu zesty.