Build:
  1. 0
2024-01-29 15:17.04: New job: Voodoo prep ocamlyices.0.7.0; 725554c3a15a2c442c6ce329d5fc28b9
2024-01-29 15:17.04: Connecting to build cluster…
2024-01-29 15:17.04: Waiting for resource in pool OCluster
2024-01-29 15:23.27: Waiting for worker…
2024-01-29 15:23.52: Got resource from pool OCluster
2024-01-29 15:23.52: Using cache hint "docs-universe-prep-5.1.0"

To reproduce locally:

cat > prep.spec <<'END-OF-SPEC'
((build tools
        ((from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98)
         (user (uid 1000) (gid 1000))
         (workdir /home/opam)
         (run (shell "sudo chown opam:opam /home/opam"))
         (run (network host)
              (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config"))
         (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
              (network host)
              (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9  && opam depext -iy voodoo-prep"))
         (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam"))))
 (from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo chown opam:opam /home/opam"))
 (run (shell "sudo mkdir /src"))
 (copy (src packages) (dst /src/packages))
 (copy (src repo) (dst /src/repo))
 (run (network host)
      (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
 (run (shell "opam repo remove default && opam repo add opam /src"))
 (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
      (network host)
      (shell "opam install ocamlfind.1.9.6"))
 (env DUNE_CACHE disabled)
 (env DUNE_CACHE_TRANSPORT direct)
 (env DUNE_CACHE_DUPLICATION copy)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
      (network host)
      (shell "(sudo apt update) && ((opam depext -viy ocamlyices.0.7.0 ocamlfind.1.9.6 num.1.5 camlidl.1.12 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')"))
 (run (shell "opam exec -- ~/voodoo-prep -u ocamlyices:725554c3a15a2c442c6ce329d5fc28b9"))
 (run (network host)
      (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config)))
      (shell "(echo '0.965594') && (for DATA in prep/universes/725554c3a15a2c442c6ce329d5fc28b9/ocamlyices/0.7.0,ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9,ocamlyices.0.7.0; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/*  && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/725554c3a15a2c442c6ce329d5fc28b9/ocamlyices/0.7.0,ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9,ocamlyices.0.7.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/725554c3a15a2c442c6ce329d5fc28b9/ocamlyices/0.7.0,ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9,ocamlyices.0.7.0; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)"))
)
END-OF-SPEC

ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git f802c973255bd1f219203fa67d7806d5f442b1d6 --local-file prep.spec \
--pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-5.1.0 \
--secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config

2024-01-29 15:23.52: RETRYING: 2024-01-29/151704-voodoo-prep-d69492 Number of retries: 0 (retriable error condition)
Building on c2-2.equinix.ci.dev
All commits already cached
Updating files:  37% (12105/32633)
Updating files:  38% (12401/32633)
Updating files:  39% (12727/32633)
Updating files:  40% (13054/32633)
Updating files:  41% (13380/32633)
Updating files:  42% (13706/32633)
Updating files:  43% (14033/32633)
Updating files:  44% (14359/32633)
Updating files:  45% (14685/32633)
Updating files:  45% (14745/32633)
Updating files:  46% (15012/32633)
Updating files:  47% (15338/32633)
Updating files:  48% (15664/32633)
Updating files:  49% (15991/32633)
Updating files:  50% (16317/32633)
Updating files:  51% (16643/32633)
Updating files:  52% (16970/32633)
Updating files:  53% (17296/32633)
Updating files:  54% (17622/32633)
Updating files:  55% (17949/32633)
Updating files:  56% (18275/32633)
Updating files:  57% (18601/32633)
Updating files:  58% (18928/32633)
Updating files:  59% (19254/32633)
Updating files:  60% (19580/32633)
Updating files:  61% (19907/32633)
Updating files:  62% (20233/32633)
Updating files:  63% (20559/32633)
Updating files:  64% (20886/32633)
Updating files:  65% (21212/32633)
Updating files:  66% (21538/32633)
Updating files:  67% (21865/32633)
Updating files:  68% (22191/32633)
Updating files:  69% (22517/32633)
Updating files:  70% (22844/32633)
Updating files:  71% (23170/32633)
Updating files:  72% (23496/32633)
Updating files:  73% (23823/32633)
Updating files:  74% (24149/32633)
Updating files:  74% (24328/32633)
Updating files:  75% (24475/32633)
Updating files:  76% (24802/32633)
Updating files:  77% (25128/32633)
Updating files:  78% (25454/32633)
Updating files:  79% (25781/32633)
Updating files:  80% (26107/32633)
Updating files:  81% (26433/32633)
Updating files:  82% (26760/32633)
Updating files:  83% (27086/32633)
Updating files:  84% (27412/32633)
Updating files:  85% (27739/32633)
Updating files:  86% (28065/32633)
Updating files:  87% (28391/32633)
Updating files:  88% (28718/32633)
Updating files:  89% (29044/32633)
Updating files:  90% (29370/32633)
Updating files:  91% (29697/32633)
Updating files:  92% (30023/32633)
Updating files:  93% (30349/32633)
Updating files:  94% (30676/32633)
Updating files:  95% (31002/32633)
Updating files:  96% (31328/32633)
Updating files:  97% (31655/32633)
Updating files:  98% (31981/32633)
Updating files:  99% (32307/32633)
Updating files: 100% (32633/32633)
Updating files: 100% (32633/32633), done.
HEAD is now at f802c97325 Fix license

(build "tools" …)

(from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98' locally
docker.io/ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98: Pulling from ocaml/opam
8988d439b0e2: Pulling fs layer
8988d439b0e2: Verifying Checksum
8988d439b0e2: Download complete
8988d439b0e2: Pull complete
Digest: sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98
Status: Downloaded newer image for ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98
2024-01-29 15:19.28 ---> using "b27d2334d2f7f26e7b6d0a8979baf30909ac8f375ae435953404a8caec0ee19a" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-01-29 15:19.28 ---> using "c7883df42ceae65bd3e6961bb0a9fb047e3c722ef2592ce50e7a291286a791da" from cache

/home/opam: (run (network host)
                 (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config"))
Hit:1 http://deb.debian.org/debian bookworm InRelease
Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB]
Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB]
Fetched 234 kB in 0s (916 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  libpkgconf3 pkgconf pkgconf-bin
Suggested packages:
  m4-doc
The following NEW packages will be installed:
  libpkgconf3 m4 pkg-config pkgconf pkgconf-bin
0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded.
Need to get 392 kB of archives.
After this operation, 969 kB of additional disk space will be used.
Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB]
Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB]
Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB]
Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB]
Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 392 kB in 0s (19.4 MB/s)
Selecting previously unselected package libpkgconf3:amd64.
(Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18774 files and directories currently installed.)
Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ...
Unpacking m4 (1.4.19-3) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-1) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-1) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
Unpacking pkg-config:amd64 (1.8.1-1) ...
Setting up m4 (1.4.19-3) ...
Setting up libpkgconf3:amd64 (1.8.1-1) ...
Setting up pkgconf-bin (1.8.1-1) ...
Setting up pkgconf:amd64 (1.8.1-1) ...
Setting up pkg-config:amd64 (1.8.1-1) ...
Processing triggers for libc-bin (2.36-9+deb12u3) ...
2024-01-29 15:19.28 ---> using "572d8d1dd080f2806ee9655fd8ae308850a93e1bed30d8a3c9b6bf152f188e41" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
                 (network host)
                 (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9  && opam depext -iy voodoo-prep"))
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y
Package voodoo-prep does not exist, create as a NEW package? [Y/n] y
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev)
Package voodoo-lib does not exist, create as a NEW package? [Y/n] y
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev)
Package voodoo-gen does not exist, create as a NEW package? [Y/n] y
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev)
Package voodoo-do does not exist, create as a NEW package? [Y/n] y
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev)
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
# All required OS packages found.
# Now letting opam install the packages

