Man pages matching name nextpnr-ice40 in section 1:

nextpnr-ice40.1.en	debian 11 / nextpnr-ice40
nextpnr-ice40.1.en	debian 11 / nextpnr-ice40-qt
nextpnr-ice40.1.en	debian 12 / nextpnr-ice40
nextpnr-ice40.1.en	debian 12 / nextpnr-ice40-qt