[Pkg-electronics-devel] Bug#1103550: marked as done (Broken libghdl-5-0-1)

[Debian Bug Tracking System]

Your message dated Sun, 20 Jul 2025 22:56:37 +0200
with message-id <w7m6zds6rhh54p24b63ooewim6q325wrcgt4oxteuo4buoa6bs at w3hzp4vjk5ni>
and subject line Re: Bug#1103550: Broken libghdl-5-0-1
has caused the Debian Bug report #1103550,
regarding Broken libghdl-5-0-1
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 at bugs.debian.org
immediately.)


-- 
1103550: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1103550
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Paebbels <paebbels at gmail.com>
Subject: Broken libghdl-5-0-1
Date: Sat, 19 Apr 2025 00:00:15 +0200
Size: 9490
URL: <http://alioth-lists.debian.net/pipermail/pkg-electronics-devel/attachments/20250720/d486e48b/attachment-0002.eml>
-------------- next part --------------
An embedded message was scrubbed...
From: Andreas Bombe <aeb at debian.org>
Subject: Re: Bug#1103550: Broken libghdl-5-0-1
Date: Sun, 20 Jul 2025 22:56:37 +0200
Size: 7080
URL: <http://alioth-lists.debian.net/pipermail/pkg-electronics-devel/attachments/20250720/d486e48b/attachment-0003.eml>