-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 17 Oct 2018 19:55:17 +0100 Source: cbmc Binary: cbmc Architecture: source Version: 5.10-5 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Michael Tautschnig <m...@debian.org> Description: cbmc - bounded model checker for C and C++ programs Closes: 910704 Changes: cbmc (5.10-5) unstable; urgency=low . * Use default-jdk-headless instead of openjdk-8 (Closes: #910704) Checksums-Sha1: 57ee4bb7d4c78155cfa135904b326f1e8e368428 2167 cbmc_5.10-5.dsc f42ff433a50bbd23fa4ea7b9289bbacc248d452d 12548 cbmc_5.10-5.debian.tar.xz Checksums-Sha256: 225bb25ee1350f776785b51e0308e23347e04c8fd0b9bc552d7fb0e8a8b6c6c3 2167 cbmc_5.10-5.dsc f52e722787b81a974cac6fc8da42d663c73e98e48c34246bb41c8ec987928286 12548 cbmc_5.10-5.debian.tar.xz Files: 43db96e8030f5acc0766e00000381d21 2167 science optional cbmc_5.10-5.dsc 005272fb297ad972e8134cb9c8f28a46 12548 science optional cbmc_5.10-5.debian.tar.xz
-----BEGIN PGP SIGNATURE----- Comment: GPGTools - http://gpgtools.org iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAlvHoUQOHG10QGRlYmlh bi5vcmcACgkQO7+DkzbsqTHdFxAAlRc5SgSxSdM8GhZUhYTH2p8SeF5OSn/cE/BA tc2HbWaKI4/9LOCxnRYvfcvLXDX1PjfWTsA6Q2o77rF0Bt51lWWU2DcK7Lnunzv2 iATHTNfRErbI+wXlL41rUsM101xGBWT8igLicjDCzQgTv4MKjrhpLCiicy+sq135 yC8w6SIMVFwQKpA/OnbGrprAJW1+s25I5CXs4D++60wpsD5FennmgE9nDBWMevwv dNgXSx7wiSvu1OahQ6rZT0VNzQ0TrUsCs7MIqm7BRJ1DlV535VdEKj1tdjW3z6ue RtGa+cVLRJNoehLA/JrICLGvpHUy0GJ9HFfYndEoV3vsq5FGGhk1n572VwNKcD+/ LXndAVDRXk0mUOk6iVvZ/kQBoadn70I6YUAlPOnr8j7jZjfpd6PzGhlOJkWYm7sw WjTT4OlLsnTDS5sHmQqRjwjHDxpXiAlrY5T5058hmiFxAD+tggnEvgX8Uwj6B55h RqA2+madMlhAydiPDJWNbS/a5RHxULvA6YpwNZ04Oq0T1ugimulYc4le/D5kdPg2 1Dp0keMcN7hdLgPSzIukvriFfQTXh55H9aIXZ3wN7Y3fu9Va4acQiJ9gxOqkdVDk xBZjI/0maCdZAFV48wUsyirsu0uXyWnoqWtEpZYF499jKC0nHVJlgaZtCq8j858u ftwyw9U= =h3wd -----END PGP SIGNATURE-----