path: root/library/dune

(library
 (name library)
 (synopsis "Coq's Loadable Libraries (vo) Support")
 (public_name coq-core.library)
 (wrapped false)
 (libraries kernel))

(documentation
 (package coq-core))