Man pages matching name coqide in section 1:

coqide.1.en	debian 11 / coqide
coqide.1.en	debian 12 / coqide