Commit 07294cdb authored by pa's avatar pa

truc2

parent 832a51f0
lib: [
"_build/install/default/lib/dpll/META" {"META"}
"_build/install/default/lib/dpll/dune-package" {"dune-package"}
"_build/install/default/lib/dpll/opam" {"opam"}
]
bin: [
......
EXCLUDE_QUERY_DIR
B /home/fthire/.opam/4.04.2/lib/menhirLib
B ../_build/default/src/.main.eobjs
S /home/fthire/.opam/4.04.2/lib/menhirLib
B /home/shirenn/.opam/4.06.1/lib/menhirLib
B ../_build/default/src/.main.eobjs/byte
S /home/shirenn/.opam/4.06.1/lib/menhirLib
S .
FLG -w -40
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment