Build:
- 0
2026-06-23 16:45.56: New job: build jasmin.2023.06.3 (f26afaec9c41) 2026-06-23 16:45.56: Waiting for resource in pool day11-builds 2026-06-23 18:06.56: Got resource from pool day11-builds 2026-06-23 18:06.56: [profile full] build jasmin.2023.06.3 2026-06-23 18:06.56: build jasmin.2023.06.3 (f26afaec9c41) === DEPENDENCIES (32 transitive) === apron.v0.9.15 3a7b4c974a93 base-threads.base b7164ff76afe base-unix.base 839dc585f12d batteries.3.10.0 8365a4954bdb bigarray-compat.1.1.0 daad11e8fd80 camlidl.1.13-1 13ebddbff995 camlp-streams.5.0.1 c5b4d7818010 cmdliner.2.1.1 36fe5a2b1d3e conf-findutils.1 a943cdd45084 conf-gmp.5 61e3c79e0ddf conf-gmp-paths.1 1f691d20eea4 conf-mpfr-paths.1 aa4cb92469ad conf-perl.2 9ee1ae5f2bf1 conf-pkg-config.5 4b60827fc174 conf-ppl.1 b9f120a17748 dune.3.23.1 d50060dd2cab ez-conf-lib.2 c00147f9b08c menhir.20260209 918bd21ac84f menhirCST.20260209 b2588cab386e menhirGLR.20260209 9f1a82c9daff menhirLib.20260209 521b8486c619 menhirSdk.20260209 0f5231646c84 mlgmpidl.1.3.0 ed04b51ecb69 num.1.6 158dee1e5f8c ocaml.5.4.1 708fed352b2a ocaml-base-compiler.5.4.1 89b85703f841 ocaml-compiler.5.4.1 a719b8419b8e ocaml-config.3 aa27f63940d8 ocamlbuild.0.16.1 069fc1e567af ocamlfind.1.9.8 5cfa73ef65e7 yojson.3.0.0 fcc5f5f6d1cc zarith.1.14 c27770d6a561 === STDOUT === Processing: [default: loading data] [jasmin.2023.06.3: dl] [jasmin.2023.06.3: extract] -> retrieved jasmin.2023.06.3 (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.3) - make: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3/compiler' - rm -f jasminc jazz2tex jazzct - dune build @check entry/jasminc.exe entry/jazz2tex.exe entry/jazzct.exe - ln -sf "_build/default/entry/jasminc.exe" jasminc - ln -sf "_build/default/entry/jazz2tex.exe" jazz2tex - ln -sf "_build/default/entry/jazzct.exe" jazzct - make: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3/compiler' -> compiled jasmin.2023.06.3 [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/bin" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) [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.3) [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.3) [jasmin: cp] + /usr/bin/cp "compiler/_build/default/entry/jazzct.exe" "/home/opam/.opam/default/bin/jazzct" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) [jasmin: mkdir] + /usr/bin/mkdir "-p" "/home/opam/.opam/default/lib/jasmin/easycrypt" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2023.06.3) [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.3) -> installed jasmin.2023.06.3 [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-23 18:08.54: OK: build jasmin.2023.06.3 (runc: 65.3s, disk: 11KB) 2026-06-23 18:08.54: Job succeeded