(library
 (name coq)
 (public_name coq-serapi.coq)
 (libraries coq-core.vernac))

