Build:
- 0
2026-08-05 19:56.52: New job: build proverif.2.00 (10d9c073670d) 2026-08-05 19:56.52: Waiting for resource in pool day11-builds 2026-08-05 21:43.00: Got resource from pool day11-builds 2026-08-05 21:43.00: [profile full] build proverif.2.00 2026-08-05 21:43.00: build proverif.2.00 (10d9c073670d) === DEPENDENCIES (13 transitive) === base-threads.base 4e0218232a65 base-unix.base 2d2c0bf34146 camlp-streams.5.0.1 4c74a626189e compiler-cloning.enabled 645922735998 conf-gtk2.1 517f48e6edef conf-pkg-config.5 4a77ab8734e0 dune.3.24.2 1e5f2fe7e8cc lablgtk.2.18.14 9498b5620693 ocaml.5.5.0 07a9fea0affc ocaml-base-compiler.5.5.0 90119128ecb1 ocaml-compiler.5.5.0 6aaaaa99fb41 ocamlbuild.0.16.1 799d75b8313e ocamlfind.1.9.9~preview 851bbc5aa659 === STDOUT === Processing: [default: loading data] [proverif.2.00: dl] [proverif.2.00: extract] -> retrieved proverif.2.00 (https://opam.ocaml.org/cache) [proverif: ./build ocb.native] + /home/opam/.opam/default/.opam-switch/build/proverif.2.00/./build "ocb.native" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.00) - + ocamlfind ocamlc -config - + ocamlfind ocamldep -modules main.ml > main.ml.depends - + ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - + ocamlfind ocamldep -modules types.mli > types.mli.depends - + ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - + ocamlfind ocamlc -c -o stringmap.cmi stringmap.mli - + ocamlfind ocamlc -c -o types.cmi types.mli - + ocamlfind ocamldep -modules display.mli > display.mli.depends - + ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - + ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - + ocamlfind ocamlc -c -o parsing_helper.cmi parsing_helper.mli - + ocamlfind ocamlc -c -o pitypes.cmi pitypes.mli - + ocamlfind ocamldep -modules encode_queries.mli > encode_queries.mli.depends - + ocamlfind ocamldep -modules history.mli > history.mli.depends - + ocamlfind ocamldep -modules movenew.mli > movenew.mli.depends - + ocamlfind ocamldep -modules param.mli > param.mli.depends - + ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - + ocamlfind ocamlc -c -o ptree.cmi ptree.mli - + ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - + ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - + ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - + ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - + ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - + ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - + ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - + ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - + ocamlfind ocamlc -c -o history.cmi history.mli - + ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - + ocamlfind ocamldep -package str -modules reduction_helper.mli > reduction_helper.mli.depends - + ocamlfind ocamldep -modules rules.mli > rules.mli.depends - + ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - + ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - + ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - + ocamlfind ocamldep -modules terms.mli > terms.mli.depends - + ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - + ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - + ocamlfind ocamldep -modules version.mli > version.mli.depends - + ocamlfind ocamlc -c -o destructor.cmi destructor.mli - + ocamlfind ocamlc -c -o display.cmi display.mli - + ocamlfind ocamlc -c -o encode_queries.cmi encode_queries.mli - + ocamlfind ocamlc -c -o movenew.cmi movenew.mli - + ocamlfind ocamlc -c -o param.cmi param.mli - + ocamlfind ocamlc -c -o piauth.cmi piauth.mli - + ocamlfind ocamlc -c -o pievent.cmi pievent.mli - + ocamlfind ocamlc -c -o pisyntax.cmi pisyntax.mli - + ocamlfind ocamlc -c -o pitransl.cmi pitransl.mli - + ocamlfind ocamlc -c -o pitranslweak.cmi pitranslweak.mli - + ocamlfind ocamlc -c -o pitsyntax.cmi pitsyntax.mli - + ocamlfind ocamlc -c -o proswapper.cmi proswapper.mli - + ocamlfind ocamlc -c -o reduction.cmi reduction.mli - + ocamlfind ocamlc -c -o reduction_bipro.cmi reduction_bipro.mli - + ocamlfind ocamlc -c -package str -o reduction_helper.cmi reduction_helper.mli - + ocamlfind ocamlc -c -o rules.cmi rules.mli - + ocamlfind ocamlc -c -o simplify.cmi simplify.mli - + ocamlfind ocamlc -c -o spassout.cmi spassout.mli - + ocamlfind ocamlc -c -o syntax.cmi syntax.mli - + ocamlfind ocamlc -c -o terms.cmi terms.mli - + ocamlfind ocamlc -c -o termsEq.cmi termsEq.mli - + ocamlfind ocamlc -c -o tsyntax.cmi tsyntax.mli - + ocamlfind ocamlc -c -o version.cmi version.mli - + ocamlfind ocamlc -c -o main.cmo main.ml - + ocamlfind ocamlc -c -o main.cmo main.ml - File "main.ml", line 641, characters 15-31: - 641 | let s_up = String.uppercase s0 in - ^^^^^^^^^^^^^^^^ - Error: Unbound value String.uppercase - Command exited with code 2. -> compiled proverif.2.00 [proverif: ./build install] + /home/opam/.opam/default/.opam-switch/build/proverif.2.00/./build "install" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.00) - cp: cannot stat 'proverif': No such file or directory [ERROR] The installation of proverif failed at "./build install /home/opam/.opam/default". [proverif: rm] + /usr/bin/rm "-rf" "/home/opam/.opam/default/doc/proverif" "/home/opam/.opam/default/bin/proverif" "/home/opam/.opam/default/bin/proveriftotex" "/home/opam/.opam/default/bin/proverif_interact" "/home/opam/.opam/default/bin/proverif.exe" "/home/opam/.opam/default/bin/proveriftotex.exe" "/home/opam/.opam/default/bin/proverif_interact.exe" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.00) install failed... === STDERR === 2026-08-05 21:43.58: FAILED: build proverif.2.00 2026-08-05 21:43.58: Job failed: build failed: proverif.2.00