Man pages matching name xc3sprog in section 1:

xc3sprog.1.en	debian 10 / xc3sprog
xc3sprog.1.en	debian 11 / xc3sprog
xc3sprog.1.en	debian 12 / xc3sprog