cbmc 5.3-1 source package in Ubuntu
Changelog
cbmc (5.3-1) unstable; urgency=low * New upstream release * non-static-build patch merged * Re-licensed Debian packaging to BSD 2-clause -- Michael Tautschnig <email address hidden> Wed, 20 Jan 2016 04:03:52 +0000
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 | |
---|---|---|---|---|
Xenial | release | universe | science |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cbmc_5.3-1.dsc | 1.7 KiB | 539f16ac85877da96f6b7ca9fb8c3a84be9d73e7f7b870a44aeaec0cb119b8e7 |
cbmc_5.3.orig.tar.gz | 5.0 MiB | 98b7d2eac8628cfe8bd246b44f7063c54b08069e280842be975c820553e9cacb |
cbmc_5.3-1.debian.tar.xz | 9.5 KiB | cd6ba93bda7a9de5df05a8a0c6005c95fa4323b0c9a280ba43bb8eaf38d526fd |
Available diffs
- diff from 5.2-1 to 5.3-1 (291.0 KiB)
No changes file available.
Binary packages built by this source
- cbmc: No summary available for cbmc in ubuntu yakkety.
No description available for cbmc in ubuntu yakkety.
- cbmc-dbgsym: No summary available for cbmc-dbgsym in ubuntu yakkety.
No description available for cbmc-dbgsym in ubuntu yakkety.