path: root/clib/dune

(library
 (name clib)
 (synopsis "Coq's Utility Library [general purpose]")
 (public_name coq-core.clib)
 (wrapped false)
 (modules_without_implementation cSig)
 (libraries str unix threads))