Accepted cbmc 5.84.0-9 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-9 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 27 Jun 2023 18:54:41 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-9_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-9
- 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=+GY5RJf7KvcsXw76S5QbaY4cDI1yAq99DffG383QgGw=; b=g9mByas+BTRYb/yLMx1weSOxNt jWoxyYS4M0ynwtUhWq0dJwUoswLr8EYZa523+CKHqBDtXs50yvV9J9mWptwBejfdhkwfX5CKVpJEx AJxxnYG5a76BAvz6clApjQ8iAfaUjs9mH8mqQvEvtRQcMInXFM5CM1ml90oT09q05F8pWTkQHFIw/ ula5NdSP7dDJU0ObSC5Juclgypm+HKA9Slv6dQXxtKfeU5ltZVhGIefQpmqzYpVhN1Z8RXHHENCA1 YfrcUTUA4/r2wh13Jg61QN3xNW7usixNrk+k+4xLdCRpRXRynpHx5qGq3BVxGbBl1T2Zi6koXoXT7 6snowdpQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qEDpp-002t4p-6K@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Jun 2023 18:55:42 +0100
Source: cbmc
Architecture: source
Version: 5.84.0-9
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Changes:
cbmc (5.84.0-9) unstable; urgency=low
.
* Disable more tests with portability problems
Checksums-Sha1:
a0fe004cda4edc1c59225dad8e36f8f023018435 2957 cbmc_5.84.0-9.dsc
eeaa4d1230b00c2be74ac8c1e381b516c0fc92aa 57316 cbmc_5.84.0-9.debian.tar.xz
Checksums-Sha256:
e135963b628406155436f482337520548b5578b313a31053ed02d3b42dfcf38b 2957 cbmc_5.84.0-9.dsc
2a9608e9d40ca12aae6a61c69b187e2eb4996ed1b9ec97183c59a9cbd754874c 57316 cbmc_5.84.0-9.debian.tar.xz
Files:
916bba8894450be75db1cca61270ae38 2957 science optional cbmc_5.84.0-9.dsc
0b37f495ed6038876df01ed1b42cdbb3 57316 science optional cbmc_5.84.0-9.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSbKGcOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGcyA//SxoAPLLyM5Z4wmNmZH8VefWkaKHy5Iu0QV94
nfpb/ELig99O1A+E54ZVSWb+ZrGgczECWQekFDSj7kCLgJY8i8CxL90lhNPDbEGO
Roq0AfTKmH9cXgAAME3Xbamb9xA9tNO76lj9AEhGrpnbPHoaRn/hrj2g2pfT0tca
JiABWwE8yaliPZvkvjUvngIO5vGgAsO4RLk0tnwjg5LuX3uO9g7/35HMbtNM6zv7
mnbL9LZQaV89zak8ukAs7BVbC70IPL3y6rrL+3E3w+kPamOFMdTox93jNqMJIJ8p
c9q0v1tuiJvt3G/HqvzUd2Tb9LYB8Wj1MwZ1IISt5ZEhPaAL/RiYhEL6liXCZEh8
hrBcNy1cwXwWYB7dNoKluIUb7vJUAWdt8+sgN+NV7yfXiFtgBvCM5zbRjWdc+nw3
hP5VMSxXqS8NeuMm5HNhzYQxQ3SAy7SZaaLhPUjf6bKhdBM9G6HQ4VaTKOwmY8m9
Zza416wGaKLQ8r+7QYzybr8oNXIdXW25e2z77wG+bVq9M2igiTfe8jpXD9Inye8C
cylxHS0goQMqv/0UDpGsAumRBlW55TsaFFA3bXCaUpLHn4MmbY/vxJ5emGhIFA78
T7gdCsq5eWhgFPNOA/frHTanYGvkowgoziZ0cbci2FJLLIhjclEv7z9IdsH1qYhj
RwdC6sI=
=y1Fu
-----END PGP SIGNATURE-----