Build Log: coq-waterproof.3.1.0+9.1

Processing: [default: loading data] [coq-waterproof.3.1.0+9.1: http] [coq-waterproof.3.1.0+9.1: extract] -> retrieved coq-waterproof.3.1.0+9.1 (https://github.com/impermeable/coq-waterproof/archive/refs/tags/3.1.0+9.1.tar.gz) [coq-waterproof: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coq-waterproof" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-waterproof.3.1.0+9.1) - (cd _build/default && /home/opam/.opam/default/bin/coqc -q -w -deprecated-native-compiler-option -w -native-compiler-disabled -native-compiler ondemand -boot -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/rocq-runtime/boot -I /home/opam/.opam/default/lib/rocq-runtime/clib -I /home/opam/.opam/default/lib/rocq-runtime/config -I /home/opam/.opam/default/lib/rocq-runtime/engine -I /home/opam/.opam/default/lib/rocq-runtime/gramlib -I /home/opam/.opam/default/lib/rocq-runtime/interp -I /home/opam/.opam/default/lib/rocq-runtime/kernel -I /home/opam/.opam/default/lib/rocq-runtime/lib -I /home/opam/.opam/default/lib/rocq-runtime/library -I /home/opam/.opam/default/lib/rocq-runtime/parsing -I /home/opam/.opam/default/lib/rocq-runtime/perf -I /home/opam/.opam/default/lib/rocq-runtime/plugins/cc_core -I /home/opam/.opam/default/lib/rocq-runtime/plugins/ltac -I /home/opam/.opam/default/lib/rocq-runtime/plugins/ltac2 -I /home/opam/.opam/default/lib/rocq-runtime/pretyping -I /home/opam/.opam/default/lib/rocq-runtime/printing -I /home/opam/.opam/default/lib/rocq-runtime/proofs -I /home/opam/.opam/default/lib/rocq-runtime/tactics -I /home/opam/.opam/default/lib/rocq-runtime/vernac -I /home/opam/.opam/default/lib/rocq-runtime/vm -I /home/opam/.opam/default/lib/zarith -I src -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/btauto -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/cc -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/cc_core -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/derive -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/extraction -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/firstorder -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/firstorder_core -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/funind -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ltac -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ltac2 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ltac2_ltac1 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/micromega -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/micromega_core -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/nsatz -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/nsatz_core -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/number_string_notation -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ring -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/rtauto -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ssreflect -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/ssrmatching -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tauto -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p0 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p1 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p2 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p3 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/tutorial/p4 -I /home/opam/.opam/default/lib/coq/../rocq-runtime/plugins/zify -R /home/opam/.opam/default/lib/coq/theories Coq -Q /home/opam/.opam/default/lib/coq/user-contrib/Stdlib Stdlib -Q /home/opam/.opam/default/lib/coq/user-contrib/Ltac2 Ltac2 -R theories Waterproof theories/Version.v) - 3.1.0+9.1 -> compiled coq-waterproof.3.1.0+9.1 -> installed coq-waterproof.3.1.0+9.1 [WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev