(executable
(name coq_ssh)
(public_name coq_ssh)
(libraries unix CoqSSH)
(package CoqSSH))
(env
(dev
(flags (:standard -warn-error -A))))