2026-11-05 22:11.59: New job: build proverif.1.98pl1 (443e0df9c4de)
2026-11-05 22:11.59: Waiting for resource in pool day11-builds
2026-11-06 00:52.59: Got resource from pool day11-builds
2026-11-06 00:52.59: [profile full] build proverif.1.98pl1
2026-11-06 00:52.59: build proverif.1.98pl1 (443e0df9c4de)
=== DEPENDENCIES (13 transitive) ===
  base-threads.base                                  e5afefc1e615
  base-unix.base                                     52b3a79a2336
  camlp-streams.5.0.1                                4996d400c07d
  compiler-cloning.enabled                           656c3e8c82d2
  conf-gtk2.1                                        4f1acc62f861
  conf-pkg-config.5                                  918c1ea9acfc
  dune.3.24.2                                        8d8bffe1f6de
  lablgtk.2.18.14                                    c112ebc8c0da
  ocaml.5.5.2                                        fec8e2d43a6e
  ocaml-base-compiler.5.5.2                          ef85578d279b
  ocaml-compiler.5.5.2                               2759c28bbd03
  ocamlbuild.0.16.1                                  72dd90b12cc0
  ocamlfind.1.9.9~preview                            f6d4e7fc14b0
=== STDOUT ===
Processing: [default: loading data]
[proverif.1.98pl1: dl]
[proverif.1.98pl1: extract]
-> retrieved proverif.1.98pl1  (https://opam.ocaml.org/cache)
[proverif: ./build ocb.native]
+ /home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1/./build "ocb.native" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1)
- + 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.98pl1
[proverif: ./build install]
+ /home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1/./build "install" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.1.98pl1)
- 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.98pl1)
install failed... 

=== STDERR ===

2026-11-06 00:53.22: FAILED: build proverif.1.98pl1
2026-11-06 00:53.22: Job failed: build failed: proverif.1.98pl1