[Pkg-electronics-devel] Bug#1031095: Removed package(s) from unstable

[Debian FTP Masters]

We believe that the bug you reported is now fixed; the following
package(s) have been removed from unstable:

      ghdl | 2.0.0+dfsg-6.1 | armhf, s390x
ghdl-common | 2.0.0+dfsg-6.1 | armhf, s390x
  ghdl-gcc | 2.0.0+dfsg-6.1 | s390x
 ghdl-llvm | 2.0.0+dfsg-6.1 | armhf, s390x
ghdl-tools | 2.0.0+dfsg-6.1 | armhf, s390x
libghdl-2-0-0 | 2.0.0+dfsg-6.1 | armhf, s390x
libghdl-dev | 2.0.0+dfsg-6.1 | armhf, s390x

------------------- Reason -------------------
RoQA; package no longer builds on armhf and s390x
----------------------------------------------

Note that the package(s) have simply been removed from the tag
database and may (or may not) still be in the pool; this is not a bug.
The package(s) will be physically removed automatically when no suite
references them (and in the case of source, when no binary references
it).  Please also remember that the changes have been done on the
master archive and will not propagate to any mirrors until the next
dinstall run at the earliest.

Packages are usually not removed from testing by hand. Testing tracks
unstable and will automatically remove packages which were removed
from unstable when removing them from testing causes no dependency
problems. The release team can force a removal from testing if it is
really needed, please contact them if this should be the case.

Bugs which have been reported against this package are not automatically
removed from the Bug Tracking System.  Please check all open bugs and
close them or re-assign them to another package if the removed package
was superseded by another one.

The version of this package that was in Debian prior to this removal
can still be found using https://snapshot.debian.org/.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1031095 at bugs.debian.org.

The full log for this bug can be viewed at https://bugs.debian.org/1031095

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster at ftp-master.debian.org.

Debian distribution maintenance software
pp.
Scott Kitterman (the ftpmaster behind the curtain)