-----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-----
