Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
123456789101112(library (name lib) (synopsis "Rocq's Utility Library [rocq-specific]") (public_name rocq-runtime.lib) (wrapped false) (modules_without_implementation xml_datatype) (libraries rocq-runtime.boot rocq-runtime.clib rocq-runtime.config findlib (select instr.ml from (!coqperf -> instr.noperf.ml) (coqperf -> instr.perf.ml))))