Build:
- 0
2026-06-24 16:58.29: New job: build jasmin.2023.06.3 (c566a0616442) 2026-06-24 16:58.29: Waiting for resource in pool day11-builds 2026-06-24 17:41.36: Got resource from pool day11-builds 2026-06-24 17:41.36: [profile full] build jasmin.2023.06.3 2026-06-24 17:41.36: build jasmin.2023.06.3 (c566a0616442) === DEPENDENCIES (32 transitive) === apron.v0.9.15 a628e691374b base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb batteries.3.10.0 4588a8f55d48 bigarray-compat.1.1.0 59042aba4016 camlidl.1.13-1 38408a718a64 camlp-streams.5.0.1 d48629cb1d21 cmdliner.2.1.1 131a57bdc3b4 conf-findutils.1 26549b564faf conf-gmp.5 be11edf77089 conf-gmp-paths.1 98aa84d4f379 conf-mpfr-paths.1 8a5d9dfe1b44 conf-perl.2 bdcd7b1dce5e conf-pkg-config.5 d5de2c6a88f9 conf-ppl.1 cd883ed32ff1 dune.3.23.1 dc7ac21ea3be ez-conf-lib.2 7a1d5bb954df menhir.20260209 33fcc346f20f menhirCST.20260209 b78f18598292 menhirGLR.20260209 14503fb187dd menhirLib.20260209 b8ed5f168c3f menhirSdk.20260209 997f6d4de9b4 mlgmpidl.1.3.0 151fb793d734 num.1.6 3d665f14515a ocaml.5.4.1 71fed6f83b21 ocaml-base-compiler.5.4.1 4b8cbe74bda9 ocaml-compiler.5.4.1 df07189447bd ocaml-config.3 e4a06a221f09 ocamlbuild.0.16.1 17067329c57b ocamlfind.1.9.8 567e34ecf540 yojson.3.0.0 08149c2c002d zarith.1.14 442c15edac63 === 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-24 17:43.03: OK: build jasmin.2023.06.3 (runc: 68.2s, disk: 11KB) 2026-06-24 17:43.03: Job succeeded