(library
 (name coqdeplib)
 (libraries coq-core.boot coq-core.lib findlib.internal))

(ocamllex lexer)
