- github
- ocaml
- opam-repository
- 52729b
- extras,x86_32-ocaml-4.14,conf-flint.3.0
(not at the head of any monitored branch or PR)
2025-12-09 21:30.53: New job: build conf-flint.3.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/28935/head (52729bb8d87544615b6b51da763607debc3b5c6c)
on debian-13-ocaml-4.14/i386
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/28935/head" && git reset --hard 52729bb8
git fetch origin master
git merge --no-edit d684c896eb6f7e6030d6ee65338d9db22a612f01
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba
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 conf-flint.3.0 3.0
RUN opam reinstall conf-flint.3.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" != 'conf-flint.3.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 .
2025-12-09 21:30.53: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba-conf-flint.3.0-52729bb8d87544615b6b51da763607debc3b5c6c"
2025-12-09 21:30.53: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba)
(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 conf-flint.3.0 3.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-flint.3.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\" != 'conf-flint.3.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-12-09 21:30.53: Waiting for resource in pool OCluster
2025-12-09 23:33.49: Waiting for worker…
2025-12-09 23:37.13: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at d684c896eb Merge pull request #29052 from balat/maintenance
Merge made by the 'ort' strategy.
packages/conf-flint/conf-flint.3.0/opam | 15 ++++++++---
packages/flint/flint.0.4.2/opam | 48 +++++++++++++++++++++++++++++++++
2 files changed, 59 insertions(+), 4 deletions(-)
create mode 100644 packages/flint/flint.0.4.2/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba' locally
docker.io/ocaml/opam@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba: Pulling from ocaml/opam
bf2a49c12274: Pulling fs layer
dca4f18d8fa1: Pulling fs layer
bf2a49c12274: Waiting
61a5e29d19d8: Pulling fs layer
dca4f18d8fa1: Waiting
fe51421e228e: Pulling fs layer
f08d504ba988: Pulling fs layer
61a5e29d19d8: Waiting
54bed919fa1d: Pulling fs layer
fe51421e228e: Waiting
f08d504ba988: Waiting
314627a97143: Pulling fs layer
54bed919fa1d: Waiting
e021ff7c828a: Pulling fs layer
314627a97143: Waiting
4de705a4bed9: Pulling fs layer
e021ff7c828a: Waiting
49af77cf5fb6: Pulling fs layer
4de705a4bed9: Waiting
5c9434b45253: Pulling fs layer
49af77cf5fb6: Waiting
78b72c8a0ca7: Pulling fs layer
b104156bf499: Pulling fs layer
5c9434b45253: Waiting
e3d7d5db5fd0: Pulling fs layer
78b72c8a0ca7: Waiting
b104156bf499: Waiting
e11023ff4af7: Pulling fs layer
ad196a63334c: Pulling fs layer
b5bede31abbb: Pulling fs layer
27f50ab4f689: Pulling fs layer
71a7f91ffbff: Pulling fs layer
190efb818579: Pulling fs layer
5bdec9477c9d: Pulling fs layer
e11023ff4af7: Waiting
570e93459cdb: Pulling fs layer
ad196a63334c: Waiting
4f4fb700ef54: Pulling fs layer
27f50ab4f689: Waiting
190efb818579: Waiting
71a7f91ffbff: Waiting
570e93459cdb: Waiting
648dfe082b46: Pulling fs layer
d222c8cc4d60: Pulling fs layer
4f4fb700ef54: Waiting
648dfe082b46: Waiting
3fd106caebdc: Pulling fs layer
d222c8cc4d60: Waiting
3bbba631ea0e: Pulling fs layer
5bdec9477c9d: Waiting
46a8be0a0632: Pulling fs layer
3bbba631ea0e: Waiting
505866fe4cd7: Pulling fs layer
46a8be0a0632: Waiting
ebc694c942d2: Pulling fs layer
a7c57f0687e8: Pulling fs layer
ebc694c942d2: Waiting
140d8fc2bf28: Pulling fs layer
a7c57f0687e8: Waiting
c9ca4ba68528: Pulling fs layer
140d8fc2bf28: Waiting
8797d8b2a3d6: Pulling fs layer
c9ca4ba68528: Waiting
845a0247aca9: Pulling fs layer
962c020b46f3: Pulling fs layer
505866fe4cd7: Waiting
8797d8b2a3d6: Waiting
fc619b999527: Pulling fs layer
f4eab0db5ca8: Pulling fs layer
b7cc2554af1f: Pulling fs layer
f4eab0db5ca8: Waiting
f475288e8a6f: Pulling fs layer
052606ef227a: Pulling fs layer
845a0247aca9: Waiting
eb3d3926dc50: Pulling fs layer
1d2e09a8836b: Pulling fs layer
2cb544725787: Pulling fs layer
b7cc2554af1f: Waiting
189cb91d82c5: Pulling fs layer
eb3d3926dc50: Waiting
f475288e8a6f: Waiting
052606ef227a: Waiting
2cb544725787: Waiting
189cb91d82c5: Waiting
1d2e09a8836b: Waiting
bf2a49c12274: Verifying Checksum
bf2a49c12274: Download complete
dca4f18d8fa1: Download complete
61a5e29d19d8: Verifying Checksum
61a5e29d19d8: Download complete
fe51421e228e: Verifying Checksum
fe51421e228e: Download complete
f08d504ba988: Download complete
bf2a49c12274: Pull complete
dca4f18d8fa1: Pull complete
61a5e29d19d8: Pull complete
fe51421e228e: Pull complete
f08d504ba988: Pull complete
314627a97143: Verifying Checksum
314627a97143: Download complete
e021ff7c828a: Verifying Checksum
e021ff7c828a: Download complete
4de705a4bed9: Verifying Checksum
4de705a4bed9: Download complete
49af77cf5fb6: Verifying Checksum
49af77cf5fb6: Download complete
5c9434b45253: Verifying Checksum
5c9434b45253: Download complete
78b72c8a0ca7: Verifying Checksum
78b72c8a0ca7: Download complete
b104156bf499: Verifying Checksum
b104156bf499: Download complete
e3d7d5db5fd0: Verifying Checksum
e3d7d5db5fd0: Download complete
e11023ff4af7: Download complete
ad196a63334c: Verifying Checksum
ad196a63334c: Download complete
b5bede31abbb: Download complete
27f50ab4f689: Verifying Checksum
27f50ab4f689: Download complete
71a7f91ffbff: Download complete
190efb818579: Verifying Checksum
190efb818579: Download complete
5bdec9477c9d: Download complete
54bed919fa1d: Verifying Checksum
54bed919fa1d: Download complete
570e93459cdb: Verifying Checksum
570e93459cdb: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
d222c8cc4d60: Verifying Checksum
d222c8cc4d60: Download complete
648dfe082b46: Verifying Checksum
648dfe082b46: Download complete
3fd106caebdc: Verifying Checksum
3fd106caebdc: Download complete
46a8be0a0632: Download complete
3bbba631ea0e: Verifying Checksum
3bbba631ea0e: Download complete
ebc694c942d2: Download complete
505866fe4cd7: Verifying Checksum
505866fe4cd7: Download complete
140d8fc2bf28: Verifying Checksum
140d8fc2bf28: Download complete
a7c57f0687e8: Verifying Checksum
a7c57f0687e8: Download complete
8797d8b2a3d6: Verifying Checksum
8797d8b2a3d6: Download complete
c9ca4ba68528: Verifying Checksum
c9ca4ba68528: Download complete
845a0247aca9: Download complete
fc619b999527: Verifying Checksum
fc619b999527: Download complete
f4eab0db5ca8: Verifying Checksum
f4eab0db5ca8: Download complete
b7cc2554af1f: Verifying Checksum
b7cc2554af1f: Download complete
f475288e8a6f: Verifying Checksum
f475288e8a6f: Download complete
052606ef227a: Verifying Checksum
052606ef227a: Download complete
54bed919fa1d: Pull complete
314627a97143: Pull complete
e021ff7c828a: Pull complete
4de705a4bed9: Pull complete
49af77cf5fb6: Pull complete
5c9434b45253: Pull complete
eb3d3926dc50: Verifying Checksum
eb3d3926dc50: Download complete
78b72c8a0ca7: Pull complete
1d2e09a8836b: Download complete
b104156bf499: Pull complete
2cb544725787: Download complete
e3d7d5db5fd0: Pull complete
e11023ff4af7: Pull complete
ad196a63334c: Pull complete
b5bede31abbb: Pull complete
27f50ab4f689: Pull complete
71a7f91ffbff: Pull complete
190efb818579: Pull complete
5bdec9477c9d: Pull complete
570e93459cdb: Pull complete
4f4fb700ef54: Pull complete
189cb91d82c5: Verifying Checksum
189cb91d82c5: Download complete
648dfe082b46: Pull complete
d222c8cc4d60: Pull complete
3fd106caebdc: Pull complete
3bbba631ea0e: Pull complete
46a8be0a0632: Pull complete
505866fe4cd7: Pull complete
ebc694c942d2: Pull complete
a7c57f0687e8: Pull complete
140d8fc2bf28: Pull complete
c9ca4ba68528: Pull complete
8797d8b2a3d6: Pull complete
845a0247aca9: Pull complete
962c020b46f3: Verifying Checksum
962c020b46f3: Download complete
962c020b46f3: Pull complete
fc619b999527: Pull complete
f4eab0db5ca8: Pull complete
b7cc2554af1f: Pull complete
f475288e8a6f: Pull complete
052606ef227a: Pull complete
eb3d3926dc50: Pull complete
1d2e09a8836b: Pull complete
2cb544725787: Pull complete
189cb91d82c5: Pull complete
Digest: sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba
Status: Downloaded newer image for ocaml/opam@sha256:4848aea60941120256329f79bc1575eac7737937e94397b9b5e2d242c98ed6ba
2025-12-09 23:37.16 ---> using "1615004ddcc88be47b2ac4c4af04f731009877767e5b23ac43f791ac711fc8db" 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"))
2025-12-09 23:37.16 ---> using "310eb88ec617880652e1012a5ff46dcb212b3aae2f087489405cd91c662b31ce" 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.
[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
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-09 23:37.16 ---> using "8fc291694d482e6db246b222b4fc35c370b316892763ff31ec07e8eb50660d19" 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_32 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
2025-12-09 23:37.16 ---> using "d01ed238bd7a8b05b89ef57c8229299e2849672b87014c2191c72b2de1c00b3c" 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/"))
2025-12-09 23:37.16 ---> using "4af3d3af1526410064e4a9c3dc11cf42d8d72129d4ed0d01fc020b3615ea7a11" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-09 23:37.25 ---> saved as "6b1c7357385c42aa1508aa53f96a411c816b6a4f0637d5b568cb8fe18fc8b880"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-09 23:37.54 ---> saved as "58569452be62f88941d09478f8d908a2f4075db7858f85e5863ff8a42b82929c"
/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 i386 Packages [73.4 kB]
- Fetched 164 kB in 0s (1409 kB/s)
- Reading package lists...
2025-12-09 23:37.55 ---> saved as "bda0408681b63863ecaf2449fa49b8686d05c775b8c9e3983eb2119d6c0aff3a"
/home/opam: (run (shell "opam pin add -k version -yn conf-flint.3.0 3.0"))
conf-flint is now pinned to version 3.0
2025-12-09 23:37.56 ---> saved as "575641ab9a3f4b6004e723a2ba28a6003fc841e0f0205b6498b28a07a478217a"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-flint.3.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\" != 'conf-flint.3.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
conf-flint.3.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install conf-flint 3.0 (pinned)
The following system packages will first need to be installed:
libflint-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libflint-dev"
- Selecting previously unselected package libflint19:i386.
- (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 ... 20592 files and directories currently installed.)
- Preparing to unpack .../libflint19_3.1.3-2_i386.deb ...
- Unpacking libflint19:i386 (3.1.3-2) ...
- Selecting previously unselected package libgmpxx4ldbl:i386.
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_i386.deb ...
- Unpacking libgmpxx4ldbl:i386 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:i386.
- Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_i386.deb ...
- Unpacking libgmp-dev:i386 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libmpfr-dev:i386.
- Preparing to unpack .../libmpfr-dev_4.2.2-1_i386.deb ...
- Unpacking libmpfr-dev:i386 (4.2.2-1) ...
- Selecting previously unselected package libflint-dev.
- Preparing to unpack .../libflint-dev_3.1.3-2_i386.deb ...
- Unpacking libflint-dev (3.1.3-2) ...
- Setting up libgmpxx4ldbl:i386 (2:6.3.0+dfsg-3) ...
- Setting up libflint19:i386 (3.1.3-2) ...
- Setting up libgmp-dev:i386 (2:6.3.0+dfsg-3) ...
- Setting up libmpfr-dev:i386 (4.2.2-1) ...
- Setting up libflint-dev (3.1.3-2) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-flint.3.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-09 23:38.03 ---> saved as "cd054fbd689d1f742aacc360617673dbdb6540038de43b94bd12dcff6709da50"
Job succeeded
2025-12-09 23:38.09: Job succeeded