Back to cbmc PTS page

Accepted cbmc 5.95.1-6 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted cbmc 5.95.1-6 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Tue, 30 Apr 2024 10:21:11 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: cbmc_5.95.1-6_amd64.changes
Debian-source: cbmc
Debian-suite: unstable
Debian-version: 5.95.1-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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=/z8KuiRS/XZlWDNJLTEk8RbC6AEQAWEY0Q4FUcLWInE=; b=jmigzCDelwuNDDwe+jXN50YPMe aUQDU+hgTuvfdp6jnLB6vv3DEaiNFDRa0IqAbX1N5pZoXvebcWw4V/n5Pczqrw2OR3JpmKlQnMYPK lM89+Lg/sKE55zsATAYXrs9AQlooEKwsnnJc7pov6nqDZ0/UX5GOM5XDcM9d9mr6T68gEjRis+IT0 ihEu8ZQM07j9V1E1OMM/d5O2kZjwrC00RBNfvmk9PmLxKp9QKZB0K2n/+We+vaB8pwC+76w2OrJBZ P07/twV1hE2YKmIE7IyYbEEEy9DZS5gqcAoK2ngkrMec2f6QWyStcaE8NWufml6hjqukjyI9yddLj +l5c+SPw==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1s1kbn-008r3n-RF@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

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

Format: 1.8
Date: Tue, 30 Apr 2024 08:41:23 +0000
Source: cbmc
Binary: cbmc cbmc-dbgsym jbmc jbmc-dbgsym
Architecture: source
Version: 5.95.1-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
Changes:
 cbmc (5.95.1-6) unstable; urgency=low
 .
   * Add mmap64, __time64 support
Checksums-Sha1:
 1b0552559cc3ba1d69a316c539d463b84ca494e2 3061 cbmc_5.95.1-6.dsc
 b76266cd79cdf168b6d6cfd6bdd3431bbac1656b 17780 cbmc_5.95.1-6.debian.tar.xz
Checksums-Sha256:
 c6a04692a7408797e16122b1bb1084a758d1411b1e3ddec665c6dd8ca8a466b5 3061 cbmc_5.95.1-6.dsc
 2771f0bf5fd6c20259aaf1d187634f1e4949f3ea8086c8737ea06f27007bca89 17780 cbmc_5.95.1-6.debian.tar.xz
Files:
 38b0aa699ce955fa887607c49c02e268 3061 science optional cbmc_5.95.1-6.dsc
 fe1265686e57f7cce0b02e14e23b8382 17780 science optional cbmc_5.95.1-6.debian.tar.xz

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

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmYwwCUOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGHzg/9G1R1qxM9p+mln8Loq8oFdsX2P6r0MClE6j4v
6aRROVvzsQAUFDRnVwD+oaR+qX0GXx2ByR5jDJ8QBM3noMAVY6Xz8VFkhszYT6X/
iBHvCNK9USQKMBoBam2q4nPc+HiSISe52pZ4mVsd2vIXN4pIHTbfDtdf5Se4gUn6
8lobgvgKaXm/Wt5O6zOpwT6AE6CvidX8g4gN8ndwhTDAv9pSlovFcqtPD9hnr2UW
2hHTlTg07bNGylbji5ffmbqacpiyf8/fPXU+pWiS6mfTAfo59Fqni7h6aSC5qGa7
gRcLNWNAM64WfNBEGgxNH5OpRvAJBZySRK5ZybHxJXyw07aYny3Ww/OGyk6ShqXr
aoeZoMOeVP8bLm8H6XQ4zbidL8710wfLFl6Z3HspT5r3BZgjrFoilVv3di5TafBA
s9Mv5uCaLQpZmd4dJjyPyocqbjTjEJYzbv/BhEABVXXo3gjcmeJ/Zzv4h5y+GuaX
W8sj3OSM2g1rjSuUv3j6iie6KfD9XLxHfgQIfTmk1ztwW880DNIDh1zw0E6k4Nxz
2J+I5yIIk/w6KnkhbvaWiXhNEZcdHUTmt0ur+ImrB6KO2zyVluyiyLrMScXna5un
N6FgmrsXwBrx7w+AngmUqzJbep3asD4FpMxxQSHHqKHQhiQaDs05RNDY2wsmBbgz
oIcz/fc=
=2r21
-----END PGP SIGNATURE-----

Attachment: pgpzdNHEwmpu1.pgp
Description: PGP signature