Accepted cbmc 5.84.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 04 Jun 2023 05:50:53 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-2_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-2
- 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=XALnjaEv5nf35rZxAlHc1G8rEXea4ALpcCW241DU5mQ=; b=GNbA1l+c4m9LSBETqwVu+FsK7I Y4OgnSUSXdQB9KW0O4Y6n9oEzyuGstXVOq9qFOeJzmTabqGSp0b5lGPTP6F9jPjMXExy6A8Aga1IY KRrLX70Z5lhnD7BHIbCkuzaFYkXuDjkVw1Fa/4nU6jnUNJf7QPC1mbtRPF6BbyZY/ycYWS6qhHdfg xM+s2xhD2Hmlx7a/p5wpSZ7SHLhXdtY5rmYVlkpAEmqJTLpwMwKh5bydDxlGjGnds+2mlzo0Knyyx IdbSpTmFAvS6qiuP+ONGGYfRWWCfCM83KbEwjnl3+XucrqRA5zzndtsBR0YACLQcpS81Uxv5hG9V2 qYMAr/uw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q5gdh-00HDMI-MK@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 03 Jun 2023 21:07:29 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym
Architecture: source
Version: 5.84.0-2
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
Changes:
cbmc (5.84.0-2) unstable; urgency=low
.
* Fix several portability issues.
* Added autopkgtest
Checksums-Sha1:
af06c060ab2ae0c9343ce4126264f847564bcaeb 2640 cbmc_5.84.0-2.dsc
21c4544fb7b9fc398729fb30b2c3a5e7fc525161 51716 cbmc_5.84.0-2.debian.tar.xz
Checksums-Sha256:
3f0ec509e2f7e388e768bfb04de7c535ec70c3ffae596ee55c2ec268dcec5e84 2640 cbmc_5.84.0-2.dsc
ddeba5e95fe7997d57880f8bc7bde1133378ebabd5f07c1482edd64984772ab5 51716 cbmc_5.84.0-2.debian.tar.xz
Files:
9672b15dd3ccff8fb2267b3203e5fd92 2640 science optional cbmc_5.84.0-2.dsc
1376b8bbc25b82087836f7abee254959 51716 science optional cbmc_5.84.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmR8IngOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHEiw/6AyyRudUn6hn+08DFsWV0r+ZUmTJzpnYAU6mj
1JNdvCtseod1sFRQQFU9wkg4GfW5HSRMWXS8gKim3XNBY2jeFHIRWEwAj/RA+Mdy
sv2a3wpRt+aZOyShlazakW7bZNlKueVtIt2qB7Yqvdjfpvig0KRN1yFBXBoYOMec
+fx+ds3iEDAXYLJzHUha9jV0lyA5r+6/+PUKDV+tOs2LcdfsBzAiZDmYMiOlgzvA
VDz5bDboPVfTyLp8jX+X8WegeyRaiPVGMyjc9z9eWuIFVnOj4Sddg4RBE9O1fpJZ
4DC2z5gzDh7pFbi7VXEjfjv/g6mZ5+h7BJfJnKlu0XshyiTFq5K/yUtRPfk2I0/A
v2YtKiXTOiv402YV03GKGyeYQ3xz7VamUIChdkZFnXg4UYmDBlgw1BFn70NOtcYp
bXNQsDTJpAzdHleREll+fvoe9vi4UVADv9CUglAjqLPpnwnWrwCSMrf2CpI2+QTS
fuQsOEuJJGvAZcpw5b+GecvU9rMVO54djpRyb9S5IAwhFwTDIMS4c7qosBI1QPjf
gdEG0sxY3gIHWjbWoC6j+PERdhfe3eJfYi9dABd0cVWJN6vdCs7HTJVrkuovcCSa
yKAbnHU9BpmDcHBaQ+VJWTxPzm8Xgin7Sa6TU53zTUvDUUHJJipyBUSzCFjndT6j
/po3xnQ=
=ShvU
-----END PGP SIGNATURE-----