2026-09-03 21:37.07: New job: build electrod.0.8.0 (6ae71b802685)
2026-09-03 21:37.07: Waiting for resource in pool day11-builds
2026-09-03 22:38.34: Got resource from pool day11-builds
2026-09-03 22:38.34: [profile full] build electrod.0.8.0
2026-09-03 22:38.34: build electrod.0.8.0 (6ae71b802685)
=== DEPENDENCIES (41 transitive) ===
  base-bigarray.base                                 31ac6860ef52
  base-bytes.base                                    03d1d8215763
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  cmdliner.1.3.0                                     009b853fda6c
  containers.3.18                                    2c68f2247974
  containers-data.3.18                               6989f12f94a9
  cppo.1.8.0                                         ae65ae8da728
  csexp.1.5.2                                        a8c3b011f80e
  dune.3.24.2                                        c1eeb99f6e21
  dune-build-info.3.24.2                             087f8a84ce67
  dune-configurator.3.24.2                           f3ea3aed4b06
  either.1.0.0                                       49a2eec46270
  fmt.0.11.0                                         fcdd77a41ef9
  gen.1.1                                            fd379e329c64
  hashcons.1.4.0                                     3de5dadc8149
  iter.1.9                                           670d79aa71c6
  logs.0.10.0                                        3fea10c2f5bd
  menhir.20260209                                    b99afb68669d
  menhirCST.20260209                                 7c6dcb11d404
  menhirGLR.20260209                                 19b5eac2c4b8
  menhirLib.20260209                                 c6a771eba0d4
  menhirSdk.20260209                                 f5db0299937d
  mtime.1.4.0                                        7471ff91f403
  ocaml.4.14.2                                       458ea8e41f1f
  ocaml-base-compiler.4.14.2                         5e7f4ffd456a
  ocaml-compiler-libs.v0.12.4                        0894859c81d2
  ocaml-config.2                                     04f0ffe19acf
  ocamlbuild.0.16.1                                  f3be9d38f777
  ocamlfind.1.9.8                                    664b1606b92b
  ppx_derivers.1.2.1                                 616aee6c1b32
  ppx_deriving.6.1.3                                 53fe9dcb52f5
  ppxlib.0.38.0                                      3f908db9985d
  printbox.0.5                                       66dd14798c2f
  result.1.5                                         6c25d4597d7c
  seq.base                                           58d3032df7b1
  sexplib0.v0.17.0                                   fb7b48098c4f
  stdcompat.21.1                                     3cd8e979d474
  stdlib-shims.0.3.0                                 d4db3d53fc47
  topkg.1.1.1                                        7bd6b0867511
  visitors.20260520                                  4a5b4c9d975b
