path: root/ide/protocol/dune

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

(ocamllex xml_lexer)