Build Log: binsec.0.5.0

Processing: [default: loading data] [binsec.0.5.0: http] [binsec.0.5.0: extract] -> retrieved binsec.0.5.0 (https://github.com/binsec/binsec/releases/download/0.5.0/binsec-0.5.0.tbz) [binsec: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "binsec" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/binsec.0.5.0) - (cd _build/default && /home/opam/.opam/default/bin/menhir src/smtlib/smtlib_parser.mly --base src/smtlib/smtlib_parser --infer-read-reply src/smtlib/smtlib_parser__mock.mli.inferred) - Warning: one state has shift/reduce conflicts. - Warning: 9 shift/reduce conflicts were arbitrarily resolved. - (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/dbacsl_parser.mly --base src/parser/dbacsl_parser --infer-read-reply src/parser/dbacsl_parser__mock.mli.inferred) - Warning: 7 states have shift/reduce conflicts. - Warning: 94 shift/reduce conflicts were arbitrarily resolved. - (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/parser.mly --base src/parser/parser --infer-read-reply src/parser/parser__mock.mli.inferred) - Warning: 5 states have shift/reduce conflicts. - Warning: 5 shift/reduce conflicts were arbitrarily resolved. [binsec: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "binsec" "--create-install-files" "binsec" (CWD=/home/opam/.opam/default/.opam-switch/build/binsec.0.5.0) -> compiled binsec.0.5.0 -> installed binsec.0.5.0 [WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev