Package: libatdgen-ocaml-dev

"libatdgen-ocaml-dev" package binaries on Debian:

/usr/bin/atdgen

You may install this package on Debian with apt-get install libatdgen-ocaml-dev