Man pages matching name progress-linux in section 7:

progress-linux.7.en	debian 10 / progress-linux
progress-linux.7.en	debian 11 / progress-linux
progress-linux.7.en	debian 12 / progress-linux