Man pages matching name cobcrun in section 1:

cobcrun.1.en	debian 10 / gnucobol
cobcrun.1.en	debian 12 / gnucobol3
cobcrun.1.en	debian 12 / gnucobol4