cbmc 5.10-5 source package in Ubuntu
Changelog
cbmc (5.10-5) unstable; urgency=low * Use default-jdk-headless instead of openjdk-8 (Closes: #910704) -- Michael Tautschnig <email address hidden> Wed, 17 Oct 2018 19:55:17 +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.10-5.dsc | 2.1 KiB | 225bb25ee1350f776785b51e0308e23347e04c8fd0b9bc552d7fb0e8a8b6c6c3 |
cbmc_5.10.orig-java-models-library.tar.gz | 169.3 KiB | e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487 |
cbmc_5.10.orig.tar.gz | 6.1 MiB | 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352 |
cbmc_5.10-5.debian.tar.xz | 12.3 KiB | f52e722787b81a974cac6fc8da42d663c73e98e48c34246bb41c8ec987928286 |
Available diffs
- diff from 5.9-6 to 5.10-5 (309.2 KiB)
No changes file available.
Binary packages built by this source
- cbmc: No summary available for cbmc in ubuntu disco.
No description available for cbmc in ubuntu disco.
- cbmc-dbgsym: No summary available for cbmc-dbgsym in ubuntu disco.
No description available for cbmc-dbgsym in ubuntu disco.