Ubuntu
cbmc package

cbmc 5.9-3 source package in Ubuntu

Changelog

cbmc (5.9-3) unstable; urgency=low

  * Make bitwidth preprocessor options architecture-specific

 -- Michael Tautschnig <email address hidden>  Tue, 03 Jul 2018 18:58:45 +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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
cbmc_5.9-3.dsc 2.2 KiB 56a21ee128f1065289809f6f953db5360be3fde746a3f34d05722caf2551b763
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-3.debian.tar.xz 11.5 KiB 298b110cd1a367f752d8a588b789fadeab3763406575cf57c194dbc5bfcda0b2

Available diffs

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.