[Pkg-electronics-devel] Bug#1037788: Bug#1037788: nextpnr: ftbfs with GCC-13

[Daniel Gröber]

Hi  Matthias,

On Wed, Jun 14, 2023 at 09:28:58AM +0000, Matthias Klose wrote:
> Package: src:nextpnr
> Version: 0.4-1

I've just recently uploaded 0.6-1 which from the looks of it fixed the
missing <cstdint> include. Could you retry the build to make sure?

Thanks,
--Daniel