Build:
- 0
2026-09-03 19:42.39: New job: build proverif.2.04 (981eed612105) 2026-09-03 19:42.39: Waiting for resource in pool day11-builds 2026-09-03 21:25.00: Got resource from pool day11-builds 2026-09-03 21:25.00: [profile full] build proverif.2.04 2026-09-03 21:25.00: build proverif.2.04 (981eed612105) === DEPENDENCIES (12 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e camlp-streams.5.0.1 7241cfbb9546 compiler-cloning.enabled 966a2e6839f0 conf-gtk2.1 e1e573a4d138 conf-pkg-config.5 74f50f3cfe72 dune.3.24.2 ec704e062ad3 lablgtk.2.18.14 028dce1a9a2e ocaml.5.5.0 22ebd7932512 ocaml-base-compiler.5.5.0 db1659234e8a ocaml-compiler.5.5.0 7f52fb26d939 ocamlfind.1.9.9~preview 6a4c70487cf9 === STDOUT === Processing: [default: loading data] [proverif.2.04: dl] [proverif.2.04: extract] -> retrieved proverif.2.04 (https://opam.ocaml.org/cache) [proverif: ./build] + /home/opam/.opam/default/.opam-switch/build/proverif.2.04/./build (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.04) - 36 states, 401 transitions, table size 1820 bytes - 10 shift/reduce conflicts. - 43 states, 762 transitions, table size 3306 bytes - 151 shift/reduce conflicts. - 111 states, 3108 transitions, table size 13098 bytes - File "reduction_helper.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - - File "main.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - - File "main.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - - File "main.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - 46 states, 476 transitions, table size 2180 bytes - 71 states, 1001 transitions, table size 4430 bytes - File "analyze.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - - File "analyze.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - File "reduction_helper.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). - - File "menu_interact.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - - File "main_interact.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - - File "main_interact.ml", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The str subdirectory has been - automatically added to the search path, but you should add -I +str to the - command-line to silence this alert (e.g. by adding str to the list of - libraries in your dune file, or adding use_str to your _tags file for - ocamlbuild, or using -package str for ocamlfind). -> compiled proverif.2.04 [proverif: ./build install] + /home/opam/.opam/default/.opam-switch/build/proverif.2.04/./build "install" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.04) -> installed proverif.2.04 [WARNING] Opam package conf-gtk2.1 depends on the following system packages that can no longer be found: libexpat1-dev libgtk2.0-dev === STDERR === 2026-09-03 21:25.49: OK: build proverif.2.04 (runc: 30.1s, disk: 12KB) 2026-09-03 21:25.49: Job succeeded