cbmc 5.9-6 source package in Ubuntu
Changelog
cbmc (5.9-6) unstable; urgency=low * Fix mips 32-bit cross configuration * Fix Java string literal conversion for big-endian architectures -- Michael Tautschnig <email address hidden> Thu, 05 Jul 2018 22:36:05 +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.9-6.dsc | 2.0 KiB | f509b9086927d44875614243cac509506ecb0e9bb5663782fcec219a7cfdadef |
cbmc_5.9.orig-java-models-library.tar.gz | 169.1 KiB | 05262cf301bcc91e0236b6ca92cab895c78d0e3156aa9152e7cabab7f4cba466 |
cbmc_5.9.orig.tar.gz | 6.0 MiB | e57b07036475267bc158694003fb546d128a54b556553e5e129e967972d81fd1 |
cbmc_5.9-6.debian.tar.xz | 16.8 KiB | 4fd4ab8b5ae31c94467e1fc4d5ef7eefd5c0afb39225cfabf54565d3c80ff9ce |
Available diffs
- diff from 5.6-1 to 5.9-6 (3.5 MiB)
- diff from 5.9-3 to 5.9-6 (10.6 KiB)
No changes file available.
Binary packages built by this source
- cbmc: No summary available for cbmc in ubuntu cosmic.
No description available for cbmc in ubuntu cosmic.
- cbmc-dbgsym: No summary available for cbmc-dbgsym in ubuntu cosmic.
No description available for cbmc-dbgsym in ubuntu cosmic.