(not at the head of any monitored branch or PR)
2026-04-12 05:56.57: New job: build atdts.4.0.0, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/29709/head (8e5a62aa6ff8e3285a53d2ca2cbe0dc69bc99426)
                              on debian-13-ocaml-5.4-no-flat-float-array/amd64

To reproduce locally:

cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29709/head" && git reset --hard 8e5a62aa
git fetch origin master
git merge --no-edit 0404939bde256ca9d097922f265c4342b3b383b0
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:045f25d7fd66a4bddb2e76c55bffb413ec213cc8b59bee654fce1097af34ae83
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn atdts.4.0.0 4.0.0
RUN opam reinstall atdts.4.0.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'atdts.4.0.0' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1

END-OF-DOCKERFILE
docker build -f ../Dockerfile .

2026-04-12 05:56.57: Using cache hint "ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:045f25d7fd66a4bddb2e76c55bffb413ec213cc8b59bee654fce1097af34ae83-atdts.4.0.0-8e5a62aa6ff8e3285a53d2ca2cbe0dc69bc99426"
2026-04-12 05:56.57: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:045f25d7fd66a4bddb2e76c55bffb413ec213cc8b59bee654fce1097af34ae83)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
 (run (network host)
      (shell "opam init --reinit --config .opamrc-sandbox -ni"))
 (run (shell "opam option solver=builtin-0install && opam config report"))
 (env OPAMDOWNLOADJOBS 1)
 (env OPAMERRLOGLEN 0)
 (env OPAMPRECISETRACKING 1)
 (env CI true)
 (env OPAM_REPO_CI true)
 (run (shell "rm -rf opam-repository/"))
 (copy (src .) (dst opam-repository/))
 (run (shell "opam repository set-url --strict default opam-repository/"))
 (run (network host)
      (shell "opam update --depexts || true"))
 (run (shell "opam pin add -k version -yn atdts.4.0.0 4.0.0"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall atdts.4.0.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'atdts.4.0.0' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2026-04-12 05:56.57: Waiting for resource in pool OCluster
2026-04-12 06:12.05: Waiting for worker…
2026-04-12 06:13.47: Got resource from pool OCluster
Building on eumache.caelum.ci.dev
All commits already cached
HEAD is now at 0404939bde Merge pull request #29648 from sanette/opam-publish-tsdl-ttf.0.7
Updating 0404939bde..8e5a62aa6f
Fast-forward
 packages/atd-jsonlike/atd-jsonlike.4.1.0/opam      | 119 +++++++++++++++++++
 packages/atd-yamlx/atd-yamlx.4.1.0/opam            | 121 +++++++++++++++++++
 packages/atd/atd.4.1.0/opam                        | 126 ++++++++++++++++++++
 packages/atdcpp/atdcpp.4.0.0/opam                  |   2 +-
 packages/atdcpp/atdcpp.4.1.0/opam                  | 117 ++++++++++++++++++
 packages/atdd/atdd.4.0.0/opam                      |   2 +-
 packages/atdd/atdd.4.1.0/opam                      | 117 ++++++++++++++++++
 .../atdgen-codec-runtime.4.1.0/opam                | 116 ++++++++++++++++++
 packages/atdgen-runtime/atdgen-runtime.4.1.0/opam  | 118 +++++++++++++++++++
 packages/atdgen/atdgen.4.0.0/opam                  |   2 +-
 packages/atdgen/atdgen.4.1.0/opam                  | 131 +++++++++++++++++++++
 packages/atdj/atdj.4.0.0/opam                      |   2 +-
 packages/atdj/atdj.4.1.0/opam                      | 130 ++++++++++++++++++++
 packages/atdml/atdml.4.0.0/opam                    |   2 +-
 packages/atdml/atdml.4.1.0/opam                    | 122 +++++++++++++++++++
 packages/atdpy/atdpy.4.0.0/opam                    |   2 +-
 packages/atdpy/atdpy.4.1.0/opam                    | 119 +++++++++++++++++++
 packages/atds/atds.4.0.0/opam                      |   2 +-
 packages/atds/atds.4.1.0/opam                      | 115 ++++++++++++++++++
 packages/atdts/atdts.4.0.0/opam                    |   2 +-
 packages/atdts/atdts.4.1.0/opam                    | 118 +++++++++++++++++++
 21 files changed, 1577 insertions(+), 8 deletions(-)
 create mode 100644 packages/atd-jsonlike/atd-jsonlike.4.1.0/opam
 create mode 100644 packages/atd-yamlx/atd-yamlx.4.1.0/opam
 create mode 100644 packages/atd/atd.4.1.0/opam
 create mode 100644 packages/atdcpp/atdcpp.4.1.0/opam
 create mode 100644 packages/atdd/atdd.4.1.0/opam
 create mode 100644 packages/atdgen-codec-runtime/atdgen-codec-runtime.4.1.0/opam
 create mode 100644 packages/atdgen-runtime/atdgen-runtime.4.1.0/opam
 create mode 100644 packages/atdgen/atdgen.4.1.0/opam
 create mode 100644 packages/atdj/atdj.4.1.0/opam
 create mode 100644 packages/atdml/atdml.4.1.0/opam
 create mode 100644 packages/atdpy/atdpy.4.1.0/opam
 create mode 100644 packages/atds/atds.4.1.0/opam
 create mode 100644 packages/atdts/atdts.4.1.0/opam

(from ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:045f25d7fd66a4bddb2e76c55bffb413ec213cc8b59bee654fce1097af34ae83)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:045f25d7fd66a4bddb2e76c55bffb413ec213cc8b59bee654fce1097af34ae83' locally
docker.io/ocaml/opam@sha256:045f25d7fd66a4bddb2e76c55bffb413ec213cc8b59bee654fce1097af34ae83: Pulling from ocaml/opam
8f6ad858d0a4: Already exists
bcb8aca13f7d: Pulling fs layer
bee1401d6aa9: Pulling fs layer
70a4ec3f5a63: Pulling fs layer
946380c37df7: Pulling fs layer
40a16ba01935: Pulling fs layer
f4df01b7be08: Pulling fs layer
c7d14a9ac62c: Pulling fs layer
8ece799add44: Pulling fs layer
d3cb64c779a6: Pulling fs layer
d54da7bf4e54: Pulling fs layer
946380c37df7: Waiting
3111aa7c2023: Pulling fs layer
c7d14a9ac62c: Waiting
962186c6e1e2: Pulling fs layer
d54da7bf4e54: Waiting
40a16ba01935: Waiting
8745338b1e0b: Pulling fs layer
3111aa7c2023: Waiting
70494a8c0d08: Pulling fs layer
8ece799add44: Waiting
962186c6e1e2: Waiting
d3cb64c779a6: Waiting
8745338b1e0b: Waiting
9fbe01dcf1e6: Pulling fs layer
f4df01b7be08: Waiting
742774a39128: Pulling fs layer
6780ddc6e8a5: Pulling fs layer
5049c6e21d97: Pulling fs layer
6780ddc6e8a5: Waiting
f8f7f2d621cc: Pulling fs layer
5049c6e21d97: Waiting
d221e77cf2b7: Pulling fs layer
f8f7f2d621cc: Waiting
70494a8c0d08: Waiting
742774a39128: Waiting
ea40bd8c29fe: Pulling fs layer
d221e77cf2b7: Waiting
4f4fb700ef54: Pulling fs layer
9fbe01dcf1e6: Waiting
ea40bd8c29fe: Waiting
546c3ffe9fcf: Pulling fs layer
de88a7570f24: Pulling fs layer
4f4fb700ef54: Waiting
546c3ffe9fcf: Waiting
614f1e6aac31: Pulling fs layer
4448849c2ba8: Pulling fs layer
ae7502e72140: Pulling fs layer
de88a7570f24: Waiting
614f1e6aac31: Waiting
ff97726fb361: Pulling fs layer
4448849c2ba8: Waiting
ae7502e72140: Waiting
20d3e00ca128: Pulling fs layer
734e3f9ef8d5: Pulling fs layer
ff97726fb361: Waiting
20d3e00ca128: Waiting
a9623fbab448: Pulling fs layer
d9066aed5713: Pulling fs layer
df57d5f0aedf: Pulling fs layer
a963972287a7: Pulling fs layer
d9066aed5713: Waiting
df57d5f0aedf: Waiting
960128877639: Pulling fs layer
a963972287a7: Waiting
224d5050da5a: Pulling fs layer
960128877639: Waiting
f8105fbb3180: Pulling fs layer
670a1f9738fe: Pulling fs layer
224d5050da5a: Waiting
f8105fbb3180: Waiting
10f42e6216ad: Pulling fs layer
1930c7997386: Pulling fs layer
ca74a1a7e88f: Pulling fs layer
0b73fb2716c8: Pulling fs layer
1930c7997386: Waiting
670a1f9738fe: Waiting
ca74a1a7e88f: Waiting
7521c43be89c: Pulling fs layer
10f42e6216ad: Waiting
8eb5610a9807: Pulling fs layer
7521c43be89c: Waiting
be9c71f75358: Pulling fs layer
8eb5610a9807: Waiting
32d374c9b69b: Pulling fs layer
be9c71f75358: Waiting
b71e75e6eb4f: Pulling fs layer
32d374c9b69b: Waiting
b71e75e6eb4f: Waiting
bcb8aca13f7d: Download complete
bcb8aca13f7d: Pull complete
bee1401d6aa9: Verifying Checksum
bee1401d6aa9: Download complete
bee1401d6aa9: Pull complete
70a4ec3f5a63: Verifying Checksum
70a4ec3f5a63: Download complete
946380c37df7: Download complete
70a4ec3f5a63: Pull complete
946380c37df7: Pull complete
c7d14a9ac62c: Download complete
40a16ba01935: Verifying Checksum
40a16ba01935: Download complete
8ece799add44: Verifying Checksum
8ece799add44: Download complete
f4df01b7be08: Verifying Checksum
f4df01b7be08: Download complete
d3cb64c779a6: Verifying Checksum
d3cb64c779a6: Download complete
d54da7bf4e54: Verifying Checksum
d54da7bf4e54: Download complete
3111aa7c2023: Verifying Checksum
3111aa7c2023: Download complete
962186c6e1e2: Verifying Checksum
962186c6e1e2: Download complete
70494a8c0d08: Download complete
8745338b1e0b: Verifying Checksum
8745338b1e0b: Download complete
9fbe01dcf1e6: Verifying Checksum
9fbe01dcf1e6: Download complete
742774a39128: Verifying Checksum
742774a39128: Download complete
6780ddc6e8a5: Download complete
5049c6e21d97: Verifying Checksum
5049c6e21d97: Download complete
f8f7f2d621cc: Verifying Checksum
f8f7f2d621cc: Download complete
d221e77cf2b7: Verifying Checksum
d221e77cf2b7: Download complete
ea40bd8c29fe: Verifying Checksum
ea40bd8c29fe: Download complete
4f4fb700ef54: Download complete
546c3ffe9fcf: Verifying Checksum
546c3ffe9fcf: Download complete
de88a7570f24: Verifying Checksum
de88a7570f24: Download complete
614f1e6aac31: Verifying Checksum
614f1e6aac31: Download complete
4448849c2ba8: Verifying Checksum
4448849c2ba8: Download complete
ae7502e72140: Verifying Checksum
ae7502e72140: Download complete
ff97726fb361: Download complete
20d3e00ca128: Verifying Checksum
20d3e00ca128: Download complete
734e3f9ef8d5: Verifying Checksum
734e3f9ef8d5: Download complete
a9623fbab448: Verifying Checksum
a9623fbab448: Download complete
d9066aed5713: Verifying Checksum
d9066aed5713: Download complete
df57d5f0aedf: Verifying Checksum
df57d5f0aedf: Download complete
a963972287a7: Download complete
224d5050da5a: Verifying Checksum
224d5050da5a: Download complete
670a1f9738fe: Download complete
10f42e6216ad: Download complete
1930c7997386: Verifying Checksum
1930c7997386: Download complete
ca74a1a7e88f: Verifying Checksum
ca74a1a7e88f: Download complete
0b73fb2716c8: Verifying Checksum
0b73fb2716c8: Download complete
960128877639: Verifying Checksum
960128877639: Download complete
7521c43be89c: Verifying Checksum
7521c43be89c: Download complete
be9c71f75358: Verifying Checksum
be9c71f75358: Download complete
32d374c9b69b: Verifying Checksum
32d374c9b69b: Download complete
b71e75e6eb4f: Verifying Checksum
b71e75e6eb4f: Download complete
8eb5610a9807: Verifying Checksum
8eb5610a9807: Download complete
f8105fbb3180: Verifying Checksum
f8105fbb3180: Download complete
40a16ba01935: Pull complete
f4df01b7be08: Pull complete
c7d14a9ac62c: Pull complete
8ece799add44: Pull complete
d3cb64c779a6: Pull complete
d54da7bf4e54: Pull complete
3111aa7c2023: Pull complete
962186c6e1e2: Pull complete
8745338b1e0b: Pull complete
70494a8c0d08: Pull complete
9fbe01dcf1e6: Pull complete
742774a39128: Pull complete
6780ddc6e8a5: Pull complete
5049c6e21d97: Pull complete
f8f7f2d621cc: Pull complete
d221e77cf2b7: Pull complete
ea40bd8c29fe: Pull complete
4f4fb700ef54: Pull complete
546c3ffe9fcf: Pull complete
de88a7570f24: Pull complete
614f1e6aac31: Pull complete
4448849c2ba8: Pull complete
ae7502e72140: Pull complete
ff97726fb361: Pull complete
20d3e00ca128: Pull complete
734e3f9ef8d5: Pull complete
a9623fbab448: Pull complete
d9066aed5713: Pull complete
df57d5f0aedf: Pull complete
a963972287a7: Pull complete
960128877639: Pull complete
224d5050da5a: Pull complete
f8105fbb3180: Pull complete
670a1f9738fe: Pull complete
10f42e6216ad: Pull complete
1930c7997386: Pull complete
ca74a1a7e88f: Pull complete
0b73fb2716c8: Pull complete
7521c43be89c: Pull complete
8eb5610a9807: Pull complete
be9c71f75358: Pull complete
32d374c9b69b: Pull complete
b71e75e6eb4f: Pull complete
Digest: sha256:045f25d7fd66a4bddb2e76c55bffb413ec213cc8b59bee654fce1097af34ae83
Status: Downloaded newer image for ocaml/opam@sha256:045f25d7fd66a4bddb2e76c55bffb413ec213cc8b59bee654fce1097af34ae83
2026-04-12 06:17.45 ---> using "f53afa1ffb3c410d4056e4855ecb8e573ad973890cccaa57c9fc580c4790fb9d" from cache

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

/: (workdir /home/opam)

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-04-12 06:17.45 ---> using "122d3fe33917a5ee41b83b9db8ad43c87596f911b7bc1f8f247a1dad32e5e5c3" from cache

/home/opam: (run (network host)
                 (shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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.2, 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] Initialised
2026-04-12 06:17.45 ---> using "b34539c4182af48c36202332073f6fd0902c6d44f8d9c2691d0838d804462c30" from cache

/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version         2.5.0
# self-upgrade         no
# system               arch=x86_64 os=linux os-distribution=debian os-version=13
# solver               builtin-0install
# install-criteria     -changed,-count[avoid-version,solution]
# upgrade-criteria     -count[avoid-version,solution]
# jobs                 71
# repositories         1 (version-controlled)
# pinned               1 (version)
# current-switch       5.4
# invariant            ["ocaml-variants" {= "5.4.1+options"}]
# compiler-packages    ocaml-compiler.5.4.1, ocaml-option-no-flat-float-array.1, ocaml-options-only-no-flat-float-array.1, ocaml-variants.5.4.1+options
# ocaml:native         true
# ocaml:native-tools   true
# ocaml:native-dynlink true
# ocaml:stubsdir       /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled   false
# ocaml:compiler       5.4.1+options+no-flat-float-array
2026-04-12 06:17.45 ---> using "a541c383dd510254d37db386e0db2a6016abeb6626a2d24dcc29b3a517aa8acc" from cache

/home/opam: (env OPAMDOWNLOADJOBS 1)

/home/opam: (env OPAMERRLOGLEN 0)

/home/opam: (env OPAMPRECISETRACKING 1)

/home/opam: (env CI true)

/home/opam: (env OPAM_REPO_CI true)

/home/opam: (run (shell "rm -rf opam-repository/"))
2026-04-12 06:17.45 ---> using "0121a965b44ab015f9cba620963bccff1f8d4da050dbf84febaef1e2df44d4ac" from cache

/home/opam: (copy (src .) (dst opam-repository/))
2026-04-12 06:17.55 ---> saved as "efefafe2a94ef20707baf67d3f9688dc4caa09a420bbcb44f15bc302028ef611"

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-04-12 06:18.17 ---> saved as "c2969a7b7e5c9f3f5c69b0877bbe48da65e41b98b4cefd1499809da151b0aecd"

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [121 kB]
- Fetched 212 kB in 0s (1600 kB/s)
- Reading package lists...
- 
2026-04-12 06:18.19 ---> saved as "6332134149863dff379c8e3883a82c3e03265fced0bc7a4b81fe9618ca33774f"

/home/opam: (run (shell "opam pin add -k version -yn atdts.4.0.0 4.0.0"))
atdts is now pinned to version 4.0.0
2026-04-12 06:18.20 ---> saved as "eac79664cf7f5f54f37b52a454a737849d080747aaef0f8f93e55f96bf07e2cf"

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall atdts.4.0.0;\
                        \n        res=$?;\
                        \n        test \"$res\" != 31 && exit \"$res\";\
                        \n        export OPAMCLI=2.0;\
                        \n        build_dir=$(opam var prefix)/.opam-switch/build;\
                        \n        failed=$(ls \"$build_dir\");\
                        \n        partial_fails=\"\";\
                        \n        for pkg in $failed; do\
                        \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
                        \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
                        \n          fi;\
                        \n          test \"$pkg\" != 'atdts.4.0.0' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
atdts.4.0.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 12 packages
  - install atd         4.0.0          [required by atdts]
  - install atdts       4.0.0 (pinned)
  - install cmdliner    2.1.0          [required by atdts]
  - install dune        3.22.1         [required by atdts]
  - install easy-format 1.3.4          [required by atd]
  - install menhir      20260209       [required by atd]
  - install menhirCST   20260209       [required by menhir]
  - install menhirGLR   20260209       [required by menhir]
  - install menhirLib   20260209       [required by menhir]
  - install menhirSdk   20260209       [required by menhir]
  - install re          1.14.0         [required by atdts]
  - install yojson      3.0.0          [required by atd]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved atd.4.0.0, atdts.4.0.0  (cached)
-> retrieved cmdliner.2.1.0  (cached)
-> retrieved dune.3.22.1  (cached)
-> retrieved easy-format.1.3.4  (cached)
-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209  (cached)
-> retrieved re.1.14.0  (cached)
-> retrieved yojson.3.0.0  (cached)
-> installed cmdliner.2.1.0
-> installed dune.3.22.1
-> installed easy-format.1.3.4
-> installed menhirCST.20260209
-> installed menhirGLR.20260209
-> installed menhirLib.20260209
-> installed menhirSdk.20260209
-> installed re.1.14.0
-> installed yojson.3.0.0
-> installed menhir.20260209
-> installed atd.4.0.0
-> installed atdts.4.0.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-12 06:19.24 ---> saved as "8cc41c2f417e359ae9cf77adfa2c678468373fdd54cbdb7409467243276218a2"
Job succeeded
2026-04-12 06:19.31: Job succeeded