2026-06-24 16:00.32: New job: build jasmin.2023.06.0 (142b438bc870)
2026-06-24 16:00.32: Waiting for resource in pool day11-builds
2026-06-24 16:55.57: Got resource from pool day11-builds
2026-06-24 16:55.57: [profile full] build jasmin.2023.06.0
2026-06-24 16:55.57: build jasmin.2023.06.0 (142b438bc870)
=== DEPENDENCIES (31 transitive) ===
  apron.v0.9.15                                      82e46c79f505
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  batteries.3.10.0                                   3a8b7aeb2b17
  bigarray-compat.1.1.0                              6340769fc89d
  camlidl.1.13-1                                     1472bb1f5920
  camlp-streams.5.0.1                                28f363162dde
  cmdliner.2.1.1                                     7783d068c87e
  conf-findutils.1                                   26549b564faf
  conf-gmp.5                                         be11edf77089
  conf-gmp-paths.1                                   cbe27454e6e0
  conf-mpfr-paths.1                                  1aa6968e59c0
  conf-perl.2                                        bdcd7b1dce5e
  conf-pkg-config.5                                  d5de2c6a88f9
  conf-ppl.1                                         cd883ed32ff1
  dune.3.23.1                                        848a72441e15
  ez-conf-lib.2                                      3ac2e1606f1d
  menhir.20260209                                    259089f68775
  menhirCST.20260209                                 8eaddefc25c5
  menhirGLR.20260209                                 a9fbf43d08d4
  menhirLib.20260209                                 84aaca532d87
  menhirSdk.20260209                                 346bab968ef6
  mlgmpidl.1.3.0                                     9b6cc96cf7de
  num.1.6                                            110cee7a7e2e
  ocaml.4.14.4                                       b047fb9251f4
  ocaml-base-compiler.4.14.4                         d3b7ccb2c6fb
  ocaml-config.2                                     2d9c209f5590
  ocamlbuild.0.16.1                                  7e0d6aadb209
  ocamlfind.1.9.8                                    214dd418ac02
  yojson.3.0.0                                       99e7f342c6b3
  zarith.1.14                                        a8971d2f668c
=== STDOUT ===
Processing: [default: loading data]
[jasmin.2023.06.0: dl]
[jasmin.2023.06.0: extract]
-> retrieved jasmin.2023.06.0  (https://opam.ocaml.org/cache)
[jasmin: make compiler]
+ /usr/bin/make "-C" "compiler" "build" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.0)
- make: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.0/compiler'
- rm -f jasminc jazz2tex
- dune build entry/jasminc.exe
- dune build entry/jazz2tex.exe
- ln -sf "_build/default/entry/jasminc.exe" jasminc
- ln -sf "_build/default/entry/jazz2tex.exe" jazz2tex
- make: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.0/compiler'
-> compiled  jasmin.2023.06.0
[jasmin: mkdir]
+ /usr/bin/mkdir "-p" "/home/opam/.opam/default/bin" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.0)
[jasmin: cp]
+ /usr/bin/cp "compiler/_build/default/entry/jasminc.exe" "/home/opam/.opam/default/bin/jasminc" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.0)
[jasmin: cp]
+ /usr/bin/cp "compiler/_build/default/entry/jazz2tex.exe" "/home/opam/.opam/default/bin/jazz2tex" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.0)
[jasmin: mkdir]
+ /usr/bin/mkdir "-p" "/home/opam/.opam/default/lib/jasmin/easycrypt" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.0)
[jasmin: sh]
+ /usr/bin/sh "-c" "cp eclib/*.ec \"/home/opam/.opam/default/lib/jasmin/easycrypt/\"" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.0)
-> installed jasmin.2023.06.0
[WARNING] Opam packages conf-mpfr-paths.1 and conf-pkg-config.5 depend on the following system packages that are no longer installed: libmpfr-dev pkg-config
  - conf-mpfr-paths.1: depends on libmpfr-dev
  - conf-pkg-config.5: depends on pkg-config

=== STDERR ===

2026-06-24 16:57.03: OK: build jasmin.2023.06.0 (runc: 37.2s, disk: 10KB)
2026-06-24 16:57.03: Job succeeded