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 on 2013-10-28
Uploaded to:
Trusty
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release on 2013-10-28 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

View changes file

Binary packages built by this source

cbmc: No summary available for cbmc in ubuntu utopic.

No description available for cbmc in ubuntu utopic.