(jbuild_version 1)

(executables
 ((libraries (atdgen))
  (names (ag_main))
  (public_names (atdgen))
  (package atdgen)))