Build:
- 0
2026-02-03 16:25.38: New job: test tezos-protocol-plugin-014-PtKathma.17.3 with menhirSdk.20260203, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29331/head (0e6673ac97ae0f63da331269732670199dbab85e)
on debian-13-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/29331/head" && git reset --hard 0e6673ac
git fetch origin master
git merge --no-edit 01e12bc089eafb9e81d496cb6a8286b7a4d19aa2
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:bc8e76b9a7af94f8c361f21b8e82ca88bcbca99c677c23853e4b0f8643d218d7
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 menhirSdk.20260203 20260203
RUN opam reinstall menhirSdk.20260203; \
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" != 'menhirSdk.20260203' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall tezos-protocol-plugin-014-PtKathma.17.3; \
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" != 'tezos-protocol-plugin-014-PtKathma.17.3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test tezos-protocol-plugin-014-PtKathma.17.3) || true
RUN opam reinstall --with-test --verbose tezos-protocol-plugin-014-PtKathma.17.3; \
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" != 'tezos-protocol-plugin-014-PtKathma.17.3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-02-03 16:25.38: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:bc8e76b9a7af94f8c361f21b8e82ca88bcbca99c677c23853e4b0f8643d218d7-menhirSdk.20260203-tezos-protocol-plugin-014-PtKathma.17.3-0e6673ac97ae0f63da331269732670199dbab85e"
2026-02-03 16:25.38: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:bc8e76b9a7af94f8c361f21b8e82ca88bcbca99c677c23853e4b0f8643d218d7)
(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 menhirSdk.20260203 20260203"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall menhirSdk.20260203;\
\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\" != 'menhirSdk.20260203' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall tezos-protocol-plugin-014-PtKathma.17.3;\
\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\" != 'tezos-protocol-plugin-014-PtKathma.17.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test tezos-protocol-plugin-014-PtKathma.17.3) || true"))
(run (shell "opam reinstall --with-test --verbose tezos-protocol-plugin-014-PtKathma.17.3;\
\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\" != 'tezos-protocol-plugin-014-PtKathma.17.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-02-03 16:25.38: Waiting for resource in pool OCluster
2026-02-03 16:36.54: Waiting for worker…
2026-02-03 16:54.33: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
Updating files: 89% (17346/19338)
Updating files: 90% (17405/19338)
Updating files: 91% (17598/19338)
Updating files: 92% (17791/19338)
Updating files: 93% (17985/19338)
Updating files: 94% (18178/19338)
Updating files: 95% (18372/19338)
Updating files: 96% (18565/19338)
Updating files: 97% (18758/19338)
Updating files: 98% (18952/19338)
Updating files: 99% (19145/19338)
Updating files: 100% (19338/19338)
Updating files: 100% (19338/19338), done.
HEAD is now at 01e12bc089 Merge pull request #29329 from vincent-botbol/catala-lsp.1.1.1
Updating 01e12bc089..0e6673ac97
Fast-forward
packages/menhir/menhir.20260203/opam | 32 ++++++++++++++++++++++++++++++
packages/menhirCST/menhirCST.20260203/opam | 30 ++++++++++++++++++++++++++++
packages/menhirGLR/menhirGLR.20260203/opam | 30 ++++++++++++++++++++++++++++
packages/menhirLib/menhirLib.20260203/opam | 31 +++++++++++++++++++++++++++++
packages/menhirSdk/menhirSdk.20260203/opam | 31 +++++++++++++++++++++++++++++
5 files changed, 154 insertions(+)
create mode 100644 packages/menhir/menhir.20260203/opam
create mode 100644 packages/menhirCST/menhirCST.20260203/opam
create mode 100644 packages/menhirGLR/menhirGLR.20260203/opam
create mode 100644 packages/menhirLib/menhirLib.20260203/opam
create mode 100644 packages/menhirSdk/menhirSdk.20260203/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:bc8e76b9a7af94f8c361f21b8e82ca88bcbca99c677c23853e4b0f8643d218d7)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:bc8e76b9a7af94f8c361f21b8e82ca88bcbca99c677c23853e4b0f8643d218d7' locally
docker.io/ocaml/opam@sha256:bc8e76b9a7af94f8c361f21b8e82ca88bcbca99c677c23853e4b0f8643d218d7: Pulling from ocaml/opam
2ca1bfae7ba8: Already exists
e4d8ee4b2a38: Already exists
1d3116276f8e: Already exists
75b74a4d1ac0: Already exists
b6ccadbb02b4: Already exists
8cbf8e460264: Already exists
3315611f76bf: Already exists
504308973b3d: Already exists
d88808e698ae: Already exists
64194555da04: Already exists
bcae218e4dec: Already exists
0678004b187f: Already exists
608c27b1299a: Already exists
2d112e543012: Already exists
7515eb74eee1: Already exists
c57ccaf32dad: Already exists
1ad18dadc94d: Already exists
e597bdf2ce86: Already exists
895287036913: Already exists
669157da4bb1: Already exists
05dacbfea855: Already exists
c07f56eefed9: Already exists
4f4fb700ef54: Already exists
8d67afca45c4: Already exists
eaf56bb8bbcb: Already exists
3eb319385d03: Already exists
7e47d6bb7bc1: Already exists
dc066cdb4877: Already exists
3bd4cfbaf252: Already exists
e1cd4fc2a870: Already exists
c620a639b37a: Already exists
2765b1030b2e: Already exists
4e076d3d484c: Already exists
8fe2e737bcaf: Already exists
29a5f2a84735: Already exists
829846ac5653: Already exists
6cf201ca8833: Already exists
7f975caeb23f: Already exists
de5cd6b102fb: Already exists
8ce740230729: Already exists
29df89ae24a1: Already exists
cd1a29bde858: Pulling fs layer
50df3536b5d6: Pulling fs layer
cd1a29bde858: Waiting
dba635352ec5: Pulling fs layer
df590c87b573: Pulling fs layer
50df3536b5d6: Waiting
dba635352ec5: Waiting
df590c87b573: Waiting
50df3536b5d6: Download complete
dba635352ec5: Download complete
df590c87b573: Verifying Checksum
df590c87b573: Download complete
cd1a29bde858: Verifying Checksum
cd1a29bde858: Download complete
cd1a29bde858: Pull complete
50df3536b5d6: Pull complete
dba635352ec5: Pull complete
df590c87b573: Pull complete
Digest: sha256:bc8e76b9a7af94f8c361f21b8e82ca88bcbca99c677c23853e4b0f8643d218d7
Status: Downloaded newer image for ocaml/opam@sha256:bc8e76b9a7af94f8c361f21b8e82ca88bcbca99c677c23853e4b0f8643d218d7
2026-02-03 16:54.36 ---> using "6a529338653936dd261dd42dcc0e2d18c1a03440bc5c8aa2a17bafbdf6595264" 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-02-03 16:54.36 ---> using "a8c9e5db701a2843d9e0fdf5928fcfbc8cab25ba63f7ef4876c3ba9cbe2e1c00" 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.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-02-03 16:54.36 ---> using "5c373a63e5ac1e69774cf481a742f8a69ebe54e8a43166cf6ffcd33bf32d373d" 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.0
# 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 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-02-03 16:54.36 ---> using "402b9d00e6f7a5da0e60648ac930485174b6a1e2d66ab81967b14702119c5f4d" 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-02-03 16:54.36 ---> using "41261ca47d1b1073701808a26cea2999906bae061c95bbddc88d4dc05a86491b" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-02-03 16:54.37 ---> using "c10360e037e930bc60f660197f5808738b6325cd066c8b149434bdc3bde80edb" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-02-03 16:54.37 ---> using "956d85e9c304fd5ef1849cc4462f2965eb17a49d229f4d823bc1be12547a435c" from cache
/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]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [98.7 kB]
- Fetched 189 kB in 0s (796 kB/s)
- Reading package lists...
-
2026-02-03 16:54.37 ---> using "3e84da74f5206507f128e87ec005a47bf261ea86fc8e8c8eb44ffb4eb0ccfb74" from cache
/home/opam: (run (shell "opam pin add -k version -yn menhirSdk.20260203 20260203"))
menhirSdk is now pinned to version 20260203
2026-02-03 16:54.37 ---> using "1fcc450f86bfbc37d0d725cbc9695b7251d3f6a58612d390d7ad6cb75ee2145b" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall menhirSdk.20260203;\
\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\" != 'menhirSdk.20260203' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
menhirSdk.20260203 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 2 packages
- install dune 3.21.0 [required by menhirSdk]
- install menhirSdk 20260203 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0 (cached)
-> retrieved menhirSdk.20260203 (cached)
-> installed dune.3.21.0
-> installed menhirSdk.20260203
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-03 16:54.37 ---> using "58577b04139977282f2fd3127f815127a97c96a8ab7bfb1ec21d6ea3a64cfd61" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall tezos-protocol-plugin-014-PtKathma.17.3;\
\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\" != 'tezos-protocol-plugin-014-PtKathma.17.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
tezos-protocol-plugin-014-PtKathma.17.3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== downgrade 1 package
- downgrade dune 3.21.0 to 3.10.0 [required by tezos-protocol-plugin-014-PtKathma]
=== recompile 1 package
- recompile menhirSdk 20260203 (pinned) [uses dune]
=== install 152 packages
- install aches 1.1.0 [required by tezos-crypto, tezos-protocol-environment]
- install aches-lwt 1.1.0 [required by tezos-stdlib-unix, tezos-protocol-environment]
- install alcotest 1.9.1 [required by qcheck-alcotest]
- install angstrom 0.16.1 [required by uri]
- install astring 0.8.5 [required by irmin]
- install base v0.16.4 [required by ppx_hash]
- install base-bytes base [required by ocplib-endian, bigstring]
- install base64 3.5.2 [required by repr]
- install bheap 2.0.0 [required by irmin]
- install bigarray-compat 1.1.0 [required by octez-mec]
- install bigstring 0.3 [required by secp256k1-internal]
- install bigstringaf 0.10.0 [required by tezos-context]
- install bisect_ppx 2.8.3 [required by octez-bls12-381-hash, octez-polynomial]
- install bls12-381 6.1.0 [required by tezos-crypto, tezos-protocol-environment]
- install checkseum 0.5.2 [required by irmin-pack]
- install class_group_vdf 0.0.5 [required by tezos-protocol-environment]
- install cmdliner 1.3.0 [required by logs, irmin-pack]
- install conf-cmake 1 [required by hacl-star-raw]
- install conf-g++ 1.0 [required by class_group_vdf]
- install conf-gmp 5 [required by secp256k1-internal, zarith, class_group_vdf]
- install conf-libev 4-13 [required by lwt, tezos-stdlib-unix]
- install conf-pkg-config 4 [required by secp256k1-internal, class_group_vdf]
- install conf-rust 0.1 [required by tezos-sapling]
- install conf-rust-2021 1 [required by tezos-rust-libs]
- install conf-which 1 [required by hacl-star-raw]
- install cppo 1.8.0 [required by lwt]
- install csexp 1.5.2 [required by dune-configurator]
- install cstruct 6.2.0 [required by secp256k1-internal]
- install ctypes 0.24.0 [required by tezos-hacl, tezos-sapling]
- install ctypes_stubs_js 0.1 [required by tezos-hacl, tezos-sapling]
- install data-encoding 0.7.1 [required by tezos-base]
- install digestif 1.3.0 [required by irmin]
- install domain-name 0.5.0 [required by ipaddr]
- install dune-configurator 3.13.1 [required by lwt]
- install either 1.0.0 [required by data-encoding]
- install eqaf 0.10 [required by octez-mec, digestif]
- install ezjsonm 1.3.0 [required by tezos-base]
- install fmt 0.11.0 [required by tezos-context]
- install gen 1.1 [required by sedlex]
- install hacl-star 0.7.2 [required by tezos-hacl, octez-plonk]
- install hacl-star-raw 0.7.2 [required by tezos-hacl]
- install hex 1.5.0 [required by data-encoding]
- install index 1.6.0 [required by irmin-pack]
- install integers 0.7.0 [required by class_group_vdf, bls12-381, tezos-sapling]
- install integers_stubs_js 1.0 [required by tezos-sapling]
- install ipaddr 5.6.1 [required by tezos-base]
- install irmin 3.6.1 [required by tezos-context]
- install irmin-pack 3.6.1 [required by tezos-context]
- install jane-street-headers v0.16.0 [required by time_now]
- install js_of_ocaml 5.8.2 [required by integers_stubs_js]
- install js_of_ocaml-compiler 5.8.2 [required by logs]
- install json-data-encoding 0.12.1 [required by data-encoding]
- install json-data-encoding-bson 0.12.1 [required by data-encoding]
- install jsonm 1.0.2 [required by ezjsonm]
- install jst-config v0.16.0 [required by time_now]
- install logs 0.10.0 [required by octez-plonk, tezos-context]
- install lru 0.3.1 [required by index]
- install lwt 5.9.1 [required by tezos-base]
- install lwt-canceler 0.3 [required by tezos-error-monad]
- install lwt_log 1.1.2 [required by tezos-event-logging, tezos-stdlib-unix]
- install macaddr 5.6.1 [required by ipaddr]
- install menhir 20260203 [required by js_of_ocaml-compiler]
- install menhirCST 20260203 [required by menhir]
- install menhirGLR 20260203 [required by menhir]
- install menhirLib 20260203 [required by js_of_ocaml-compiler]
- install mtime 1.4.0 [required by tezos-stdlib-unix]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocamlbuild 0.16.1 [required by ptime]
- install ocamlfind 1.9.8 [required by ptime]
- install ocamlgraph 2.2.0 [required by irmin]
- install ocplib-endian 1.2 [required by lwt]
- install octez-bls12-381-hash 17.3 [required by octez-plompiler]
- install octez-bls12-381-polynomial 17.3 [required by octez-plonk, tezos-crypto-dal]
- install octez-bls12-381-signature 17.3 [required by tezos-crypto]
- install octez-distributed-internal 17.3 [required by octez-distributed-lwt-internal]
- install octez-distributed-lwt-internal 17.3 [required by octez-plonk]
- install octez-mec 17.3 [required by octez-plompiler]
- install octez-plompiler 17.3 [required by octez-plonk]
- install octez-plonk 17.3 [required by tezos-protocol-environment]
- install octez-polynomial 17.3 [required by octez-plompiler]
- install optint 0.3.0 [required by irmin-pack]
- install ppx_assert v0.16.0 [required by jst-config]
- install ppx_base v0.16.0 [required by time_now]
- install ppx_cold v0.16.0 [required by ppx_base]
- install ppx_compare v0.16.0 [required by ppx_hash]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_deriving 6.0.3 [required by octez-plompiler, tezos-webassembly-interpreter]
- install ppx_enumerate v0.16.0 [required by ppx_base]
- install ppx_expect v0.16.2 [required by tezos-micheline]
- install ppx_globalize v0.16.0 [required by ppx_base]
- install ppx_hash v0.16.0 [required by data-encoding]
- install ppx_here v0.16.0 [required by ppx_expect]
- install ppx_inline_test v0.16.0 [required by ppx_expect]
- install ppx_irmin 3.6.1 [required by irmin, irmin-pack]
- install ppx_optcomp v0.16.0 [required by time_now]
- install ppx_repr 0.7.0 [required by octez-plonk]
- install ppx_sexp_conv v0.16.0 [required by ppx_hash]
- install ppxlib 0.35.0 [required by ppx_hash]
- install progress 0.2.1 [required by index]
- install psq 0.2.1 [required by lru]
- install ptime 1.2.0 [required by tezos-base]
- install qcheck-alcotest 0.91 [required by octez-plonk]
- install qcheck-core 0.91 [required by qcheck-alcotest]
- install re 1.12.0 [required by tezos-stdlib-unix]
- install repr 0.7.0 [required by octez-plonk]
- install resto 1.2 [required by tezos-rpc]
- install resto-directory 1.2 [required by tezos-rpc]
- install ringo 1.1.0 [required by aches]
- install rusage 1.0.0 [required by irmin-pack]
- install secp256k1-internal 0.4.0 [required by tezos-crypto]
- install sedlex 3.7 [required by js_of_ocaml-compiler]
- install semaphore-compat 1.0.2 [required by index]
- install seq base [required by re]
- install seqes 0.4 [required by tezos-lwt-result-stdlib]
- install sexplib0 v0.16.0 [required by ezjsonm]
- install stdint 0.7.2 [required by octez-plompiler]
- install stdio v0.16.0 [required by ppx_expect]
- install stdlib-random 1.2.0 [required by class_group_vdf]
- install stdlib-shims 0.3.0 [required by integers]
- install stringext 1.6.0 [required by uri]
- install terminal 0.2.1 [required by progress]
- install tezos-base 17.3 [required by tezos-protocol-plugin-014-PtKathma]
- install tezos-context 17.3 [required by tezos-protocol-environment]
- install tezos-crypto 17.3 [required by tezos-base]
- install tezos-crypto-dal 17.3 [required by tezos-protocol-environment]
- install tezos-error-monad 17.3 [required by tezos-base]
- install tezos-event-logging 17.3 [required by tezos-base]
- install tezos-hacl 17.3 [required by tezos-base]
- install tezos-lazy-containers 17.3 [required by tezos-scoru-wasm]
- install tezos-lwt-result-stdlib 17.3 [required by tezos-stdlib-unix, tezos-crypto, tezos-event-logging, tezos-protocol-environment]
- install tezos-micheline 17.3 [required by tezos-base]
- install tezos-protocol-014-PtKathma 17.3 [required by tezos-protocol-plugin-014-PtKathma]
- install tezos-protocol-environment 17.3 [required by tezos-protocol-014-PtKathma]
- install tezos-protocol-plugin-014-PtKathma 17.3
- install tezos-rpc 17.3 [required by tezos-base]
- install tezos-rust-libs 1.5 [required by tezos-sapling]
- install tezos-sapling 17.3 [required by tezos-protocol-environment]
- install tezos-scoru-wasm 17.3 [required by tezos-protocol-environment]
- install tezos-stdlib 17.3 [required by tezos-base]
- install tezos-stdlib-unix 17.3 [required by tezos-base]
- install tezos-tree-encoding 17.3 [required by tezos-scoru-wasm]
- install tezos-webassembly-interpreter 17.3 [required by tezos-scoru-wasm]
- install time_now v0.16.0 [required by ppx_inline_test]
- install topkg 1.1.1 [required by ptime]
- install uri 4.4.0 [required by tezos-base]
- install uucp 17.0.0 [required by progress]
- install uutf 1.0.4 [required by tezos-micheline]
- install vector 1.0.0 [required by progress]
- install yojson 2.2.2 [required by js_of_ocaml-compiler]
- install zarith 1.12 [required by tezos-micheline, data-encoding, tezos-crypto, tezos-protocol-environment]
- install zarith_stubs_js v0.16.1 [required by tezos-micheline, data-encoding, tezos-crypto, tezos-protocol-environment]
The following system packages will first need to be installed:
cargo cmake libev-dev 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" "cargo" "cmake" "libev-dev" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libpipeline1: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 ... 20623 files and directories currently installed.)
- Preparing to unpack .../libpipeline1_1.5.8-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.8-1) ...
- Selecting previously unselected package binfmt-support.
- Preparing to unpack .../binfmt-support_2.2.2-7_amd64.deb ...
- Unpacking binfmt-support (2.2.2-7) ...
- Selecting previously unselected package libpython3.13-minimal:amd64.
- Preparing to unpack .../libpython3.13-minimal_3.13.5-2_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.5-2) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.5-2_amd64.deb ...
- Unpacking python3.13-minimal (3.13.5-2) ...
- Setting up libpython3.13-minimal:amd64 (3.13.5-2) ...
- Setting up python3.13-minimal (3.13.5-2) ...
- Selecting previously unselected package python3-minimal.
- (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 ... 20970 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.5-1_amd64.deb ...
- Unpacking python3-minimal (3.13.5-1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_13.0.0_all.deb ...
- Unpacking media-types (13.0.0) ...
- Selecting previously unselected package readline-common.
- Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
- Unpacking readline-common (8.2-6) ...
- Selecting previously unselected package libreadline8t64:amd64.
- Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ...
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
- Unpacking libreadline8t64:amd64 (8.2-6) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../4-libpython3.13-stdlib_3.13.5-2_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.5-2) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.5-2_amd64.deb ...
- Unpacking python3.13 (3.13.5-2) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.5-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up python3-minimal (3.13.5-1) ...
- Selecting previously unselected package python3.
- (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 ... 21456 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.13.5-1_amd64.deb ...
- Unpacking python3 (3.13.5-1) ...
- Selecting previously unselected package libhttp-parser2.9:amd64.
- Preparing to unpack .../01-libhttp-parser2.9_2.9.4-6+b2_amd64.deb ...
- Unpacking libhttp-parser2.9:amd64 (2.9.4-6+b2) ...
- Selecting previously unselected package libmbedcrypto16:amd64.
- Preparing to unpack .../02-libmbedcrypto16_3.6.5-0.1~deb13u1_amd64.deb ...
- Unpacking libmbedcrypto16:amd64 (3.6.5-0.1~deb13u1) ...
- Selecting previously unselected package libmbedx509-7:amd64.
- Preparing to unpack .../03-libmbedx509-7_3.6.5-0.1~deb13u1_amd64.deb ...
- Unpacking libmbedx509-7:amd64 (3.6.5-0.1~deb13u1) ...
- Selecting previously unselected package libmbedtls21:amd64.
- Preparing to unpack .../04-libmbedtls21_3.6.5-0.1~deb13u1_amd64.deb ...
- Unpacking libmbedtls21:amd64 (3.6.5-0.1~deb13u1) ...
- Selecting previously unselected package libgit2-1.9:amd64.
- Preparing to unpack .../05-libgit2-1.9_1.9.0+ds-2_amd64.deb ...
- Unpacking libgit2-1.9:amd64 (1.9.0+ds-2) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../06-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 libz3-4:amd64.
- Preparing to unpack .../07-libz3-4_4.13.3-1_amd64.deb ...
- Unpacking libz3-4:amd64 (4.13.3-1) ...
- Selecting previously unselected package libllvm19:amd64.
- Preparing to unpack .../08-libllvm19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libllvm19:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libstd-rust-1.85:amd64.
- Preparing to unpack .../09-libstd-rust-1.85_1.85.0+dfsg3-1_amd64.deb ...
- Unpacking libstd-rust-1.85:amd64 (1.85.0+dfsg3-1) ...
- Selecting previously unselected package libstd-rust-dev:amd64.
- Preparing to unpack .../10-libstd-rust-dev_1.85.0+dfsg3-1_amd64.deb ...
- Unpacking libstd-rust-dev:amd64 (1.85.0+dfsg3-1) ...
- Selecting previously unselected package rustc.
- Preparing to unpack .../11-rustc_1.85.0+dfsg3-1_amd64.deb ...
- Unpacking rustc (1.85.0+dfsg3-1) ...
- Selecting previously unselected package libclang-cpp19.
- Preparing to unpack .../12-libclang-cpp19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-cpp19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libgc1:amd64.
- Preparing to unpack .../13-libgc1_1%3a8.2.8-1_amd64.deb ...
- Unpacking libgc1:amd64 (1:8.2.8-1) ...
- Selecting previously unselected package libobjc4:amd64.
- Preparing to unpack .../14-libobjc4_14.2.0-19_amd64.deb ...
- Unpacking libobjc4:amd64 (14.2.0-19) ...
- Selecting previously unselected package libobjc-14-dev:amd64.
- Preparing to unpack .../15-libobjc-14-dev_14.2.0-19_amd64.deb ...
- Unpacking libobjc-14-dev:amd64 (14.2.0-19) ...
- Selecting previously unselected package libclang-common-19-dev:amd64.
- Preparing to unpack .../16-libclang-common-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-common-19-dev:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19-linker-tools.
- Preparing to unpack .../17-llvm-19-linker-tools_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-linker-tools (1:19.1.7-3+b1) ...
- Selecting previously unselected package libclang1-19.
- Preparing to unpack .../18-libclang1-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang1-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package clang-19.
- Preparing to unpack .../19-clang-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking clang-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package cargo.
- Preparing to unpack .../20-cargo_1.85.0+dfsg3-1_amd64.deb ...
- Unpacking cargo (1.85.0+dfsg3-1) ...
- Selecting previously unselected package clang-tools-19.
- Preparing to unpack .../21-clang-tools-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking clang-tools-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package cmake-data.
- Preparing to unpack .../22-cmake-data_3.31.6-2_all.deb ...
- Unpacking cmake-data (3.31.6-2) ...
- Selecting previously unselected package libarchive13t64:amd64.
- Preparing to unpack .../23-libarchive13t64_3.7.4-4_amd64.deb ...
- Unpacking libarchive13t64:amd64 (3.7.4-4) ...
- Selecting previously unselected package libjsoncpp26:amd64.
- Preparing to unpack .../24-libjsoncpp26_1.9.6-3_amd64.deb ...
- Unpacking libjsoncpp26:amd64 (1.9.6-3) ...
- Selecting previously unselected package librhash1:amd64.
- Preparing to unpack .../25-librhash1_1.4.5-1_amd64.deb ...
- Unpacking librhash1:amd64 (1.4.5-1) ...
- Selecting previously unselected package libuv1t64:amd64.
- Preparing to unpack .../26-libuv1t64_1.50.0-2_amd64.deb ...
- Unpacking libuv1t64:amd64 (1.50.0-2) ...
- Selecting previously unselected package cmake.
- Preparing to unpack .../27-cmake_3.31.6-2_amd64.deb ...
- Unpacking cmake (3.31.6-2) ...
- Selecting previously unselected package libc6-i386.
- Preparing to unpack .../28-libc6-i386_2.41-12+deb13u1_amd64.deb ...
- Unpacking libc6-i386 (2.41-12+deb13u1) ...
- Selecting previously unselected package lib32gcc-s1.
- Preparing to unpack .../29-lib32gcc-s1_14.2.0-19_amd64.deb ...
- Unpacking lib32gcc-s1 (14.2.0-19) ...
- Selecting previously unselected package lib32stdc++6.
- Preparing to unpack .../30-lib32stdc++6_14.2.0-19_amd64.deb ...
- Unpacking lib32stdc++6 (14.2.0-19) ...
- Selecting previously unselected package libclang-rt-19-dev:amd64.
- Preparing to unpack .../31-libclang-rt-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking libclang-rt-19-dev:amd64 (1:19.1.7-3+b1) ...
- Selecting previously unselected package libev4t64:amd64.
- Preparing to unpack .../32-libev4t64_1%3a4.33-2.1+b1_amd64.deb ...
- Unpacking libev4t64:amd64 (1:4.33-2.1+b1) ...
- Selecting previously unselected package libev-dev:amd64.
- Preparing to unpack .../33-libev-dev_1%3a4.33-2.1+b1_amd64.deb ...
- Unpacking libev-dev:amd64 (1:4.33-2.1+b1) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../34-libffi-dev_3.4.8-2_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.8-2) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../35-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 .../36-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libncurses6:amd64.
- Preparing to unpack .../37-libncurses6_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses6:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libncurses-dev:amd64.
- Preparing to unpack .../38-libncurses-dev_6.5+20250216-2_amd64.deb ...
- Unpacking libncurses-dev:amd64 (6.5+20250216-2) ...
- Selecting previously unselected package libpfm4:amd64.
- Preparing to unpack .../39-libpfm4_4.13.0+git99-gc5587f9-1_amd64.deb ...
- Unpacking libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../40-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package libxml2-dev:amd64.
- Preparing to unpack .../41-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 libyaml-0-2:amd64.
- Preparing to unpack .../42-libyaml-0-2_0.2.5-2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
- Selecting previously unselected package libz3-dev:amd64.
- Preparing to unpack .../43-libz3-dev_4.13.3-1_amd64.deb ...
- Unpacking libz3-dev:amd64 (4.13.3-1) ...
- Selecting previously unselected package lld-19.
- Preparing to unpack .../44-lld-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking lld-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19-runtime.
- Preparing to unpack .../45-llvm-19-runtime_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-runtime (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19.
- Preparing to unpack .../46-llvm-19_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19 (1:19.1.7-3+b1) ...
- Selecting previously unselected package python3-pygments.
- Preparing to unpack .../47-python3-pygments_2.18.0+dfsg-2_all.deb ...
- Unpacking python3-pygments (2.18.0+dfsg-2) ...
- Selecting previously unselected package python3-yaml.
- Preparing to unpack .../48-python3-yaml_6.0.2-1+b2_amd64.deb ...
- Unpacking python3-yaml (6.0.2-1+b2) ...
- Selecting previously unselected package llvm-19-tools.
- Preparing to unpack .../49-llvm-19-tools_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-tools (1:19.1.7-3+b1) ...
- Selecting previously unselected package llvm-19-dev.
- Preparing to unpack .../50-llvm-19-dev_1%3a19.1.7-3+b1_amd64.deb ...
- Unpacking llvm-19-dev (1:19.1.7-3+b1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../51-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../52-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../53-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Selecting previously unselected package rust-llvm.
- Preparing to unpack .../54-rust-llvm_1.85.0+dfsg3-1_amd64.deb ...
- Unpacking rust-llvm (1.85.0+dfsg3-1) ...
- Setting up media-types (13.0.0) ...
- Setting up libpipeline1:amd64 (1.5.8-1) ...
- Setting up libev4t64:amd64 (1:4.33-2.1+b1) ...
- Setting up libclang-common-19-dev:amd64 (1:19.1.7-3+b1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-2) ...
- Setting up libuv1t64:amd64 (1.50.0-2) ...
- Setting up libffi-dev:amd64 (3.4.8-2) ...
- Setting up libz3-4:amd64 (4.13.3-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libpfm4:amd64 (4.13.0+git99-gc5587f9-1) ...
- Setting up libjsoncpp26:amd64 (1.9.6-3) ...
- Setting up libncurses6:amd64 (6.5+20250216-2) ...
- Setting up binfmt-support (2.2.2-7) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgc1:amd64 (1:8.2.8-1) ...
- Setting up libc6-i386 (2.41-12+deb13u1) ...
- Setting up cmake-data (3.31.6-2) ...
- Setting up librhash1:amd64 (1.4.5-1) ...
- Setting up libmbedcrypto16:amd64 (3.6.5-0.1~deb13u1) ...
- Setting up libev-dev:amd64 (1:4.33-2.1+b1) ...
- Setting up readline-common (8.2-6) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Setting up libhttp-parser2.9:amd64 (2.9.4-6+b2) ...
- Setting up libllvm19:amd64 (1:19.1.7-3+b1) ...
- Setting up libz3-dev:amd64 (4.13.3-1) ...
- Setting up libncurses-dev:amd64 (6.5+20250216-2) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up libclang1-19 (1:19.1.7-3+b1) ...
- Setting up libobjc4:amd64 (14.2.0-19) ...
- Setting up libobjc-14-dev:amd64 (14.2.0-19) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up libxml2-dev:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u2) ...
- Setting up libmbedx509-7:amd64 (3.6.5-0.1~deb13u1) ...
- Setting up lib32gcc-s1 (14.2.0-19) ...
- Setting up lib32stdc++6 (14.2.0-19) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up libmbedtls21:amd64 (3.6.5-0.1~deb13u1) ...
- Setting up libreadline8t64:amd64 (8.2-6) ...
- Setting up libclang-rt-19-dev:amd64 (1:19.1.7-3+b1) ...
- Setting up libstd-rust-1.85:amd64 (1.85.0+dfsg3-1) ...
- Setting up llvm-19-linker-tools (1:19.1.7-3+b1) ...
- Setting up llvm-19-runtime (1:19.1.7-3+b1) ...
- Setting up lld-19 (1:19.1.7-3+b1) ...
- Setting up libarchive13t64:amd64 (3.7.4-4) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.5-2) ...
- Setting up libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up libclang-cpp19 (1:19.1.7-3+b1) ...
- Setting up python3.13 (3.13.5-2) ...
- Setting up python3 (3.13.5-1) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Setting up clang-19 (1:19.1.7-3+b1) ...
- Setting up clang-tools-19 (1:19.1.7-3+b1) ...
- Setting up libstd-rust-dev:amd64 (1.85.0+dfsg3-1) ...
- Setting up python3-pygments (2.18.0+dfsg-2) ...
- Setting up libgit2-1.9:amd64 (1.9.0+ds-2) ...
- Setting up rustc (1.85.0+dfsg3-1) ...
- Setting up cmake (3.31.6-2) ...
- Setting up llvm-19 (1:19.1.7-3+b1) ...
- Setting up rust-llvm (1.85.0+dfsg3-1) ...
- Setting up python3-yaml (6.0.2-1+b2) ...
- Setting up cargo (1.85.0+dfsg3-1) ...
- Setting up llvm-19-tools (1:19.1.7-3+b1) ...
- Setting up llvm-19-dev (1:19.1.7-3+b1) ...
- Processing triggers for libc-bin (2.41-12+deb13u1) ...
- Processing triggers for base-files (13.8+deb13u3) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved aches.1.1.0, aches-lwt.1.1.0, ringo.1.1.0 (cached)
-> retrieved alcotest.1.9.1 (cached)
-> retrieved angstrom.0.16.1 (cached)
-> retrieved astring.0.8.5 (cached)
-> retrieved base.v0.16.4 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bheap.2.0.0 (cached)
-> retrieved bigarray-compat.1.1.0 (cached)
-> retrieved bigstring.0.3 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bisect_ppx.2.8.3 (cached)
-> retrieved bls12-381.6.1.0 (cached)
-> retrieved checkseum.0.5.2 (cached)
-> retrieved class_group_vdf.0.0.5 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved conf-cmake.1 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-libev.4-13 (cached)
-> retrieved conf-rust-2021.1 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-gmp.5
-> installed conf-cmake.1
-> retrieved cstruct.6.2.0 (cached)
-> installed conf-g++.1.0
-> installed conf-pkg-config.4
-> installed conf-which.1
-> retrieved ctypes.0.24.0 (cached)
-> installed conf-rust.0.1
-> retrieved ctypes_stubs_js.0.1 (cached)
-> retrieved data-encoding.0.7.1 (cached)
-> installed conf-libev.4-13
-> installed conf-rust-2021.1
-> retrieved digestif.1.3.0 (cached)
-> retrieved domain-name.0.5.0 (cached)
-> retrieved dune.3.10.0 (cached)
-> retrieved dune-configurator.3.13.1 (cached)
-> retrieved either.1.0.0 (cached)
-> retrieved eqaf.0.10 (cached)
-> retrieved ezjsonm.1.3.0 (cached)
-> installed cmdliner.1.3.0
-> retrieved fmt.0.11.0 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved hacl-star.0.7.2, hacl-star-raw.0.7.2 (cached)
-> retrieved hex.1.5.0 (cached)
-> retrieved index.1.6.0 (cached)
-> retrieved integers.0.7.0 (cached)
-> retrieved integers_stubs_js.1.0 (cached)
-> retrieved ipaddr.5.6.1, macaddr.5.6.1 (cached)
-> retrieved irmin.3.6.1, irmin-pack.3.6.1, ppx_irmin.3.6.1 (cached)
-> retrieved jane-street-headers.v0.16.0 (cached)
-> retrieved js_of_ocaml.5.8.2, js_of_ocaml-compiler.5.8.2 (cached)
-> retrieved json-data-encoding.0.12.1, json-data-encoding-bson.0.12.1 (cached)
-> retrieved jsonm.1.0.2 (cached)
-> retrieved jst-config.v0.16.0 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved lru.0.3.1 (cached)
-> retrieved lwt.5.9.1 (cached)
-> retrieved lwt-canceler.0.3 (cached)
-> retrieved lwt_log.1.1.2 (cached)
-> retrieved menhir.20260203, menhirCST.20260203, menhirGLR.20260203, menhirLib.20260203, menhirSdk.20260203 (cached)
-> retrieved mtime.1.4.0 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocamlgraph.2.2.0 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved octez-bls12-381-hash.17.3, octez-bls12-381-polynomial.17.3, octez-bls12-381-signature.17.3, octez-distributed-internal.17.3, octez-distributed-lwt-internal.17.3, octez-mec.17.3, octez-plompiler.17.3, octez-plonk.17.3, octez-polynomial.17.3, tezos-base.17.3, tezos-context.17.3, tezos-crypto.17.3, tezos-crypto-dal.17.3, tezos-error-monad.17.3, tezos-event-logging.17.3, tezos-hacl.17.3, tezos-lazy-containers.17.3, tezos-lwt-result-stdlib.17.3, tezos-micheline.17.3, tezos-protocol-014-PtKathma.17.3, tezos-protocol-environment.17.3, tezos-protocol-plugin-014-PtKathma.17.3, tezos-rpc.17.3, tezos-sapling.17.3, tezos-scoru-wasm.17.3, tezos-stdlib.17.3, tezos-stdlib-unix.17.3, tezos-tree-encoding.17.3, tezos-webassembly-interpreter.17.3 (cached)
-> installed ocamlbuild.0.16.1
-> retrieved optint.0.3.0 (cached)
-> retrieved ppx_assert.v0.16.0 (cached)
-> retrieved ppx_base.v0.16.0 (cached)
-> retrieved ppx_cold.v0.16.0 (cached)
-> retrieved ppx_compare.v0.16.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppx_enumerate.v0.16.0 (cached)
-> retrieved ppx_expect.v0.16.2 (cached)
-> retrieved ppx_globalize.v0.16.0 (cached)
-> retrieved ppx_hash.v0.16.0 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> retrieved ppx_here.v0.16.0 (cached)
-> retrieved ppx_inline_test.v0.16.0 (cached)
-> retrieved ppx_optcomp.v0.16.0 (cached)
-> retrieved ppx_repr.0.7.0, repr.0.7.0 (cached)
-> retrieved ppx_sexp_conv.v0.16.0 (cached)
-> removed menhirSdk.20260203
-> removed dune.3.21.0
-> installed dune.3.10.0
-> retrieved ppxlib.0.35.0 (cached)
-> installed base64.3.5.2
-> installed bheap.2.0.0
-> installed bigarray-compat.1.1.0
-> installed bigstring.0.3
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed domain-name.0.5.0
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed jane-street-headers.v0.16.0
-> installed macaddr.5.6.1
-> installed menhirCST.20260203
-> installed menhirGLR.20260203
-> installed menhirLib.20260203
-> installed menhirSdk.20260203
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed ocamlgraph.2.2.0
-> installed optint.0.3.0
-> installed ppx_derivers.1.2.1
-> installed ringo.1.1.0
-> retrieved progress.0.2.1, terminal.0.2.1 (cached)
-> installed ocplib-endian.1.2
-> retrieved psq.0.2.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved qcheck-alcotest.0.91, qcheck-core.0.91 (cached)
-> installed ipaddr.5.6.1
-> retrieved re.1.12.0 (cached)
-> retrieved resto.1.2, resto-directory.1.2 (cached)
-> retrieved rusage.1.0.0 (cached)
-> retrieved secp256k1-internal.0.4.0 (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved semaphore-compat.1.0.2 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved seqes.0.4 (cached)
-> installed aches.1.1.0
-> retrieved sexplib0.v0.16.0 (cached)
-> installed digestif.1.3.0
-> installed rusage.1.0.0
-> retrieved stdint.0.7.2 (cached)
-> installed semaphore-compat.1.0.2
-> retrieved stdio.v0.16.0 (cached)
-> retrieved stdlib-random.1.2.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved stringext.1.6.0 (cached)
-> installed psq.0.2.1
-> installed stdlib-random.1.2.0
-> installed sexplib0.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed gen.1.1
-> installed seqes.0.4
-> installed stringext.1.6.0
-> installed lru.0.3.1
-> installed re.1.12.0
-> installed integers.0.7.0
-> installed dune-configurator.3.13.1
-> installed stdint.0.7.2
-> installed qcheck-core.0.91
-> installed octez-distributed-internal.17.3
-> installed bigstringaf.0.10.0
-> installed checkseum.0.5.2
-> installed angstrom.0.16.1
-> retrieved tezos-rust-libs.1.5 (cached)
-> installed menhir.20260203
-> installed base.v0.16.4
-> installed lwt.5.9.1
-> retrieved time_now.v0.16.0 (cached)
-> installed stdio.v0.16.0
-> installed ctypes.0.24.0
-> installed aches-lwt.1.1.0
-> installed lwt-canceler.0.3
-> installed lwt_log.1.1.2
-> retrieved topkg.1.1.1 (cached)
-> retrieved uri.4.4.0 (cached)
-> retrieved uucp.17.0.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved vector.1.0.0 (cached)
-> retrieved yojson.2.2.2 (cached)
-> retrieved zarith.1.12 (cached)
-> retrieved zarith_stubs_js.v0.16.1 (cached)
-> installed vector.1.0.0
-> installed zarith_stubs_js.v0.16.1
-> installed uri.4.4.0
-> installed yojson.2.2.2
-> installed resto.1.2
-> installed json-data-encoding.0.12.1
-> installed resto-directory.1.2
-> installed json-data-encoding-bson.0.12.1
-> installed tezos-lwt-result-stdlib.17.3
-> installed topkg.1.1.1
-> installed zarith.1.12
-> installed ppxlib.0.35.0
-> installed fmt.0.11.0
-> installed mtime.1.4.0
-> installed uutf.1.0.4
-> installed astring.0.8.5
-> installed ptime.1.2.0
-> installed cstruct.6.2.0
-> installed ppx_globalize.v0.16.0
-> installed hex.1.5.0
-> installed ppx_optcomp.v0.16.0
-> installed alcotest.1.9.1
-> installed ppx_here.v0.16.0
-> installed ppx_compare.v0.16.0
-> installed jsonm.1.0.2
-> installed qcheck-alcotest.0.91
-> installed ezjsonm.1.3.0
-> installed ppx_cold.v0.16.0
-> installed ppx_enumerate.v0.16.0
-> installed repr.0.7.0
-> installed bisect_ppx.2.8.3
-> installed sedlex.3.7
-> installed ppx_sexp_conv.v0.16.0
-> installed bls12-381.6.1.0
-> installed class_group_vdf.0.0.5
-> installed ppx_deriving.6.0.3
-> installed secp256k1-internal.0.4.0
-> installed ppx_assert.v0.16.0
-> installed ppx_hash.v0.16.0
-> installed octez-bls12-381-signature.17.3
-> installed octez-bls12-381-hash.17.3
-> installed ppx_base.v0.16.0
-> installed ppx_repr.0.7.0
-> installed js_of_ocaml-compiler.5.8.2
-> installed jst-config.v0.16.0
-> installed data-encoding.0.7.1
-> installed octez-mec.17.3
-> installed octez-polynomial.17.3
-> installed logs.0.10.0
-> installed time_now.v0.16.0
-> installed octez-bls12-381-polynomial.17.3
-> installed octez-distributed-lwt-internal.17.3
-> installed ppx_irmin.3.6.1
-> installed ppx_inline_test.v0.16.0
-> installed uucp.17.0.0
-> installed terminal.0.2.1
-> installed progress.0.2.1
-> installed ppx_expect.v0.16.2
-> installed index.1.6.0
-> installed tezos-stdlib.17.3
-> installed irmin.3.6.1
-> installed js_of_ocaml.5.8.2
-> installed integers_stubs_js.1.0
-> installed tezos-error-monad.17.3
-> installed ctypes_stubs_js.0.1
-> installed irmin-pack.3.6.1
-> installed tezos-rpc.17.3
-> installed tezos-event-logging.17.3
-> installed tezos-micheline.17.3
-> installed tezos-stdlib-unix.17.3
-> installed tezos-rust-libs.1.5
-> installed hacl-star-raw.0.7.2
-> installed hacl-star.0.7.2
-> installed tezos-hacl.17.3
-> installed octez-plompiler.17.3
-> installed tezos-crypto.17.3
-> installed octez-plonk.17.3
-> installed tezos-crypto-dal.17.3
-> installed tezos-base.17.3
-> installed tezos-sapling.17.3
-> installed tezos-context.17.3
-> installed tezos-tree-encoding.17.3
-> installed tezos-lazy-containers.17.3
-> installed tezos-webassembly-interpreter.17.3
-> installed tezos-scoru-wasm.17.3
-> installed tezos-protocol-environment.17.3
-> installed tezos-protocol-014-PtKathma.17.3
-> installed tezos-protocol-plugin-014-PtKathma.17.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-03 17:13.59 ---> saved as "f1aac4898d746ef47043867a64c7c064ecd9755ceb39f39f9503dba219df473b"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test tezos-protocol-plugin-014-PtKathma.17.3) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile tezos-protocol-plugin-014-PtKathma 17.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved tezos-protocol-plugin-014-PtKathma.17.3 (https://opam.ocaml.org/cache)
-> removed tezos-protocol-plugin-014-PtKathma.17.3
-> installed tezos-protocol-plugin-014-PtKathma.17.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-03 17:15.01 ---> saved as "8df4dd6d68893139ba973ebfccbdd3d25f34fce88feda0b0f189fc8b4cb2826a"
/home/opam: (run (shell "opam reinstall --with-test --verbose tezos-protocol-plugin-014-PtKathma.17.3;\
\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\" != 'tezos-protocol-plugin-014-PtKathma.17.3' && 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:
=== recompile 1 package
- recompile tezos-protocol-plugin-014-PtKathma 17.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [tezos-protocol-plugin-014-PtKathma.17.3: extract]
-> retrieved tezos-protocol-plugin-014-PtKathma.17.3 (cached)
Processing 2/4: [tezos-protocol-plugin-014-PtKathma: rm vendors]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-r" "vendors" (CWD=/home/opam/.opam/4.14/.opam-switch/build/tezos-protocol-plugin-014-PtKathma.17.3)
Processing 2/4: [tezos-protocol-plugin-014-PtKathma: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "tezos-protocol-plugin-014-PtKathma" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/tezos-protocol-plugin-014-PtKathma.17.3)
Processing 2/4: [tezos-protocol-plugin-014-PtKathma: dune runtest]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "runtest" "-p" "tezos-protocol-plugin-014-PtKathma" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/tezos-protocol-plugin-014-PtKathma.17.3)
-> compiled tezos-protocol-plugin-014-PtKathma.17.3
-> removed tezos-protocol-plugin-014-PtKathma.17.3
-> installed tezos-protocol-plugin-014-PtKathma.17.3
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-03 17:15.31 ---> saved as "7321dbd347e24e96e0f27816ce1cb4426cd481034e3788dd786b2159c413bbd9"
Job succeeded
2026-02-03 17:15.40: Job succeeded