=== STDOUT ===
Processing: [default: loading data]
[electrod.0.8.0: dl]
[electrod.0.8.0: extract]
-> retrieved electrod.0.8.0  (https://opam.ocaml.org/cache)
[electrod: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "electrod" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/electrod.0.8.0)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Fmtc.cmo -c -impl src/Fmtc.pp.ml)
- File "src/Fmtc.ml", line 100, characters 20-26:
- 100 | let ( **< ) p1 p2 = prefix p1 p2
-                           ^^^^^^
- Alert deprecated: prefix
- use Fmt.(++) instead.
- File "src/Fmtc.ml", line 102, characters 20-26:
- 102 | let ( **> ) p1 p2 = suffix p1 p2
-                           ^^^^^^
- Alert deprecated: suffix
- use Fmt.(++) instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Fmtc.cmx -c -impl src/Fmtc.pp.ml)
- File "src/Fmtc.ml", line 100, characters 20-26:
- 100 | let ( **< ) p1 p2 = prefix p1 p2
-                           ^^^^^^
- Alert deprecated: prefix
- use Fmt.(++) instead.
- File "src/Fmtc.ml", line 102, characters 20-26:
- 102 | let ( **> ) p1 p2 = suffix p1 p2
-                           ^^^^^^
- Alert deprecated: suffix
- use Fmt.(++) instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Tuple.cmo -c -impl src/Tuple.pp.ml)
- File "src/Tuple.ml", line 192, characters 7-15:
- 192 |     @@ Fmt.strf "Tuple.to_ntuples %d %a: length not a multiple of %d" n pp t n;
-              ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Tuple.cmx -c -impl src/Tuple.pp.ml)
- File "src/Tuple.ml", line 192, characters 7-15:
- 192 |     @@ Fmt.strf "Tuple.to_ntuples %d %a: length not a multiple of %d" n pp t n;
-              ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Exp_bounds.cmo -c -impl src/Exp_bounds.pp.ml)
- File "src/Exp_bounds.ml", line 237, characters 14-23:
- 237 |               Fmt.kstrf
-                     ^^^^^^^^^
- Alert deprecated: Fmt.kstrf
- use Fmt.kstr instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Elo_to_model1.cmo -c -impl src/Elo_to_model1.pp.ml)
- File "src/Elo_to_model1.ml", line 122, characters 6-24:
- 122 |       List.partition_map
-             ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Containers.List.partition_map
- use CCList.partition_filter_map instead
- File "src/Elo_to_model1.ml", line 136, characters 6-24:
- 136 |       List.partition_map
-             ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Containers.List.partition_map
- use CCList.partition_filter_map instead
- File "src/Elo_to_model1.ml", line 150, characters 6-24:
- 150 |       List.partition_map
-             ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Containers.List.partition_map
- use CCList.partition_filter_map instead
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Simplify1.cmo -c -impl src/Simplify1.pp.ml)
- File "src/Simplify1.ml", line 200, characters 33-40:
- 200 |               Option.(return @@ (get_exn arg.arity + get_exn r.arity - 2))
-                                        ^^^^^^^
- Alert deprecated: Containers.Option.get_exn
- use CCOption.get_exn_or instead
- File "src/Simplify1.ml", line 200, characters 53-60:
- 200 |               Option.(return @@ (get_exn arg.arity + get_exn r.arity - 2))
-                                                            ^^^^^^^
- Alert deprecated: Containers.Option.get_exn
- use CCOption.get_exn_or instead
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Smv.cmo -c -impl src/Smv.pp.ml)
- File "src/Smv.ml", line 346, characters 12-16:
- 346 |       Fmtc.(strf "%a" @@ list ~sep:minus Atom.pp) (Tuple.to_list tuple)
-                   ^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Smv.ml", line 348, characters 23-37:
- 348 |     let atom_name at = Option.get_exn @@ Ltl.Atomic.split at in
-                              ^^^^^^^^^^^^^^
- Alert deprecated: Containers.Option.get_exn
- use CCOption.get_exn_or instead
- File "src/Smv.ml", line 665, characters 20-28:
- 665 |       let to_call = Fmt.strf "%s -source %s %s" cmd scr smv in
-                           ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Raw_to_ast.cmo -c -impl src/Raw_to_ast.pp.ml)
- File "src/Raw_to_ast.ml", line 304, characters 22-31:
- 304 |       let fby_scope = CCOpt.map (compute_scope infile domain id) fby in
-                             ^^^^^^^^^
- Alert deprecated: module CCOpt
- use CCOption instead
- File "src/Raw_to_ast.ml", line 307, characters 14-23:
- 307 |         match CCOpt.map Scope.inferred_arity fby_scope with
-                     ^^^^^^^^^
- Alert deprecated: module CCOpt
- use CCOption instead
- File "src/Raw_to_ast.ml", line 591, characters 17-26:
- 591 |                 (Fmtc.strf
-                        ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 682, characters 15-24:
- 682 |               (Fmtc.strf
-                      ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 692, characters 15-24:
- 692 |               (Fmtc.strf
-                      ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 702, characters 15-24:
- 702 |               (Fmtc.strf
-                      ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 707, characters 15-28:
- 707 |             if CCOpt.compare CCInt.compare ar1 (Some 1) <= 0
-                      ^^^^^^^^^^^^^
- Alert deprecated: module CCOpt
- use CCOption instead
- File "src/Raw_to_ast.ml", line 708, characters 30-39:
- 708 |             then Result.fail (Fmtc.strf "arity of %s is < 2" (str_exp e1'))
-                                     ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 716, characters 15-24:
- 716 |               (Fmtc.strf
-                      ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 744, characters 17-26:
- 744 |               @@ Fmtc.strf
-                        ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Elo_to_ltl1.cmo -c -impl src/Elo_to_ltl1.pp.ml)
- File "src/Elo_to_ltl1.ml", line 672, characters 12-22:
- 672 |             Fmtc.kstrf
-                   ^^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.kstrf
- use Fmt.kstr instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.electrod.eobjs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -I src/.libelectrod.objs/byte -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/byte/dune__exe__Main.cmo -c -impl src/Main.ml)
- File "src/Main.ml", line 55, characters 9-21:
- 55 |       @@ CCOpt.map_or ~default:(keyword l) (fun s -> short l ^ s) h
-               ^^^^^^^^^^^^
- Alert deprecated: module CCOpt
- use CCOption instead
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.electrod.eobjs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -I src/.libelectrod.objs/byte -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/byte/dune__exe__Electrod.cmo -c -impl src/electrod.ml)
- File "src/electrod.ml", line 191, characters 2-11:
- 191 |   Term.info "electrod" ~doc ~man
-         ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "src/electrod.ml", line 196, characters 8-17:
- 196 |   match Term.eval ~catch:true (main_term, main_info) with
-               ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Elo_to_model1.cmx -c -impl src/Elo_to_model1.pp.ml)
- File "src/Elo_to_model1.ml", line 122, characters 6-24:
- 122 |       List.partition_map
-             ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Containers.List.partition_map
- use CCList.partition_filter_map instead
- File "src/Elo_to_model1.ml", line 136, characters 6-24:
- 136 |       List.partition_map
-             ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Containers.List.partition_map
- use CCList.partition_filter_map instead
- File "src/Elo_to_model1.ml", line 150, characters 6-24:
- 150 |       List.partition_map
-             ^^^^^^^^^^^^^^^^^^
- Alert deprecated: Containers.List.partition_map
- use CCList.partition_filter_map instead
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Simplify1.cmx -c -impl src/Simplify1.pp.ml)
- File "src/Simplify1.ml", line 200, characters 33-40:
- 200 |               Option.(return @@ (get_exn arg.arity + get_exn r.arity - 2))
-                                        ^^^^^^^
- Alert deprecated: Containers.Option.get_exn
- use CCOption.get_exn_or instead
- File "src/Simplify1.ml", line 200, characters 53-60:
- 200 |               Option.(return @@ (get_exn arg.arity + get_exn r.arity - 2))
-                                                            ^^^^^^^
- Alert deprecated: Containers.Option.get_exn
- use CCOption.get_exn_or instead
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Exp_bounds.cmx -c -impl src/Exp_bounds.pp.ml)
- File "src/Exp_bounds.ml", line 237, characters 14-23:
- 237 |               Fmt.kstrf
-                     ^^^^^^^^^
- Alert deprecated: Fmt.kstrf
- use Fmt.kstr instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Raw_to_ast.cmx -c -impl src/Raw_to_ast.pp.ml)
- File "src/Raw_to_ast.ml", line 304, characters 22-31:
- 304 |       let fby_scope = CCOpt.map (compute_scope infile domain id) fby in
-                             ^^^^^^^^^
- Alert deprecated: module CCOpt
- use CCOption instead
- File "src/Raw_to_ast.ml", line 307, characters 14-23:
- 307 |         match CCOpt.map Scope.inferred_arity fby_scope with
-                     ^^^^^^^^^
- Alert deprecated: module CCOpt
- use CCOption instead
- File "src/Raw_to_ast.ml", line 591, characters 17-26:
- 591 |                 (Fmtc.strf
-                        ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 682, characters 15-24:
- 682 |               (Fmtc.strf
-                      ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 692, characters 15-24:
- 692 |               (Fmtc.strf
-                      ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 702, characters 15-24:
- 702 |               (Fmtc.strf
-                      ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 707, characters 15-28:
- 707 |             if CCOpt.compare CCInt.compare ar1 (Some 1) <= 0
-                      ^^^^^^^^^^^^^
- Alert deprecated: module CCOpt
- use CCOption instead
- File "src/Raw_to_ast.ml", line 708, characters 30-39:
- 708 |             then Result.fail (Fmtc.strf "arity of %s is < 2" (str_exp e1'))
-                                     ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 716, characters 15-24:
- 716 |               (Fmtc.strf
-                      ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 744, characters 17-26:
- 744 |               @@ Fmtc.strf
-                        ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Smv.cmx -c -impl src/Smv.pp.ml)
- File "src/Smv.ml", line 346, characters 12-16:
- 346 |       Fmtc.(strf "%a" @@ list ~sep:minus Atom.pp) (Tuple.to_list tuple)
-                   ^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Smv.ml", line 348, characters 23-37:
- 348 |     let atom_name at = Option.get_exn @@ Ltl.Atomic.split at in
-                              ^^^^^^^^^^^^^^
- Alert deprecated: Containers.Option.get_exn
- use CCOption.get_exn_or instead
- File "src/Smv.ml", line 665, characters 20-28:
- 665 |       let to_call = Fmt.strf "%s -source %s %s" cmd scr smv in
-                           ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Elo_to_ltl1.cmx -c -impl src/Elo_to_ltl1.pp.ml)
- File "src/Elo_to_ltl1.ml", line 672, characters 12-22:
- 672 |             Fmtc.kstrf
-                   ^^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.kstrf
- use Fmt.kstr instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.electrod.eobjs/byte -I src/.electrod.eobjs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/native/dune__exe__Main.cmx -c -impl src/Main.ml)
- File "src/Main.ml", line 55, characters 9-21:
- 55 |       @@ CCOpt.map_or ~default:(keyword l) (fun s -> short l ^ s) h
-               ^^^^^^^^^^^^
- Alert deprecated: module CCOpt
- use CCOption instead
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.electrod.eobjs/byte -I src/.electrod.eobjs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/native/dune__exe__Electrod.cmx -c -impl src/electrod.ml)
- File "src/electrod.ml", line 191, characters 2-11:
- 191 |   Term.info "electrod" ~doc ~man
-         ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "src/electrod.ml", line 196, characters 8-17:
- 196 |   match Term.eval ~catch:true (main_term, main_info) with
-               ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
-> compiled  electrod.0.8.0
-> installed electrod.0.8.0

=== STDERR ===

2026-09-03 22:38.59: OK: build electrod.0.8.0 (runc: 16.6s, disk: 47KB)
2026-09-03 22:38.59: Job succeeded