Format: 1.8
Date: Mon, 19 Feb 2024 12:28:17 +0000
Source: cbmc
Binary: cbmc jbmc
Built-For-Profiles: noudeb
Architecture: riscv64
Version: 5.95.1-4
Distribution: noble-proposed
Urgency: low
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-049.buildd>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
 cbmc       - bounded model checker for C and C++ programs
 jbmc       - bounded model checker for Java programs
Changes:
 cbmc (5.95.1-4) unstable; urgency=low
 .
   * Fix portability problems for hurd and sh4
Checksums-Sha1:
 1493018bb67d9ff4262588277b49bb1eb7afa383 409058800 cbmc-dbgsym_5.95.1-4_riscv64.ddeb
 8e523dc6866edb8b2603ea387167292fb345ebaa 12861 cbmc_5.95.1-4_riscv64.buildinfo
 c762c3748d1261983c204e428eb828fcd4f3518f 21716906 cbmc_5.95.1-4_riscv64.deb
 ad1812873d0006faa0ab3d88c4805a08f69b965d 165376178 jbmc-dbgsym_5.95.1-4_riscv64.ddeb
 88297b82b7b2a0911dcc214353f66502e3393dfb 8586672 jbmc_5.95.1-4_riscv64.deb
Checksums-Sha256:
 596660cf191080bf40f6b0fc2bd3f06ce0ac4339a1e4fb5b0102f456148c408b 409058800 cbmc-dbgsym_5.95.1-4_riscv64.ddeb
 ffbfd46d3c9a8d817e0a464f05becadf50c4c88e066cb5c88d9d872644f1f352 12861 cbmc_5.95.1-4_riscv64.buildinfo
 aad200cd753dfabb2638dc794f5b8546500d6f6054b8ace0c40129a1fb334944 21716906 cbmc_5.95.1-4_riscv64.deb
 d9a252be29f41b08b797cf35bdbd9dd99180176e494bff1cfec4bbc8a40fc52d 165376178 jbmc-dbgsym_5.95.1-4_riscv64.ddeb
 4b0082ed0e7af251145c65775d72464b2d459d9b9e52ac052c01562e3d3b201b 8586672 jbmc_5.95.1-4_riscv64.deb
Files:
 5a25833534aabd0d111024ad9901b973 409058800 debug optional cbmc-dbgsym_5.95.1-4_riscv64.ddeb
 8b5ab0230080682f9e859d8bdf51f0ff 12861 science optional cbmc_5.95.1-4_riscv64.buildinfo
 f1b4bb7d005078cb6508b9468a3f955d 21716906 science optional cbmc_5.95.1-4_riscv64.deb
 d6eaa3f5fec013596948964f1351b1ca 165376178 debug optional jbmc-dbgsym_5.95.1-4_riscv64.ddeb
 d89b8193204cf42f91748373c67b3ac0 8586672 science optional jbmc_5.95.1-4_riscv64.deb