(not at the head of any monitored branch or PR)
2026-02-09 20:03.09: New job: build menhirGLR.20260209, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/29364/head (096f491e244fae28f85c266a19657b915fde496e)
                              on macos-homebrew-ocaml-4.14/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/29364/head" && git reset --hard 096f491e
git fetch origin master
git merge --no-edit 4413cea89dc2809c85f68c88c6e28c410f664d95
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM macos-homebrew-ocaml-4.14
USER 1000:1000
RUN ln -f ~/local/bin/opam-dev ~/local/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 -k local --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn menhirGLR.20260209 20260209
RUN opam reinstall menhirGLR.20260209; \
    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 "\"macos-homebrew\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'menhirGLR.20260209' && 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-02-09 20:03.09: Using cache hint "macos-homebrew-ocaml-4.14-menhirGLR.20260209-096f491e244fae28f85c266a19657b915fde496e"
2026-02-09 20:03.09: Using OBuilder spec:
((from macos-homebrew-ocaml-4.14)
 (user (uid 1000) (gid 1000))
 (run (shell "ln -f ~/local/bin/opam-dev ~/local/bin/opam"))
 (run (network host)
      (shell "opam init --reinit -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 -k local --strict default opam-repository/"))
 (run (network host)
      (shell "opam update --depexts || true"))
 (run (shell "opam pin add -k version -yn menhirGLR.20260209 20260209"))
 (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
      (network host)
      (shell  "opam reinstall menhirGLR.20260209;\
             \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 \"\\\"macos-homebrew\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'menhirGLR.20260209' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2026-02-09 20:03.09: Waiting for resource in pool OCluster
2026-02-09 20:03.10: Waiting for worker…
2026-02-09 20:08.47: Got resource from pool OCluster
Building on i7-worker-04
All commits already cached
Updating files:  28% (5554/19363)
Updating files:  29% (5616/19363)
Updating files:  30% (5809/19363)
Updating files:  31% (6003/19363)
Updating files:  32% (6197/19363)
Updating files:  33% (6390/19363)
Updating files:  34% (6584/19363)
Updating files:  35% (6778/19363)
Updating files:  36% (6971/19363)
Updating files:  37% (7165/19363)
Updating files:  38% (7358/19363)
Updating files:  39% (7552/19363)
Updating files:  40% (7746/19363)
Updating files:  41% (7939/19363)
Updating files:  42% (8133/19363)
Updating files:  43% (8327/19363)
Updating files:  44% (8520/19363)
Updating files:  45% (8714/19363)
Updating files:  46% (8907/19363)
Updating files:  47% (9101/19363)
Updating files:  48% (9295/19363)
Updating files:  49% (9488/19363)
Updating files:  50% (9682/19363)
Updating files:  51% (9876/19363)
Updating files:  52% (10069/19363)
Updating files:  53% (10263/19363)
Updating files:  54% (10457/19363)
Updating files:  55% (10650/19363)
Updating files:  56% (10844/19363)
Updating files:  57% (11037/19363)
Updating files:  57% (11116/19363)
Updating files:  58% (11231/19363)
Updating files:  59% (11425/19363)
Updating files:  60% (11618/19363)
Updating files:  61% (11812/19363)
Updating files:  62% (12006/19363)
Updating files:  63% (12199/19363)
Updating files:  64% (12393/19363)
Updating files:  65% (12586/19363)
Updating files:  66% (12780/19363)
Updating files:  67% (12974/19363)
Updating files:  68% (13167/19363)
Updating files:  69% (13361/19363)
Updating files:  70% (13555/19363)
Updating files:  71% (13748/19363)
Updating files:  72% (13942/19363)
Updating files:  73% (14135/19363)
Updating files:  74% (14329/19363)
Updating files:  75% (14523/19363)
Updating files:  76% (14716/19363)
Updating files:  77% (14910/19363)
Updating files:  78% (15104/19363)
Updating files:  79% (15297/19363)
Updating files:  80% (15491/19363)
Updating files:  81% (15685/19363)
Updating files:  82% (15878/19363)
Updating files:  83% (16072/19363)
Updating files:  84% (16265/19363)
Updating files:  85% (16459/19363)
Updating files:  86% (16653/19363)
Updating files:  86% (16800/19363)
Updating files:  87% (16846/19363)
Updating files:  88% (17040/19363)
Updating files:  89% (17234/19363)
Updating files:  90% (17427/19363)
Updating files:  91% (17621/19363)
Updating files:  92% (17814/19363)
Updating files:  93% (18008/19363)
Updating files:  94% (18202/19363)
Updating files:  95% (18395/19363)
Updating files:  96% (18589/19363)
Updating files:  97% (18783/19363)
Updating files:  98% (18976/19363)
Updating files:  99% (19170/19363)
Updating files: 100% (19363/19363)
Updating files: 100% (19363/19363), done.
HEAD is now at 4413cea89d Merge pull request #29349 from let-def/release-grenier-v0.16
Updating 4413cea89d..096f491e24
Fast-forward
 packages/menhir/menhir.20260209/opam       | 32 ++++++++++++++++++++++++++++++
 packages/menhirCST/menhirCST.20260209/opam | 30 ++++++++++++++++++++++++++++
 packages/menhirGLR/menhirGLR.20260209/opam | 30 ++++++++++++++++++++++++++++
 packages/menhirLib/menhirLib.20260209/opam | 31 +++++++++++++++++++++++++++++
 packages/menhirSdk/menhirSdk.20260209/opam | 31 +++++++++++++++++++++++++++++
 5 files changed, 154 insertions(+)
 create mode 100644 packages/menhir/menhir.20260209/opam
 create mode 100644 packages/menhirCST/menhirCST.20260209/opam
 create mode 100644 packages/menhirGLR/menhirGLR.20260209/opam
 create mode 100644 packages/menhirLib/menhirLib.20260209/opam
 create mode 100644 packages/menhirSdk/menhirSdk.20260209/opam

(from macos-homebrew-ocaml-4.14)
2026-02-09 20:08.52 ---> using "0c60f117aee57abea8364cb033d47bb1d63ff0f68e5ee97378e032498e8442af" from cache

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

/: (run (shell "ln -f ~/local/bin/opam-dev ~/local/bin/opam"))
2026-02-09 20:08.53 ---> using "f20a31eccb94af52fa2a3ef86b723bc6460bac3d8a92b8861915540c2498d20a" from cache

/: (run (network host)
        (shell "opam init --reinit -ni"))
No configuration file found, using 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 /Users/mac1000/.opam from version 2.1 to version 2.2, which can't be reverted.
You may want to back it up before going further.

Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
           opam option jobs=1 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///Users/mac1000/opam-repository
2026-02-09 20:08.53 ---> using "7818e224f85c11d1d318abe9ba4e297be345388b7ed476f912b6900c6bae56aa" from cache

/: (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=macos os-distribution=homebrew os-version=15.5
# solver               builtin-0install
# install-criteria     -changed,-count[avoid-version,solution]
# upgrade-criteria     -count[avoid-version,solution]
# jobs                 11
# repositories         1 (version-controlled)
# pinned               0
# current-switch       4.14.2
# invariant            ["ocaml-base-compiler" {= "4.14.2"} | "ocaml-system" {= "4.14.2"}]
# compiler-packages    ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native         true
# ocaml:native-tools   true
# ocaml:native-dynlink true
# ocaml:stubsdir       /Users/mac1000/.opam/4.14.2/lib/ocaml/stublibs:/Users/mac1000/.opam/4.14.2/lib/ocaml
# ocaml:preinstalled   false
# ocaml:compiler       4.14.2
2026-02-09 20:08.53 ---> using "625776f8b2f728a128171e2ba4372c97abd18632a07574a8412026e8be39dac5" from cache

/: (env OPAMDOWNLOADJOBS 1)

/: (env OPAMERRLOGLEN 0)

/: (env OPAMPRECISETRACKING 1)

/: (env CI true)

/: (env OPAM_REPO_CI true)

/: (run (shell "rm -rf opam-repository/"))
2026-02-09 20:08.54 ---> using "15fbb76bf7dee5d6e8ae583230339015a61d8d2d8397de2cfe6459f8ba421f1e" from cache

/: (copy (src .) (dst opam-repository/))
2026-02-09 20:09.04 ---> saved as "34844bf0da3b37c768177d0f2ba47fafa46555fd12cf9df9809a3112bd8a90a0"

/: (run (shell "opam repository set-url -k local --strict default opam-repository/"))
[default] Initialised
2026-02-09 20:09.25 ---> saved as "27ae4a9cc2a240df3bac6dbd810569d46510cdd8b4a76faa2a8a0fc59f2375bd"

/: (run (network host)
        (shell "opam update --depexts || true"))
+ /usr/local/bin/brew "update"
- ==> Updating Homebrew...
- ==> Downloading https://ghcr.io/v2/homebrew/core/portable-ruby/blobs/sha256:80c194381e990a4967a1ae44b8242b688e6a17ab590865a38671137677411469
- #=#=#                                                                          

                                                                           0.2%
- 
                                                                           0.6%
                                                                           0.8%
                                                                           1.4%
#                                                                          2.2%
#                                                                          2.6%
##                                                                         3.0%
##                                                                         3.4%
- 
##                                                                         3.7%
##                                                                         4.1%
###                                                                        4.4%
###                                                                        4.6%
###                                                                        4.9%
###                                                                        5.2%
###                                                                        5.4%
####                                                                       5.9%
####                                                                       6.1%
####                                                                       6.4%
####                                                                       6.7%
- 
#####                                                                      7.0%
#####                                                                      7.2%
#####                                                                      7.6%
#####                                                                      7.9%
#####                                                                      8.2%
######                                                                     8.5%
######                                                                     8.9%
######                                                                     9.2%
######                                                                     9.4%
######                                                                     9.7%
- 
#######                                                                   10.0%
#######                                                                   10.3%
#######                                                                   10.5%
#######                                                                   11.0%
########                                                                  11.2%
########                                                                  11.5%
########                                                                  11.8%
########                                                                  12.1%
########                                                                  12.3%
#########                                                                 12.6%
#########                                                                 12.9%
#########                                                                 13.1%
- 
#########                                                                 13.4%
#########                                                                 13.7%
##########                                                                14.1%
##########                                                                14.3%
##########                                                                14.6%
##########                                                                14.9%
##########                                                                15.2%
###########                                                               15.6%
###########                                                               15.8%
###########                                                               16.1%
- 
###########                                                               16.4%
############                                                              16.7%
############                                                              16.9%
############                                                              17.4%
############                                                              17.6%
############                                                              17.9%
#############                                                             18.2%
#############                                                             18.5%
#############                                                             18.7%
#############                                                             19.1%
#############                                                             19.4%
- 
##############                                                            19.7%
##############                                                            20.0%
##############                                                            20.2%
##############                                                            20.5%
##############                                                            20.8%
###############                                                           21.1%
###############                                                           21.4%
###############                                                           21.6%
###############                                                           22.0%
################                                                          22.3%
- 
################                                                          22.6%
################                                                          22.9%
################                                                          23.3%
################                                                          23.6%
#################                                                         23.8%
#################                                                         24.1%
#################                                                         24.4%
#################                                                         24.7%
##################                                                        25.1%
##################                                                        25.3%
##################                                                        25.6%
- 
##################                                                        25.9%
##################                                                        26.3%
###################                                                       26.5%
###################                                                       26.8%
###################                                                       27.1%
###################                                                       27.5%
###################                                                       27.8%
####################                                                      28.0%
####################                                                      28.3%
####################                                                      28.6%
- 
####################                                                      28.9%
####################                                                      29.1%
#####################                                                     29.5%
#####################                                                     29.8%
#####################                                                     30.1%
#####################                                                     30.4%
######################                                                    30.6%
######################                                                    31.0%
######################                                                    31.3%
######################                                                    31.6%
######################                                                    31.8%
- 
#######################                                                   32.1%
#######################                                                   32.5%
#######################                                                   32.8%
#######################                                                   33.1%
########################                                                  33.3%
########################                                                  33.8%
########################                                                  34.0%
########################                                                  34.3%
########################                                                  34.6%
#########################                                                 34.9%
#########################                                                 35.1%
- 
#########################                                                 35.5%
#########################                                                 35.8%
#########################                                                 36.1%
##########################                                                36.4%
##########################                                                36.6%
##########################                                                37.0%
##########################                                                37.3%
###########################                                               37.6%
###########################                                               38.0%
###########################                                               38.2%
- 
###########################                                               38.5%
###########################                                               38.8%
############################                                              39.1%
############################                                              39.3%
############################                                              39.6%
############################                                              39.9%
#############################                                             40.3%
#############################                                             40.6%
#############################                                             40.8%
#############################                                             41.1%
#############################                                             41.4%
- 
##############################                                            41.8%
##############################                                            42.1%
##############################                                            42.4%
##############################                                            42.6%
##############################                                            43.0%
###############################                                           43.3%
###############################                                           43.5%
###############################                                           43.8%
###############################                                           44.1%
###############################                                           44.4%
- 
################################                                          44.8%
################################                                          45.1%
################################                                          45.3%
################################                                          45.6%
#################################                                         46.0%
#################################                                         46.3%
#################################                                         46.6%
#################################                                         46.8%
#################################                                         47.1%
##################################                                        47.5%
##################################                                        47.8%
- 
##################################                                        48.0%
##################################                                        48.3%
##################################                                        48.6%
###################################                                       48.8%
###################################                                       49.1%
###################################                                       49.5%
###################################                                       49.8%
####################################                                      50.1%
####################################                                      50.4%
####################################                                      50.8%
- 
####################################                                      51.0%
####################################                                      51.3%
#####################################                                     51.6%
#####################################                                     51.9%
#####################################                                     52.1%
#####################################                                     52.5%
######################################                                    52.8%
######################################                                    53.1%
######################################                                    53.3%
######################################                                    53.6%
######################################                                    53.9%
- 
#######################################                                   54.2%
#######################################                                   54.6%
#######################################                                   54.9%
#######################################                                   55.1%
#######################################                                   55.4%
########################################                                  55.7%
########################################                                  56.1%
########################################                                  56.4%
########################################                                  56.7%
########################################                                  56.9%
#########################################                                 57.2%
- 
#########################################                                 57.5%
#########################################                                 57.8%
#########################################                                 58.0%
##########################################                                58.4%
##########################################                                58.7%
##########################################                                59.0%
##########################################                                59.2%
##########################################                                59.6%
###########################################                               59.9%
###########################################                               60.2%
###########################################                               60.5%
- 
###########################################                               60.9%
############################################                              61.1%
############################################                              61.4%
############################################                              61.7%
############################################                              62.0%
############################################                              62.4%
#############################################                             62.6%
#############################################                             62.9%
#############################################                             63.2%
#############################################                             63.5%
- 
#############################################                             63.7%
##############################################                            64.1%
##############################################                            64.4%
##############################################                            64.7%
##############################################                            65.1%
##############################################                            65.2%
###############################################                           65.5%
###############################################                           65.6%
###############################################                           65.9%
###############################################                           66.2%
- 
###############################################                           66.3%
###############################################                           66.6%
################################################                          66.9%
################################################                          67.0%
################################################                          67.3%
################################################                          67.5%
################################################                          67.7%
################################################                          68.0%
#################################################                         68.1%
#################################################                         68.4%
#################################################                         68.5%
- 
#################################################                         68.8%
#################################################                         68.9%
#################################################                         69.1%
#################################################                         69.4%
##################################################                        69.6%
##################################################                        69.8%
##################################################                        70.1%
##################################################                        70.2%
##################################################                        70.5%
##################################################                        70.7%
###################################################                       71.0%
- 
###################################################                       71.1%
###################################################                       71.4%
###################################################                       71.6%
###################################################                       71.8%
###################################################                       72.1%
###################################################                       72.2%
####################################################                      72.5%
####################################################                      72.6%
####################################################                      72.9%
####################################################                      73.2%
####################################################                      73.3%
- 
####################################################                      73.6%
#####################################################                     73.8%
#####################################################                     74.0%
#####################################################                     74.3%
#####################################################                     74.4%
#####################################################                     74.7%
#####################################################                     74.8%
######################################################                    75.1%
######################################################                    75.4%
######################################################                    75.5%
- 
######################################################                    75.7%
######################################################                    76.0%
######################################################                    76.1%
#######################################################                   76.4%
#######################################################                   76.7%
#######################################################                   76.8%
#######################################################                   77.1%
#######################################################                   77.4%
#######################################################                   77.5%
#######################################################                   77.8%
- 
########################################################                  78.1%
########################################################                  78.2%
########################################################                  78.5%
########################################################                  78.7%
########################################################                  79.0%
#########################################################                 79.3%
#########################################################                 79.6%
#########################################################                 79.8%
#########################################################                 80.1%
#########################################################                 80.4%
#########################################################                 80.5%
- 
##########################################################                80.8%
##########################################################                81.0%
##########################################################                81.2%
##########################################################                81.4%
##########################################################                81.7%
###########################################################               82.0%
###########################################################               82.1%
###########################################################               82.4%
###########################################################               82.7%
###########################################################               82.8%
###########################################################               83.1%
- 
############################################################              83.4%
############################################################              83.5%
############################################################              83.8%
############################################################              84.0%
############################################################              84.2%
############################################################              84.5%
#############################################################             84.7%
#############################################################             84.9%
#############################################################             85.1%
#############################################################             85.4%
- 
#############################################################             85.6%
#############################################################             85.8%
#############################################################             86.1%
##############################################################            86.3%
##############################################################            86.5%
##############################################################            86.7%
##############################################################            87.0%
##############################################################            87.2%
##############################################################            87.4%
###############################################################           87.7%
###############################################################           87.8%
- 
###############################################################           88.1%
###############################################################           88.2%
###############################################################           88.5%
###############################################################           88.8%
################################################################          88.9%
################################################################          89.2%
################################################################          89.3%
################################################################          89.6%
################################################################          89.9%
################################################################          90.0%
#################################################################         90.3%
- 
#################################################################         90.4%
#################################################################         90.7%
#################################################################         91.0%
#################################################################         91.3%
#################################################################         91.5%
##################################################################        92.0%
##################################################################        92.2%
##################################################################        92.6%
##################################################################        92.9%
##################################################################        93.0%
###################################################################       93.4%
- 
###################################################################       93.8%
###################################################################       94.2%
####################################################################      94.8%
####################################################################      95.2%
####################################################################      95.6%
#####################################################################     96.0%
#####################################################################     96.4%
#####################################################################     96.9%
######################################################################    97.4%
######################################################################    97.8%
- 
######################################################################    98.2%
######################################################################    98.6%
#######################################################################   99.1%
#######################################################################   99.5%
######################################################################## 100.0%
- ==> Pouring portable-ruby-3.4.8.catalina.bottle.tar.gz
- ==> Homebrew collects anonymous analytics.
- Read the analytics documentation (and how to opt-out) here:
-   https://docs.brew.sh/Analytics
- No analytics have been recorded yet (nor will be during this `brew` run).
- 
- ==> Homebrew is run entirely by unpaid volunteers. Please consider donating:
-   https://github.com/Homebrew/brew#donations
- 
- Already up-to-date.
2026-02-09 20:10.44 ---> saved as "4382fef700a096569cdce4dcb029efac5f30f034226a1007ccc0a66b53efa715"

/: (run (shell "opam pin add -k version -yn menhirGLR.20260209 20260209"))
menhirGLR is now pinned to version 20260209
2026-02-09 20:10.46 ---> saved as "4a79c63a1341bfe6407fcc9a3f783f80951b1f3c99fd325eb9ff271309712893"

/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
        (network host)
        (shell  "opam reinstall menhirGLR.20260209;\
               \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 \"\\\"macos-homebrew\\\"\"; then\
               \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
               \n          fi;\
               \n          test \"$pkg\" != 'menhirGLR.20260209' && partial_fails=\"$partial_fails $pkg\";\
               \n        done;\
               \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
               \n        exit 1"))
menhirGLR.20260209 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 2 packages
  - install dune      3.21.0            [required by menhirGLR]
  - install menhirGLR 20260209 (pinned)

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0  (cached)
-> retrieved menhirGLR.20260209  (cached)
-> installed dune.3.21.0
-> installed menhirGLR.20260209
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-09 20:11.41 ---> saved as "59ae69eb276f2dbfca00528b7fcdfb6179c5fde47a0e44c88706d597b8cbe8b6"
Job succeeded
2026-02-09 20:11.53: Job succeeded