-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 05 Jun 2023 20:18:58 +0100 Source: cbmc Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym Architecture: source i386 Version: 5.84.0-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> 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.84.0-3) unstable; urgency=low . * Fix several lintian warnings * Introduce new jbmc binary package Checksums-Sha1: f20f1180a35f2d3f79ce8f55c0d0fc309736f038 2962 cbmc_5.84.0-3.dsc 1e7fbc3c4dab137a257ca950dca64f3894c3db8e 52380 cbmc_5.84.0-3.debian.tar.xz 2454d7712d230bb79dafc956ef7b34775f48b76d 670554656 cbmc-dbgsym_5.84.0-3_i386.deb 6b714de1ebdc576e091903bcd6c8e251451e1fdf 13557 cbmc_5.84.0-3_i386.buildinfo a3ce0f3024cf8e0b9d9e4e158ac5a314740cfc5f 20915308 cbmc_5.84.0-3_i386.deb 00198b8a994787ce20fea0dc33bcba8ccfab223d 250005300 jbmc-dbgsym_5.84.0-3_i386.deb 87d2fcf81e0ed747a5004e8657b7f014276085a6 8132884 jbmc_5.84.0-3_i386.deb Checksums-Sha256: f60ff2c31f6117703720a8ab0fd35300d0d8600715a754f22730179b5c41f763 2962 cbmc_5.84.0-3.dsc 43c9eff7a7d162f90fb47077221c8652d42c9207dc1d64175e9198a9841c3611 52380 cbmc_5.84.0-3.debian.tar.xz 5a86836b19083d999e57c988ee701fbd39acf0f90936e35de3d521401add0d25 670554656 cbmc-dbgsym_5.84.0-3_i386.deb 2d949c68fc2242243bc9ec45a8e9d4e61e5d238df98305b5e97cadde43d01e39 13557 cbmc_5.84.0-3_i386.buildinfo c2082d39a8fc01a5080fdd5423fb4df9eb198c450be5b467d5fc6e297d5b0f23 20915308 cbmc_5.84.0-3_i386.deb dfa685029b7770c7cb9c4b3003eefcd9ae00b03c9ab69c25bcc7fb564cb09912 250005300 jbmc-dbgsym_5.84.0-3_i386.deb 30eaaeec7f1b463e96dd3099cacdcbd79a22885cfc6cacac31c3ccf491d5f019 8132884 jbmc_5.84.0-3_i386.deb Files: ad211c9f6829b9783e113abc2a2e1d64 2962 science optional cbmc_5.84.0-3.dsc 4936043b7e7ac8785174038d3ba99182 52380 science optional cbmc_5.84.0-3.debian.tar.xz 1be74e374d3962324ed90e571b95b887 670554656 debug optional cbmc-dbgsym_5.84.0-3_i386.deb ca31e6eea1292dca3fef60d5b99144ed 13557 science optional cbmc_5.84.0-3_i386.buildinfo babba55830f0f5e87a48c2d1caea9b5a 20915308 science optional cbmc_5.84.0-3_i386.deb 8931098dd9c3fd94c38aef06c2a4ca45 250005300 debug optional jbmc-dbgsym_5.84.0-3_i386.deb 12ca19e518dfe27937832dd55ac3f925 8132884 science optional jbmc_5.84.0-3_i386.deb -----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSGYVwOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTGusg/9Ho1fBVhyEWLydkJKP9YLq0PagaptBz6kjp2H hGO8dere49RLo+1z8jyj9CImlYvpT0EpbJlZ4L0A/ubuU1D2vC/QflwTAkDEEXfc sYWN/5KkN7jJ7AVDYosRYCG3fQJY0xWm6qZ2uLH1N4Mwx6a2ScoG6p6GrcNi1Qnx RObvjIZtIxr9z5aKQBlD/Nr/blpPfEFJ6Mjz5zG5QgCpjY8wSCKwBtgMc8HjEAkj qO4vpF7ubsrJg6SP/3dJHUjxz+/yZKtt8a4FGcOFcz1aQm3BM15wojBtnJ2hTmge g4HmrijfR67N8BhCdZXcEI2M88QmccEjTz6VJmyraSEIMMD7RUcVqL+9jJNZJ6Tu mb6BpYeGriJz3o5Pv+hZgxqqOYPO7B+tvi3JUIA8Rmzi7xGJ82ZClWbsUXuS08pn ed6HUGaQAFouL1Y0T/YeeU3UnL2Rca60/4QoW3lpLcI1oC0UFvVB5KoUQWX3AtUD SOLLYQZrMYlMytNoWbHl7v0uoyJXG9G4sXDVPZOvaBJqjIZHlcL6b18ewTPbvV7g h32+IyC7iQT9FQahHMSopYaOKvbPoGsvB9l+fs126tgwq/Xl7GesISZzkzonKhqL S2FQYjAyFufSh1TgAVsTqk6JoJqb5Lul1ZL7BwTpUtXHBE2iuTJxdUSrPhwgJKg1 70WFACQ= =VtVm -----END PGP SIGNATURE-----
