Accepted cbmc 5.84.0-6 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-6 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 26 Jun 2023 05:20:44 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-6_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-6
- 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=4qO83Xy7YLhJ+y+i0KYzLqRK7K3xvMgBPX2/0VHYZrA=; b=q8SkFdd/mxpb1yL671p6esJtwr ZQELWaXffYy21/I0wXQLW+dwWWMBU6HDsFGXYdXZF2NWNEaQI+K/VBurvj8aZPFuGr3DuQGzS5IIL RQ9Jf3W0grNkZFb2fnUBVABIAUTS3uvoUSBs3ojFCpqw/iDlkgAGOy5/2xeZL798muslm0Tc3yo7+ Z/jxc2RzSkHgMuNHX2H7Ym70otFVrjpwVz/KW4nXeZmSXNR4OARe0yVqBJ2m4dm9SaF1/4yC0Za2I zji0X+5ae1Px/7qAanyXnDN7DUWICdp+00/RZug5eqIAGkJS8tsUcpSt2WTb8ustrka5k1eT8uh/4 l4dQazTw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qDeea-00DJPS-6D@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 25 Jun 2023 20:14:35 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.84.0-6
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
Closes: 1038866
Changes:
cbmc (5.84.0-6) unstable; urgency=low
.
* Fix further portability problems (Closes: #1038866)
Checksums-Sha1:
963f5f7c07aabc5deb153054b27525eb98037437 2962 cbmc_5.84.0-6.dsc
1b7e99078453e76ea7815a0546b57a1292d51e34 56280 cbmc_5.84.0-6.debian.tar.xz
Checksums-Sha256:
dea00926498044150e7e11417eecd3dd84bbcb10f5465b1a7cc94deae5eb1cbb 2962 cbmc_5.84.0-6.dsc
ad9a0908a6673092701b1ff42a8aaca5c54b0753f49ef72a7daf3cf6ff25e039 56280 cbmc_5.84.0-6.debian.tar.xz
Files:
876111401564d8ea6639a56eff662452 2962 science optional cbmc_5.84.0-6.dsc
611f6c94df4427f6af9e413d166c671a 56280 science optional cbmc_5.84.0-6.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmSZGmIOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHHZA//aj7Hr/8Ph+2wUx/ACzB0rhzMxu1n5GBePFuz
ikQEAO4/HB4bvY5VEGfuIWtW+JNy1dLcmdc+65WBnEw3pUTRTLdmXbTXlNeiznf2
/1oQp2CC82VIhPkROnUyR5mc2qgDS05GAU2A4O+AT1ZhQTMJjtQYfgm1BIJjrOqd
5w/kZRbEYataDReXh/jmTlnzFCFm3kkvS1shQOhLIBKAXXbOJaXQAR5t2QgvUNC6
A6Xre0I6NEZ5A69tuB0BsM6I1vNGz2ZXGqubM8MuR3PtwzVUjo4Lfj3dgN4Uz2cf
xy0U68j8TVFTmL3gf/Yqe5sIKwjH7YdJP7RDbS8ztGOvIFegDfrs2Qxr7rsFf+JF
9ba0l1CrkWzdKsYjSiFEvBz+s3ZDCTgHE4V3ZP4txlKKlncIAkQ6k/DDzmI1OBQA
52DgXhfB7kjv5MrX15cMLT4t1IPvdsIw6bmVTkdSRyZsPvlzjHGTYQFPM9oJQSAt
RuEHYFdSbxPnY8FMddGZFzlPl1HAiMdyPlsrS7E0h6nPTauoDDOyPJSF5xXyrk7p
YUT/hTeu3ngiw8SpT1YW0rkw6fyDx+qhRhGn5CaGYhPqDB0iYATr+vrPa2aVAZ1k
8o46UGPq2q5IWXHpcJmZxhGnr4AkNmRwQwY+jW/bZBiMN+8YqqYH/wcRB/qj5ReQ
WvBR2Zk=
=RigF
-----END PGP SIGNATURE-----