On 4/2/20 1:30 AM, Andreas Beckmann wrote:
> On Thu, 26 Mar 2020 21:02:59 +0100 Matthias Klose <d...@debian.org> wrote:
>> yes, but we cannot rebuild the package, because it build-depends on gnat-8.
>> Filed a removal bug for gcc-8 instead.
>
> An easy fix would probably be to temporarily add a versioned
> Provides: libgcc-s1 (= 1:${binary:Version})
> to libgcc-s1 in src:gcc-10 which should make libgcc-8-dev installable
> again, s.t. gcc-8 can be rebuilt fixed.that's a good idea.
