[Pkg-electronics-devel] GHDL maintenance

[Andreas Bombe]

On Tue, Nov 22, 2022 at 06:27:41PM +0100, Daniel Gröber wrote:
> On 22 November 2022 03:08:24 CET, Andreas Bombe <aeb at debian.org> wrote:
> > That makes
> >your branch not directly mergeable, but I will cherry pick changes from
> >it instead.
> 
> Excellent, thanks.

I also used your debian/rules changes for propagating exit codes
properly, and that showed a few more errors that needed fixing on my
side. Plus I was switching the toolchain to gcc/gnat-11, and now I
figured out that gcc-11 is also supposed to be dropped and I switched
again to gcc/gnat-12.

All of that triggered so many issues that needed fixing. But I think I'm
really close to finally upload working packages maybe tomorrow.