Build:
- 0
2026-07-26 10:59.34: New job: build proverif.2.00 (c7ecbdc6f383) 2026-07-26 10:59.34: Waiting for resource in pool day11-builds 2026-07-26 12:29.51: Got resource from pool day11-builds 2026-07-26 12:29.51: [profile full] build proverif.2.00 2026-07-26 12:29.51: build proverif.2.00 (c7ecbdc6f383) === DEPENDENCIES (13 transitive) === base-threads.base afe16a8e71c3 base-unix.base 73c0a5fdd34a camlp-streams.5.0.1 7d9564036abd compiler-cloning.enabled 22a431860256 conf-gtk2.1 51660ba4401a conf-pkg-config.5 2c611009363a dune.3.24.1 0d2a3ba8bfb9 lablgtk.2.18.14 2e8372d09981 ocaml.5.5.0 af24caade1d3 ocaml-base-compiler.5.5.0 5f93989ce6d7 ocaml-compiler.5.5.0 15edcf5138e5 ocamlbuild.0.16.1 ae35ea2527bb ocamlfind.1.9.9~preview c75d6f48ab10 === 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-07-26 12:31.02: FAILED: build proverif.2.00 2026-07-26 12:31.02: Job failed: build failed: proverif.2.00