2026-06-16 10:53.30: New job: build proverifdoc.2.01 (591f4611f62f)
2026-06-16 10:53.30: [profile full] build proverifdoc.2.01
2026-06-16 10:53.33: build proverifdoc.2.01 (591f4611f62f)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
Processing: [default: loading data]
[proverifdoc.2.01: dl]
[proverifdoc.2.01: extract]
-> retrieved proverifdoc.2.01  (https://opam.ocaml.org/cache)
[proverifdoc: ./installdoc]
+ /home/opam/.opam/default/.opam-switch/build/proverifdoc.2.01/./installdoc "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverifdoc.2.01)
-> installed proverifdoc.2.01

=== STDERR ===

2026-06-16 10:54.20: OK: build proverifdoc.2.01 (runc: 1.6s, disk: 4KB)
2026-06-16 10:54.20: Job succeeded