Build:
- 0
2026-09-03 19:42.39: New job: build proverif.2.01 (24d520be8b6f)
2026-09-03 19:42.39: Waiting for resource in pool day11-builds
2026-09-03 21:25.01: Got resource from pool day11-builds
2026-09-03 21:25.01: [profile full] build proverif.2.01
2026-09-03 21:25.01: build proverif.2.01 (24d520be8b6f)
=== 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.01: dl]
[proverif.2.01: extract]
-> retrieved proverif.2.01 (https://opam.ocaml.org/cache)
[proverif: ./build]
+ /home/opam/.opam/default/.opam-switch/build/proverif.2.01/./build (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.01)
- 36 states, 401 transitions, table size 1820 bytes
- 10 shift/reduce conflicts.
- 43 states, 762 transitions, table size 3306 bytes
- 201 shift/reduce conflicts.
- 74 states, 1701 transitions, table size 7248 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
- 65 states, 1398 transitions, table size 5982 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 "menu_helper.ml", line 933, characters 11-23:
- 933 | let _ = question_box "Error" ["OK"] mess' in
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_helper.ml", line 1191, characters 13-25:
- 1191 | match (question_box "Warnings" ["Yes"; "No"] messages ) with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "reduction_interact.ml", line 66, characters 28-52:
- 66 | let _ = Menu_helper.question_box "Already in public" ["Ok"] ("Term " ^ (Display_interact.GtkInteract.display_term result) ^ " (or its components after decomposing data constructors) already in public") in
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "reduction_interact.ml", line 95, characters 19-43:
- 95 | let _ = Menu_helper.question_box "Evaluation fails on both sides" ["Ok"]
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "reduction_interact.ml", line 157, characters 19-43:
- 157 | ignore (Menu_helper.question_box "Input failed" ["OK"] "The input failed because the received message is not of the expected type." )
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "reduction_interact.ml", line 159, characters 19-43:
- 159 | ignore (Menu_helper.question_box "Input failed" ["OK"] "The input failed because the pattern-matching failed.");
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "reduction_interact.ml", line 529, characters 17-41:
- 529 | let ans = Menu_helper.question_box ("Private " ^ io) ["1) Channel is public"; "2) Private communication"; "Cancel"] ("Either: \n 1) The channel " ^ Display_interact.GtkInteract.display_term tin ^ " is in fact public. Give a recipe to prove that. \n 2) Make a communication on the private channel " ^ Display_interact.GtkInteract.display_term tin ^ ".\n You will then choose the process to communicate with.")
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "reduction_interact.ml", line 563, characters 27-51:
- 563 | let _ = Menu_helper.question_box "Error" ["OK"]
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- 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 "menu_interact.ml", line 312, characters 12-36:
- 312 | Menu_helper.question_box
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 361, characters 9-33:
- 361 | ignore (Menu_helper.question_box "Warnings" ["OK"] messages)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 369, characters 18-42:
- 369 | match Menu_helper.question_box "Choose a process to simulate" ["First"; "Second"] "Simulate first or second process ?" with
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 503, characters 14-38:
- 503 | let _ = Menu_helper.question_box "Error" ["Ok"] "Type not defined" in
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 518, characters 20-44:
- 518 | ignore (Menu_helper.question_box "Error" ["Ok"] "Term (or its components after decomposing data constructors) already in the public elements of the current state")
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 533, characters 12-36:
- 533 | ignore(Menu_helper.question_box "Error" ["Ok"] "The evaluation of the recipe fails")
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 644, characters 24-51:
- 644 | let pixbuf = GdkPixbuf.from_file_at_size png_file_name !png_width !png_heigth in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels width, height were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 648, characters 19-43:
- 648 | let _ = Menu_helper.question_box "Error" ["Ok"] "The call to Graphviz failed. Please check that Graphviz is correctly installed.\n(The program \"dot\" must be in the PATH.)" in
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 698, characters 19-43:
- 698 | let _ = Menu_helper.question_box "Error" ["Ok"] "Please use .png, .pdf, .jpg, or .eps format to save the file." in
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 714, characters 14-38:
- 714 | let _ = Menu_helper.question_box "Error" ["Ok"] ("The call to " ^ (!Param.interactive_dot_command) ^ " failed. Please check that it is correctly installed.\n(The program \"" ^ (!Param.interactive_dot_command) ^ "\" must be in the PATH.)") in
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 718, characters 22-46:
- 718 | let _ = Menu_helper.question_box "Error" ["Ok"] "Please use .png, .pdf, .jpg, or .eps format to save the file." in
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 801, characters 14-41:
- 801 | let pixbuf = GdkPixbuf.from_file_at_size png_file_name !png_width !png_heigth in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels width, height were omitted in the
- application of this function.
-
- File "menu_interact.ml", line 809, characters 16-40:
- 809 | let _ = Menu_helper.question_box "Error" ["Ok"] ("The call to " ^ (!Param.interactive_dot_command) ^ " failed. Please check that it is correctly installed.\n(The program \"" ^ (!Param.interactive_dot_command) ^ "\" must be in the PATH.)") in
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels title, buttons were omitted in the
- application of this function.
-
- 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.01
[proverif: ./build install]
+ /home/opam/.opam/default/.opam-switch/build/proverif.2.01/./build "install" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverif.2.01)
-> installed proverif.2.01
[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:26.04: OK: build proverif.2.01 (runc: 31.2s, disk: 18KB)
2026-09-03 21:26.04: Job succeeded