Bug#911159: marked as done (please stop building the frama-c GUI)
Your message dated Wed, 17 Oct 2018 21:11:06 +0200
with message-id <20181017191105.GA31768@seneca.home.org>
and subject line Re: Bug#911159: please stop building the frama-c GUI
has caused the Debian Bug report #911159,
regarding please stop building the frama-c GUI
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 owner@bugs.debian.org
immediately.)
--
911159: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911159
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: src:frama-c
Version: 20171101+sulfur+dfsg-1
Tags: sid buster
Severity: serious
Bug #885677 filed for lablgtk2 asks for the removal of that package. To prevent
removing frama-c from the distro, please consider just building the base
package, dropping the GUI package. Asking because creduce would be removed
otherwise as well.
--- End Message ---
--- Begin Message ---
On Tue, Oct 16, 2018 at 05:09:20PM +0200, Matthias Klose wrote:
> Bug #885677 filed for lablgtk2 asks for the removal of that package. To prevent
> removing frama-c from the distro, please consider just building the base
> package, dropping the GUI package. Asking because creduce would be removed
> otherwise as well.
this is no longer relevant as #885677 is fixed now. -Ralf.
--- End Message ---
Reply to: