Back to cbmc PTS page

Accepted cbmc 5.95.1-5 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted cbmc 5.95.1-5 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Mon, 29 Apr 2024 14:36:56 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: cbmc_5.95.1-5_amd64.changes
Debian-source: cbmc
Debian-suite: unstable
Debian-version: 5.95.1-5
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=k3o/UBwjEUcnN8XZ/0Wjm3gAxQvLTowvMpKma4SawjU=; b=GuprBmU4gtg2fXUAP9sEL/YQ51 k93qbseoyImfwqCJgiBM7JCb1NJA+JAzvZvcZxkue+ylmdgVcVxPvwqW7jSz1woJgGHf4EOqjfnpO ZbC0+IUgMX9JhFCRedglNqq7urJ2yFtEI730iDga0Lnr+wDgVERiy+5eY/tcg5APIBp2DRJ77k6Wq pxOT4qzI+vnGv7r2jmk7+SXb+8/DsYWavWJXO1Bv+nz0vUEVHOs+hFAZoiAoLP103q+wF5cLtOaJz Dhlg85rzMkO3/oXKZ+DXgfCUF1kR89TlDgbPRCHLpLfmWDdGvnLczuhxNAISq2nLtN0xJzm8a0gvW WIHypQTA==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1s1S7k-004t8y-A9@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

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

Format: 1.8
Date: Mon, 29 Apr 2024 12:56:13 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.95.1-5
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: 1069438 1069990
Changes:
 cbmc (5.95.1-5) unstable; urgency=low
 .
   * Add fopen64 support (Closes: #1069438)
   * Add loong64 support - thanks wuruilong for the patch (Closes: #1069990)
Checksums-Sha1:
 ef9efca463b99f79ca1c0cbacfdb04a732cf2bf2 3061 cbmc_5.95.1-5.dsc
 0c39a83a339b5f2fa27e39f6cc43a5363b22b1a2 16944 cbmc_5.95.1-5.debian.tar.xz
Checksums-Sha256:
 59d0d9a22a86db411c0cdb0eceb3ede4e059e3d9741fad68015329dbb6354809 3061 cbmc_5.95.1-5.dsc
 eb865cf8bbdf528a73a6cd6f6bd4885e185405a56885e2d71158273fb233a74c 16944 cbmc_5.95.1-5.debian.tar.xz
Files:
 162b93dd6b16da530cc9b51e21b7ba7b 3061 science optional cbmc_5.95.1-5.dsc
 e4b045e334cc786d094c2658a4917ac4 16944 science optional cbmc_5.95.1-5.debian.tar.xz

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

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmYvpKIOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHapA/+Ny6iYfqEYtAwe79d22Xh7D88kAXZzdDaYScv
6LxzE+1xggprVUHgcCNxBPgnmw+4AVydMs6ekuSMtKOjtvYFmBHN3CRhCU5Xf2Qs
efdXqdnUS1ru5ekr7GLCkMgZ7hoo2LFymGwaWI85Rr1wvCYGqzuLSNGEXr8huQ7d
J1kH6agvAuI+qW7R4rCsJcIV5S662PaOsFI+Rq5bdemvTCiyMqi5p4VIGNYqu1XI
dfgB+t0Fsbj4FJoy7J09k97lzwRRCt8IdudJVCS9DQ+TsuRF2g7FR7vdGN1gvZN5
wGDmnerk6IVat9XQ0aGGSvj9yk8JNhJjbiZtxFq+hRoKEQ21XvDySvj4aqVezYh1
C1aEQ6Ccf/Ynip9wR4MNbWDrYU/zpT3xE70qMWHd4iZhMGrFy9OuKjaZqzy08JET
G6TysI7744CGLVLKZLmthZ0syvDRuDUCu1/mhjXO7ZTBxejYJ7148ejixdYuOyxP
De5P4mF3pqUAbs3tH+o0EDQZflCGcPXf7QMSSZPwSdvpS8wSRctqqSlWboxlpJ65
uCIqTtGombzhVvVywbGqfgQeGSx796QZxjhNrFo2M/1XPTSRoIo7h/HsouCf5DRf
QVgKlHchDIAH9hBHxg7UkGhw9w6ODA8JyTRcjPDsGc0goikC/SVi0Z7sGlMlPy0H
P7ZZ6gA=
=X4Wi
-----END PGP SIGNATURE-----

Attachment: pgpqZOmOcekuq.pgp
Description: PGP signature