(executable
 (libraries gospel why3 cameleer)
 (name cli)
 (public_name cameleer)
 (package cameleer))
