- github
- ocaml
- opam-repository
- 8afc60
- extras,arm32-ocaml-4.14,ortac-qcheck-stm.0.8.0,tests
(not at the head of any monitored branch or PR)
2026-03-23 10:31.40: New job: test ortac-qcheck-stm.0.8.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29564/head (8afc60ff3217de99b86954a6affb39ff08ce4c60)
on debian-13-ocaml-4.14/arm32v7
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29564/head" && git reset --hard 8afc60ff
git fetch origin master
git merge --no-edit 63b7ba71be83567e54bb667df0f2bb374d74fb61
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:240308a5d75926948dbd1ab448e6f5b34c6a57e65a302c58d266a8b73278c8ee
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
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 ortac-qcheck-stm.0.8.0 0.8.0
RUN opam reinstall ortac-qcheck-stm.0.8.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 "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ortac-qcheck-stm.0.8.0' && 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 ortac-qcheck-stm.0.8.0) || true
RUN opam reinstall --with-test --verbose ortac-qcheck-stm.0.8.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 "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ortac-qcheck-stm.0.8.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-03-23 10:31.40: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:240308a5d75926948dbd1ab448e6f5b34c6a57e65a302c58d266a8b73278c8ee-ortac-qcheck-stm.0.8.0-8afc60ff3217de99b86954a6affb39ff08ce4c60"
2026-03-23 10:31.40: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:240308a5d75926948dbd1ab448e6f5b34c6a57e65a302c58d266a8b73278c8ee)
(shell /usr/bin/linux32 /bin/sh -c)
(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 ortac-qcheck-stm.0.8.0 0.8.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ortac-qcheck-stm.0.8.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 \"\\\"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\" != 'ortac-qcheck-stm.0.8.0' && 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 ortac-qcheck-stm.0.8.0) || true"))
(run (shell "opam reinstall --with-test --verbose ortac-qcheck-stm.0.8.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 \"\\\"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\" != 'ortac-qcheck-stm.0.8.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-03-23 10:31.40: Waiting for resource in pool OCluster
2026-03-23 10:31.41: Waiting for worker…
2026-03-23 10:38.04: Got resource from pool OCluster
Building on kydoime.caelum.ci.dev
All commits already cached
HEAD is now at 63b7ba71be Merge pull request #29573 from davesnx/release-parseff-0.2.0
Merge made by the 'ort' strategy.
packages/ortac-core/ortac-core.0.8.0/opam | 65 ++++++++++++++++++++++
packages/ortac-dune/ortac-dune.0.8.0/opam | 47 ++++++++++++++++
.../ortac-qcheck-stm/ortac-qcheck-stm.0.8.0/opam | 64 +++++++++++++++++++++
.../ortac-runtime-qcheck-stm.0.8.0/opam | 51 +++++++++++++++++
packages/ortac-runtime/ortac-runtime.0.8.0/opam | 52 +++++++++++++++++
packages/ortac-wrapper/ortac-wrapper.0.8.0/opam | 57 +++++++++++++++++++
6 files changed, 336 insertions(+)
create mode 100644 packages/ortac-core/ortac-core.0.8.0/opam
create mode 100644 packages/ortac-dune/ortac-dune.0.8.0/opam
create mode 100644 packages/ortac-qcheck-stm/ortac-qcheck-stm.0.8.0/opam
create mode 100644 packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.8.0/opam
create mode 100644 packages/ortac-runtime/ortac-runtime.0.8.0/opam
create mode 100644 packages/ortac-wrapper/ortac-wrapper.0.8.0/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:240308a5d75926948dbd1ab448e6f5b34c6a57e65a302c58d266a8b73278c8ee)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:240308a5d75926948dbd1ab448e6f5b34c6a57e65a302c58d266a8b73278c8ee' locally
docker.io/ocaml/opam@sha256:240308a5d75926948dbd1ab448e6f5b34c6a57e65a302c58d266a8b73278c8ee: Pulling from ocaml/opam
e7e4c87ce695: Pulling fs layer
098244b1fe4f: Pulling fs layer
94a818ec2cdc: Pulling fs layer
29e77b813c7f: Pulling fs layer
b9dc986333a7: Pulling fs layer
023a3b8ea315: Pulling fs layer
2684ea5ea2fe: Pulling fs layer
93c319c970b2: Pulling fs layer
03f63d243d48: Pulling fs layer
237874024f5b: Pulling fs layer
954f264158bf: Pulling fs layer
85f6eb6723bd: Pulling fs layer
b9dc986333a7: Waiting
2882e9da3bb0: Pulling fs layer
023a3b8ea315: Waiting
2684ea5ea2fe: Waiting
4aabbd87a4c4: Pulling fs layer
4f386ee1e947: Pulling fs layer
76eac5355b1e: Pulling fs layer
93c319c970b2: Waiting
954f264158bf: Waiting
7732af2249d2: Pulling fs layer
03f63d243d48: Waiting
237874024f5b: Waiting
0864fc6233a3: Pulling fs layer
85f6eb6723bd: Waiting
29e77b813c7f: Waiting
74a602ddff51: Pulling fs layer
2882e9da3bb0: Waiting
eff8656d1a08: Pulling fs layer
4aabbd87a4c4: Waiting
4f386ee1e947: Waiting
480ead97e7de: Pulling fs layer
71d9c83b5938: Pulling fs layer
74a602ddff51: Waiting
76eac5355b1e: Waiting
7732af2249d2: Waiting
4f4fb700ef54: Pulling fs layer
0864fc6233a3: Waiting
46ffbb314b18: Pulling fs layer
480ead97e7de: Waiting
eff8656d1a08: Waiting
9ad678cce639: Pulling fs layer
71d9c83b5938: Waiting
cee0ad8655f3: Pulling fs layer
46ffbb314b18: Waiting
4f4fb700ef54: Waiting
9ad678cce639: Waiting
d7a6444c98ec: Pulling fs layer
cee0ad8655f3: Waiting
fb7ac70d48b8: Pulling fs layer
d7a6444c98ec: Waiting
9e9d8c0fc63b: Pulling fs layer
fb7ac70d48b8: Waiting
4fd15bd8b00c: Pulling fs layer
cfb25ffd51ce: Pulling fs layer
4fd15bd8b00c: Waiting
a1d4a67b1423: Pulling fs layer
b5f05950c5d7: Pulling fs layer
cfb25ffd51ce: Waiting
ffaeb3c9d76d: Pulling fs layer
a1d4a67b1423: Waiting
b5f05950c5d7: Waiting
4c3b6722757e: Pulling fs layer
ffaeb3c9d76d: Waiting
0f58a95c7a9b: Pulling fs layer
4c3b6722757e: Waiting
c3e40142c411: Pulling fs layer
0f58a95c7a9b: Waiting
7f8475cb6605: Pulling fs layer
05a50efaf303: Pulling fs layer
c3e40142c411: Waiting
6b01dec062a8: Pulling fs layer
9fd1e9989233: Pulling fs layer
6b01dec062a8: Waiting
433ff276b12f: Pulling fs layer
9fd1e9989233: Waiting
efd9b50fadc4: Pulling fs layer
433ff276b12f: Waiting
d1391430121a: Pulling fs layer
f656d97c5aae: Pulling fs layer
efd9b50fadc4: Waiting
d1391430121a: Waiting
f656d97c5aae: Waiting
94a818ec2cdc: Verifying Checksum
94a818ec2cdc: Download complete
098244b1fe4f: Verifying Checksum
098244b1fe4f: Download complete
b9dc986333a7: Verifying Checksum
b9dc986333a7: Download complete
e7e4c87ce695: Verifying Checksum
e7e4c87ce695: Download complete
e7e4c87ce695: Pull complete
098244b1fe4f: Pull complete
94a818ec2cdc: Pull complete
2684ea5ea2fe: Verifying Checksum
2684ea5ea2fe: Download complete
93c319c970b2: Verifying Checksum
93c319c970b2: Download complete
03f63d243d48: Verifying Checksum
03f63d243d48: Download complete
237874024f5b: Verifying Checksum
237874024f5b: Download complete
954f264158bf: Verifying Checksum
954f264158bf: Download complete
85f6eb6723bd: Verifying Checksum
85f6eb6723bd: Download complete
2882e9da3bb0: Verifying Checksum
2882e9da3bb0: Download complete
4aabbd87a4c4: Verifying Checksum
4aabbd87a4c4: Download complete
4f386ee1e947: Verifying Checksum
4f386ee1e947: Download complete
29e77b813c7f: Verifying Checksum
29e77b813c7f: Download complete
76eac5355b1e: Verifying Checksum
76eac5355b1e: Download complete
29e77b813c7f: Pull complete
b9dc986333a7: Pull complete
0864fc6233a3: Verifying Checksum
0864fc6233a3: Download complete
7732af2249d2: Verifying Checksum
7732af2249d2: Download complete
480ead97e7de: Verifying Checksum
480ead97e7de: Download complete
eff8656d1a08: Verifying Checksum
eff8656d1a08: Download complete
71d9c83b5938: Verifying Checksum
71d9c83b5938: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
46ffbb314b18: Verifying Checksum
46ffbb314b18: Download complete
9ad678cce639: Verifying Checksum
9ad678cce639: Download complete
cee0ad8655f3: Verifying Checksum
cee0ad8655f3: Download complete
d7a6444c98ec: Download complete
fb7ac70d48b8: Verifying Checksum
fb7ac70d48b8: Download complete
9e9d8c0fc63b: Download complete
cfb25ffd51ce: Verifying Checksum
cfb25ffd51ce: Download complete
4fd15bd8b00c: Verifying Checksum
4fd15bd8b00c: Download complete
a1d4a67b1423: Verifying Checksum
a1d4a67b1423: Download complete
b5f05950c5d7: Download complete
4c3b6722757e: Download complete
ffaeb3c9d76d: Verifying Checksum
ffaeb3c9d76d: Download complete
c3e40142c411: Verifying Checksum
c3e40142c411: Download complete
7f8475cb6605: Verifying Checksum
7f8475cb6605: Download complete
05a50efaf303: Verifying Checksum
05a50efaf303: Download complete
0f58a95c7a9b: Verifying Checksum
0f58a95c7a9b: Download complete
6b01dec062a8: Verifying Checksum
6b01dec062a8: Download complete
9fd1e9989233: Download complete
efd9b50fadc4: Verifying Checksum
efd9b50fadc4: Download complete
d1391430121a: Download complete
f656d97c5aae: Verifying Checksum
f656d97c5aae: Download complete
023a3b8ea315: Verifying Checksum
023a3b8ea315: Download complete
023a3b8ea315: Pull complete
2684ea5ea2fe: Pull complete
93c319c970b2: Pull complete
03f63d243d48: Pull complete
237874024f5b: Pull complete
954f264158bf: Pull complete
85f6eb6723bd: Pull complete
2882e9da3bb0: Pull complete
4aabbd87a4c4: Pull complete
4f386ee1e947: Pull complete
76eac5355b1e: Pull complete
7732af2249d2: Pull complete
0864fc6233a3: Pull complete
74a602ddff51: Pull complete
eff8656d1a08: Pull complete
480ead97e7de: Pull complete
71d9c83b5938: Pull complete
4f4fb700ef54: Pull complete
46ffbb314b18: Pull complete
9ad678cce639: Pull complete
cee0ad8655f3: Pull complete
d7a6444c98ec: Pull complete
fb7ac70d48b8: Pull complete
9e9d8c0fc63b: Pull complete
4fd15bd8b00c: Pull complete
cfb25ffd51ce: Pull complete
a1d4a67b1423: Pull complete
b5f05950c5d7: Pull complete
ffaeb3c9d76d: Pull complete
4c3b6722757e: Pull complete
0f58a95c7a9b: Pull complete
c3e40142c411: Pull complete
7f8475cb6605: Pull complete
05a50efaf303: Pull complete
6b01dec062a8: Pull complete
9fd1e9989233: Pull complete
433ff276b12f: Verifying Checksum
433ff276b12f: Download complete
433ff276b12f: Pull complete
efd9b50fadc4: Pull complete
d1391430121a: Pull complete
f656d97c5aae: Pull complete
Digest: sha256:240308a5d75926948dbd1ab448e6f5b34c6a57e65a302c58d266a8b73278c8ee
Status: Downloaded newer image for ocaml/opam@sha256:240308a5d75926948dbd1ab448e6f5b34c6a57e65a302c58d266a8b73278c8ee
2026-03-23 10:38.06 ---> using "877ed5cf0a98c815bb2e7ba009eecea1fd1a0ff506ee70a6bbbdb6e441d64adc" from cache
/: (shell /usr/bin/linux32 /bin/sh -c)
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-03-23 10:38.06 ---> using "29504d8ce018e095f39d6948933093131b27893320780d584f518b7e28db3d26" 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-03-23 10:38.06 ---> using "274e9bbf338c2fc3fcd256946ae98f58154fd513f1409c884b90a1e669746702" 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=arm32 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 79
# 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-03-23 10:38.06 ---> using "534e3dda0904378096cc690cedd47a598cf362deec7a171e4e9faeb7ce9226ef" 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-03-23 10:38.06 ---> using "9476d866306dbb71549d2145a07007bad19273087f82aeda92b3a37874047f0f" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-03-23 10:38.07 ---> using "88d77d67c68fe57e7283fb35dabdcf333f25e528027016ac9db45d222f7e5cc0" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-03-23 10:38.07 ---> using "334241816913ce2ed3d2c776397638380a64ed841eb1e181385aa310136951ac" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- 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 trixie/main armhf Packages [9237 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main armhf Packages [109 kB]
- Fetched 9577 kB in 1s (6919 kB/s)
- Reading package lists...
-
2026-03-23 10:38.07 ---> using "b6646474a60d898716a0e52bc5fe9a1f5378eb39be5dd2f6fe5d929eb3aac0a4" from cache
/home/opam: (run (shell "opam pin add -k version -yn ortac-qcheck-stm.0.8.0 0.8.0"))
ortac-qcheck-stm is now pinned to version 0.8.0
2026-03-23 10:38.07 ---> using "adf89596be130042af1d8b519808fad7705cb197889c08416620eb210b88b4d3" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ortac-qcheck-stm.0.8.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 \"\\\"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\" != 'ortac-qcheck-stm.0.8.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
ortac-qcheck-stm.0.8.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 40 packages
- install cmdliner 2.1.0 [required by ortac-qcheck-stm]
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install cppo 1.8.0 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-private-libs]
- install dune 3.22.0 [required by ortac-qcheck-stm]
- install dune-build-info 3.22.0 [required by gospel, ortac-core]
- install dune-private-libs 3.22.0 [required by dune-site]
- install dune-site 3.22.0 [required by ortac-core]
- install dyn 3.22.0 [required by dune-private-libs]
- install fmt 0.11.0 [required by ortac-qcheck-stm]
- install fs-io 3.22.0 [required by stdune]
- install gospel 0.3.1 [required by ortac-qcheck-stm]
- install menhir 20260209 [required by gospel]
- 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 ocaml-compiler-libs v0.12.4 [required by gospel]
- install ocamlbuild 0.16.1 [required by fmt]
- install ocamlfind 1.9.8 [required by fmt, gospel]
- install ordering 3.22.0 [required by dyn, stdune]
- install ortac-core 0.8.0 [required by ortac-qcheck-stm]
- install ortac-qcheck-stm 0.8.0 (pinned)
- install ortac-runtime 0.8.0 [required by ortac-runtime-qcheck-stm]
- install ortac-runtime-qcheck-stm 0.8.0 [required by ortac-qcheck-stm]
- install pp 2.0.0 [required by dune-private-libs]
- install pp_loc 2.1.0 [required by gospel]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.1.1 [required by gospel]
- install ppxlib 0.37.0 [required by ortac-qcheck-stm]
- install qcheck-core 0.91 [required by qcheck-stm]
- install qcheck-multicoretests-util 0.10 [required by qcheck-stm]
- install qcheck-stm 0.10 [required by ortac-qcheck-stm]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install stdune 3.22.0 [required by dune-private-libs]
- install top-closure 3.22.0 [required by stdune]
- install topkg 1.1.1 [required by fmt]
- install zarith 1.14 [required by ortac-runtime]
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:armhf.
- (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 ... 20349 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_armhf.deb ...
- Unpacking libgmpxx4ldbl:armhf (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:armhf.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_armhf.deb ...
- Unpacking libgmp-dev:armhf (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:armhf.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_armhf.deb ...
- Unpacking libpkgconf3:armhf (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_armhf.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:armhf.
- Preparing to unpack .../4-pkgconf_1.8.1-4_armhf.deb ...
- Unpacking pkgconf:armhf (1.8.1-4) ...
- Selecting previously unselected package pkg-config:armhf.
- Preparing to unpack .../5-pkg-config_1.8.1-4_armhf.deb ...
- Unpacking pkg-config:armhf (1.8.1-4) ...
- Setting up libpkgconf3:armhf (1.8.1-4) ...
- Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:armhf (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:armhf (1.8.1-4) ...
- Setting up pkg-config:armhf (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u1) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved dune.3.22.0, dune-build-info.3.22.0, dune-private-libs.3.22.0, dune-site.3.22.0, dyn.3.22.0, fs-io.3.22.0, ordering.3.22.0, stdune.3.22.0, top-closure.3.22.0 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved gospel.0.3.1 (cached)
-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (cached)
-> installed cmdliner.2.1.0
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ortac-core.0.8.0, ortac-qcheck-stm.0.8.0, ortac-runtime.0.8.0, ortac-runtime-qcheck-stm.0.8.0 (cached)
-> retrieved pp.2.0.0 (cached)
-> retrieved pp_loc.2.1.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> retrieved qcheck-core.0.91 (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed dune.3.22.0
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed dune-build-info.3.22.0
-> installed fs-io.3.22.0
-> installed menhirCST.20260209
-> installed menhirGLR.20260209
-> installed menhirLib.20260209
-> installed menhirSdk.20260209
-> installed ocaml-compiler-libs.v0.12.4
-> installed ordering.3.22.0
-> installed pp.2.0.0
-> installed pp_loc.2.1.0
-> installed ppx_derivers.1.2.1
-> installed qcheck-core.0.91
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed top-closure.3.22.0
-> installed ortac-runtime.0.8.0
-> installed dyn.3.22.0
-> installed qcheck-multicoretests-util.0.10
-> installed qcheck-stm.0.10
-> installed ortac-runtime-qcheck-stm.0.8.0
-> installed stdune.3.22.0
-> installed menhir.20260209
-> installed dune-private-libs.3.22.0
-> installed dune-site.3.22.0
-> installed ppxlib.0.37.0
-> installed ppx_deriving.6.1.1
-> installed gospel.0.3.1
-> installed ortac-core.0.8.0
-> installed ortac-qcheck-stm.0.8.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-23 10:40.02 ---> saved as "87d71c6d182fc7bef2a1fd3d8d676c853a7e330ea9a9931e9b5b24241c8bf92b"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test ortac-qcheck-stm.0.8.0) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile ortac-qcheck-stm 0.8.0 (pinned)
=== install 7 packages
- install astring 0.8.5 [required by mdx]
- install camlp-streams 5.0.1 [required by mdx]
- install logs 0.10.0 [required by mdx]
- install mdx 2.5.1 [required by ortac-qcheck-stm]
- install ocaml-version 4.0.4 [required by mdx]
- install re 1.14.0 [required by mdx]
- install result 1.5 [required by mdx]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved camlp-streams.5.0.1 (https://opam.ocaml.org/cache)
-> retrieved logs.0.10.0 (https://opam.ocaml.org/cache)
-> retrieved mdx.2.5.1 (https://opam.ocaml.org/cache)
-> installed camlp-streams.5.0.1
-> retrieved ocaml-version.4.0.4 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> retrieved result.1.5 (https://opam.ocaml.org/cache)
-> installed ocaml-version.4.0.4
-> installed result.1.5
-> installed logs.0.10.0
-> installed astring.0.8.5
-> removed ortac-qcheck-stm.0.8.0
-> installed re.1.14.0
-> installed mdx.2.5.1
-> installed ortac-qcheck-stm.0.8.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-23 10:40.15 ---> saved as "90f3ee67d0cbe85dfb0e64c6ff4cdcc68c3f8253c77ad230f8603e2005ef5b89"
/home/opam: (run (shell "opam reinstall --with-test --verbose ortac-qcheck-stm.0.8.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 \"\\\"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\" != 'ortac-qcheck-stm.0.8.0' && 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 ortac-qcheck-stm 0.8.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/4: [ortac-qcheck-stm: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ortac-qcheck-stm" "-j" "79" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ortac-qcheck-stm.0.8.0)
Processing 2/4: [ortac-qcheck-stm: dune install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "install" "-p" "ortac-qcheck-stm" "--create-install-files" "ortac-qcheck-stm" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ortac-qcheck-stm.0.8.0)
-> compiled ortac-qcheck-stm.0.8.0
-> removed ortac-qcheck-stm.0.8.0
-> installed ortac-qcheck-stm.0.8.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-23 10:40.22 ---> saved as "91c1d1feaab3887d8ce75d1485d2eb80243b7e3045d912eb004681793f9a03d4"
Job succeeded
2026-03-23 10:40.28: Job succeeded