cbmc 5.10-5build1 source package in Ubuntu

Changelog

cbmc (5.10-5build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Mon, 23 Mar 2020 07:11:11 +0100

Upload details

Uploaded by:
Matthias Klose on 2020-03-23
Uploaded to:
Focal
Original maintainer:
Michael Tautschnig
Architectures:
any
Section:
science
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal proposed on 2020-03-23 universe science

Downloads

File Size SHA-256 Checksum
cbmc_5.10.orig-java-models-library.tar.gz 169.3 KiB e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487
cbmc_5.10.orig.tar.gz 6.1 MiB 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352
cbmc_5.10-5build1.debian.tar.xz 12.3 KiB dd9708efd4671bdd5df181d2d40af77cdcdd829ed1808085d2d902740fe6953d
cbmc_5.10-5build1.dsc 2.1 KiB 15f73bbd966199499671c81be34a4b28e7cf17286c50ff67b9919502abb0ded8

Available diffs

View changes file

Binary packages built by this source