path: root/ide/coqide/protocol/dune

(library
 (name protocol)
 (public_name coqide-server.protocol)
 (wrapped false)
 (libraries coq-core.lib))

(ocamllex xml_lexer)