Accepted cbmc 5.84.0-11 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-11 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 28 Jun 2023 18:52:15 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-11_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-11
- 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=pZLSMdcrF4SOLcinPZnwLt0AqrIrAEPLT4xFZBkDlbk=; b=HVsRwlMq3APv11I4n01oICEXpj lY45RKMMNwltb7/hEUOfxT3ljMOtF7bvXgTQpc8HZzvWjJ3xnsvlBzCfUQT/Rsk9zSY84GxwlYEZm Y9dOmcfV3R/XvrP2/g2rmLTnCGK++5qR/BoiCkSDxHoSJ/M2/0dIhD0Px6vpH796CmiGp9C7lirUf AYinWeSxvJf/024Uxxc3/xh+95ljb1rpf9bFTJUbO3Ce4IF5wqbN8GPyAOZdgSotJ2LDwCRmFd7Bk 0bza36ZiII/wxdwLRQcaNK6+YcKxeO+6NfzBzEvnwDkDxnBeqUSGY+GoJ0YrJNHGCB6ThSDjjftOa rJpEQnPw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qEaH1-007T53-5H@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 28 Jun 2023 18:55:27 +0100
Source: cbmc
Architecture: source
Version: 5.84.0-11
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Changes:
cbmc (5.84.0-11) unstable; urgency=low
.
* Disable more tests with portability problems
Checksums-Sha1:
3d520c1d69e8539ee6c47021fd565fc40df1437b 2961 cbmc_5.84.0-11.dsc
a104715e094cf4e1f77d9c5236ffd9eb0c7de2e5 57900 cbmc_5.84.0-11.debian.tar.xz
Checksums-Sha256:
381844d5d67333e5a0a9ab24311c61bf0d33abb87291e1b52d49816a35d413f3 2961 cbmc_5.84.0-11.dsc
467938b77a4a7d0f9bfa9ad417e9f38cbb0e705735fdcbff0106962dae84e740 57900 cbmc_5.84.0-11.debian.tar.xz
Files:
583399551a129ae5385d4dd38dbad9a0 2961 science optional cbmc_5.84.0-11.dsc
ea72c0349234ceee87db28ae834cb37b 57900 science optional cbmc_5.84.0-11.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmScevkOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFV6Q/9F7fx+sToXUj90VJwjdN8HwzRnHgodnwHxJ98
0x4QYkyo0sY+Jj/mhUp9wTIDPrgWDwf/OFP0SbAaso1dDfSG3wNVlY19eLqpqKNq
UYOVqKZXHGrsPSzlRwXyOkA6sIvmK+TjicVFQaU0l7LW44ODpeF34aGAPZENVGBQ
HQv0teI087RIKgHr/RaUB7mAtHWztLjImlwRWAmQwAeE4jzIHb+aJTVqMSGT1Cts
8aZRBUKiH9CZkVUo29EbvphaVV9zoisBpQZMECrSR4q0Ykcj9DzbeK2W5KF9hrlY
hqHc+grfeHfFI8hC4Q/O7+7s1ZSGjdIVyh6brXXyrha9mA3CHnYfChS+79dx0VrR
7MQJnMPjbrBnvdNPtpWEtwmnd6Hl53D8HfB1TI3VV14TUuuWyo6Gm6n5HHzIL/kT
ZERxDfCEeB+cBf1/y/0txfbKXqPP9Ci4WeLJpMBZ/laxIZrmkBys9SQFtgeZi+Io
iYRqj7+baWDlfwvEnqeub+Oson5q5Fdo5oaQqxCRe1imVU3vk/IEtEPdMn91xEA3
bCY5CJBqu4xMqTqW2UE90fhNViO9x/px7dliBllH3Ocv2vhQ4udVmieS1zR5Wlge
1lUyo2dmIkSt6FwcVVNAPYyYFVDXY67hXQS2H/DqRfZX+Vp/5V/mpPgz6B7NCcyC
XDCoRKw=
=LJHH
-----END PGP SIGNATURE-----