2026-06-24 16:58.29: New job: build jasmin.2025.06.1 (b8d2d16e63fe)
2026-06-24 16:58.29: Waiting for resource in pool day11-builds
2026-06-24 17:41.43: Got resource from pool day11-builds
2026-06-24 17:41.43: [profile full] build jasmin.2025.06.1
2026-06-24 17:41.43: build jasmin.2025.06.1 (b8d2d16e63fe)
=== DEPENDENCIES (37 transitive) ===
  angstrom.0.16.1                                    3f3b54e13eee
  apron.v0.9.15                                      a628e691374b
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  batteries.3.10.0                                   4588a8f55d48
  bigarray-compat.1.1.0                              59042aba4016
  bigstringaf.0.10.0                                 bccf4834efa9
  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
  csexp.1.5.2                                        daa725d901fe
  dune.3.23.1                                        dc7ac21ea3be
  dune-configurator.3.23.1                           e27f781e405b
  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
  ocaml-syntax-shims.1.0.0                           319b2c0da184
  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.2025.06.1: dl]
[jasmin.2025.06.1: extract]
[jasmin.2025.06.1/non-gnu-install.patch: dl]
-> retrieved jasmin.2025.06.1  (https://opam.ocaml.org/cache)
[jasmin: patch] applying non-gnu-install.patch
[jasmin: make all]
+ /usr/bin/make "all" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.1)
- /usr/bin/make -C compiler
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.1/compiler'
- rm -f jasminc jasmin2tex jasmin-ct jasmin2ec
- dune build @check @install
- for p in _build/install/default/bin/*; do ln -sf $p $(basename $p); done
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.1/compiler'
-> compiled  jasmin.2025.06.1
[jasmin: make install]
+ /usr/bin/make "install" "PREFIX=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.1)
- /usr/bin/make -C compiler install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.1/compiler'
- dune install --prefix /home/opam/.opam/default
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.1/compiler'
- /usr/bin/make -C eclib install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.1/eclib'
- # DO NOT MODIFY
- # This file is generated and may be silently overwritten
- [general]
- idirs=Jasmin:/home/opam/.opam/default/lib/easycrypt/jasmin
- install -m 0755 -d /home/opam/.opam/default/lib/easycrypt/jasmin
- install -m 0644 *.ec /home/opam/.opam/default/lib/easycrypt/jasmin/
- install -m 0755 -d /home/opam/.opam/default/lib/easycrypt/config
- install -m 0644 *.conf /home/opam/.opam/default/lib/easycrypt/config/
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/jasmin.2025.06.1/eclib'
-> installed jasmin.2025.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 17:43.04: OK: build jasmin.2025.06.1 (runc: 67.3s, disk: 11KB)
2026-06-24 17:43.04: Job succeeded