10 lines
149 B
Text
10 lines
149 B
Text
|
(executable
|
||
|
|
(name coq_ssh)
|
||
|
|
(public_name coq_ssh)
|
||
|
|
(libraries unix CoqSSH)
|
||
|
|
(package CoqSSH))
|
||
|
|
|
||
|
|
(env
|
||
|
|
(dev
|
||
|
|
(flags (:standard -warn-error -A))))
|