Hi Reuben, I’ve been working lately to package nextpnr for Debian, and after accidentally filing a duplicate ITP (https://bugs.debian.org/960616) I was pointed back to this one.
I’ve hosted my work on Salsa (https://salsa.debian.org/nategraff-guest/nextpnr) and Keith Packard is sponsoring my upload. I’m happy to take ownership of this bug and/or onboard my fork into the Debian Electronics team. Thanks, Nate Graff