Accepted cbmc 5.84.0-10 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-10 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 28 Jun 2023 10:51:04 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-10_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-10
- 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=BaQafAcqixPR/s+pZUBe3aKrHVX47HY6075sTgZJjV0=; b=FU5RLz3i2Vfv7FsIgmhNPBJo5e aNkDvXShyD9Cr6WVTn10lPUc5uPCE1f6FYGbJU5kO09TB5U1OK5Y6JMMoCT4nNXYkVnad1awJq7aV 0vsC8fCEVqt3T2sT+HXc5mVkjWwSScA/L63CM6dT/cnk00z2EdAGu0DW8Qs7tLrxpRLgVSB4iGgFP ArcPiYTLyWOMqkwan+mh25iPwUXLkogua6KVkuPD9IIWbKlCFOaCxRnY3N4bVr6hr+uTSmRucv3Az ybKJDQlcQvQKFSQ+xdMaZKcQLkJ/AlnHL8Naqnh3rQQEL4bknkd2BghWrAGu926ifA2BE84ajf03B R8o7osqg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qESlM-005wTl-Es@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 28 Jun 2023 11:27:44 +0100
Source: cbmc
Architecture: source
Version: 5.84.0-10
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Closes: 1038866
Changes:
cbmc (5.84.0-10) unstable; urgency=low
.
* Fix more portability problems (Closes: #1038866)
Checksums-Sha1:
260f1353d14720ba6ba663d13382f3280ea39619 2961 cbmc_5.84.0-10.dsc
2c8e7bcdc966abc7949f8991266e497d16ad20a9 57520 cbmc_5.84.0-10.debian.tar.xz
Checksums-Sha256:
6042abe4735dc9aa86bcdcf87b8a72eff856907f803e476b92245a8dfa7572d4 2961 cbmc_5.84.0-10.dsc
147383382343868df8bbfdb15e18567e08fbb4ddbaa34a7f8f643fb313420a3e 57520 cbmc_5.84.0-10.debian.tar.xz
Files:
81f946388254190cf015c403b0acc4ca 2961 science optional cbmc_5.84.0-10.dsc
be3b1c59eceb774bf5f2296d4c791a3b 57520 science optional cbmc_5.84.0-10.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmScDBkOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTE/2Q//Si2Ue21dNLGquTXjoUHu2Ly6AFRreQXCKUIh
U4NI9VA4U9ucUdOcSQB6VceefhyuDn91oifuge70bd4WtTOYAkwIiFSYzS7iQvme
e3YitnbSKayZ57saskDqnhJN9wPKFTaG3TJfm90Y2m0ztO4JkmUy10NJ5XFiVyfB
8K5TuFRaOkTgqNDG7gkClCiodMtuwCP1ytm6ozIlqDQVGEiScUcn2B2KjzGR6blG
tHM5FDiz3XtKjn80Lj12YVpWxeLvWd37pkGRhf1gaF1WiHBiJ+KIRhPgltwQORPW
H//vv8VqefdglOtxlyOrr8CgPSwpXxu4eLEjQJRzrDcnpsVf/tTQfBREYZ6bUhIk
YhQJ0YWtOzZ0v+/Alzhsa7E8OKNIZCGfiSBTAitNfdzEIX/r84Xy7I+VzIgJkMBj
O7LgfRLRWyB7TTEcAWlUT1bEqT2FdR5rrGmlBFprcQmVQeJdM2Rug2m3A/tfcu4r
HANEwQq9NiO0JPpofn1tI+B/yQhTeQ7uLVmWX0i4uVHMWDXzJ5v7/ae3lESy3zyi
2z1PSvEKT29zcwU9tlY16XZ6dt4gD55ih+bcT4LIs1gOvA7pcYmh1vvmroEQO9mR
MWKVWl4aZqSAavII4pRFIji38fJU7dMsfWhBgjyBvrNR8Kng0OauaXA+STWkZ8SI
6D+fQN4=
=2D3N
-----END PGP SIGNATURE-----