Man pages matching name iceprog in section 1:

iceprog.1.en	debian 10 / fpga-icestorm
iceprog.1.en	debian 11 / fpga-icestorm
iceprog.1.en	debian 12 / fpga-icestorm