Man pages matching name atdgen in section 1:

atdgen.1.en	debian 10 / libatdgen-ocaml-dev
atdgen.1.en	debian 11 / libatdgen-ocaml-dev
atdgen.1.en	debian 12 / libatdgen-ocaml-dev