Build:
- 0
2026-06-16 14:09.51: New job: build jasmin.2023.06.0 (7f0cb50b5174) 2026-06-16 14:09.51: Waiting for resource in pool day11-builds 2026-06-16 15:54.11: Got resource from pool day11-builds 2026-06-16 15:54.11: [profile full] build jasmin.2023.06.0 2026-06-16 15:54.11: build jasmin.2023.06.0 (7f0cb50b5174) === DEPENDENCIES (31 transitive) === apron.v0.9.15 ebb065fb5571 base-threads.base b7164ff76afe base-unix.base 839dc585f12d batteries.3.10.0 8ce9dee731cf bigarray-compat.1.1.0 ecf1ac9cc3fe camlidl.1.13-1 dab5685dade5 camlp-streams.5.0.1 76b76cc9fe05 cmdliner.2.1.1 bfb0712fced3 conf-findutils.1 a943cdd45084 conf-gmp.5 61e3c79e0ddf conf-gmp-paths.1 cf649b7e622b conf-mpfr-paths.1 5b99640f009f conf-perl.2 9ee1ae5f2bf1 conf-pkg-config.5 64c6b37d622b conf-ppl.1 b9f120a17748 dune.3.23.1 5402470d931c ez-conf-lib.2 a9aeac1deaf6 menhir.20260209 949a55ecfabe menhirCST.20260209 2f7f161ea867 menhirGLR.20260209 88b9413f2126 menhirLib.20260209 33c89da356e0 menhirSdk.20260209 3e7d50160069 mlgmpidl.1.3.0 3518bfeceb29 num.1.6 480227ca99db ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-config.2 669e0fcf9e4d ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e yojson.3.0.0 7c8ad8b6539f zarith.1.14 cde7973b8292 === 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-16 15:54.53: OK: build jasmin.2023.06.0 (runc: 27.7s, disk: 10KB) 2026-06-16 15:54.53: Job succeeded