Accepted cbmc 5.89.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.89.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 09 Aug 2023 12:51:27 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.89.0-2_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.89.0-2
- 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=3pI3Gn93xXjJtw3VKGGVpm1J4MhY+twoKH7nfEfXG5w=; b=UvQjWt9xWVUum0ODPqgKraedwq x8ICRXyVEvlmNFaBaz7YkCXAexyOC+2BiVOhIas3DMBFZuS+VRbLGM8BTqnwpvEQtEqpp57l+URMK ygb6EvbZ8pkKyDvc/PgaeLoj0/hoOEbq5znZuWE1qnetRTKw+ELX0+0QWXW+bsnRVaqF5xs5U8g4g y6GsFL6iNGXWmEp0SuCh6O89dmK//6+/BtqbpnxGoFPs0kqC+m4rzMmKfl6VJBuLb47oYNnSJTgvB WR64OZPYdYGk/8YiWJiUGamlOMF7yXeWqjpG8vcbFj03YP/7hJrW6G419G7/Nq/XFMMikW9KCbbAK 1EwmF8PA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qTiet-009wqM-0G@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 09 Aug 2023 08:36:16 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.89.0-2
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.89.0-2) unstable; urgency=low
.
* Disable tests demonstrating portability problems
Checksums-Sha1:
a6ae29fd1dceb84f03ae4d574fb08cdb1212f744 2957 cbmc_5.89.0-2.dsc
fab6a39a60556e82ea1e7ea86cb8defeac5eb112 58868 cbmc_5.89.0-2.debian.tar.xz
Checksums-Sha256:
45b7feb241bb0484368abec5e0fa2639cc3ca3cf673776acfeba81111fe3c4d0 2957 cbmc_5.89.0-2.dsc
6a1c9da675b5f69d241632281393569f17550f1702aa992f32122ded339d66e0 58868 cbmc_5.89.0-2.debian.tar.xz
Files:
f7a34e58b3fef149e3491d941d8aa911 2957 science optional cbmc_5.89.0-2.dsc
000c19d1646065014fa85abf10341636 58868 science optional cbmc_5.89.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmTThrYOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGpMBAAmZVhNa1+1NMZ2EhUOCLJP/5XKPpowVI46QrY
j1KLcbiJi6CrblMg7WM3VWSiDd/3QMS/6wVbrCX1UNp+9CFA6ScfJSrgtI0xkxxb
6PPp/panwfKxYqb5LFvzkyHXuRDXhEcVaFZaA3RpHZxFfhF9EMicvoDjnN3oNjIU
Vg1zw54+t/e6JrIa59zGiujsCG3sus1bn5sFy3keDwLQEkRhs5u+5ZLn41A8quRv
TDDRX1bpYmgyDHOJKZDgUsS2K8rLEbHl+XNW+BgYBlLzmSjIHu2NbajK2nXrm717
ZkLeZHfyD4YK2886rQ80gu4UfCHlXZhWzvC9Kk79iVQiiA/bwePcCG2Xx8qnricB
OcdlUpKs286rbnD6YOpsYCD0MYojB7A8czhjRvQE52VQGXzAq44y0ox7YfWuLKDJ
91ZEACgnM32ebILNWPnq7JLuOGZUvK9I69ST6cQElwMTMiwhxITM3daVWyOvl+Ev
LapvIwEBfEga2h4yT0JxAR6qnqd0mfY4hischO2Vn0fySKSAZdJeplhDrdqw7t5N
8PEfrNQtbAJaJgan1yzojnaqzr4HIFGExdzziakTbuTIDietI3q4pX4DBONiMW5Y
bnQUTX75+xyQVVjomzPhYy8ZmD6/R+o4sS4v2jze7Yta4x3kbJ+kAssQydcQmyB7
kZJvoOw=
=JGxA
-----END PGP SIGNATURE-----