(library
 (name parsing)
 (public_name coq.parsing)
 (wrapped false)
 (libraries coq.gramlib interp))

(coq.pp (modules g_prim g_constr))
