Accepted cbmc 5.84.0-3 (source i386) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-3 (source i386) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 19:05:16 +0000
- Debian: DAK
- Debian-architecture: source i386
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-3_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-3
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=dXa1KQURvkwMQePa2J3bY6Rk3O3wkw8QBGbuMLMkKPg=; b=cQwRVXQyAPO490NViiCk6r+NdT ifnlO5NkVfpGNeC4cTu5TDZD+Q3jJt6aWadkW89Yp1FkMMXWnCn2pMPxjrpZ71y1dVAnK8k7tCAjk 1ADKS3BoY18hhGyKCi/DpOaA3gzvCkPtVwLR8fqnqd+UydMduO9STQnhoziviDkVPQw1wDZ6FBbFW /ty6iJfpsqBJgZtXnjH68j3BO2Inywbk87mWLWE8CtkamKNuUg72JD3jzDJfvRXSP1jpgwTlY7ARU 4H1Y6PPDXtzPXiTfLDCedxZLi7XCBqBNj9uVpkSwdZt61yA0DSws1W2yDXAMQufhCE4p1HN4fG6Vf 2yUVhhCQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8mqq-00HGjX-NY@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----