Accepted cbmc 5.84.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cbmc 5.84.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 02 Jun 2023 19:21:03 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cbmc_5.84.0-1_i386.changes
- Debian-source: cbmc
- Debian-suite: unstable
- Debian-version: 5.84.0-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-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=tYTIeZUdn98pQCZn8bF4Qlz6ppZDbLNFGvQRQFnIMqE=; b=RVWYiaMRYNB3h5v9/K6Bp07iem 3lYl1HZytnmTe3CmyZeQ84obw858Fql4tcoB6vDxniaL62DpBJk8liEabP5mHTAgjifFuPJ0s1dEi 8OcV2MKJnWs4O4C9LFx43o3VT5oEO3HMUJFU0G2lvexm6oCiVEssqHpq4bvQop4h31pWC41/R1YGX VFEwKO5G76Ex47lJCE4jIfdkc+exv4X3oRTtS6JEKH/SddwIKjBy0MJMKC2PRsnFEvCys8sCTZpkS bx2W+gZOMG/Jwmdrvn2o3IsajW4fR0y90WP8L+qtF60Hj/+aZO3cKoxJtRnqkmqPL2OEY4YNnZ+q4 1TNVTAqQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q5AKd-006vQi-6j@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 31 May 2023 08:18:04 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym
Architecture: source
Version: 5.84.0-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
Closes: 984008
Changes:
cbmc (5.84.0-1) unstable; urgency=low
.
* New upstream release
* Includes bugfix for unintentional copy (Closes: #984008)
* Updated Standards version to 4.6.0 (no changes required)
Checksums-Sha1:
e66acc28d9b2945fdb45bcaa415a5a6d2a6cd00d 2582 cbmc_5.84.0-1.dsc
18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz
ca108e17fc68557cce10a6d5d9d84ab39395d2d6 299209 cbmc_5.84.0.orig-java-models-library.tar.gz
7ff969545febcbaaf14f8ca1eb61711ba18e1c4f 8975338 cbmc_5.84.0.orig.tar.gz
a0e2edb8e7d3e16e1980dc03f049de57a885155d 51972 cbmc_5.84.0-1.debian.tar.xz
Checksums-Sha256:
6021133e67715c2c2d56f843026903d4c529aebbd6c1ffa19d558a96f7a6c499 2582 cbmc_5.84.0-1.dsc
70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab 14582 cbmc_5.84.0.orig-java-cprover-api.tar.gz
13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9 299209 cbmc_5.84.0.orig-java-models-library.tar.gz
f07ddc51eeffa9e167996d886984b6e4961ec1058e8624518957e2b5d1979cb4 8975338 cbmc_5.84.0.orig.tar.gz
1002fc5bc0cc550f71cbfa3c70466bf5f868bf3f019b9f60b80326f838e85451 51972 cbmc_5.84.0-1.debian.tar.xz
Files:
733bc8caf85dcd369eac3aa05e265c24 2582 science optional cbmc_5.84.0-1.dsc
245cc4a092fb84d4c8a1333c793f1adc 14582 science optional cbmc_5.84.0.orig-java-cprover-api.tar.gz
6ba4b12d1ad0ee6f917128fa61df4015 299209 science optional cbmc_5.84.0.orig-java-models-library.tar.gz
0298953d57eadbec1ffdaf9d04f07cde 8975338 science optional cbmc_5.84.0.orig.tar.gz
1bc47d81da55d1f869674dc819e95e0a 51972 science optional cbmc_5.84.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmR6PIcOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFy8w/9H3dWocjWkkcm0h8fRD4JK+3ogDzbkIxpEArY
nMGG/vNhMOoH7sM0LkG+K65eyWbeRjDdrMFCoKkw5SY4DblMz4QSKGE6fXYsNYqr
4EXr7rs91zqPxlIBbN4FjnbIU6s9kGsX/6P9eP854bXJdLfUDobQrNWa8ufDuVC8
UnUpgW6rpUuffp+8mauT/2OyFrmUZfs1lwNeoprn3Z1N6TyujKhOY9zn1OB4YXJt
eP7mZNDeVeEXJeGWWQo29WJaZ1k7XcJ6/4DqnuNFf3lgvKspAeXd23/tTQm/ghrG
XLBAHEQie/WFTQ6C4WtwnZpEVEdzN85qoRPTdyaSo9hAf9ypKqOHsUVaor6/T73C
HyUGOHNSlhdVuG4c8bRzndz8KXqK7+drY6405wltTpjnx/26X3ZPCAa2hmmCVpB0
7ewAAQ1BmBgm+0+Xjd53xT0vuvbjrwYWIOZANEXGM4kMFyhcBh9ZAwdIt+R735At
P+SbnBpxZ+gwJuOg+kQN/cJ4cYPhJQUna0fE0NZZM61CNdeq9Tz+SIWeSn+CYGym
C3soDmxFgoHnPnImrwj1UlZjx1oFKjTS/j7R+eaODwqlAO6jy46QTyTfpoOqywHj
SFyU88YzUNyCfAmeTbhEBMOgZIAvpiGe5OVVJpClMzFcBx0N84+SPYjR6cHxiVrE
SpJfY8Q=
=2W8C
-----END PGP SIGNATURE-----