Build:
  1. 1
  2. 0
2026-09-03 20:28.45: New job: build acgtk.2.1.0 (ce02def3ea9c)
2026-09-03 20:28.45: Waiting for resource in pool day11-builds
2026-09-03 22:32.00: Got resource from pool day11-builds
2026-09-03 22:32.00: [profile full] build acgtk.2.1.0
2026-09-03 22:32.00: build acgtk.2.1.0 (ce02def3ea9c)
=== DEPENDENCIES (39 transitive) ===
  ANSITerminal.0.8.5                                 13e8bcec8259
  base-bigarray.base                                 31ac6860ef52
  base-bytes.base                                    a07bc30a9819
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  cairo2.0.6.5                                       a817af124b35
  cmdliner.1.3.0                                     c8a741506821
  compiler-cloning.enabled                           966a2e6839f0
  conf-cairo.1                                       9e32499642c2
  conf-pkg-config.5                                  74f50f3cfe72
  conf-readline.1                                    670d33f00dcf
  csexp.1.5.2                                        58b250503765
  dune.3.24.2                                        ec704e062ad3
  dune-configurator.3.24.2                           183455f65a68
  fmt.0.9.0                                          3309cb510506
  gen.1.1                                            e1a5ad389f76
  logs.0.10.0                                        2d8017353ef0
  menhir.20260209                                    381a2138ba97
  menhirCST.20260209                                 2274e41bb75f
  menhirGLR.20260209                                 dc2d20aa75ca
  menhirLib.20260209                                 aca3f0b58574
  menhirSdk.20260209                                 fb69c1928809
  mtime.2.2.0                                        b61638d6c486
  ocaml.5.5.0                                        22ebd7932512
  ocaml-base-compiler.5.5.0                          db1659234e8a
  ocaml-compiler.5.5.0                               7f52fb26d939
  ocaml-compiler-libs.v0.17.0                        5bb965f7a9b8
  ocamlbuild.0.16.1                                  ccce18256717
  ocamlfind.1.9.9~preview                            6a4c70487cf9
  ocamlgraph.2.2.0                                   ac6fd62ecb86
  ppx_derivers.1.2.1                                 b98ec33f5664
  ppxlib.0.38.0                                      3ee699583a7b
  readline.0.2                                       71c02a73ad80
  sedlex.3.7                                         8b8ba28d7500
  seq.base                                           28d30f6112ac
  sexplib0.v0.17.0                                   ff60a3c976cf
  stdlib-shims.0.3.0                                 8ab1e1c44699
  topkg.1.1.1                                        3bd227743fbd
  yojson.3.0.0                                       27388ba4dc9e
=== STDOUT ===
Processing: [default: loading data]
[acgtk.2.1.0: dl]
[acgtk.2.1.0: extract]
-> retrieved acgtk.2.1.0  (https://opam.ocaml.org/cache)
[acgtk: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "acgtk" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/acgtk.2.1.0)
- (cd _build/default/src/scripting && /home/opam/.opam/default/bin/menhir ./parser.mly --compile-errors ./parserMessages.messages) > _build/default/src/scripting/parserMessages.ml
- Read 33 sample input sentences and 33 error messages.
- (cd _build/default/src/grammars && /home/opam/.opam/default/bin/menhir --base data_parser ./file_parser.mly ./lex_parser.mly ./sig_parser.mly ./term_type_parser.mly ./bound_term_parser.mly --compile-errors ./data_parser.messages) > _build/default/src/grammars/messages.ml
- Read 127 sample input sentences and 74 error messages.
- (cd _build/default/src/datalog.prover && /home/opam/.opam/default/bin/menhir ./dl_parser.mly --compile-errors ./dl_parser.messages) > _build/default/src/datalog.prover/messages.ml
- Read 24 sample input sentences and 11 error messages.
-> compiled  acgtk.2.1.0
[acgtk: dune install]
+ /home/opam/.opam/default/bin/dune "install" (CWD=/home/opam/.opam/default/.opam-switch/build/acgtk.2.1.0)
-> installed acgtk.2.1.0
[WARNING] Opam packages conf-cairo.1 and conf-readline.1 depend on the following system packages that are no longer installed: libcairo2-dev libreadline-dev
  - conf-cairo.1: depends on libcairo2-dev
  - conf-readline.1: depends on libreadline-dev

=== STDERR ===

2026-09-03 22:32.24: OK: build acgtk.2.1.0 (runc: 20.1s, disk: 11KB)
2026-09-03 22:32.24: Job succeeded