Ubuntu
cbmc package

cbmc 4.2-6ubuntu1 source package in Ubuntu

Changelog

cbmc (4.2-6ubuntu1) raring; urgency=low

  * Don't fail on unused-result warnings.
 -- Ilya Barygin <email address hidden>   Mon, 05 Nov 2012 16:13:36 +0400

Upload details

Uploaded by:
Ilya Barygin
Uploaded to:
Raring
Original maintainer:
Ubuntu Developers
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.orig.tar.gz 3.2 MiB 038ae992a1e69dbb4833208028804e1093573bf1c7c1e8d7ec24ce59ead7594b
cbmc_4.2-6ubuntu1.debian.tar.gz 7.2 KiB bc3d9d3d5529371aab529176939413365032a9420f4a928985f322e79b14b755
cbmc_4.2-6ubuntu1.dsc 1.4 KiB 2e1bd731b33a5bc71ecbf53c01e385e04404705baadde24e00cf2f1801db0e8c

Available diffs

View changes file

Binary packages built by this source

cbmc: No summary available for cbmc in ubuntu raring.

No description available for cbmc in ubuntu raring.