path: root/sysinit/dune

(library
 (name sysinit)
 (public_name coq-core.sysinit)
 (synopsis "Coq's initialization")
 (wrapped false)
 (libraries coq-core.vernac))