<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9

The following actions will be performed:
  - install ocamlbuild       0.14.3 [required by bos]
  - install cmdliner         1.2.0  [required by voodoo-prep]
  - install dune             3.13.0 [required by voodoo-prep]
  - install ocamlfind        1.9.6  [required by bos]
  - install seq              base   [required by re]
  - install stdlib-shims     0.3.0  [required by ocamlgraph]
  - install opam-file-format 2.1.6  [required by opam-format]
  - install cppo             1.6.9  [required by opam-core]
  - install topkg            1.0.7  [required by bos]
  - install re               1.11.0 [required by opam-format]
  - install ocamlgraph       2.1.0  [required by opam-core]
  - install rresult          0.7.0  [required by bos]
  - install fmt              0.9.0  [required by bos]
  - install astring          0.8.5  [required by bos]
  - install opam-core        2.1.5  [required by opam-format]
  - install logs             0.7.0  [required by bos]
  - install fpath            0.7.3  [required by voodoo-prep]
  - install opam-format      2.1.5  [required by voodoo-prep]
  - install bos              0.2.1  [required by voodoo-prep]
  - install voodoo-prep      ~dev*
===== 20 to install =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[astring.0.8.5] found in cache
[bos.0.2.1] found in cache
[cmdliner.1.2.0] found in cache
[cppo.1.6.9] found in cache
[dune.3.13.0] found in cache
[fmt.0.9.0] found in cache
[fpath.0.7.3] found in cache
[logs.0.7.0] found in cache
[ocamlbuild.0.14.3] found in cache
[ocamlfind.1.9.6] found in cache
[ocamlgraph.2.1.0] found in cache
[opam-core.2.1.5] found in cache
[opam-file-format.2.1.6] found in cache
[opam-format.2.1.5] found in cache
[re.1.11.0] found in cache
[rresult.0.7.0] found in cache
[stdlib-shims.0.3.0] found in cache
[topkg.1.0.7] found in cache
[voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.2.0
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.14.3
-> installed topkg.1.0.7
-> installed rresult.0.7.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed logs.0.7.0
-> installed dune.3.13.0
-> installed bos.0.2.1
-> installed stdlib-shims.0.3.0
-> installed opam-file-format.2.1.6
-> installed re.1.11.0
-> installed cppo.1.6.9
-> installed ocamlgraph.2.1.0
-> installed opam-core.2.1.5
-> installed opam-format.2.1.5
-> installed voodoo-prep.~dev
Done.
# Run eval $(opam env) to update the current shell environment
2024-01-29 15:19.28 ---> using "57e703c5964f11b44b5a66913c65aa39edfd040976bda6e6a6f482688d006904" from cache

/home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam"))
2024-01-29 15:19.28 ---> using "6e5a9b1aadc457b9b8c3b63da175c130076c6f14c995e97a71cfb42df72ab2db" from cache
2024-01-29 15:19.28 --> finished "tools"

(from ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.1@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98' locally
docker.io/ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98: Pulling from ocaml/opam
8988d439b0e2: Pulling fs layer
8988d439b0e2: Verifying Checksum
8988d439b0e2: Download complete
8988d439b0e2: Pull complete
Digest: sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98
Status: Downloaded newer image for ocaml/opam@sha256:b1107df238142d8db3829fbb8cfd7ee409284b5a7e05e2c5154488d322033d98
2024-01-29 15:19.28 ---> using "b27d2334d2f7f26e7b6d0a8979baf30909ac8f375ae435953404a8caec0ee19a" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-01-29 15:19.28 ---> using "c7883df42ceae65bd3e6961bb0a9fb047e3c722ef2592ce50e7a291286a791da" from cache

/home/opam: (run (shell "sudo mkdir /src"))
2024-01-29 15:19.28 ---> using "0e7473dba8580427a37dff4af17f141bd04c6e407c92491e572938e6a94c6544" from cache

/home/opam: (copy (src packages) (dst /src/packages))
2024-01-29 15:19.41 ---> saved as "b1b109bc61484efcfd42974b4a4081bf53f090d9862c0d01d7d34ddf6fa15ecf"

/home/opam: (copy (src repo) (dst /src/repo))
2024-01-29 15:19.44 ---> saved as "e3f3e3916ac4c08335f2516563ecfb775a267b779dcc487ce8d60bc5c74786fa"

/home/opam: (run (network host)
                 (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.

This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.

Continue? [Y/n] y
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-01-29 15:21.38 ---> saved as "051ddc3931c30553d735df670fcef8c0d1e63620a08b794f907723abb9dadb45"

/home/opam: (run (shell "opam repo remove default && opam repo add opam /src"))
Repositories removed from the selections of switch 5.1. Use '--all' to forget about them altogether.
[opam] Initialised
[NOTE] Repository opam has been added to the selections of switch 5.1 only.
       Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

2024-01-29 15:22.12 ---> saved as "326c39f19bf61a86d13aa1bb958ed88c371b243edd46158a26728fa32f9a1956"

/home/opam: (copy (from (build tools))
                  (src /home/opam/voodoo-prep)
                  (dst /home/opam/))
2024-01-29 15:22.12 ---> saved as "ec28ce02dc28450733a9203bd463245dbeb614e7ae16354057ee036630368b0b"

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
                 (network host)
                 (shell "opam install ocamlfind.1.9.6"))
The following actions will be performed:
  - install ocamlfind 1.9.6

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocamlfind.1.9.6  (cached)
-> installed ocamlfind.1.9.6
Done.
# Run eval $(opam env) to update the current shell environment
2024-01-29 15:22.48 ---> saved as "efbc41be2692c989a5c48c3b61c83d8922ac6e8b8c47572633c66f1b65a214d6"

/home/opam: (env DUNE_CACHE disabled)

/home/opam: (env DUNE_CACHE_TRANSPORT direct)

/home/opam: (env DUNE_CACHE_DUPLICATION copy)

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
                 (network host)
                 (shell "(sudo apt update) && ((opam depext -viy ocamlyices.0.7.0 ocamlfind.1.9.6 num.1.5 camlidl.1.12 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')"))

WARNING: apt does not have a stable CLI interface. Use with caution in scripts.

Hit:1 http://deb.debian.org/debian bookworm InRelease
Get:2 http://deb.debian.org/debian bookworm-updates InRelease [52.1 kB]
Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [134 kB]
Fetched 234 kB in 0s (576 kB/s)
Reading package lists...
Building dependency tree...
Reading state information...
All packages are up to date.
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
  - recompile opam-depext 1.2.1-1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.1-1  (cached)
-> removed   opam-depext.1.2.1-1
-> installed opam-depext.1.2.1-1
Done.

<><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment

<><> Carrying on to "opam depext -viy ocamlyices.0.7.0 ocamlfind.1.9.6 num.1.5 camlidl.1.12" 

You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
  - install num        1.5
  - install camlidl    1.12
  - install ocamlyices 0.7.0
===== 3 to install =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/9: [camlidl.1.12: http]
Processing  2/9: [camlidl.1.12: http]
Processing  3/9: [camlidl.1.12: http] [ocamlyices.0.7.0: http]
-> retrieved num.1.5  (cached)
Processing  4/9: [camlidl.1.12: http] [ocamlyices.0.7.0: http] [num: make opam-modern]
Processing  4/9: [ocamlyices.0.7.0: http] [num: make opam-modern]
Processing  4/9: [num: make opam-modern]
-> retrieved ocamlyices.0.7.0  (https://github.com/polazarus/ocamlyices/archive/v0.7.tar.gz)
-> retrieved camlidl.1.12  (https://github.com/xavierleroy/camlidl/archive/camlidl112.tar.gz)
Processing  5/9: [camlidl: mv] [num: make opam-modern]
Processing  5/9: [camlidl: make all] [num: make opam-modern]
- /usr/bin/make -C src all
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/num.1.5/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml .
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml
- ocamlc -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- echo 'version = "1.6~dev"' > META.top
- cat META.num-top.in >> META.top
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48  -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/num.1.5/src'
- cp src/num-modern.install num.install
-> compiled  num.1.5
Processing  5/9: [camlidl: make all]
-> installed num.1.5
Processing  6/9: [camlidl: make all]
+ /usr/bin/make "all" (CWD=/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12)
- cd compiler; /usr/bin/make all
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12/compiler'
- rm -f config.ml
- sed -e 's|%%CPP%%|cpp|' \
-           config.mlp > config.ml
- chmod -w config.ml
- ocamlc -g -c config.mli
- ocamlc -g -c config.ml
- ocamlc -g -c utils.mli
- ocamlc -g -c utils.ml
- ocamlc -g -c clflags.ml
- ocamlc -g -c idltypes.mli
- ocamlc -g -c prefix.mli
- ocamlc -g -c prefix.ml
- ocamlc -g -c lexpr.mli
- ocamlc -g -c lexpr.ml
- ocamlc -g -c cvttyp.mli
- ocamlc -g -c cvttyp.ml
- ocamlc -g -c variables.mli
- ocamlc -g -c variables.ml
- ocamlc -g -c idlarray.mli
- ocamlc -g -c idlarray.ml
- ocamlc -g -c struct.mli
- ocamlc -g -c struct.ml
- ocamlc -g -c enum.mli
- ocamlc -g -c enum.ml
- ocamlc -g -c union.mli
- ocamlc -g -c union.ml
- ocamlc -g -c cvtval.mli
- ocamlc -g -c cvtval.ml
- ocamlc -g -c structdecl.mli
- ocamlc -g -c structdecl.ml
- ocamlc -g -c enumdecl.mli
- ocamlc -g -c enumdecl.ml
- ocamlc -g -c uniondecl.mli
- ocamlc -g -c uniondecl.ml
- ocamlc -g -c typedef.mli
- ocamlc -g -c typedef.ml
- ocamlc -g -c funct.mli
- ocamlc -g -c funct.ml
- ocamlc -g -c constdecl.mli
- ocamlc -g -c constdecl.ml
- ocamlc -g -c intf.mli
- ocamlc -g -c intf.ml
- ocamlc -g -c file.mli
- ocamlc -g -c file.ml
- ocamlc -g -c predef.mli
- ocamlc -g -c predef.ml
- ocamllex linenum.mll
- 16 states, 331 transitions, table size 1420 bytes
- ocamlc -g -c linenum.mli
- ocamlc -g -c linenum.ml
- ocamlc -g -c parse_aux.mli
- ocamlc -g -c parse_aux.ml
- ocamlyacc -v parser_midl.mly
- 12 shift/reduce conflicts, 4 reduce/reduce conflicts.
- ocamlc -g -c parser_midl.mli
- ocamlc -g -c parser_midl.ml
- ocamllex lexer_midl.mll
- 129 states, 1747 transitions, table size 7762 bytes
- ocamlc -g -c lexer_midl.mli
- ocamlc -g -c lexer_midl.ml
- ocamlc -g -c parse.mli
- ocamlc -g -c parse.ml
- ocamlc -g -c fixlabels.mli
- ocamlc -g -c fixlabels.ml
- ocamlc -g -c normalize.mli
- ocamlc -g -c normalize.ml
- ocamlc -g -c main.ml
- ocamlc -g -o camlidl config.cmo utils.cmo clflags.cmo prefix.cmo lexpr.cmo cvttyp.cmo variables.cmo idlarray.cmo struct.cmo enum.cmo union.cmo cvtval.cmo structdecl.cmo enumdecl.cmo uniondecl.cmo typedef.cmo funct.cmo constdecl.cmo intf.cmo file.cmo predef.cmo linenum.cmo parse_aux.cmo parser_midl.cmo lexer_midl.cmo parse.cmo fixlabels.cmo normalize.cmo main.cmo
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12/compiler'
- cd runtime; /usr/bin/make all
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12/runtime'
- ocamlc -g -ccopt "-Wall -g" idlalloc.c
- ocamlc -g -ccopt "-Wall -g" comintf.c
- ocamlc -g -ccopt "-Wall -g" comerror.c
- rm -f dllcamlidl.so
- ocamlmklib -o camlidl  idlalloc.o comintf.o comerror.o 
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12/runtime'
- cd lib; /usr/bin/make all
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12/lib'
- ocamlc -g -c com.mli
- ocamlc -g -c com.ml
- ocamlc -g -a -o com.cma -dllib -lcamlidl -cclib -lcamlidl com.cmo
- ocamlopt -c com.ml
- ocamlopt -a -o com.cmxa -cclib -lcamlidl com.cmx
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12/lib'
- cd tools; /usr/bin/make all
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12/tools'
- make[1]: Nothing to be done for 'all'.
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/camlidl.1.12/tools'
-> compiled  camlidl.1.12
-> installed camlidl.1.12
Processing  8/9: [ocamlyices: ./configure]
+ /home/opam/.opam/5.1/.opam-switch/build/ocamlyices.0.7.0/./configure  (CWD=/home/opam/.opam/5.1/.opam-switch/build/ocamlyices.0.7.0)
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables... 
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for g++... g++
- checking whether we are using the GNU C++ compiler... yes
- checking whether g++ accepts -g... yes
- checking for ranlib... ranlib
- checking for ocamlc... ocamlc
- checking for Ocaml version... 5.1.1
- checking for Ocaml stdlib path... /home/opam/.opam/5.1/lib/ocaml
- checking for ocamlfind... ocamlfind
- checking for ocamlopt... ocamlopt
- checking for Ocaml version consistency... yes
- checking for ocamldoc... ocamldoc
- checking for camlidl... camlidl
- checking for camlidl's package... /home/opam/.opam/5.1/lib/camlidl
- configure: add camlidl to library search path
- checking how to run the C preprocessor... gcc -E
- checking for grep that handles long lines and -e... /usr/bin/grep
- checking for egrep... /usr/bin/grep -E
- checking for ANSI C header files... 
- yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking caml/camlidlruntime.h usability... yes
- checking caml/camlidlruntime.h presence... yes
- checking for caml/camlidlruntime.h... yes
- checking for __gmpz_init... no
- checking for yices_version... no
- configure: error: Cannot find yices.
- 
- Please download and install Yices 1.0.34 or more recent (but not 2).
- (1) Download the tarball from Yices' official website:
-   http://yices.csl.sri.com/download.shtml
- (2) Install it on your system (libraries and headers).
- You may use either the following command as root:
-   wget -q -O- http://git.io/sWxMmg | sh -s yices-XYZ.tar.gz
- or this one as a sudoer:
-   wget -q -O- http://git.io/sWxMmg | sudo sh -s yices-XYZ.tar.gz
- In both case, yices-XYZ.tar.gz should be replaced with the path to the
- downloaded tarball. Also, additional parameters can be added to specify
- installation directories (root and library path), e.g.:
-   wget -q -O- http://git.io/sWxMmg | sh -s <yices-XYZ.tar.gz> /opt /opt/lib64
-   
[ERROR] The compilation of ocamlyices.0.7.0 failed at "./configure".

#=== ERROR while compiling ocamlyices.0.7.0 ===================================#
# context              2.1.5 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path                 ~/.opam/5.1/.opam-switch/build/ocamlyices.0.7.0
# command              ~/.opam/5.1/.opam-switch/build/ocamlyices.0.7.0/./configure
# exit-code            1
# env-file             ~/.opam/log/ocamlyices-113-f4d985.env
# output-file          ~/.opam/log/ocamlyices-113-f4d985.out
### output ###
# checking for gcc... gcc
# checking whether the C compiler works... yes
# checking for C compiler default output file name... a.out
# checking for suffix of executables... 
# checking whether we are cross compiling... no
# checking for suffix of object files... o
# checking whether we are using the GNU C compiler... yes
# checking whether gcc accepts -g... yes
# checking for gcc option to accept ISO C89... none needed
# checking for g++... g++
# checking whether we are using the GNU C++ compiler... yes
# checking whether g++ accepts -g... yes
# checking for ranlib... ranlib
# checking for ocamlc... ocamlc
# checking for Ocaml version... 5.1.1
# checking for Ocaml stdlib path... /home/opam/.opam/5.1/lib/ocaml
# checking for ocamlfind... ocamlfind
# checking for ocamlopt... ocamlopt
# checking for Ocaml version consistency... yes
# checking for ocamldoc... ocamldoc
# checking for camlidl... camlidl
# checking for camlidl's package... /home/opam/.opam/5.1/lib/camlidl
# configure: add camlidl to library search path
# checking how to run the C preprocessor... gcc -E
# checking for grep that handles long lines and -e... /usr/bin/grep
# checking for egrep... /usr/bin/grep -E
# checking for ANSI C header files... yes
# checking for sys/types.h... yes
# checking for sys/stat.h... yes
# checking for stdlib.h... yes
# checking for string.h... yes
# checking for memory.h... yes
# checking for strings.h... yes
# checking for inttypes.h... yes
# checking for stdint.h... yes
# checking for unistd.h... yes
# checking caml/camlidlruntime.h usability... yes
# checking caml/camlidlruntime.h presence... yes
# checking for caml/camlidlruntime.h... yes
# checking for __gmpz_init... no
# checking for yices_version... no
# configure: error: Cannot find yices.
# 
# Please download and install Yices 1.0.34 or more recent (but not 2).
# (1) Download the tarball from Yices' official website:
#   http://yices.csl.sri.com/download.shtml
# (2) Install it on your system (libraries and headers).
# You may use either the following command as root:
#   wget -q -O- http://git.io/sWxMmg | sh -s yices-XYZ.tar.gz
# or this one as a sudoer:
#   wget -q -O- http://git.io/sWxMmg | sudo sh -s yices-XYZ.tar.gz
# In both case, yices-XYZ.tar.gz should be replaced with the path to the
# downloaded tarball. Also, additional parameters can be added to specify
# installation directories (root and library path), e.g.:
#   wget -q -O- http://git.io/sWxMmg | sh -s <yices-XYZ.tar.gz> /opt /opt/lib64
#   



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build ocamlyices 0.7.0
+- 
+- The following changes have been performed
| - install camlidl 1.12
| - install num     1.5
+- 
# Run eval $(opam env) to update the current shell environment

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20240129152402.export"
'opam --cli=2.1 install ocamlyices.0.7.0 ocamlfind.1.9.6 num.1.5 camlidl.1.12 --verbose --yes --confirm-level=unsafe-yes' failed.
2024-01-29 15:24.26 ---> saved as "fda75df0ef5050a0a06f3b5cf328343088ef21a519b84e1705e5fdf97b072342"

/home/opam: (run (shell "opam exec -- ~/voodoo-prep -u ocamlyices:725554c3a15a2c442c6ce329d5fc28b9"))
2024-01-29 15:24.35 ---> saved as "57b6cc111d382e7798a87e3a4221acd9bab108c1fc3202fd21875defe6f0439f"

/home/opam: (run (network host)
                 (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config)))
                 (shell "(echo '0.965594') && (for DATA in prep/universes/725554c3a15a2c442c6ce329d5fc28b9/ocamlyices/0.7.0,ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9,ocamlyices.0.7.0; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/*  && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/725554c3a15a2c442c6ce329d5fc28b9/ocamlyices/0.7.0,ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9,ocamlyices.0.7.0; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/725554c3a15a2c442c6ce329d5fc28b9/ocamlyices/0.7.0,ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9,ocamlyices.0.7.0; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)"))
0.965594
FAILED:ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9
prep/universes/725554c3a15a2c442c6ce329d5fc28b9/ocamlyices/0.7.0/opam
prep/universes/725554c3a15a2c442c6ce329d5fc28b9/ocamlyices/0.7.0/opam.err.log
Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts.
HASHES:ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9:0f287f134729a856100d824054dbf5c183ce24ba316ee2916c959aaf8fe3e2de
2024-01-29 15:24.43 ---> saved as "f42d2e3966a8d630f6be4dc481a8d57604321a97dc628e7efc64d6495f06ccb3"
Job succeeded
2024-01-29 15:30.23: Failed: ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9
2024-01-29 15:30.23: ocamlyices.0.7.0-725554c3a15a2c442c6ce329d5fc28b9 -> 0f287f134729a856100d824054dbf5c183ce24ba316ee2916c959aaf8fe3e2de
2024-01-29 15:30.23: Job succeeded