Ubuntu
cbmc package

cbmc 4.2-6 source package in Ubuntu

Changelog

cbmc (4.2-6) unstable; urgency=low


  * s390x hack, will be fixed properly in next upstream release

 -- Michael Tautschnig <email address hidden>  Thu, 20 Sep 2012 16:14:23 +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_4.2-6.dsc 1.0 KiB c705fb7aa595eff239366526f753e124dcb9863b476bcf56375d808326e38359
cbmc_4.2.orig.tar.gz 3.2 MiB 038ae992a1e69dbb4833208028804e1093573bf1c7c1e8d7ec24ce59ead7594b
cbmc_4.2-6.debian.tar.gz 7.2 KiB 53af426bfbbbdec526ea1bbbce735298b43d1fac4547f508795d8ff67e508712

No changes file available.

Binary packages built by this source