Processed: Re: [Pkg-electronics-devel] Bug#930890: ghdl: Debian ghdl.wrapper prevents build when GHDL is not already installed.

Processing control commands: > severity -1 serious Bug #930890 [src:ghdl] Update GHDL packaging for newer releases Severity set to 'serious' from 'wishlist' > found -1 0.35+git20181129+dfsg-3 Bug #930890 [src:ghdl] Update GHDL packaging for newer releases Marked as found in versions

Processed: Re: [Pkg-electronics-devel] Bug#930890: ghdl: Debian ghdl.wrapper prevents build when GHDL is not already installed.

Processing control commands: > severity -1 wishlist Bug #930890 [src:ghdl] ghdl: Debian ghdl.wrapper prevents build when GHDL is not already installed. Severity set to 'wishlist' from 'serious' > retitle -1 Update GHDL packaging for newer releases Bug #930890 [src:ghdl] ghdl: Debian ghdl.wrapper