Man pages matching name goto-gcc in section 1:

goto-gcc.1.en	debian 10 / cbmc
goto-gcc.1.en	debian 11 / cbmc
goto-gcc.1.en	debian 13 / cbmc