(for PR #29309)
2026-02-09 12:42.48: New job: list revdeps of frama-clang.0.0.19, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29309/head (eeb4c7379a885af7e11ac317283be0557220b1b6)
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/29309/head" && git reset --hard eeb4c737
git fetch origin master
git merge --no-edit b1e43fa87b0c2363634d0eb4ae0aa36b9fcc622e
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633
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 echo '@@@OUTPUT' && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --depopts && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --recursive && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --with-test --depopts && echo '@@@OUTPUT'
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-02-09 12:42.48: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633-frama-clang.0.0.19-eeb4c7379a885af7e11ac317283be0557220b1b6"
2026-02-09 12:42.48: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633)
(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 "echo '@@@OUTPUT' && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --depopts && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --recursive && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --with-test --depopts && echo '@@@OUTPUT'"))
)
2026-02-09 12:42.48: Waiting for resource in pool OCluster
2026-02-09 12:42.48: Waiting for worker…
2026-02-09 12:42.48: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at b1e43fa87b Merge pull request #29356 from redianthus/symex
Merge made by the 'ort' strategy.
packages/conf-libclang/conf-libclang.19/opam | 22 +++++-----
packages/frama-clang/frama-clang.0.0.19/opam | 61 ++++++++++++++++++++++++++++
2 files changed, 72 insertions(+), 11 deletions(-)
create mode 100644 packages/frama-clang/frama-clang.0.0.19/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633' locally
docker.io/ocaml/opam@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633: Pulling from ocaml/opam
ef235bf1a09a: Already exists
58b06b604a42: Already exists
b55f23c32d5a: Already exists
aa415425edb7: Already exists
c4f39ed7469c: Already exists
ca248a2fdd5e: Already exists
74109c509b2f: Already exists
18c2fa2271cb: Already exists
37d4d41661a2: Already exists
0b2f35f78814: Already exists
e65f29522a9a: Already exists
603a51b67573: Already exists
89b2faa02f16: Already exists
e5f11471afd4: Already exists
d7b0e5daa224: Already exists
7bec4d50f3b2: Already exists
d3a70ed71f1c: Already exists
90de03d9b27a: Already exists
a28f685cf2db: Already exists
5bb5e02041c7: Already exists
74f9af816199: Already exists
74c2f6cb4138: Already exists
4f4fb700ef54: Already exists
5ce9bdcb2952: Already exists
bf18c14e9b34: Already exists
bb4b67501479: Already exists
89e7ed0468f5: Already exists
640077527026: Already exists
363b481ff012: Already exists
437bd8bc3ce9: Already exists
2bcf3429833a: Already exists
3e5fe21454e9: Already exists
f3afb11ae499: Already exists
c3a5b88f5e5f: Already exists
124a1dc355b1: Already exists
0a9982d37abd: Already exists
9b8b724665ed: Already exists
f81507befe71: Already exists
7984e4546bf9: Already exists
3579b890ab6e: Already exists
e83772930ba8: Already exists
01bb609bb248: Pulling fs layer
7597cc56d4df: Pulling fs layer
9dbeadd31c61: Pulling fs layer
f436be41184a: Pulling fs layer
9dbeadd31c61: Waiting
f436be41184a: Waiting
7597cc56d4df: Download complete
9dbeadd31c61: Verifying Checksum
9dbeadd31c61: Download complete
f436be41184a: Verifying Checksum
f436be41184a: Download complete
01bb609bb248: Verifying Checksum
01bb609bb248: Download complete
01bb609bb248: Pull complete
7597cc56d4df: Pull complete
9dbeadd31c61: Pull complete
f436be41184a: Pull complete
Digest: sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633
Status: Downloaded newer image for ocaml/opam@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633
2026-02-09 12:42.50 ---> using "d6079ab6cce1b58b34ac9b5ed11aa86b7980ab728c75f5a6ba9271e98dc1ac1c" 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-09 12:42.50 ---> using "3c00c47f9d923b8bd6ffb2b949e4b9efd562ec1af5385aec1656ef10f01c4450" 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
[NOTE] The 'jobs' option was reset, its value was 71 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=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-02-09 12:42.50 ---> using "a92b73fe3956045426c13ac4a0686c952a1f3abe3c88ddfc7b2f3a6ed1e46736" 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 255
# 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-09 12:42.50 ---> using "cae9d187aa902d60c82d0c2150bbd9c0de1870c923aa0b0063ad5a25247acae5" 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-09 12:42.50 ---> using "feb31a4f8ccbcfb9943e7338a457db5bc00688ce26b7db5634b111626cd4af24" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-02-09 12:42.51 ---> using "2e2fcb36e386b7c95f5a0602aea5ad5b5615e90b99e230f658adeeb924aaf854" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-02-09 12:42.51 ---> using "2c0ddd140065be8a7be5c1a75bcfd149a21d52f568c80f8f8ad9e7c3cc4b3fd9" 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 [102 kB]
- Fetched 193 kB in 0s (1409 kB/s)
- Reading package lists...
2026-02-09 12:42.51 ---> using "01dd4672dd3fc853ca2b0a44e37bbe0f44504399c7179077a218fda4c134ae94" from cache
/home/opam: (run (shell "echo '@@@OUTPUT' && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --depopts && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --recursive && opam list -s --color=never --depends-on 'frama-clang.0.0.19' --coinstallable-with 'frama-clang.0.0.19' --all-versions --with-test --depopts && echo '@@@OUTPUT'"))
@@@OUTPUT
frama-clang.0.0.19
@@@OUTPUT
2026-02-09 12:43.12 ---> saved as "28d642b4119d27eeb8d63ec97dbf4561f0a7d23995bcdbf99fba9e7e0cd1596e"
Job succeeded
2026-02-09 12:43.20: Job succeeded