cbmc 4.5-2ubuntu2 source package in Ubuntu
Changelog
cbmc (4.5-2ubuntu2) trusty; urgency=low * arm64-aarch64: Use __aarch64__ on arm64, not __arm64__ or __arm__ -- Adam Conrad <email address hidden> Mon, 28 Oct 2013 12:45:20 -0600
Upload details
- Uploaded by:
- Adam Conrad
- Uploaded to:
- Trusty
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any
- Section:
- science
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Trusty | release | universe | science |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cbmc_4.5.orig.tar.gz | 3.6 MiB | 531ac05d25cb7e73acd4784356415d8f2da1dae36e86a1294d6a5ec9a1188e4d |
cbmc_4.5-2ubuntu2.debian.tar.gz | 6.3 KiB | ecc0dd57aaf25647fc46ae61e0a85077f1c74727771a300e0435b05e9726fb07 |
cbmc_4.5-2ubuntu2.dsc | 1.1 KiB | 9d306b3acbd18fffe7773f21089fbc888826f0c6d99a3d13d57aefcc0970dbf6 |
Available diffs
- diff from 4.5-2ubuntu1 to 4.5-2ubuntu2 (782 bytes)
Binary packages built by this source
- cbmc: No summary available for cbmc in ubuntu utopic.
No description available for cbmc in ubuntu utopic.