(for PR #29933)
2026-05-24 10:56.29: New job: build z3.4.16.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29933/head (4834f4da5c651b5c7ad2fb98572d52cd3bfab6e3)
on ubuntu-26.04-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/29933/head" && git reset --hard 4834f4da
git fetch origin master
git merge --no-edit 856df280428c158a5bb0b3afce1bec956b10ae6f
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:77850a9d4b7b833511703de9b81360e7fea9d130275e09f97711257be91854ae
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 z3.4.16.0 4.16.0
RUN opam reinstall z3.4.16.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 "\"ubuntu-26.04\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'z3.4.16.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-24 10:56.29: Using cache hint "ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:77850a9d4b7b833511703de9b81360e7fea9d130275e09f97711257be91854ae-z3.4.16.0-4834f4da5c651b5c7ad2fb98572d52cd3bfab6e3"
2026-05-24 10:56.29: Using OBuilder spec:
((from ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:77850a9d4b7b833511703de9b81360e7fea9d130275e09f97711257be91854ae)
(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 z3.4.16.0 4.16.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall z3.4.16.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 \"\\\"ubuntu-26.04\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'z3.4.16.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-24 10:56.29: Waiting for resource in pool OCluster
2026-05-24 10:56.29: Waiting for worker…
2026-05-24 10:56.29: Got resource from pool OCluster
Building on eumache.caelum.ci.dev
All commits already cached
Updating files: 75% (13487/17960)
Updating files: 76% (13650/17960)
Updating files: 77% (13830/17960)
Updating files: 78% (14009/17960)
Updating files: 79% (14189/17960)
Updating files: 80% (14368/17960)
Updating files: 81% (14548/17960)
Updating files: 82% (14728/17960)
Updating files: 83% (14907/17960)
Updating files: 84% (15087/17960)
Updating files: 85% (15266/17960)
Updating files: 86% (15446/17960)
Updating files: 87% (15626/17960)
Updating files: 88% (15805/17960)
Updating files: 89% (15985/17960)
Updating files: 90% (16164/17960)
Updating files: 91% (16344/17960)
Updating files: 92% (16524/17960)
Updating files: 93% (16703/17960)
Updating files: 94% (16883/17960)
Updating files: 95% (17062/17960)
Updating files: 96% (17242/17960)
Updating files: 97% (17422/17960)
Updating files: 98% (17601/17960)
Updating files: 99% (17781/17960)
Updating files: 100% (17960/17960)
Updating files: 100% (17960/17960), done.
HEAD is now at 856df28042 Merge pull request #29946 from hannesm/release-mirage-net-solo5-v0.8.1
Merge made by the 'ort' strategy.
packages/z3/z3.4.16.0/opam | 71 ++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 71 insertions(+)
create mode 100644 packages/z3/z3.4.16.0/opam
(from ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:77850a9d4b7b833511703de9b81360e7fea9d130275e09f97711257be91854ae)
Unable to find image 'ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:77850a9d4b7b833511703de9b81360e7fea9d130275e09f97711257be91854ae' locally
docker.io/ocaml/opam@sha256:77850a9d4b7b833511703de9b81360e7fea9d130275e09f97711257be91854ae: Pulling from ocaml/opam
6f5c5aa4e145: Pulling fs layer
1c24335ddd46: Pulling fs layer
73c2241252ad: Pulling fs layer
00ca9f7aed7f: Pulling fs layer
533c5da5e99b: Pulling fs layer
c0005ce76316: Pulling fs layer
6f5c5aa4e145: Waiting
84ab14c2d0c8: Pulling fs layer
1c24335ddd46: Waiting
ab4433194f7c: Pulling fs layer
533c5da5e99b: Waiting
a9fb498f3112: Pulling fs layer
73c2241252ad: Waiting
00ca9f7aed7f: Waiting
b68f2e8459e4: Pulling fs layer
a9fb498f3112: Waiting
ab4433194f7c: Waiting
c0005ce76316: Waiting
df514e90a267: Pulling fs layer
84ab14c2d0c8: Waiting
b68f2e8459e4: Waiting
f4cc2d461e19: Pulling fs layer
5b440812daa4: Pulling fs layer
0a5fd61caedc: Pulling fs layer
f4cc2d461e19: Waiting
5b440812daa4: Waiting
dade37641ef2: Pulling fs layer
0a5fd61caedc: Waiting
362a60bb2595: Pulling fs layer
dade37641ef2: Waiting
9c3bc4dbb0cc: Pulling fs layer
362a60bb2595: Waiting
6376dcbc9546: Pulling fs layer
9c3bc4dbb0cc: Waiting
6376dcbc9546: Waiting
0e8712ebda32: Pulling fs layer
84c9a5c2dfc6: Pulling fs layer
fb7098a82d33: Pulling fs layer
0e8712ebda32: Waiting
84c9a5c2dfc6: Waiting
7c2ce92ca5ad: Pulling fs layer
4f4fb700ef54: Pulling fs layer
fb7098a82d33: Waiting
7c2ce92ca5ad: Waiting
02a760c9b11a: Pulling fs layer
d87920b35f7b: Pulling fs layer
02a760c9b11a: Waiting
4f4fb700ef54: Waiting
8960c3d76078: Pulling fs layer
8904ff1b0bce: Pulling fs layer
b135cca69042: Pulling fs layer
71de0e844fb9: Pulling fs layer
d87920b35f7b: Waiting
8904ff1b0bce: Waiting
8960c3d76078: Waiting
d442707047b1: Pulling fs layer
71de0e844fb9: Waiting
8e790abbe6ed: Pulling fs layer
b135cca69042: Waiting
d442707047b1: Waiting
d9ed9ab79326: Pulling fs layer
8e790abbe6ed: Waiting
1fb7c75c812e: Pulling fs layer
d9ed9ab79326: Waiting
dc159397fbf1: Pulling fs layer
0fa4fc5c504a: Pulling fs layer
1fb7c75c812e: Waiting
15720ef4483e: Pulling fs layer
dc159397fbf1: Waiting
14fe6aeeea8c: Pulling fs layer
0fa4fc5c504a: Waiting
1abbc73bd338: Pulling fs layer
15720ef4483e: Waiting
52ebbe14b1df: Pulling fs layer
14fe6aeeea8c: Waiting
1abbc73bd338: Waiting
b1c624dd30d4: Pulling fs layer
e36230d9d207: Pulling fs layer
07109bad0dfb: Pulling fs layer
e36230d9d207: Waiting
b1c624dd30d4: Waiting
544546fee327: Pulling fs layer
07109bad0dfb: Waiting
8939a079f32b: Pulling fs layer
544546fee327: Waiting
c4f31c315c5d: Pulling fs layer
8939a079f32b: Waiting
c4f31c315c5d: Waiting
6f5c5aa4e145: Download complete
1c24335ddd46: Verifying Checksum
1c24335ddd46: Download complete
73c2241252ad: Verifying Checksum
73c2241252ad: Download complete
00ca9f7aed7f: Download complete
6f5c5aa4e145: Pull complete
1c24335ddd46: Pull complete
73c2241252ad: Pull complete
00ca9f7aed7f: Pull complete
533c5da5e99b: Verifying Checksum
533c5da5e99b: Download complete
c0005ce76316: Download complete
533c5da5e99b: Pull complete
c0005ce76316: Pull complete
ab4433194f7c: Verifying Checksum
ab4433194f7c: Download complete
a9fb498f3112: Verifying Checksum
a9fb498f3112: Download complete
b68f2e8459e4: Verifying Checksum
b68f2e8459e4: Download complete
df514e90a267: Verifying Checksum
df514e90a267: Download complete
f4cc2d461e19: Verifying Checksum
f4cc2d461e19: Download complete
5b440812daa4: Verifying Checksum
5b440812daa4: Download complete
0a5fd61caedc: Verifying Checksum
0a5fd61caedc: Download complete
dade37641ef2: Verifying Checksum
dade37641ef2: Download complete
362a60bb2595: Verifying Checksum
362a60bb2595: Download complete
9c3bc4dbb0cc: Download complete
6376dcbc9546: Verifying Checksum
6376dcbc9546: Download complete
0e8712ebda32: Download complete
84c9a5c2dfc6: Verifying Checksum
84c9a5c2dfc6: Download complete
fb7098a82d33: Download complete
7c2ce92ca5ad: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
02a760c9b11a: Download complete
d87920b35f7b: Verifying Checksum
d87920b35f7b: Download complete
8960c3d76078: Verifying Checksum
8960c3d76078: Download complete
8904ff1b0bce: Verifying Checksum
8904ff1b0bce: Download complete
b135cca69042: Verifying Checksum
b135cca69042: Download complete
71de0e844fb9: Verifying Checksum
71de0e844fb9: Download complete
d442707047b1: Verifying Checksum
d442707047b1: Download complete
8e790abbe6ed: Download complete
d9ed9ab79326: Verifying Checksum
d9ed9ab79326: Download complete
1fb7c75c812e: Download complete
dc159397fbf1: Download complete
0fa4fc5c504a: Download complete
15720ef4483e: Verifying Checksum
15720ef4483e: Download complete
14fe6aeeea8c: Verifying Checksum
14fe6aeeea8c: Download complete
1abbc73bd338: Verifying Checksum
1abbc73bd338: Download complete
52ebbe14b1df: Verifying Checksum
52ebbe14b1df: Download complete
b1c624dd30d4: Verifying Checksum
b1c624dd30d4: Download complete
84ab14c2d0c8: Verifying Checksum
84ab14c2d0c8: Download complete
84ab14c2d0c8: Pull complete
ab4433194f7c: Pull complete
a9fb498f3112: Pull complete
b68f2e8459e4: Pull complete
df514e90a267: Pull complete
f4cc2d461e19: Pull complete
5b440812daa4: Pull complete
0a5fd61caedc: Pull complete
dade37641ef2: Pull complete
362a60bb2595: Pull complete
9c3bc4dbb0cc: Pull complete
6376dcbc9546: Pull complete
0e8712ebda32: Pull complete
84c9a5c2dfc6: Pull complete
fb7098a82d33: Pull complete
7c2ce92ca5ad: Pull complete
4f4fb700ef54: Pull complete
02a760c9b11a: Pull complete
d87920b35f7b: Pull complete
8960c3d76078: Pull complete
8904ff1b0bce: Pull complete
b135cca69042: Pull complete
71de0e844fb9: Pull complete
d442707047b1: Pull complete
8e790abbe6ed: Pull complete
d9ed9ab79326: Pull complete
1fb7c75c812e: Pull complete
dc159397fbf1: Pull complete
0fa4fc5c504a: Pull complete
544546fee327: Download complete
8939a079f32b: Verifying Checksum
8939a079f32b: Download complete
c4f31c315c5d: Verifying Checksum
c4f31c315c5d: Download complete
e36230d9d207: Verifying Checksum
e36230d9d207: Download complete
15720ef4483e: Pull complete
14fe6aeeea8c: Pull complete
1abbc73bd338: Pull complete
52ebbe14b1df: Pull complete
b1c624dd30d4: Pull complete
e36230d9d207: Pull complete
07109bad0dfb: Verifying Checksum
07109bad0dfb: Download complete
07109bad0dfb: Pull complete
544546fee327: Pull complete
8939a079f32b: Pull complete
c4f31c315c5d: Pull complete
Digest: sha256:77850a9d4b7b833511703de9b81360e7fea9d130275e09f97711257be91854ae
Status: Downloaded newer image for ocaml/opam@sha256:77850a9d4b7b833511703de9b81360e7fea9d130275e09f97711257be91854ae
2026-05-24 10:56.45 ---> using "6e5a078722e4f1bde28aaf2d1f0f9fc9dea48554726f2c6c629d6e579a609a2e" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-05-24 10:56.45 ---> using "5c40332ab366c54904c74365bca99f25121e425d3da90ecc6337609ec6568acd" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.1 to version 2.2, which can't be reverted.
You may want to back it up before going further.
[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
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-patches-overlay] no changes from git+https://github.com/ocurrent/opam-repository#patches
[default] no changes from git+file:///home/opam/opam-repository
2026-05-24 10:56.45 ---> using "d8917d271c0416554d781b9adbbc9f2707d29d6eb18a4efc2a8ff5ea872b737e" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.1
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=ubuntu os-version=26.04
# 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 4.14
# invariant ["ocaml-base-compiler" {= "4.14.3"}]
# compiler-packages ocaml-base-compiler.4.14.3, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.3
2026-05-24 10:56.45 ---> using "d2a3e5e39ce490c69c5f76bce269e3f6ec75522b241c82f80253515ac65e2fe7" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-05-24 10:56.45 ---> using "045958de163f420a3ce802fdb964ec1f2cd21615f728f473cf26da9cf891e80e" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-05-24 10:56.56 ---> saved as "b308562bb0587b386b447a56c609df0609b3de5288d46882c07aff979d801945"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-05-24 10:57.07 ---> saved as "0e775a86209aed79603423685e854ff9043685996d008eb0cabb49748d892863"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://security.ubuntu.com/ubuntu resolute-security InRelease [136 kB]
- Hit:2 http://archive.ubuntu.com/ubuntu resolute InRelease
- Get:3 http://archive.ubuntu.com/ubuntu resolute-updates InRelease [136 kB]
- Get:4 http://security.ubuntu.com/ubuntu resolute-security/main amd64 Packages [102 kB]
- Get:5 http://security.ubuntu.com/ubuntu resolute-security/universe amd64 Packages [53.9 kB]
- Get:6 http://security.ubuntu.com/ubuntu resolute-security/restricted amd64 Packages [216 kB]
- Hit:7 http://archive.ubuntu.com/ubuntu resolute-backports InRelease
- Get:8 http://archive.ubuntu.com/ubuntu resolute-updates/multiverse amd64 Packages [3584 B]
- Get:9 http://archive.ubuntu.com/ubuntu resolute-updates/restricted amd64 Packages [216 kB]
- Get:10 http://archive.ubuntu.com/ubuntu resolute-updates/main amd64 Packages [109 kB]
- Get:11 http://archive.ubuntu.com/ubuntu resolute-updates/universe amd64 Packages [57.1 kB]
- Fetched 1028 kB in 1s (1372 kB/s)
- Reading package lists...
-
2026-05-24 10:57.09 ---> saved as "4b92a2c1114b200f19261ec991154ea6fa8958b2a696535557607bb8cba45634"
/home/opam: (run (shell "opam pin add -k version -yn z3.4.16.0 4.16.0"))
z3 is now pinned to version 4.16.0
2026-05-24 10:57.10 ---> saved as "1ef7b18e0dec0e4245ef79372d7b7d41eba245b2520eee3ac629dfd6ad86ac3e"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall z3.4.16.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 \"\\\"ubuntu-26.04\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'z3.4.16.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
z3.4.16.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 7 packages
- install conf-c++ 1.0 [required by z3]
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install conf-python-3 9.0.0 [required by z3]
- install ocamlfind 1.9.8 [required by z3]
- install z3 4.16.0 (pinned)
- install zarith 1.14 [required by z3]
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 ... 22791 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu2_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5ubuntu2) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu2_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5ubuntu2) ...
- Selecting previously unselected package libpkgconf7:amd64.
- Preparing to unpack .../2-libpkgconf7_2.5.1-4_amd64.deb ...
- Unpacking libpkgconf7:amd64 (2.5.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_2.5.1-4_amd64.deb ...
- Unpacking pkgconf-bin (2.5.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_2.5.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (2.5.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_2.5.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (2.5.1-4) ...
- Setting up libpkgconf7:amd64 (2.5.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5ubuntu2) ...
- Setting up pkgconf-bin (2.5.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5ubuntu2) ...
- Setting up pkgconf:amd64 (2.5.1-4) ...
- Setting up pkg-config:amd64 (2.5.1-4) ...
- Processing triggers for libc-bin (2.43-2ubuntu2) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-python-3.9.0.0 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> installed conf-c++.1.0
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> installed conf-python-3.9.0.0
-> retrieved z3.4.16.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed z3.4.16.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-05-24 11:08.01 ---> saved as "36e41b087cbfbb3e4710bb68e4d1f2a7ae2ebcf446e6cdf899162cc5324066be"
Job succeeded
2026-05-24 11:35.56: Job succeeded