Your message dated Wed, 17 Oct 2018 21:31:02 +0000
with message-id <e1gctpc-000amb...@fasolo.debian.org>
and subject line Bug#910704: fixed in cbmc 5.10-5
has caused the Debian Bug report #910704,
regarding cbmc: Build depend on default-jdk instead of openjdk-8-jdk
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
910704: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=910704
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: cbmc
Severity: serious
Tags: sid buster
User: debian-j...@lists.debian.org
Usertags: default-java10
cbmc build-depends on openjdk-8-jdk that we plan to remove in Buster,
it should use default-jdk instead.
--- End Message ---
--- Begin Message ---
Source: cbmc
Source-Version: 5.10-5
We believe that the bug you reported is fixed in the latest version of
cbmc, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 910...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <m...@debian.org> (supplier of updated cbmc package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----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-----
--- End Message ---
