(for PR #29952)

2026-05-25 04:39.58: New job: build contract.0.1.0, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/29952/head (6bd94e649fd37e846e43afa12ad324faba41e969)
                              on macos-homebrew-ocaml-5.4/arm64

To reproduce locally:

cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29952/head" && git reset --hard 6bd94e64
git fetch origin master
git merge --no-edit 856df280428c158a5bb0b3afce1bec956b10ae6f
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM macos-homebrew-ocaml-5.4
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 contract.0.1.0 0.1.0
RUN opam reinstall contract.0.1.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 "\"macos-homebrew\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'contract.0.1.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-05-25 04:39.58: Using cache hint "macos-homebrew-ocaml-5.4-contract.0.1.0-6bd94e649fd37e846e43afa12ad324faba41e969"
2026-05-25 04:39.58: Using OBuilder spec:
((from macos-homebrew-ocaml-5.4)
 (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 contract.0.1.0 0.1.0"))
 (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
      (network host)
      (shell  "opam reinstall contract.0.1.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 \"\\\"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\" != 'contract.0.1.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-05-25 04:39.58: Waiting for resource in pool OCluster
2026-05-25 04:39.58: Waiting for worker…
2026-05-25 04:39.58: Got resource from pool OCluster
Building on m1-worker-02
Updating files:  66% (11991/17975)
Updating files:  67% (12044/17975)
Updating files:  68% (12223/17975)
Updating files:  69% (12403/17975)
Updating files:  70% (12583/17975)
Updating files:  71% (12763/17975)
Updating files:  72% (12942/17975)
Updating files:  73% (13122/17975)
Updating files:  74% (13302/17975)
Updating files:  75% (13482/17975)
Updating files:  76% (13661/17975)
Updating files:  77% (13841/17975)
Updating files:  78% (14021/17975)
Updating files:  79% (14201/17975)
Updating files:  80% (14380/17975)
Updating files:  81% (14560/17975)
Updating files:  82% (14740/17975)
Updating files:  83% (14920/17975)
Updating files:  84% (15099/17975)
Updating files:  85% (15279/17975)
Updating files:  86% (15459/17975)
Updating files:  87% (15639/17975)
Updating files:  88% (15818/17975)
Updating files:  89% (15998/17975)
Updating files:  90% (16178/17975)
Updating files:  91% (16358/17975)
Updating files:  92% (16537/17975)
Updating files:  93% (16717/17975)
Updating files:  94% (16897/17975)
Updating files:  95% (17077/17975)
Updating files:  96% (17256/17975)
Updating files:  97% (17436/17975)
Updating files:  98% (17616/17975)
Updating files:  99% (17796/17975)
Updating files: 100% (17975/17975)
Updating files: 100% (17975/17975), done.
HEAD is now at f4a3c122ea Merge commit '699c568442d9080169b06a0acf74464211d7c52c'
HEAD is now at 856df28042 Merge pull request #29946 from hannesm/release-mirage-net-solo5-v0.8.1
Updating 856df28042..6bd94e649f
Fast-forward
 packages/contract/contract.0.1.0/opam | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 packages/contract/contract.0.1.0/opam

(from macos-homebrew-ocaml-5.4)
2026-05-25 04:40.10 ---> using "338135fbf1889e924a607b47198b8b308c32a925cc9436066d65a9bdc402cad5" from cache

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

/: (run (shell "ln -f ~/local/bin/opam-dev ~/local/bin/opam"))
2026-05-25 04:40.10 ---> using "7aa34524ca0a69b4a488c30909f7495a04a243f9066091b1dfe73b446b0dfcd3" 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-05-25 04:40.10 ---> using "91dcaa513ca3161d91620d0583acdea5310cd52ccab1dfbdd183600da37afdb2" 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=arm64 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                 7
# repositories         1 (version-controlled)
# pinned               0
# current-switch       5.4.0
# invariant            ["ocaml-base-compiler" {= "5.4.0"} | "ocaml-system" {= "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       /Users/mac1000/.opam/5.4.0/lib/ocaml/stublibs:/Users/mac1000/.opam/5.4.0/lib/ocaml
# ocaml:preinstalled   false
# ocaml:compiler       5.4.0
2026-05-25 04:40.10 ---> using "cea1bfc0b1cda73d964aa2fc69cc828a6e6d8edd86f991754707e8b004a3cb09" 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-05-25 04:40.10 ---> using "e3eba35b672d86e69268bbb9214f23a1f9d1fb0787b4d803840af8d45829b222" from cache

/: (copy (src .) (dst opam-repository/))
2026-05-25 04:40.15 ---> saved as "a9a77a18fb5a2b7e15c27e3eb2d43c23726fab477895a49a69f4b115912425ac"

/: (run (shell "opam repository set-url -k local --strict default opam-repository/"))
[default] Initialised
default (at file:///Users/mac1000/opam-repository): 
    [WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)

default (at file:///Users/mac1000/opam-repository): 
    [INFO] opam 2.5.1 includes security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)

2026-05-25 04:40.25 ---> saved as "53d06ce2c9470b4f882a77f221f2a3463c1b441ffa908ed1beee8f64e1455656"

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

                                                                           0.1%
                                                                           0.3%
                                                                           0.6%
                                                                           0.9%
                                                                           1.2%
                                                                           1.3%
- 
#                                                                          1.7%
#                                                                          2.1%
#                                                                          2.4%
#                                                                          2.5%
#                                                                          2.8%
##                                                                         3.0%
##                                                                         3.3%
##                                                                         3.4%
##                                                                         3.7%
##                                                                         3.9%
- 
##                                                                         4.0%
###                                                                        4.3%
###                                                                        4.4%
###                                                                        4.7%
###                                                                        4.9%
###                                                                        5.1%
###                                                                        5.3%
###                                                                        5.5%
####                                                                       5.7%
####                                                                       6.0%
####                                                                       6.1%
- 
####                                                                       6.4%
####                                                                       6.6%
####                                                                       6.7%
#####                                                                      7.0%
#####                                                                      7.2%
#####                                                                      7.4%
#####                                                                      7.6%
#####                                                                      7.7%
#####                                                                      8.0%
#####                                                                      8.3%
######                                                                     8.4%
- 
######                                                                     8.6%
######                                                                     8.9%
######                                                                     9.0%
######                                                                     9.3%
######                                                                     9.4%
######                                                                     9.7%
#######                                                                    9.9%
#######                                                                   10.1%
#######                                                                   10.3%
#######                                                                   10.5%
#######                                                                   10.7%
- 
#######                                                                   11.0%
#######                                                                   11.1%
########                                                                  11.3%
########                                                                  11.6%
########                                                                  11.7%
########                                                                  12.0%
########                                                                  12.2%
########                                                                  12.3%
#########                                                                 12.6%
#########                                                                 12.9%
#########                                                                 13.0%
- 
#########                                                                 13.2%
#########                                                                 13.4%
#########                                                                 13.6%
##########                                                                13.9%
##########                                                                14.0%
##########                                                                14.3%
##########                                                                14.4%
##########                                                                14.7%
##########                                                                14.8%
##########                                                                15.1%
###########                                                               15.3%
- 
###########                                                               15.6%
###########                                                               15.7%
###########                                                               15.9%
###########                                                               16.2%
###########                                                               16.3%
###########                                                               16.6%
############                                                              16.7%
############                                                              16.9%
############                                                              17.2%
############                                                              17.3%
############                                                              17.6%
- 
############                                                              17.8%
############                                                              18.1%
#############                                                             18.2%
#############                                                             18.4%
#############                                                             18.7%
#############                                                             19.0%
#############                                                             19.3%
##############                                                            19.6%
##############                                                            19.9%
##############                                                            20.1%
##############                                                            20.4%
- 
##############                                                            20.6%
###############                                                           20.9%
###############                                                           21.3%
###############                                                           21.5%
###############                                                           21.8%
###############                                                           22.1%
################                                                          22.3%
################                                                          22.5%
################                                                          22.7%
################                                                          22.9%
################                                                          23.2%
- 
################                                                          23.3%
################                                                          23.6%
#################                                                         23.8%
#################                                                         23.9%
#################                                                         24.2%
#################                                                         24.3%
#################                                                         24.6%
#################                                                         24.7%
#################                                                         25.0%
##################                                                        25.2%
##################                                                        25.4%
- 
##################                                                        25.6%
##################                                                        25.9%
##################                                                        26.0%
##################                                                        26.3%
###################                                                       26.5%
###################                                                       26.8%
###################                                                       26.9%
###################                                                       27.1%
###################                                                       27.4%
###################                                                       27.5%
- 
###################                                                       27.8%
####################                                                      28.0%
####################                                                      28.2%
####################                                                      28.4%
####################                                                      28.7%
####################                                                      28.8%
####################                                                      29.1%
#####################                                                     29.3%
#####################                                                     29.5%
#####################                                                     29.7%
#####################                                                     30.0%
- 
#####################                                                     30.1%
#####################                                                     30.4%
######################                                                    30.6%
######################                                                    30.7%
######################                                                    31.0%
######################                                                    31.1%
######################                                                    31.4%
######################                                                    31.6%
######################                                                    31.9%
#######################                                                   32.0%
#######################                                                   32.2%
- 
#######################                                                   32.4%
#######################                                                   32.6%
#######################                                                   32.9%
#######################                                                   33.0%
#######################                                                   33.3%
########################                                                  33.4%
########################                                                  33.7%
########################                                                  33.8%
########################                                                  34.1%
########################                                                  34.2%
########################                                                  34.5%
- 
#########################                                                 34.7%
#########################                                                 34.9%
#########################                                                 35.1%
#########################                                                 35.2%
#########################                                                 35.5%
#########################                                                 35.8%
#########################                                                 36.0%
##########################                                                36.2%
##########################                                                36.4%
##########################                                                36.7%
- 
##########################                                                36.8%
##########################                                                37.1%
##########################                                                37.2%
##########################                                                37.4%
###########################                                               37.7%
###########################                                               37.8%
###########################                                               38.0%
###########################                                               38.3%
###########################                                               38.4%
###########################                                               38.7%
###########################                                               38.8%
- 
############################                                              39.1%
############################                                              39.3%
############################                                              39.5%
############################                                              39.7%
############################                                              39.9%
############################                                              40.1%
#############################                                             40.4%
#############################                                             40.5%
#############################                                             40.8%
#############################                                             40.9%
#############################                                             41.1%
- 
#############################                                             41.4%
#############################                                             41.5%
##############################                                            41.8%
##############################                                            42.0%
##############################                                            42.2%
##############################                                            42.4%
##############################                                            42.7%
##############################                                            42.9%
###############################                                           43.2%
###############################                                           43.4%
- 
###############################                                           43.7%
###############################                                           44.1%
###############################                                           44.3%
################################                                          44.6%
################################                                          44.8%
################################                                          45.1%
################################                                          45.4%
################################                                          45.7%
#################################                                         46.0%
#################################                                         46.3%
#################################                                         46.5%
#################################                                         46.8%
- 
#################################                                         47.1%
##################################                                        47.4%
##################################                                        47.6%
##################################                                        47.8%
##################################                                        48.0%
##################################                                        48.3%
##################################                                        48.4%
###################################                                       48.7%
###################################                                       48.9%
###################################                                       49.1%
###################################                                       49.3%
- 
###################################                                       49.4%
###################################                                       49.7%
###################################                                       50.0%
####################################                                      50.1%
####################################                                      50.4%
####################################                                      50.5%
####################################                                      50.7%
####################################                                      51.0%
####################################                                      51.1%
####################################                                      51.4%
#####################################                                     51.6%
- 
#####################################                                     51.8%
#####################################                                     52.0%
#####################################                                     52.2%
#####################################                                     52.4%
#####################################                                     52.5%
######################################                                    52.8%
######################################                                    53.1%
######################################                                    53.3%
######################################                                    53.5%
######################################                                    53.7%
- 
######################################                                    53.9%
#######################################                                   54.2%
#######################################                                   54.3%
#######################################                                   54.6%
#######################################                                   54.7%
#######################################                                   55.0%
#######################################                                   55.2%
#######################################                                   55.3%
########################################                                  55.6%
########################################                                  55.7%
########################################                                  56.0%
- 
########################################                                  56.2%
########################################                                  56.4%
########################################                                  56.6%
########################################                                  56.8%
#########################################                                 57.0%
#########################################                                 57.3%
#########################################                                 57.4%
#########################################                                 57.7%
#########################################                                 57.9%
#########################################                                 58.1%
- 
##########################################                                58.4%
##########################################                                58.5%
##########################################                                58.8%
##########################################                                58.9%
##########################################                                59.2%
##########################################                                59.4%
##########################################                                59.7%
###########################################                               59.8%
###########################################                               60.1%
###########################################                               60.3%
- 
###########################################                               60.5%
###########################################                               60.7%
###########################################                               61.0%
############################################                              61.2%
############################################                              61.4%
############################################                              61.6%
############################################                              61.9%
############################################                              62.0%
############################################                              62.3%
############################################                              62.5%
#############################################                             62.7%
- 
#############################################                             62.9%
#############################################                             63.1%
#############################################                             63.3%
#############################################                             63.5%
#############################################                             63.8%
##############################################                            64.0%
##############################################                            64.2%
##############################################                            64.4%
##############################################                            64.6%
##############################################                            64.8%
##############################################                            65.1%
- 
##############################################                            65.2%
###############################################                           65.5%
###############################################                           65.7%
###############################################                           65.8%
###############################################                           66.1%
###############################################                           66.4%
###############################################                           66.5%
################################################                          66.7%
################################################                          67.0%
################################################                          67.1%
- 
################################################                          67.4%
################################################                          67.6%
################################################                          67.8%
################################################                          68.0%
#################################################                         68.3%
#################################################                         68.4%
#################################################                         68.6%
#################################################                         68.9%
#################################################                         69.2%
#################################################                         69.3%
##################################################                        69.5%
- 
##################################################                        69.8%
##################################################                        69.9%
##################################################                        70.2%
##################################################                        70.4%
##################################################                        70.6%
###################################################                       70.8%
###################################################                       71.1%
###################################################                       71.2%
###################################################                       71.5%
###################################################                       71.7%
- 
###################################################                       71.9%
###################################################                       72.1%
####################################################                      72.4%
####################################################                      72.5%
####################################################                      72.8%
####################################################                      73.0%
####################################################                      73.2%
####################################################                      73.4%
#####################################################                     73.6%
#####################################################                     73.9%
#####################################################                     74.0%
- 
#####################################################                     74.3%
#####################################################                     74.4%
#####################################################                     74.7%
#####################################################                     74.9%
######################################################                    75.1%
######################################################                    75.3%
######################################################                    75.6%
######################################################                    76.0%
######################################################                    76.2%
#######################################################                   76.5%
#######################################################                   76.7%
- 
#######################################################                   77.0%
#######################################################                   77.2%
#######################################################                   77.5%
########################################################                  77.9%
########################################################                  78.1%
########################################################                  78.5%
########################################################                  78.9%
########################################################                  79.1%
#########################################################                 79.4%
#########################################################                 79.7%
#########################################################                 79.9%
- 
#########################################################                 80.3%
##########################################################                80.6%
##########################################################                80.8%
##########################################################                81.1%
##########################################################                81.3%
##########################################################                81.6%
##########################################################                81.8%
###########################################################               82.2%
###########################################################               82.5%
###########################################################               82.7%
###########################################################               83.0%
- 
###########################################################               83.2%
############################################################              83.6%
############################################################              83.9%
############################################################              84.1%
############################################################              84.4%
############################################################              84.7%
#############################################################             84.9%
#############################################################             85.2%
#############################################################             85.5%
#############################################################             85.8%
#############################################################             86.1%
- 
##############################################################            86.4%
##############################################################            86.6%
##############################################################            87.0%
##############################################################            87.3%
###############################################################           87.5%
###############################################################           87.8%
###############################################################           88.0%
###############################################################           88.3%
###############################################################           88.5%
################################################################          88.9%
################################################################          89.2%
- 
################################################################          89.4%
################################################################          89.8%
################################################################          90.1%
#################################################################         90.3%
#################################################################         90.6%
#################################################################         90.8%
#################################################################         91.1%
#################################################################         91.3%
##################################################################        91.7%
##################################################################        92.0%
##################################################################        92.2%
- 
##################################################################        92.5%
##################################################################        92.8%
##################################################################        93.0%
###################################################################       93.3%
###################################################################       93.6%
###################################################################       93.9%
###################################################################       94.1%
####################################################################      94.5%
####################################################################      94.8%
####################################################################      95.0%
####################################################################      95.3%
- 
####################################################################      95.6%
####################################################################      95.8%
#####################################################################     96.1%
#####################################################################     96.5%
#####################################################################     96.7%
#####################################################################     97.0%
######################################################################    97.2%
######################################################################    97.5%
######################################################################    97.9%
######################################################################    98.1%
- 
######################################################################    98.4%
#######################################################################   98.7%
#######################################################################   99.0%
#######################################################################   99.3%
#######################################################################   99.5%
#######################################################################   99.8%
######################################################################## 100.0%
- ==> Pouring portable-ruby-4.0.5.arm64_big_sur.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-05-25 04:41.55 ---> saved as "5dc723071db6fcaea883bab37e10ec4085b411e2eec29229690721ef44feee7d"

/: (run (shell "opam pin add -k version -yn contract.0.1.0 0.1.0"))
contract is now pinned to version 0.1.0
2026-05-25 04:41.56 ---> saved as "16a5c6c7a5226e2cfbc7ec4725bfdf06ec28dcd23c411830c4e6ae1ba8f174f2"

/: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew)))
        (network host)
        (shell  "opam reinstall contract.0.1.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 \"\\\"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\" != 'contract.0.1.0' && partial_fails=\"$partial_fails $pkg\";\
               \n        done;\
               \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
               \n        exit 1"))
contract.0.1.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 3 packages
  - install contract 0.1.0 (pinned)
  - install dune     3.23.1         [required by contract]
  - install yojson   3.0.0          [required by contract]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved contract.0.1.0  (https://github.com/funwithcthulhu/contract/archive/refs/tags/0.1.0.tar.gz)
-> retrieved dune.3.23.1  (cached)
-> retrieved yojson.3.0.0  (cached)
-> installed dune.3.23.1
-> installed yojson.3.0.0
-> installed contract.0.1.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-05-25 04:42.38 ---> saved as "b6770038e771cc9bf9636cad843f04c5a897f7e24be55a20065184ca6e86dfb4"
Job succeeded
2026-05-25 04:42.45: Job succeeded