(install
 (section bin)
 (package atdgen)
 (files atdgen-cppo cppo-json))
