Accepted cbmc 5.10-5 (source) into unstable
-----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 <mt@debian.org>
Changed-By: Michael Tautschnig <mt@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-----