(for PR #29484)
2026-04-27 07:45.28: New job: build colibrilib-why3.0.5, lower-bounds, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29484/head (1b330fadfbca45ff79eea30cec2cd15a1b2a42b9)
on debian-13-ocaml-5.5-beta1/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/29484/head" && git reset --hard 1b330fad
git fetch origin master
git merge --no-edit d5058a91d400180e2118d7eeefa040cfcee45d2c
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.5-beta1@sha256:2f03876e840edf3bcf2cd33a6b5b1e9ee40ad45e5d26f5be08f5d20a90f4bcf6
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 colibrilib-why3.0.5 0.5
RUN opam reinstall colibrilib-why3.0.5; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'colibrilib-why3.0.5' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
ENV OPAMCRITERIA="+removed,+count[version-lag,solution]"
ENV OPAMFIXUPCRITERIA="+removed,+count[version-lag,solution]"
ENV OPAMUPGRADECRITERIA="+removed,+count[version-lag,solution]"
RUN opam reinstall colibrilib-why3.0.5; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'colibrilib-why3.0.5' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-04-27 07:45.28: Using cache hint "ocaml/opam:debian-13-ocaml-5.5-beta1@sha256:2f03876e840edf3bcf2cd33a6b5b1e9ee40ad45e5d26f5be08f5d20a90f4bcf6-colibrilib-why3.0.5-1b330fadfbca45ff79eea30cec2cd15a1b2a42b9"
2026-04-27 07:45.28: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.5-beta1@sha256:2f03876e840edf3bcf2cd33a6b5b1e9ee40ad45e5d26f5be08f5d20a90f4bcf6)
(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 colibrilib-why3.0.5 0.5"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall colibrilib-why3.0.5;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'colibrilib-why3.0.5' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(env OPAMCRITERIA +removed,+count[version-lag,solution])
(env OPAMFIXUPCRITERIA +removed,+count[version-lag,solution])
(env OPAMUPGRADECRITERIA +removed,+count[version-lag,solution])
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall colibrilib-why3.0.5;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'colibrilib-why3.0.5' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-04-27 07:45.28: Connecting to build cluster…
2026-04-27 07:45.28: Waiting for resource in pool OCluster
2026-04-27 07:45.29: Waiting for worker…
2026-04-27 07:47.50: Got resource from pool OCluster
Building on eumache.caelum.ci.dev
All commits already cached
Updating files: 75% (14199/18865)
Updating files: 76% (14338/18865)
Updating files: 77% (14527/18865)
Updating files: 78% (14715/18865)
Updating files: 79% (14904/18865)
Updating files: 80% (15092/18865)
Updating files: 81% (15281/18865)
Updating files: 82% (15470/18865)
Updating files: 83% (15658/18865)
Updating files: 84% (15847/18865)
Updating files: 85% (16036/18865)
Updating files: 86% (16224/18865)
Updating files: 87% (16413/18865)
Updating files: 88% (16602/18865)
Updating files: 89% (16790/18865)
Updating files: 90% (16979/18865)
Updating files: 91% (17168/18865)
Updating files: 92% (17356/18865)
Updating files: 93% (17545/18865)
Updating files: 94% (17734/18865)
Updating files: 95% (17922/18865)
Updating files: 96% (18111/18865)
Updating files: 97% (18300/18865)
Updating files: 98% (18488/18865)
Updating files: 99% (18677/18865)
Updating files: 100% (18865/18865)
Updating files: 100% (18865/18865), done.
HEAD is now at d5058a91d4 Merge pull request #29801 from YuriyKrasilnikov/opam-publish-idna.0.4.0
Merge made by the 'ort' strategy.
packages/colibri2/colibri2.0.5/opam | 70 +++++++++++++++++++++++
packages/colibrics/colibrics.0.5/opam | 50 ++++++++++++++++
packages/colibrilib-why3/colibrilib-why3.0.5/opam | 40 +++++++++++++
packages/colibrilib/colibrilib.0.5/opam | 40 +++++++++++++
4 files changed, 200 insertions(+)
create mode 100644 packages/colibri2/colibri2.0.5/opam
create mode 100644 packages/colibrics/colibrics.0.5/opam
create mode 100644 packages/colibrilib-why3/colibrilib-why3.0.5/opam
create mode 100644 packages/colibrilib/colibrilib.0.5/opam
(from ocaml/opam:debian-13-ocaml-5.5-beta1@sha256:2f03876e840edf3bcf2cd33a6b5b1e9ee40ad45e5d26f5be08f5d20a90f4bcf6)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.5-beta1@sha256:2f03876e840edf3bcf2cd33a6b5b1e9ee40ad45e5d26f5be08f5d20a90f4bcf6' locally
docker.io/ocaml/opam@sha256:2f03876e840edf3bcf2cd33a6b5b1e9ee40ad45e5d26f5be08f5d20a90f4bcf6: Pulling from ocaml/opam
3b32e3bb7338: Pulling fs layer
745aa02d649b: Pulling fs layer
bc737f5d3c43: Pulling fs layer
435aae15a5aa: Pulling fs layer
0c18c39f6bae: Pulling fs layer
eef74b82df23: Pulling fs layer
f7d9cf0406d8: Pulling fs layer
01a1dc37e798: Pulling fs layer
4960811e07ec: Pulling fs layer
be2894c36d5e: Pulling fs layer
b5a017ae191d: Pulling fs layer
3ba39ce4e9c9: Pulling fs layer
1db570dbe1c8: Pulling fs layer
435aae15a5aa: Waiting
753bb4b44994: Pulling fs layer
f7d9cf0406d8: Waiting
01a1dc37e798: Waiting
b5a1e811909d: Pulling fs layer
4960811e07ec: Waiting
6f3d83ba47b6: Pulling fs layer
002305272cbf: Pulling fs layer
249535cd82cd: Pulling fs layer
be2894c36d5e: Waiting
b5a1e811909d: Waiting
b5a017ae191d: Waiting
6f3d83ba47b6: Waiting
87fe8c2a0989: Pulling fs layer
3ba39ce4e9c9: Waiting
1db570dbe1c8: Waiting
0c18c39f6bae: Waiting
753bb4b44994: Waiting
b6932f04a343: Pulling fs layer
002305272cbf: Waiting
17b274223ca8: Pulling fs layer
87fe8c2a0989: Waiting
4f4fb700ef54: Pulling fs layer
249535cd82cd: Waiting
b6932f04a343: Waiting
17b274223ca8: Waiting
924952a8fbf8: Pulling fs layer
4f4fb700ef54: Waiting
17671b650f63: Pulling fs layer
924952a8fbf8: Waiting
9fe75d873195: Pulling fs layer
24216535046d: Pulling fs layer
17671b650f63: Waiting
9fe75d873195: Waiting
ac2e1c9e90df: Pulling fs layer
c2126be13b26: Pulling fs layer
24216535046d: Waiting
ac2e1c9e90df: Waiting
01ff22a5eb70: Pulling fs layer
50415235a68f: Pulling fs layer
c2126be13b26: Waiting
01ff22a5eb70: Waiting
deb6182b549b: Pulling fs layer
ad728fb9a18c: Pulling fs layer
50415235a68f: Waiting
deb6182b549b: Waiting
a36bcae85a3d: Pulling fs layer
1c746fdc6a3a: Pulling fs layer
ad728fb9a18c: Waiting
a36bcae85a3d: Waiting
4351b787b295: Pulling fs layer
380abb093977: Pulling fs layer
1c746fdc6a3a: Waiting
4351b787b295: Waiting
0fc1b10f3fd9: Pulling fs layer
966bc35978c3: Pulling fs layer
380abb093977: Waiting
0fc1b10f3fd9: Waiting
ae53b61ccb9e: Pulling fs layer
966bc35978c3: Waiting
d8ada9072f1a: Pulling fs layer
ae53b61ccb9e: Waiting
d8ada9072f1a: Waiting
6a1b081b98a3: Pulling fs layer
32a4a4edd914: Pulling fs layer
6a1b081b98a3: Waiting
51561b4147fc: Pulling fs layer
23328e1884b9: Pulling fs layer
120c50bc5d19: Pulling fs layer
628c53885d4c: Pulling fs layer
44ef7e84e1ef: Pulling fs layer
0ebf89ef9ee0: Pulling fs layer
32a4a4edd914: Waiting
51561b4147fc: Waiting
23328e1884b9: Waiting
120c50bc5d19: Waiting
628c53885d4c: Waiting
44ef7e84e1ef: Waiting
0ebf89ef9ee0: Waiting
745aa02d649b: Verifying Checksum
745aa02d649b: Download complete
bc737f5d3c43: Verifying Checksum
bc737f5d3c43: Download complete
0c18c39f6bae: Download complete
3b32e3bb7338: Verifying Checksum
3b32e3bb7338: Download complete
f7d9cf0406d8: Verifying Checksum
f7d9cf0406d8: Download complete
01a1dc37e798: Verifying Checksum
01a1dc37e798: Download complete
4960811e07ec: Verifying Checksum
4960811e07ec: Download complete
be2894c36d5e: Verifying Checksum
be2894c36d5e: Download complete
eef74b82df23: Download complete
3ba39ce4e9c9: Verifying Checksum
3ba39ce4e9c9: Download complete
b5a017ae191d: Verifying Checksum
b5a017ae191d: Download complete
1db570dbe1c8: Verifying Checksum
1db570dbe1c8: Download complete
753bb4b44994: Verifying Checksum
753bb4b44994: Download complete
b5a1e811909d: Verifying Checksum
b5a1e811909d: Download complete
6f3d83ba47b6: Verifying Checksum
6f3d83ba47b6: Download complete
435aae15a5aa: Verifying Checksum
435aae15a5aa: Download complete
002305272cbf: Verifying Checksum
002305272cbf: Download complete
3b32e3bb7338: Pull complete
745aa02d649b: Pull complete
bc737f5d3c43: Pull complete
249535cd82cd: Verifying Checksum
249535cd82cd: Download complete
87fe8c2a0989: Verifying Checksum
87fe8c2a0989: Download complete
b6932f04a343: Verifying Checksum
b6932f04a343: Download complete
17b274223ca8: Verifying Checksum
17b274223ca8: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
924952a8fbf8: Verifying Checksum
924952a8fbf8: Download complete
17671b650f63: Verifying Checksum
17671b650f63: Download complete
9fe75d873195: Verifying Checksum
9fe75d873195: Download complete
435aae15a5aa: Pull complete
24216535046d: Verifying Checksum
24216535046d: Download complete
0c18c39f6bae: Pull complete
ac2e1c9e90df: Verifying Checksum
ac2e1c9e90df: Download complete
c2126be13b26: Verifying Checksum
c2126be13b26: Download complete
01ff22a5eb70: Verifying Checksum
01ff22a5eb70: Download complete
50415235a68f: Verifying Checksum
50415235a68f: Download complete
deb6182b549b: Verifying Checksum
deb6182b549b: Download complete
ad728fb9a18c: Verifying Checksum
ad728fb9a18c: Download complete
a36bcae85a3d: Verifying Checksum
a36bcae85a3d: Download complete
1c746fdc6a3a: Verifying Checksum
1c746fdc6a3a: Download complete
380abb093977: Download complete
966bc35978c3: Verifying Checksum
966bc35978c3: Download complete
ae53b61ccb9e: Download complete
d8ada9072f1a: Verifying Checksum
d8ada9072f1a: Download complete
6a1b081b98a3: Download complete
32a4a4edd914: Verifying Checksum
32a4a4edd914: Download complete
51561b4147fc: Verifying Checksum
51561b4147fc: Download complete
23328e1884b9: Verifying Checksum
23328e1884b9: Download complete
120c50bc5d19: Verifying Checksum
120c50bc5d19: Download complete
0fc1b10f3fd9: Verifying Checksum
0fc1b10f3fd9: Download complete
628c53885d4c: Download complete
44ef7e84e1ef: Download complete
0ebf89ef9ee0: Download complete
eef74b82df23: Pull complete
f7d9cf0406d8: Pull complete
01a1dc37e798: Pull complete
4960811e07ec: Pull complete
be2894c36d5e: Pull complete
b5a017ae191d: Pull complete
3ba39ce4e9c9: Pull complete
1db570dbe1c8: Pull complete
753bb4b44994: Pull complete
b5a1e811909d: Pull complete
6f3d83ba47b6: Pull complete
002305272cbf: Pull complete
249535cd82cd: Pull complete
87fe8c2a0989: Pull complete
b6932f04a343: Pull complete
17b274223ca8: Pull complete
4f4fb700ef54: Pull complete
924952a8fbf8: Pull complete
17671b650f63: Pull complete
9fe75d873195: Pull complete
24216535046d: Pull complete
ac2e1c9e90df: Pull complete
c2126be13b26: Pull complete
01ff22a5eb70: Pull complete
50415235a68f: Pull complete
deb6182b549b: Pull complete
ad728fb9a18c: Pull complete
a36bcae85a3d: Pull complete
1c746fdc6a3a: Pull complete
4351b787b295: Verifying Checksum
4351b787b295: Download complete
4351b787b295: Pull complete
380abb093977: Pull complete
0fc1b10f3fd9: Pull complete
966bc35978c3: Pull complete
ae53b61ccb9e: Pull complete
d8ada9072f1a: Pull complete
6a1b081b98a3: Pull complete
32a4a4edd914: Pull complete
51561b4147fc: Pull complete
23328e1884b9: Pull complete
120c50bc5d19: Pull complete
628c53885d4c: Pull complete
44ef7e84e1ef: Pull complete
0ebf89ef9ee0: Pull complete
Digest: sha256:2f03876e840edf3bcf2cd33a6b5b1e9ee40ad45e5d26f5be08f5d20a90f4bcf6
Status: Downloaded newer image for ocaml/opam@sha256:2f03876e840edf3bcf2cd33a6b5b1e9ee40ad45e5d26f5be08f5d20a90f4bcf6
2026-04-27 07:50.37 ---> saved as "603f02c023a1426d4a02d87570a93b0933bb94d7f12e9f446094d14bd1f75796"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-04-27 07:50.38 ---> saved as "8ce252bfd2c4cf43a63a513025094ad47f7fe6cf78104b2f6dc84d2ccba189d7"
/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 ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[beta] no changes from git+https://github.com/ocaml/ocaml-beta-repository
[default] Initialised
2026-04-27 07:51.02 ---> saved as "65103e86f93946d6fffc139b5128a8f8f419133508ace1b49b5ca6c6bfb41888"
/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.1
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 2 (version-controlled)
# pinned 1 (version)
# current-switch 5.5~beta1
# invariant ["ocaml-base-compiler" {>= "5.5.0~beta1"}]
# compiler-packages compiler-cloning.enabled, ocaml-base-compiler.5.5.0~beta1, ocaml-compiler.5.5.0~beta1, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.5~beta1/lib/ocaml/../stublibs:/home/opam/.opam/5.5~beta1/lib/ocaml/stublibs:/home/opam/.opam/5.5~beta1/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.5.0~beta1
# ocaml-compiler:cloned false
# ocaml-compiler:clone-source
# ocaml-compiler:clone-mechanism
2026-04-27 07:51.03 ---> saved as "7163d9da28693b30b794bf44b1e4b9442e8bb15713526255cdecf572aba2ad74"
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-04-27 07:51.13 ---> saved as "16ab57e36a0ab7eab172ccff2678d7fbd1b69103081527d595051c8b3b2afe92"
/home/opam: (copy (src .) (dst opam-repository/))
2026-04-27 07:51.28 ---> saved as "41e06a30edb0d794daeda56356e268386596390c1d84a1882a6f1b710773feaa"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-04-27 07:51.47 ---> saved as "a90d75423200ec80462a9c5255c64fc3b0f64c2d1dbb918a70a5ec39498cea54"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Fetched 90.7 kB in 0s (1291 kB/s)
- Reading package lists...
2026-04-27 07:51.48 ---> saved as "b22c8c2e449ad078261f288dbd273d0cca6f273b35b56698cd7166d849eefc8e"
/home/opam: (run (shell "opam pin add -k version -yn colibrilib-why3.0.5 0.5"))
colibrilib-why3 is now pinned to version 0.5
2026-04-27 07:51.49 ---> saved as "3320bc516b23c27476a6c5c10f2f196d4b1d11f6d6e26ebe5719ee3ea994c069"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall colibrilib-why3.0.5;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'colibrilib-why3.0.5' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
colibrilib-why3.0.5 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 24 packages
- install colibrilib-why3 0.5 (pinned)
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install csexp 1.5.2 [required by dune-private-libs]
- install dune 3.22.2 [required by colibrilib-why3]
- install dune-private-libs 3.22.2 [required by dune-site]
- install dune-site 3.22.2 [required by why3find]
- install dyn 3.22.2 [required by dune-private-libs]
- install fs-io 3.22.2 [required by stdune]
- install menhir 20260209 [required by why3]
- install menhirCST 20260209 [required by menhir]
- install menhirGLR 20260209 [required by menhir]
- install menhirLib 20260209 [required by menhir]
- install menhirSdk 20260209 [required by menhir]
- install ocamlfind 1.9.8 [required by why3]
- install ordering 3.22.2 [required by dyn, stdune]
- install pp 2.0.0 [required by dune-private-libs]
- install stdune 3.22.2 [required by dune-private-libs]
- install terminal_size 0.2.0 [required by why3find]
- install top-closure 3.22.2 [required by stdune]
- install why3 1.8.2 [required by why3find]
- install why3find 1.3.0 [required by colibrilib-why3]
- install yojson 3.0.0 [required by why3find]
- install zarith 1.14 [required by why3]
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20654 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u2) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved colibrilib-why3.0.5 (https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/0.5/colibri2-0.5.tbz)
-> retrieved conf-gmp.5 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-pkg-config.4
-> installed conf-gmp.5
-> retrieved dune.3.22.2, dune-private-libs.3.22.2, dune-site.3.22.2, dyn.3.22.2, fs-io.3.22.2, ordering.3.22.2, stdune.3.22.2, top-closure.3.22.2 (cached)
-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved pp.2.0.0 (cached)
-> retrieved terminal_size.0.2.0 (cached)
-> retrieved why3.1.8.2 (cached)
-> retrieved why3find.1.3.0 (https://opam.ocaml.org/cache)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed dune.3.22.2
-> installed csexp.1.5.2
-> installed fs-io.3.22.2
-> installed menhirCST.20260209
-> installed menhirGLR.20260209
-> installed menhirLib.20260209
-> installed menhirSdk.20260209
-> installed ordering.3.22.2
-> installed pp.2.0.0
-> installed terminal_size.0.2.0
-> installed top-closure.3.22.2
-> installed yojson.3.0.0
-> installed dyn.3.22.2
-> installed stdune.3.22.2
-> installed menhir.20260209
-> installed dune-private-libs.3.22.2
-> installed dune-site.3.22.2
-> installed why3.1.8.2
-> installed why3find.1.3.0
-> installed colibrilib-why3.0.5
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-27 07:53.48 ---> saved as "09b30d0bda3ae91d124cfc6d2f254632eb142168bf1aa60c72ca9a33ea3defc6"
/home/opam: (env OPAMCRITERIA +removed,+count[version-lag,solution])
/home/opam: (env OPAMFIXUPCRITERIA +removed,+count[version-lag,solution])
/home/opam: (env OPAMUPGRADECRITERIA +removed,+count[version-lag,solution])
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall colibrilib-why3.0.5;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'colibrilib-why3.0.5' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== remove 4 packages
- remove fs-io 3.22.2 [conflicts with dune]
- remove menhirCST 20260209 [conflicts with dune]
- remove menhirGLR 20260209 [conflicts with dune]
- remove top-closure 3.22.2 [conflicts with dune]
=== downgrade 15 packages
- downgrade conf-pkg-config 4 to 1.0 [required by conf-zmq]
- downgrade csexp 1.5.2 to 1.5.1 [uses dune]
- downgrade dune 3.22.2 to 3.18.2 [required by colibrilib-why3]
- downgrade dune-private-libs 3.22.2 to 3.19.0 [uses dune]
- downgrade dune-site 3.22.2 to 3.19.0 [uses dune]
- downgrade dyn 3.22.2 to 3.19.0 [uses dune]
- downgrade menhir 20260209 to 20200211 [uses dune]
- downgrade menhirLib 20260209 to 20200211 [uses dune]
- downgrade menhirSdk 20260209 to 20200211 [uses dune]
- downgrade ocamlfind 1.9.8 to 1.9.6 [required by why3]
- downgrade ordering 3.22.2 to 3.19.0 [uses dune]
- downgrade stdune 3.22.2 to 3.19.0 [uses dune]
- downgrade why3find 1.3.0 to 1.1.1 [required by colibrilib-why3]
- downgrade yojson 3.0.0 to 1.7.0 [uses dune]
- downgrade zarith 1.14 to 1.7-1 [required by why3]
=== recompile 4 packages
- recompile colibrilib-why3 0.5 (pinned)
- recompile pp 2.0.0 [uses dune]
- recompile terminal_size 0.2.0 [uses dune]
- recompile why3 1.8.2 [uses menhir]
=== install 10 packages
- install biniou 1.2.2 [required by yojson]
- install camlp-streams 5.0.1 [required by biniou]
- install conf-perl 1 [required by zarith]
- install conf-zmq 0.1 [required by zmq]
- install cppo 1.6.7 [required by yojson]
- install dune-configurator 2.9.3 [required by zmq]
- install easy-format 1.3.3 [required by yojson]
- install result 1.5 [required by dune-configurator]
- install stdint 0.7.1 [required by zmq]
- install zmq 5.1.0 [required by why3find]
The following system packages will first need to be installed:
libzmq3-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libzmq3-dev"
- Selecting previously unselected package comerr-dev:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20713 files and directories currently installed.)
- Preparing to unpack .../00-comerr-dev_2.1-1.47.2-3+b10_amd64.deb ...
- Unpacking comerr-dev:amd64 (2.1-1.47.2-3+b10) ...
- Selecting previously unselected package libnorm1t64:amd64.
- Preparing to unpack .../01-libnorm1t64_1.5.9+dfsg-3.1+b2_amd64.deb ...
- Unpacking libnorm1t64:amd64 (1.5.9+dfsg-3.1+b2) ...
- Selecting previously unselected package libpgm-5.3-0t64:amd64.
- Preparing to unpack .../02-libpgm-5.3-0t64_5.3.128~dfsg-2.1+b1_amd64.deb ...
- Unpacking libpgm-5.3-0t64:amd64 (5.3.128~dfsg-2.1+b1) ...
- Selecting previously unselected package libsodium23:amd64.
- Preparing to unpack .../03-libsodium23_1.0.18-1+deb13u1_amd64.deb ...
- Unpacking libsodium23:amd64 (1.0.18-1+deb13u1) ...
- Selecting previously unselected package libzmq5:amd64.
- Preparing to unpack .../04-libzmq5_4.3.5-1+b3_amd64.deb ...
- Unpacking libzmq5:amd64 (4.3.5-1+b3) ...
- Selecting previously unselected package libpgm-dev:amd64.
- Preparing to unpack .../05-libpgm-dev_5.3.128~dfsg-2.1+b1_amd64.deb ...
- Unpacking libpgm-dev:amd64 (5.3.128~dfsg-2.1+b1) ...
- Selecting previously unselected package libsodium-dev:amd64.
- Preparing to unpack .../06-libsodium-dev_1.0.18-1+deb13u1_amd64.deb ...
- Unpacking libsodium-dev:amd64 (1.0.18-1+deb13u1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../07-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../08-libxml2-dev_2.12.7+dfsg+really2.9.14-2.1+deb13u2_amd64.deb ...
- Unpacking libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Selecting previously unselected package libnorm-dev:amd64.
- Preparing to unpack .../09-libnorm-dev_1.5.9+dfsg-3.1+b2_amd64.deb ...
- Unpacking libnorm-dev:amd64 (1.5.9+dfsg-3.1+b2) ...
- Selecting previously unselected package libgssrpc4t64:amd64.
- Preparing to unpack .../10-libgssrpc4t64_1.21.3-5_amd64.deb ...
- Unpacking libgssrpc4t64:amd64 (1.21.3-5) ...
- Selecting previously unselected package libkadm5clnt-mit12:amd64.
- Preparing to unpack .../11-libkadm5clnt-mit12_1.21.3-5_amd64.deb ...
- Unpacking libkadm5clnt-mit12:amd64 (1.21.3-5) ...
- Selecting previously unselected package libkdb5-10t64:amd64.
- Preparing to unpack .../12-libkdb5-10t64_1.21.3-5_amd64.deb ...
- Unpacking libkdb5-10t64:amd64 (1.21.3-5) ...
- Selecting previously unselected package libkadm5srv-mit12:amd64.
- Preparing to unpack .../13-libkadm5srv-mit12_1.21.3-5_amd64.deb ...
- Unpacking libkadm5srv-mit12:amd64 (1.21.3-5) ...
- Selecting previously unselected package krb5-multidev:amd64.
- Preparing to unpack .../14-krb5-multidev_1.21.3-5_amd64.deb ...
- Unpacking krb5-multidev:amd64 (1.21.3-5) ...
- Selecting previously unselected package libkrb5-dev:amd64.
- Preparing to unpack .../15-libkrb5-dev_1.21.3-5_amd64.deb ...
- Unpacking libkrb5-dev:amd64 (1.21.3-5) ...
- Selecting previously unselected package libmd-dev:amd64.
- Preparing to unpack .../16-libmd-dev_1.1.0-2+b1_amd64.deb ...
- Unpacking libmd-dev:amd64 (1.1.0-2+b1) ...
- Selecting previously unselected package libbsd-dev:amd64.
- Preparing to unpack .../17-libbsd-dev_0.12.2-2_amd64.deb ...
- Unpacking libbsd-dev:amd64 (0.12.2-2) ...
- Selecting previously unselected package libzmq3-dev:amd64.
- Preparing to unpack .../18-libzmq3-dev_4.3.5-1+b3_amd64.deb ...
- Unpacking libzmq3-dev:amd64 (4.3.5-1+b3) ...
- Selecting previously unselected package cppzmq-dev:amd64.
- Preparing to unpack .../19-cppzmq-dev_4.10.0-1+b2_amd64.deb ...
- Unpacking cppzmq-dev:amd64 (4.10.0-1+b2) ...
- Setting up libnorm1t64:amd64 (1.5.9+dfsg-3.1+b2) ...
- Setting up libsodium23:amd64 (1.0.18-1+deb13u1) ...
- Setting up libpgm-5.3-0t64:amd64 (5.3.128~dfsg-2.1+b1) ...
- Setting up libgssrpc4t64:amd64 (1.21.3-5) ...
- Setting up libpgm-dev:amd64 (5.3.128~dfsg-2.1+b1) ...
- Setting up comerr-dev:amd64 (2.1-1.47.2-3+b10) ...
- Setting up libsodium-dev:amd64 (1.0.18-1+deb13u1) ...
- Setting up libmd-dev:amd64 (1.1.0-2+b1) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Setting up libbsd-dev:amd64 (0.12.2-2) ...
- Setting up libkadm5clnt-mit12:amd64 (1.21.3-5) ...
- Setting up libzmq5:amd64 (4.3.5-1+b3) ...
- Setting up libkdb5-10t64:amd64 (1.21.3-5) ...
- Setting up libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Setting up libkadm5srv-mit12:amd64 (1.21.3-5) ...
- Setting up krb5-multidev:amd64 (1.21.3-5) ...
- Setting up libnorm-dev:amd64 (1.5.9+dfsg-3.1+b2) ...
- Setting up libkrb5-dev:amd64 (1.21.3-5) ...
- Setting up libzmq3-dev:amd64 (4.3.5-1+b3) ...
- Setting up cppzmq-dev:amd64 (4.10.0-1+b2) ...
- Processing triggers for libc-bin (2.41-12+deb13u2) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved biniou.1.2.2 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved conf-zmq.0.1 (cached)
-> retrieved cppo.1.6.7 (cached)
-> retrieved csexp.1.5.1 (cached)
-> installed conf-perl.1
-> retrieved dune.3.18.2 (cached)
-> retrieved dune-configurator.2.9.3 (cached)
-> retrieved dune-private-libs.3.19.0, dune-site.3.19.0, dyn.3.19.0, ordering.3.19.0, stdune.3.19.0 (cached)
-> retrieved easy-format.1.3.3 (cached)
-> retrieved menhir.20200211, menhirLib.20200211, menhirSdk.20200211 (cached)
-> retrieved ocamlfind.1.9.6 (cached)
-> retrieved pp.2.0.0 (cached)
-> retrieved result.1.5 (cached)
-> retrieved stdint.0.7.1 (https://opam.ocaml.org/cache)
-> retrieved terminal_size.0.2.0 (cached)
-> retrieved why3.1.8.2 (cached)
-> retrieved why3find.1.1.1 (cached)
-> retrieved yojson.1.7.0 (cached)
-> retrieved zarith.1.7-1 (cached)
-> retrieved zmq.5.1.0 (cached)
-> removed colibrilib-why3.0.5
-> removed why3find.1.3.0
-> removed dune-site.3.22.2
-> removed dune-private-libs.3.22.2
-> removed stdune.3.22.2
-> removed csexp.1.5.2
-> removed dyn.3.22.2
-> removed fs-io.3.22.2
-> removed ordering.3.22.2
-> removed pp.2.0.0
-> removed terminal_size.0.2.0
-> removed top-closure.3.22.2
-> removed why3.1.8.2
-> removed menhir.20260209
-> removed menhirCST.20260209
-> removed menhirGLR.20260209
-> removed menhirLib.20260209
-> removed menhirSdk.20260209
-> removed yojson.3.0.0
-> removed dune.3.22.2
-> removed zarith.1.14
-> removed conf-pkg-config.4
-> removed ocamlfind.1.9.8
-> installed conf-pkg-config.1.0
-> installed dune.3.18.2
-> installed ocamlfind.1.9.6
-> installed camlp-streams.5.0.1
-> installed conf-zmq.0.1
-> installed cppo.1.6.7
-> installed csexp.1.5.1
-> installed easy-format.1.3.3
-> installed menhirLib.20200211
-> installed menhirSdk.20200211
-> installed pp.2.0.0
-> installed result.1.5
-> installed terminal_size.0.2.0
-> installed stdint.0.7.1
-> installed ordering.3.19.0
-> installed biniou.1.2.2
-> installed dune-configurator.2.9.3
-> installed dyn.3.19.0
-> installed zmq.5.1.0
-> installed yojson.1.7.0
-> installed zarith.1.7-1
-> installed stdune.3.19.0
-> installed menhir.20200211
-> installed dune-private-libs.3.19.0
-> installed dune-site.3.19.0
-> installed why3.1.8.2
-> installed why3find.1.1.1
-> installed colibrilib-why3.0.5
Done.
# To update the current shell environment, run: eval $(opam env)
2026-04-27 07:55.35 ---> saved as "9b018708caf7ce48d97e2468e88135366d61a71aafafd34565deb76522e28b24"
Job succeeded
2026-04-27 07:55.42: Job succeeded