(library
 (name coqworkmgrlib)
 (public_name coq-core.coqworkmgrapi)
 (modules coqworkmgrApi)
 (wrapped false)
 (libraries str unix))

(executable
 (name coqworkmgr)
 (public_name coqworkmgr)
 (package coq-core)
 (modules coqworkmgr)
 (libraries coqworkmgrlib))
