Quelle  dune   Sprache: Text

(library
 (name coqworkmgrApi)
 (public_name rocq-runtime.coqworkmgrapi)
 (modules coqworkmgrApi)
 (wrapped false)
 (libraries str unix))

(deprecated_library_name
 (old_public_name coq-core.coqworkmgrapi)
 (new_public_name rocq-runtime.coqworkmgrapi))

(library
 (name rocqworkmgr)
 (modules rocqworkmgr)
 (libraries coqworkmgrApi))

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