cbmc 5.3-1 source package in Ubuntu

Changelog

cbmc (5.3-1) unstable; urgency=low

  * New upstream release
  * non-static-build patch merged
  * Re-licensed Debian packaging to BSD 2-clause

 -- Michael Tautschnig <email address hidden>  Wed, 20 Jan 2016 04:03:52 +0000

Upload details

Uploaded by:
Michael Tautschnig on 2016-01-21
Uploaded to:
Sid
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Xenial release on 2016-01-21 universe science

Downloads

File Size SHA-256 Checksum
cbmc_5.3-1.dsc 1.7 KiB 539f16ac85877da96f6b7ca9fb8c3a84be9d73e7f7b870a44aeaec0cb119b8e7
cbmc_5.3.orig.tar.gz 5.0 MiB 98b7d2eac8628cfe8bd246b44f7063c54b08069e280842be975c820553e9cacb
cbmc_5.3-1.debian.tar.xz 9.5 KiB cd6ba93bda7a9de5df05a8a0c6005c95fa4323b0c9a280ba43bb8eaf38d526fd

Available diffs

No changes file available.

Binary packages built by this source

cbmc: No summary available for cbmc in ubuntu yakkety.

No description available for cbmc in ubuntu yakkety.

cbmc-dbgsym: No summary available for cbmc-dbgsym in ubuntu yakkety.

No description available for cbmc-dbgsym in ubuntu yakkety.