Build:
- 0
2026-06-24 16:00.32: New job: build jasmin.2023.06.1 (8b7441863298) 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.1 2026-06-24 16:55.57: build jasmin.2023.06.1 (8b7441863298) === 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.1: dl] [jasmin.2023.06.1: extract] -> retrieved jasmin.2023.06.1 (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.1) - make: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.1/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.1/compiler' -> compiled jasmin.2023.06.1 [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/bin" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.1) [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.1) [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.1) [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/lib/jasmin/easycrypt" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.1) [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.1) -> installed jasmin.2023.06.1 [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.1 (runc: 39.2s, disk: 10KB) 2026-06-24 16:57.03: Job succeeded