- github
- ocaml
- opam-repository
- 112535
- distributions,debian-12-ocaml-5.4,menhir-lsp.0.1.2
(not at the head of any monitored branch or PR)
2025-12-30 16:32.12: New job: build menhir-lsp.0.1.2, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29151/head (11253598d4391929107e110170b4761718be6070)
on debian-12-ocaml-5.4/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/29151/head" && git reset --hard 11253598
git fetch origin master
git merge --no-edit f2d102f951a5dc2af6db218c6aef53c80186295a
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.4@sha256:564ede020b69de7d9ec386064d40326060f577a7153ff6097f0d97a5cc6ccf99
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 menhir-lsp.0.1.2 0.1.2
RUN opam reinstall menhir-lsp.0.1.2; \
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-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'menhir-lsp.0.1.2' && 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 .
2025-12-30 16:32.12: Using cache hint "ocaml/opam:debian-12-ocaml-5.4@sha256:564ede020b69de7d9ec386064d40326060f577a7153ff6097f0d97a5cc6ccf99-menhir-lsp.0.1.2-11253598d4391929107e110170b4761718be6070"
2025-12-30 16:32.12: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.4@sha256:564ede020b69de7d9ec386064d40326060f577a7153ff6097f0d97a5cc6ccf99)
(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 menhir-lsp.0.1.2 0.1.2"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall menhir-lsp.0.1.2;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'menhir-lsp.0.1.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-12-30 16:32.12: Waiting for resource in pool OCluster
2025-12-30 16:46.11: Waiting for worker…
2025-12-30 16:49.16: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at f2d102f951 Merge pull request #29150 from raphael-proust/llvm-20-21-only-cosmetics
Updating f2d102f951..11253598d4
Fast-forward
packages/menhir-lsp/menhir-lsp.0.1.2/opam | 48 +++++++++++++++++++++++++++++++
1 file changed, 48 insertions(+)
create mode 100644 packages/menhir-lsp/menhir-lsp.0.1.2/opam
(from ocaml/opam:debian-12-ocaml-5.4@sha256:564ede020b69de7d9ec386064d40326060f577a7153ff6097f0d97a5cc6ccf99)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.4@sha256:564ede020b69de7d9ec386064d40326060f577a7153ff6097f0d97a5cc6ccf99' locally
docker.io/ocaml/opam@sha256:564ede020b69de7d9ec386064d40326060f577a7153ff6097f0d97a5cc6ccf99: Pulling from ocaml/opam
c8443a297fa4: Pulling fs layer
3117594fcbaa: Pulling fs layer
85ca0e82a234: Pulling fs layer
1c1f02d52226: Pulling fs layer
fe9d3c2e10e2: Pulling fs layer
c8443a297fa4: Waiting
2217026faa73: Pulling fs layer
3117594fcbaa: Waiting
1fef585d5a09: Pulling fs layer
0d0070c18c6d: Pulling fs layer
85ca0e82a234: Waiting
1c1f02d52226: Waiting
c51172af0160: Pulling fs layer
df8875cc93ac: Pulling fs layer
2217026faa73: Waiting
fe9d3c2e10e2: Waiting
1fef585d5a09: Waiting
0d0070c18c6d: Waiting
c51172af0160: Waiting
67847aef0407: Pulling fs layer
36beb7078293: Pulling fs layer
df8875cc93ac: Waiting
67847aef0407: Waiting
191136a5f5c0: Pulling fs layer
714757d72e7f: Pulling fs layer
36beb7078293: Waiting
68234c5c011d: Pulling fs layer
8df6961c36fa: Pulling fs layer
191136a5f5c0: Waiting
afa495f7821e: Pulling fs layer
5f9643dc0d5e: Pulling fs layer
714757d72e7f: Waiting
c5cd204c27b0: Pulling fs layer
68234c5c011d: Waiting
7a188148750f: Pulling fs layer
8df6961c36fa: Waiting
afa495f7821e: Waiting
c5cd204c27b0: Waiting
0c4a275107e2: Pulling fs layer
3ce9f77add31: Pulling fs layer
7a188148750f: Waiting
4f4fb700ef54: Pulling fs layer
3ce9f77add31: Waiting
9b27f4cec1f5: Pulling fs layer
4f4fb700ef54: Waiting
f13f8b8a6ebe: Pulling fs layer
7347d8d6169e: Pulling fs layer
9b27f4cec1f5: Waiting
f13f8b8a6ebe: Waiting
d0faf52955c3: Pulling fs layer
02b89d433f3e: Pulling fs layer
7347d8d6169e: Waiting
d0faf52955c3: Waiting
1f88f6e46b0c: Pulling fs layer
345b324af9bd: Pulling fs layer
a95711b9c003: Pulling fs layer
f874b80e803a: Pulling fs layer
02b89d433f3e: Waiting
82c952ade8b1: Pulling fs layer
1f88f6e46b0c: Waiting
8c8b9ca5e561: Pulling fs layer
345b324af9bd: Waiting
b34ef319e463: Pulling fs layer
888dc0bf1f1f: Pulling fs layer
083ae27b8914: Pulling fs layer
82c952ade8b1: Waiting
529d05c22b93: Pulling fs layer
b34ef319e463: Waiting
0b92011566a7: Pulling fs layer
3e1d10060b32: Pulling fs layer
888dc0bf1f1f: Waiting
f874b80e803a: Waiting
083ae27b8914: Waiting
ee8d3043c790: Pulling fs layer
529d05c22b93: Waiting
8c8b9ca5e561: Waiting
0b92011566a7: Waiting
adf5284757c4: Pulling fs layer
3e1d10060b32: Waiting
ee8d3043c790: Waiting
a95711b9c003: Waiting
6b1b580b67b0: Pulling fs layer
adf5284757c4: Waiting
2b80a4482c14: Pulling fs layer
6b1b580b67b0: Waiting
ee0843a0df87: Pulling fs layer
7477c5172be9: Pulling fs layer
b8e1f107e63d: Pulling fs layer
ee0843a0df87: Waiting
2b80a4482c14: Waiting
3ea2c8b32c1a: Pulling fs layer
b8e1f107e63d: Waiting
3ea2c8b32c1a: Waiting
3117594fcbaa: Download complete
85ca0e82a234: Verifying Checksum
85ca0e82a234: Download complete
1c1f02d52226: Verifying Checksum
1c1f02d52226: Download complete
c8443a297fa4: Verifying Checksum
c8443a297fa4: Download complete
fe9d3c2e10e2: Download complete
0d0070c18c6d: Verifying Checksum
0d0070c18c6d: Download complete
c51172af0160: Verifying Checksum
c51172af0160: Download complete
1fef585d5a09: Verifying Checksum
1fef585d5a09: Download complete
df8875cc93ac: Verifying Checksum
df8875cc93ac: Download complete
67847aef0407: Verifying Checksum
67847aef0407: Download complete
36beb7078293: Verifying Checksum
36beb7078293: Download complete
191136a5f5c0: Verifying Checksum
191136a5f5c0: Download complete
714757d72e7f: Verifying Checksum
714757d72e7f: Download complete
68234c5c011d: Download complete
afa495f7821e: Verifying Checksum
afa495f7821e: Download complete
2217026faa73: Verifying Checksum
2217026faa73: Download complete
5f9643dc0d5e: Verifying Checksum
5f9643dc0d5e: Download complete
8df6961c36fa: Verifying Checksum
8df6961c36fa: Download complete
c5cd204c27b0: Download complete
7a188148750f: Download complete
0c4a275107e2: Download complete
3ce9f77add31: Download complete
c8443a297fa4: Pull complete
3117594fcbaa: Pull complete
85ca0e82a234: Pull complete
4f4fb700ef54: Download complete
9b27f4cec1f5: Verifying Checksum
9b27f4cec1f5: Download complete
f13f8b8a6ebe: Verifying Checksum
f13f8b8a6ebe: Download complete
d0faf52955c3: Download complete
7347d8d6169e: Verifying Checksum
7347d8d6169e: Download complete
02b89d433f3e: Verifying Checksum
02b89d433f3e: Download complete
1c1f02d52226: Pull complete
fe9d3c2e10e2: Pull complete
345b324af9bd: Verifying Checksum
345b324af9bd: Download complete
a95711b9c003: Download complete
1f88f6e46b0c: Verifying Checksum
1f88f6e46b0c: Download complete
f874b80e803a: Verifying Checksum
f874b80e803a: Download complete
82c952ade8b1: Verifying Checksum
82c952ade8b1: Download complete
8c8b9ca5e561: Download complete
b34ef319e463: Verifying Checksum
b34ef319e463: Download complete
083ae27b8914: Verifying Checksum
083ae27b8914: Download complete
0b92011566a7: Verifying Checksum
0b92011566a7: Download complete
3e1d10060b32: Verifying Checksum
3e1d10060b32: Download complete
ee8d3043c790: Download complete
adf5284757c4: Verifying Checksum
adf5284757c4: Download complete
6b1b580b67b0: Verifying Checksum
6b1b580b67b0: Download complete
2b80a4482c14: Verifying Checksum
2b80a4482c14: Download complete
529d05c22b93: Verifying Checksum
529d05c22b93: Download complete
7477c5172be9: Verifying Checksum
7477c5172be9: Download complete
b8e1f107e63d: Verifying Checksum
b8e1f107e63d: Download complete
3ea2c8b32c1a: Download complete
ee0843a0df87: Verifying Checksum
ee0843a0df87: Download complete
888dc0bf1f1f: Verifying Checksum
888dc0bf1f1f: Download complete
2217026faa73: Pull complete
1fef585d5a09: Pull complete
0d0070c18c6d: Pull complete
c51172af0160: Pull complete
df8875cc93ac: Pull complete
67847aef0407: Pull complete
36beb7078293: Pull complete
191136a5f5c0: Pull complete
714757d72e7f: Pull complete
68234c5c011d: Pull complete
8df6961c36fa: Pull complete
afa495f7821e: Pull complete
5f9643dc0d5e: Pull complete
c5cd204c27b0: Pull complete
7a188148750f: Pull complete
0c4a275107e2: Pull complete
3ce9f77add31: Pull complete
4f4fb700ef54: Pull complete
9b27f4cec1f5: Pull complete
f13f8b8a6ebe: Pull complete
7347d8d6169e: Pull complete
d0faf52955c3: Pull complete
02b89d433f3e: Pull complete
1f88f6e46b0c: Pull complete
345b324af9bd: Pull complete
a95711b9c003: Pull complete
f874b80e803a: Pull complete
82c952ade8b1: Pull complete
8c8b9ca5e561: Pull complete
b34ef319e463: Pull complete
888dc0bf1f1f: Pull complete
083ae27b8914: Pull complete
529d05c22b93: Pull complete
0b92011566a7: Pull complete
3e1d10060b32: Pull complete
ee8d3043c790: Pull complete
adf5284757c4: Pull complete
6b1b580b67b0: Pull complete
2b80a4482c14: Pull complete
ee0843a0df87: Pull complete
7477c5172be9: Pull complete
b8e1f107e63d: Pull complete
3ea2c8b32c1a: Pull complete
Digest: sha256:564ede020b69de7d9ec386064d40326060f577a7153ff6097f0d97a5cc6ccf99
Status: Downloaded newer image for ocaml/opam@sha256:564ede020b69de7d9ec386064d40326060f577a7153ff6097f0d97a5cc6ccf99
2025-12-30 16:51.49 ---> saved as "bde762841c712caee49d4765f93629a002d29a425cadab2eeb94b0dc94d3bd41"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-12-30 16:51.50 ---> saved as "c25dc8b2f1db81905891c6323db59388a0703d881fc592e36b536cc15e10bc35"
/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
2025-12-30 16:52.14 ---> saved as "2ddc99bcc347bd8f651abdca08cf53d9303f94fbe015114c4d86b9bb1006bd95"
/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=12
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# 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.0
2025-12-30 16:52.15 ---> saved as "89237d054010a987de65ce73d42979e7a684b9efc7f252270ddf237553ffd783"
/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/"))
2025-12-30 16:52.28 ---> saved as "f30187ea5d03bf57bb7299100f648b7024d08972baf5942b997a9307bfe36310"
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-30 16:52.35 ---> saved as "7deb695dac5bbfffd26e49e2e2b1ad3b9551f57a64a82fbad4088d4b05cda8a6"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-30 16:52.56 ---> saved as "468ae2de95d6e73b8b74629733a4c803c857df4f9baae6e749a1c09ea8054be3"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Fetched 103 kB in 0s (362 kB/s)
- Reading package lists...
2025-12-30 16:52.57 ---> saved as "cd2610554eb35b9efb510460ef3ec1d54c9e218fc2d992991d6620d06316a996"
/home/opam: (run (shell "opam pin add -k version -yn menhir-lsp.0.1.2 0.1.2"))
menhir-lsp is now pinned to version 0.1.2
2025-12-30 16:52.58 ---> saved as "dbfb15e0752cfa04ce9b20c1a8bf13d32d0a10c42197d345e5192b6aa23a59db"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall menhir-lsp.0.1.2;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'menhir-lsp.0.1.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
menhir-lsp.0.1.2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 33 packages
- install base-bytes base [required by ocplib-endian]
- install containers 3.16 [required by menhir-lsp]
- install cppo 1.8.0 [required by lwt]
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.20.2 [required by menhir-lsp]
- install dune-configurator 3.20.2 [required by containers]
- install either 1.0.0 [required by containers]
- install linol 0.10 [required by menhir-lsp]
- install linol-lwt 0.10 [required by menhir-lsp]
- install logs 0.10.0 [required by linol]
- install lwt 5.9.2 [required by linol-lwt, lwt_ppx]
- install lwt_ppx 5.9.2 [required by menhir-lsp]
- install menhir 20250912 [required by menhir-lsp]
- install menhir-lsp 0.1.2 (pinned)
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir-lsp]
- install menhirSdk 20250912 [required by menhir-lsp]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocamlbuild 0.16.1 [required by logs, uutf]
- install ocamlfind 1.9.8 [required by logs, uutf]
- install ocplib-endian 1.2 [required by lwt]
- install ordering 3.20.2 [required by menhir-lsp]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_yojson_conv_lib v0.17.0 [required by linol]
- install ppxlib 0.37.0 [required by lwt_ppx]
- install re 1.14.0 [required by menhir-lsp]
- install seq base [required by yojson]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install topkg 1.1.1 [required by logs, uutf]
- install trace 0.10 [required by linol]
- install uutf 1.0.4 [required by linol]
- install yojson 2.2.2 [required by linol, linol-lwt]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved containers.3.16 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2, ordering.3.20.2 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved linol.0.10, linol-lwt.0.10 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved lwt.5.9.2, lwt_ppx.5.9.2 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved menhir-lsp.0.1.2 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_yojson_conv_lib.v0.17.0 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved trace.0.10 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved yojson.2.2.2 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed uutf.1.0.4
-> installed dune.3.20.2
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed either.1.0.0
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed ocaml-compiler-libs.v0.17.0
-> installed ppx_derivers.1.2.1
-> installed re.1.14.0
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed yojson.2.2.2
-> installed ocplib-endian.1.2
-> installed trace.0.10
-> installed ppx_yojson_conv_lib.v0.17.0
-> installed ordering.3.20.2
-> installed dune-configurator.3.20.2
-> installed containers.3.16
-> installed lwt.5.9.2
-> installed logs.0.10.0
-> installed linol.0.10
-> installed linol-lwt.0.10
-> installed ppxlib.0.37.0
-> installed menhir.20250912
-> installed lwt_ppx.5.9.2
-> installed menhir-lsp.0.1.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-30 16:53.49 ---> saved as "e62bdff3e63c529fe43063aea8aa486868e0c926d689d0f7e418b818e6fda7a1"
Job succeeded
2025-12-30 16:54.00: Job succeeded