Accepted cbmc 5.84.0-7 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-7 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 27 Jun 2023 05:05:51 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-7_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-7
- 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=1f+4Tlzdl8657Au7ucY0wOoDv4XSREOsbufRJ44drDI=; b=GmTajzNM0zQEZmUXT5oM20M+nj iO9hq1l6s55i7yLAswxCkDdzrnWbw7LlBhPSlQRCiEhuOiZ7MCjoo5tJE/BQtcvo/nu3K4MS6gHZc H4Xs+l1nBacNIreBS8EuGld11hKJmyrXgMWrctrtMsodT8UMs1gnoXTFJ+PtMZ+uYGcfeVcBEv8KF EGVjkAlLPILeE7xQb+BzyzsITKczmN8DLgdOpsJCZgKAWyuf/dZn62s4jFvpuHctgjqys7uY35CfF XsMkko6FcgAlu/faC1ohdNXsPxxi90+Fg7L55pDDXGkVHFbgnSf+cp8GXTXT8geYwCxoLJbWvq8zh JheC/A3w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qE0tj-000RCm-CM@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 26 Jun 2023 06:10:31 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.84.0-7
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-7) unstable; urgency=low
.
* Enable fortify hardening
* Fix autopkgtest
* Fix further portability problems
Checksums-Sha1:
38a37c275d0eb00752f26767c7c17e397f6fc6dc 2957 cbmc_5.84.0-7.dsc
e7f726272cd4f4dd84d2b43b0efde648d64fd4ec 56432 cbmc_5.84.0-7.debian.tar.xz
Checksums-Sha256:
38b5c24a807d07ed122c1f195d5747c8c6df8071f7631a93b620d0acbe20e8cc 2957 cbmc_5.84.0-7.dsc
a594321be4a8902c4cdd86f99f55b58d335a89e6fcbf6ecfaac78b0ad7c8a577 56432 cbmc_5.84.0-7.debian.tar.xz
Files:
cf1de1acc275172dcf3404394446559c 2957 science optional cbmc_5.84.0-7.dsc
9c1eefa10ab8296f777516eac1f2fba4 56432 science optional cbmc_5.84.0-7.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSaaQoOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFdiQ/7BPWfYbg7S9GRWYFatP9VpwLLM1+p67e6UL/B
ZschvabHLxBZK1gt4lis0mIDTpbLTZpdXUiuvWRiQNYXFtkqtFm2yIfYmInzOY5M
2hpyc4JYem6ZGMN4JuGzFS8Yb5aNZd7GFAkPy3EFLryfnCT5n6WCYu7Xt/W742jF
e1E9gTmfAdZv6jL1CS7ekSW142YmXOfNbYPAGxbyJCflU2iprxi3RfLHGktq94/C
pQXQkOFleCJBqtcudKuzPSl39E5xZqXneR/rj1sUW02UnrsexAUAvqV5/WJB45Vg
/QtWwT4rqSYOiiuLDU8K/HQibFP5gO4lea1PX5uoz6MGP/p98J8OvmPOCfQ2zYC1
oqT21qI3h471KfBihGyoTyMvs3WvQwBoBbnVCJLufkBoWb1qAxw8e/bpgW0M+Ow6
uysewZGlHPWk9b+P81tv/nWdX8zG1dCSLjf0f7qI92bwJJSHDIPaQBasxY7w+mW+
dnYcjo44klOJJQvA5khKh1HzIbPoLyGpc85xELamDAgC8gvRUrIjLFO3WXaGnVfK
Dly/19pvcDpPPjitq3V5sxa6n+pwjiivB2GKfOMo4u2dk1r/rU6WcIEaIQZKaEV5
DOTy/PrnOP8hPFFCva+qI7Zq9ZAVC5hGsCHmNmiAwgCIlYi2H3a68ocq3bNRkgOu
ty/X5vc=
=7/Na
-----END PGP SIGNATURE-----