Accepted cbmc 5.84.0-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 14 Jun 2023 05:50:55 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-4_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-4
- 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=2eRowSBqMF+ey/22/QnTiSHf72YNNU1TkzrvrMXaC1M=; b=UCKHjgbPqZNx73rqZji3dziAih KaBeLtJqulLji74Pqeb38OLL85hs9QkKYmfi4GtlKOSjopF/nUI4PXmNmP6GmvIsPwIxlMEGddbjh O72hX/p1N/YDcXfVIkKP3jOzq6LlJzDCDIiIAZ3HF5G8i2+jsIDYnYE83j6xcxqXRYQpRiJ/YuzSP q2jwlI809NppWeM3AB9y2qySVpAhr4DUOzAZ5jtf60bybzCw3cz25gWsRF7qCRx4beiPA7O99USvS 2rKPR8x36YqP5Wh3bOQwVG17jMw9zvkSefozPQ1DFLLUbTuVGA5/Q8+bS6/DeFGG1RbzvqbWxxr4D uEiZs9yg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q9JPD-007eVV-Qs@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 13 Jun 2023 21:27:48 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.84.0-4
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-4) unstable; urgency=low
.
* Fix portability problems
Checksums-Sha1:
e876994c0df89df95acea22c3cb68047b28eb580 2962 cbmc_5.84.0-4.dsc
080bfa7085ace9e83258b26214be968be30b762e 53572 cbmc_5.84.0-4.debian.tar.xz
Checksums-Sha256:
c889dff1d7be32d32647566cc752057cac188539e99c62582879cc842fb4f34a 2962 cbmc_5.84.0-4.dsc
c2a21de8b33c52bfb69011fb5a6ee5c40a911df7e81b5fc7e59eb041b68389ac 53572 cbmc_5.84.0-4.debian.tar.xz
Files:
638136fc0eb5968531cc82329a57ac74 2962 science optional cbmc_5.84.0-4.dsc
2f6f3d00c2858f4d68f28baf3f771e38 53572 science optional cbmc_5.84.0-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSJUj4OHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGuDQ//ZBvpu3g9oPdrtnUK83CM0ub10kkkswG9MIxH
lCqAJKWirMOciTiSM4YVb8UZVxwzpRvh4i4PlFtpbcXxdpmxMjpZ4295s6kDQYin
9xf7w0lVGMxswCpB3+5gW0G8FEfYMbFYmL9I+vaK3jL69kq8oW6FoPjJAeA2TpXx
oza2CF+D1bJfm4FeehlPgs7XyZRTiONhKiGQguoyaDxapKrC+9rCMkOaN9xA5EjB
Ixn1gPRiGVIIbWk2AnrHqjYqgqS7CjgWla3hHF+9S/KI4bG3lgdOzEXNd8YJur54
8XkaYymUf3U+xMfT6VsyHj8jzFcqZUSap9mxLHoE/nVmcTWzMoCKtYyZobXgHrvC
/vS6hG8xKZuKeTpnJudbPE8ARnFZMLxbVn0Ca4SZ0kqUF4b+cqO+SOtwnGJQ33sL
XTvJ3kb101ZdLRY4VdgYx21phL4qyGb1D3PBnYud5PZQbOxPye9+84a92JjEfRbZ
Qde/fagytGoOCr3EDum5SdocAV/gO+XkksVTzJHGFN66nBHop0tBStIbF9tFf2pu
FLBACyRo24g5qDe4gzcWylZjcRchwX/AMzyXtM9MFd8KBTehOKh/LHhYtA6WZOLU
2Q7UM9ooUzWV9CEm9If6OGFISUC1OF5akVafUyEgEgmaJUCUuo/bpCqSbV/XScX3
IIJpHl4=
=dwOr
-----END PGP SIGNATURE-----