Format: 1.8
Date: Mon, 04 May 2020 13:06:54 +0100
Source: cbmc
Binary: cbmc
Architecture: arm64
Version: 5.12-5
Distribution: groovy-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-055.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
 cbmc       - bounded model checker for C and C++ programs
Changes:
 cbmc (5.12-5) unstable; urgency=low
 .
   * Disable regression tests that take too long on mipsel.
Checksums-Sha1:
 80cbe8f541b3e936c0b5cf5612a7265025347a65 503946004 cbmc-dbgsym_5.12-5_arm64.ddeb
 3afed8c5416133afed41f799c8151abafa4726c7 11545 cbmc_5.12-5_arm64.buildinfo
 6c4403eb2dd8d765db954d703e96f8604dc0e959 13461688 cbmc_5.12-5_arm64.deb
Checksums-Sha256:
 7d50b747806c10971d6afbcf26abcc425ae658de9e740f1376a436040bb24ab5 503946004 cbmc-dbgsym_5.12-5_arm64.ddeb
 52f1918fbe180418c43f4f057361c3de71046ad160cc44dc9ce525edb8b970ea 11545 cbmc_5.12-5_arm64.buildinfo
 410ca866a19e408f16bdb2785cdf728ad658cdc8f109148265a882765049222b 13461688 cbmc_5.12-5_arm64.deb
Files:
 e7040836f3f1e4ebfac2a506ac53ca1b 503946004 debug optional cbmc-dbgsym_5.12-5_arm64.ddeb
 923046f5f57a99790b88d1b1821f2fb5 11545 science optional cbmc_5.12-5_arm64.buildinfo
 8ec1850e0c6dfce1119ae60feeab42c6 13461688 science optional cbmc_5.12-5_arm64.deb