Man pages matching name picoproj in section 1:

picoproj.1.en	debian 10 / libam7xxx0.1-bin
picoproj.1.en	debian 11 / libam7xxx0.1-bin
picoproj.1.en	debian 12 / libam7xxx0.1-bin