2026-09-04 17:39.35: New job: build proverif.1.98 (47103d698b64)
2026-09-04 17:39.35: Waiting for resource in pool day11-builds
2026-09-04 18:23.28: Got resource from pool day11-builds
2026-09-04 18:23.28: [profile full] build proverif.1.98
2026-09-04 18:23.28: build proverif.1.98 (47103d698b64)
=== DEPENDENCIES (13 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  camlp-streams.5.0.1                                922664744f95
  compiler-cloning.enabled                           966a2e6839f0
  conf-gtk2.1                                        e1e573a4d138
  conf-pkg-config.5                                  74f50f3cfe72
  dune.3.24.2                                        25fbaa318de6
  lablgtk.2.18.14                                    20fb8d7ce3a1
  ocaml.5.5.1                                        70ca0c66e0e8
  ocaml-base-compiler.5.5.1                          59841d7ed85e
  ocaml-compiler.5.5.1                               492c0c740bd1
  ocamlbuild.0.16.1                                  e25cf731aeb5
  ocamlfind.1.9.9~preview                            5e0261154b58
=== STDOUT ===
Processing: [default: loading data]
[proverif.1.98: dl]
[proverif.1.98: extract]
-> retrieved proverif.1.98  (https://opam.ocaml.org/cache)
[proverif: ./build ocb.native]
+ /home/opam/.opam/default/.opam-switch/build/proverif.1.98/./build "ocb.native" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.1.98)
- + 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 ocamlc -c -o pitypes.cmi pitypes.mli
- + ocamlfind ocamldep -modules history.mli > history.mli.depends
- + ocamlfind ocamldep -modules param.mli > param.mli.depends
- + ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends
- + ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends
- + ocamlfind ocamlc -c -o parsing_helper.cmi parsing_helper.mli
- + ocamlfind ocamlc -c -o ptree.cmi ptree.mli
- + ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends
- + ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends
- + ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends
- + ocamlfind ocamlc -c -o piptree.cmi piptree.mli
- + 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 pitptree.mli > pitptree.mli.depends
- + ocamlfind ocamlc -c -o pitptree.cmi pitptree.mli
- + 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 selfun.mli > selfun.mli.depends
- + ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends
- + ocamlfind ocamlc -c -o pvqueue.cmi pvqueue.mli
- + 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 ocamlc -c -o destructor.cmi destructor.mli
- + ocamlfind ocamlc -c -o display.cmi display.mli
- + ocamlfind ocamlc -c -o param.cmi param.mli
- + ocamlfind ocamlc -c -o piauth.cmi piauth.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 selfun.cmi selfun.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 main.cmo main.ml
- + ocamlfind ocamlc -c -o main.cmo main.ml
- File "main.ml", line 337, characters 14-30:
- 337 | 	  let s_up = String.uppercase s in
-       	             ^^^^^^^^^^^^^^^^
- Error: Unbound value String.uppercase
- Command exited with code 2.
-> compiled  proverif.1.98
[proverif: ./build install]
+ /home/opam/.opam/default/.opam-switch/build/proverif.1.98/./build "install" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.1.98)
- 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.1.98)
install failed... 

=== STDERR ===

2026-09-04 18:23.44: FAILED: build proverif.1.98
2026-09-04 18:23.44: Job failed: build failed: proverif.1.98