Back to cbmc PTS page

Accepted cbmc 5.95.1-1 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted cbmc 5.95.1-1 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Fri, 16 Feb 2024 11:51:23 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: cbmc_5.95.1-1_amd64.changes
Debian-source: cbmc
Debian-suite: unstable
Debian-version: 5.95.1-1
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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=QiVmk+fx0119jm6ULey5ylb8rNVqV/kSFbRB5C4UudI=; b=jJvefNlfHdYH4llqlY4cvV+kpn 55zr8f+mILxz+HZRPdGCBOAtdqC7mMoAy7Q+PZlZcHxLtXMr6/juAKKs7rFa8rZnuY1V63B/9SXBy 2mFR+xbGo9CvKwR7XPoUjOcPRmqyzzsqvkcqhZR4jUY1vN23kBZSOcpYgiua3lwmHkRU3QEMVgNNR SrFg02OXLzt1yuHGsSTQGcg16UN4WsyJoNLgM8qcPBZg+cuNBSQEbr7vzMbeT4dIieVQz9Eik/pZ1 1puaUcYIYYq2empL7OxJkz8DBlcm3kui88EQE3XoVw5XdBXEV3cWPBGHGu9jaDMCtehkIcKD6OL9Q /b8MxWsw==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1rawkV-00EwwL-9u@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 16 Feb 2024 10:04:32 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.95.1-1
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.95.1-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1:
 a4b9e99b131ffe5e24c767217eb8ab6d2fc4353a 3054 cbmc_5.95.1-1.dsc
 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.95.1.orig-java-cprover-api.tar.gz
 ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.95.1.orig-java-models-library.tar.gz
 5e54f45458dfdbc5e6d023bf4fc08175a9949ce1 9073428 cbmc_5.95.1.orig.tar.gz
 43f4178099bd0e0e0c582ebdb6b6f256bf695ebc 59160 cbmc_5.95.1-1.debian.tar.xz
Checksums-Sha256:
 91e233babfcbe45d03b4d580f513346caf73d8f0c1425bec5bbffd270f1bd7bf 3054 cbmc_5.95.1-1.dsc
 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.95.1.orig-java-cprover-api.tar.gz
 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.95.1.orig-java-models-library.tar.gz
 fdc1e862752430f8d069eb2f9c33dcd05078cf955bbc900e2cc840bcb01b3783 9073428 cbmc_5.95.1.orig.tar.gz
 8d0f19156edb327edeedfbb942c3a0b39e68536d4af651c7e09409d2038b6d6a 59160 cbmc_5.95.1-1.debian.tar.xz
Files:
 f8294c3ada28fdd6711f13e05ff9442b 3054 science optional cbmc_5.95.1-1.dsc
 245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_5.95.1.orig-java-cprover-api.tar.gz
 6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_5.95.1.orig-java-models-library.tar.gz
 05f0e4a4a3e7e2830c3be3b9398018de 9073428 science optional cbmc_5.95.1.orig.tar.gz
 caf689401fcad9843da88c064b9a3afd 59160 science optional cbmc_5.95.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXPR1sOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTEfZQ/+Nmg8D0ZPNSDsZr9R/t3Zb6qIssdRF4RZ6Ekf
fZv4K/DdkapZI//qSLw7BoES0Nh2sXisLih1Fij6V/CMx8Edt0RNWaAoAVAaiz1D
nLFsd5e6GFts5FvxZY5X4rQ/GDuoKkJ+NTuNJiY0X/pwUH3ABYR5ihnPeEygyoJQ
Iy8KWoX0ddv/kxRTRRcIIu1aZQTBr4Xzf2/rd5Bwaneb8zwPCqm1748f/C6dSj4f
Z4dJfOf0CHWnAMnednB1qG7fwn9e7Ra8OqA6zk93UD7igOQbaR2+YGPFRFmJ03Ku
aaweoGXSd6vaGzxBEUYDm0RaWS6xBPOKuU1Omsx2LXHFi1ps4YYjnl4ImBPsU6Du
I9p7hWJrbcj/++C5dIe3UpoyJaJNt+hW0kO7UmAU4/gVfn0y16ELDS1JXrI7u+k2
WEk83EuF5BOhmSLzLUqtVcZWIZTJ9AUp8OpP8M+G9eXOGQSoj0WY1RTor6pWsRkR
9dWzD3pR1O/pjJE7CEEq2Vkd/TIx7BXn6T28rZAZVMx/GY3/4f+OTQzgrhLHF2mF
XRK29UQGwWE7p14qxj+8uv/WMcE1ABhf+ZDuTttImaeN3i3Tvzej6/lowb64Kpdx
1an5XydP10U3raa3XAbIJh5UkXZUUNusdGJdz7uVyG31krB91rcwqZR1VI7RfODa
hCuzuOw=
=aERh
-----END PGP SIGNATURE-----

Attachment: pgpGqWVUizm9p.pgp
Description: PGP signature