Accepted cbmc 5.84.0-5 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-5 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 17 Jun 2023 07:20:58 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-5_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-5
- 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=EWOSncqaIxuuqS2t3l4h4hEzD2XzJFN7eEbGrbq09qs=; b=nbvoXYitW7RFUetOhJqI833LA9 WG+ulezifUcm2lu72gJal+SpPVFzQSAf1R3yluOdzCJOq8w5xTtSy6fwWQKqobPrwn4C3W//M7UfK 9CvO/krOojMxQq6i6JvrF9ClFWsmCX9srH5PR5aOni4xqWmtyoMiXJQ24GS+jqO0L1AN6cK7FFuCf EVDBw2byHevNSfEdcJEciFHvhiVm8QCQ3F+eH6uPAmrDkhTGC2uLCRlxZQZrYwmoiYUXP0SbqDUeg QI1+E1ggdJUuoiUImwtd/sDPZCZWKxrvDpx/67z+dpjSeaM/uRKuqSQBqqeipICjIKklfuAd4zJRV WBa2mEmg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qAQF0-005m0F-RW@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 16 Jun 2023 21:58:47 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.84.0-5
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-5) unstable; urgency=low
.
* Fix further portability problems
Checksums-Sha1:
1a4671c5168c214c5caf212efa81fb991badb95e 2962 cbmc_5.84.0-5.dsc
13bfdaabd9f43f393e57dd1a8dbcc5714620df07 54976 cbmc_5.84.0-5.debian.tar.xz
Checksums-Sha256:
d08ec5535a25ca68979212e5010e662b6ff22ff8291d8b394e05279b2c6ca8ea 2962 cbmc_5.84.0-5.dsc
0d6ba429b65399646a4b0def3005047648adf3145160d05bdae5880e76ee6ad7 54976 cbmc_5.84.0-5.debian.tar.xz
Files:
38f2c8dc0a2219855feffb317f3a9c20 2962 science optional cbmc_5.84.0-5.dsc
667f94a8c820766089237cbfb77508ca 54976 science optional cbmc_5.84.0-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSNWKwOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHbag/7BYl82rClrfxEncbcC6nfgw6SjWX/pBtkJKmr
gayNeNb4X6vv7SO5nT8dZyfm7EptngDtZf0n03NuZ/NThHzQx6Ghj9jgTrUjNHAZ
HvjhrVKjMsVxt6YEerN44U6IiDSaNj+g1YLT/VH/usiZNgGgBQ0I2wIDRC/DiPJ5
MlnZkDEi/U6zF3YvjtSeE2oYuQiYE7Mlrbf/Kf21eX+JaTJPtOhah+ozJ3YeStZj
0+abq2y34hN4GSQygmDWXklKlYoxUjS1mp2LT43WKYwhGfdmLOR33EC6viWgHRVy
E1+grk7pvU4E1Na/6Cca9e6mFtjWMIBEyEk1GFztwH8osVjueUHqIoTFJsKf3o96
loyAYyOP3Rypu2Ta5hjsI+2IrKwq0Zm6oq1lBYHV6UXCKCbhd3SYUZmqzUuVlf32
6oMa4INViuCDu2TANPwHzIggDZxa3Mjm1EMyig0PzOGoLa1YFDCoNEvBnTwcKwQx
OKagIvzFDnA9vXq5H69K4Z5Mo8A3f0fPJqo5gX5vUZoNQ3ATwWsPFF4BFmZXBoak
aI2dF8w0O2rk4OvWU6sEjaYiMchg/dQWjBUQgYams8eYPxKNPEiqZtqQ+tTCdsku
lYXrcLQ7g90E+T+Rt4vwkaq5sChjuhGUBnxkuJ0i0JM+fla1ADvHX2bWDO51WsMI
uNONo+k=
=DUBx
-----END PGP SIGNATURE-----