Build:
- 0
2026-01-27 19:21.50: New job: test octez-protocol-007-PsDELPH1-libs.19.0 with mirage-runtime.4.0.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29297/head (bec96dd4b29b0e3eb148af9966895e70442e68e2)
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/29297/head" && git reset --hard bec96dd4
git fetch origin master
git merge --no-edit 88150787b3c9df767fd8dadf5d416641f8ee58f8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012
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 mirage-runtime.4.0.0 4.0.0
RUN opam reinstall mirage-runtime.4.0.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" != 'mirage-runtime.4.0.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall octez-protocol-007-PsDELPH1-libs.19.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" != 'octez-protocol-007-PsDELPH1-libs.19.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 octez-protocol-007-PsDELPH1-libs.19.0) || true
RUN opam reinstall --with-test --verbose octez-protocol-007-PsDELPH1-libs.19.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" != 'octez-protocol-007-PsDELPH1-libs.19.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-01-27 19:21.50: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.0.0-octez-protocol-007-PsDELPH1-libs.19.0-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.50: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
(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 mirage-runtime.4.0.0 4.0.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mirage-runtime.4.0.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\" != 'mirage-runtime.4.0.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 (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall octez-protocol-007-PsDELPH1-libs.19.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\" != 'octez-protocol-007-PsDELPH1-libs.19.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 octez-protocol-007-PsDELPH1-libs.19.0) || true"))
(run (shell "opam reinstall --with-test --verbose octez-protocol-007-PsDELPH1-libs.19.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\" != 'octez-protocol-007-PsDELPH1-libs.19.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-01-27 19:21.50: Waiting for resource in pool OCluster
2026-01-27 19:38.55: Waiting for worker…
2026-01-27 19:40.07: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file .gitattributes: No space left on device
error: unable to create file packages/CamelCase/CamelCase.0.2.0/opam: No space left on device
error: unable to create file packages/DAGaml/DAGaml.0.01/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.3/opam: No space left on device
error: unable to create file packages/MlFront_Codept/MlFront_Codept.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Core/MlFront_Core.2.3.0/opam: No space left on device
error: unable to create file packages/MlFront_Core/MlFront_Core.2.4.2.30/opam: No space left on device
error: unable to create file packages/accessor_core/accessor_core.v0.14.1/opam: No space left on device
error: unable to create file packages/aches/aches.1.1.0/opam: No space left on device
error: unable to create file packages/aez/aez.0.3/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.2/opam: No space left on device
error: unable to create file packages/ahrocksdb/ahrocksdb.0.2.2/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.1.0/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.2.1/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.8.0/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.9.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.2.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.3.0/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.5.3/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.1/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.0.99.1/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.1.01/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.0.0/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.1.0/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.0.95.2/opam: No space left on device
error: unable to create file packages/ambient-context-eio/ambient-context-eio.0.1.0/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.16.1/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.10.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.14.1/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.16.1/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.8.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.12.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.13.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.14.0/opam: No space left on device
error: unable to create file packages/ansifmt/ansifmt.1.0.0~pre2/opam: No space left on device
error: unable to create file packages/apron/apron.v0.9.14/opam: No space left on device
error: unable to create file packages/apron/apron.v0.9.14~beta.2/opam: No space left on device
error: unable to create file packages/arch-x86_64/arch-x86_64.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.10/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.0.0/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.7/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.3.1/opam: No space left on device
error: unable to create file packages/archimedes/archimedes.0.4.19/opam: No space left on device
error: unable to create file packages/arp/arp.3.1.1/opam: No space left on device
error: unable to create file packages/arrakis/arrakis.1.1.1/opam: No space left on device
error: unable to create file packages/arrayjit/arrayjit.0.5.2/opam: No space left on device
error: unable to create file packages/arrayjit/arrayjit.0.6.0/opam: No space left on device
error: unable to create file packages/asai/asai.0.2.0/opam: No space left on device
error: unable to create file packages/asak/asak.0.2/opam: No space left on device
error: unable to create file packages/asak/asak.0.3/opam: No space left on device
error: unable to create file packages/ascii85/ascii85.0.3/opam: No space left on device
error: unable to create file packages/asn1-combinators/asn1-combinators.0.2.0-1/opam: No space left on device
error: unable to create file packages/asn1-combinators/asn1-combinators.0.2.5/opam: No space left on device
error: unable to create file packages/async/async.v0.14.0/opam: No space left on device
error: unable to create file packages/async_find/async_find.v0.13.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.12.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.13.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.16.0/opam: No space left on device
error: unable to create file packages/async_interactive/async_interactive.v0.14.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.12.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.14.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.15.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.15.1/opam: No space left on device
error: unable to create file packages/atd/atd.2.12.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.14.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.16.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.2.1/opam: No space left on device
error: unable to create file packages/atd/atd.2.6.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.9.1/opam: No space left on device
error: unable to create file packages/atd/atd.3.0.1/opam: No space left on device
error: unable to create file packages/atd2cconv/atd2cconv.0.0.0/opam: No space left on device
error: unable to create file packages/atdcpp/atdcpp.2.16.0/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.2.1/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.3.3/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.14.1/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.16.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.0.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.10.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.13.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.14.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.0.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.12.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.5.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.14.0/opam: No space left on device
error: unable to create file packages/atdts/atdts.2.12.0/opam: No space left on device
error: unable to create file packages/atdts/atdts.2.5.0/opam: No space left on device
error: unable to create file packages/autofonce_misc/autofonce_misc.0.8/opam: No space left on device
error: unable to create file packages/awa/awa.0.0.5/opam: No space left on device
error: unable to create file packages/awa/awa.0.2.0/opam: No space left on device
error: unable to create file packages/aws-async/aws-async.1.2/opam: No space left on device
error: unable to create file packages/aws-autoscaling/aws-autoscaling.0.1.0/opam: No space left on device
error: unable to create file packages/aws-sdb/aws-sdb.1.2/opam: No space left on device
error: unable to create file packages/aws/aws.1.0.2/opam: No space left on device
error: unable to create file packages/awsm-codegen/awsm-codegen.0.1.0/opam: No space left on device
error: unable to create file packages/awsm-lwt/awsm-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/awsm/awsm.0.1.0/opam: No space left on device
error: unable to create file packages/azblob/azblob.0.1.0/opam: No space left on device
error: unable to create file packages/babel/babel.v0.17.0/opam: No space left on device
error: unable to create file packages/baby/baby.20240619/opam: No space left on device
error: unable to create file packages/backoff/backoff.0.1.1/opam: No space left on device
error: unable to create file packages/bam/bam.0.4/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.1.0/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.4.0/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.5.0/opam: No space left on device
error: unable to create file packages/bap-analyze/bap-analyze.2.4.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.3.0/opam: No space left on device
error: unable to create file packages/bap-bil/bap-bil.2.4.0/opam: No space left on device
error: unable to create file packages/bap-bundle/bap-bundle.2.1.0/opam: No space left on device
error: unable to create file packages/bap-byteweight/bap-byteweight.2.3.0/opam: No space left on device
error: unable to create file packages/bap-c/bap-c.2.2.0/opam: No space left on device
error: unable to create file packages/bap-c/bap-c.2.3.0/opam: No space left on device
error: unable to create file packages/bap-cache/bap-cache.2.2.0/opam: No space left on device
error: unable to create file packages/bap-cache/bap-cache.2.5.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.2.0/opam: No space left on device
error: unable to create file packages/bap-core/bap-core.2.5.0/opam: No space left on device
error: unable to create file packages/bap-demangle/bap-demangle.2.3.0/opam: No space left on device
error: unable to create file packages/bap-demangle/bap-demangle.2.5.0/opam: No space left on device
error: unable to create file packages/bap-dependencies/bap-dependencies.2.3.0/opam: No space left on device
error: unable to create file packages/bap-dependencies/bap-dependencies.2.4.0/opam: No space left on device
error: unable to create file packages/bap-elementary/bap-elementary.2.3.0/opam: No space left on device
error: unable to create file packages/bap-frontc/bap-frontc.2.3.0/opam: No space left on device
error: unable to create file packages/bap-frontend/bap-frontend.2.3.0/opam: No space left on device
error: unable to create file packages/bap-ida/bap-ida.2.1.0/opam: No space left on device
error: unable to create file packages/bap-ida/bap-ida.2.2.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.1.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.2.0/opam: No space left on device
error: unable to create file packages/bap-mips/bap-mips.2.2.0/opam: No space left on device
error: unable to create file packages/bap-mips/bap-mips.2.3.0/opam: No space left on device
error: unable to create file packages/bap-mips/bap-mips.2.4.0/opam: No space left on device
error: unable to create file packages/bap-objdump/bap-objdump.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-track-visited/bap-primus-track-visited.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus/bap-primus.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus/bap-primus.2.5.0/opam: No space left on device
error: unable to create file packages/bap-print/bap-print.2.2.0/opam: No space left on device
error: unable to create file packages/bap-raw/bap-raw.2.2.0/opam: No space left on device
error: unable to create file packages/bap-raw/bap-raw.2.3.0/opam: No space left on device
error: unable to create file packages/bap-recipe-command/bap-recipe-command.2.1.0/opam: No space left on device
error: unable to create file packages/bap-taint-propagator/bap-taint-propagator.2.4.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.1.0/opam: No space left on device
error: unable to create file packages/bap-thumb/bap-thumb.2.5.0/opam: No space left on device
error: unable to create file packages/bap-trace/bap-trace.2.5.0/opam: No space left on device
error: unable to create file packages/bap-traces/bap-traces.2.1.0/opam: No space left on device
error: unable to create file packages/bap-x86/bap-x86.2.1.0/opam: No space left on device
error: unable to create file packages/bare_encoding/bare_encoding.0.2/opam: No space left on device
error: unable to create file packages/base/base.v0.12.2/opam: No space left on device
error: unable to create file packages/base/base.v0.13.2/opam: No space left on device
error: unable to create file packages/base/base.v0.16.0/opam: No space left on device
error: unable to create file packages/base/base.v0.17.1/opam: No space left on device
error: unable to create file packages/bastet/bastet.1.2.4/opam: No space left on device
error: unable to create file packages/batch_jaro_winkler/batch_jaro_winkler.0.1.0/opam: No space left on device
error: unable to create file packages/batsat/batsat.0.6/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.4.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.5.0/opam: No space left on device
error: unable to create file packages/bddrand/bddrand.2.71.10/opam: No space left on device
error: unable to create file packages/bddrand/bddrand.2.71.15/opam: No space left on device
error: unable to create file packages/bechamel-notty/bechamel-notty.0.1.0/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.4.0/opam: No space left on device
error: unable to create file packages/bechamel/bechamel.0.2.0/opam: No space left on device
error: unable to create file packages/benchmark/benchmark.1.7/opam: No space left on device
error: unable to create file packages/benchpress/benchpress.0.1/opam: No space left on device
error: unable to create file packages/bheap/bheap.1.0.0/opam: No space left on device
error: unable to create file packages/bibfmt/bibfmt.0.7.6/opam: No space left on device
error: unable to create file packages/bibfmt/bibfmt.0.7.9/opam: No space left on device
error: unable to create file packages/bidirectional_map/bidirectional_map.v0.17.0/opam: No space left on device
error: unable to create file packages/bigarray-overlap/bigarray-overlap.0.2.1/opam: No space left on device
error: unable to create file packages/bignum/bignum.v0.14.0/opam: No space left on device
error: unable to create file packages/bignum/bignum.v0.17.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.4.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.6.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.6.1/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.9.0/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.4.0/opam: No space left on device
error: unable to create file packages/bimage-sdl/bimage-sdl.0.2.1/opam: No space left on device
error: unable to create file packages/bimage-unix/bimage-unix.0.2.1/opam: No space left on device
error: unable to create file packages/bin_prot/bin_prot.v0.15.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.1.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.11.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.14.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.17.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.2.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.20.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.22.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.23.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.25.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.27.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.1.4.1/opam: No space left on device
error: unable to create file packages/bistro/bistro.0.5.0/opam: No space left on device
error: unable to create file packages/bitmasks/bitmasks.1.3.0/opam: No space left on device
error: unable to create file packages/bitstring/bitstring.3.0.0/opam: No space left on device
error: unable to create file packages/bitstring/bitstring.4.0.1/opam: No space left on device
error: unable to create file packages/bitstring/bitstring.5.0.2/opam: No space left on device
error: unable to create file packages/bitv/bitv.1.6/opam: No space left on device
error: unable to create file packages/bitv/bitv.2.0/opam: No space left on device
error: unable to create file packages/bitvec-binprot/bitvec-binprot.2.5.0/opam: No space left on device
error: unable to create file packages/bitvec-order/bitvec-order.2.1.0/opam: No space left on device
error: unable to create file packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.5/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam: No space left on device
error: unable to create file packages/bitwuzla/bitwuzla.1.0.1/opam: No space left on device
error: unable to create file packages/bitwuzla/bitwuzla.1.0.3/opam: No space left on device
error: unable to create file packages/blake3/blake3.0.3/opam: No space left on device
error: unable to create file packages/bloomf/bloomf.0.2.0/opam: No space left on device
error: unable to create file packages/bls12-381-gen/bls12-381-gen.0.4.2/opam: No space left on device
error: unable to create file packages/bls12-381-js-gen/bls12-381-js-gen.0.4.2/opam: No space left on device
error: unable to create file packages/bls12-381-js-gen/bls12-381-js-gen.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.1.1.0/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.2.0.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.3.14/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.5.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.1.0.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.18.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.19.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.6.0.1/opam: No space left on device
error: unable to create file packages/bn128/bn128.0.1.2/opam: No space left on device
error: unable to create file packages/bn128/bn128.0.1.3/opam: No space left on device
error: unable to create file packages/bnfgen/bnfgen.4.0.0/opam: No space left on device
error: unable to create file packages/bogue-tutorials/bogue-tutorials.0.1.0/opam: No space left on device
error: unable to create file packages/bogue-tutorials/bogue-tutorials.0.2.0/opam: No space left on device
error: unable to create file packages/bogue/bogue.20210514/opam: No space left on device
error: unable to create file packages/broken/broken.0.3.0/opam: No space left on device
error: unable to create file packages/broken/broken.0.4.2/opam: No space left on device
error: unable to create file packages/bsdowl/bsdowl.2.2/opam: No space left on device
error: unable to create file packages/bst/bst.6.1.0/opam: No space left on device
error: unable to create file packages/bun/bun.0.3.4/opam: No space left on device
error: unable to create file packages/bwd/bwd.1.2.0/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.114/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.77/opam: No space left on device
error: unable to create file packages/ca-certs/ca-certs.0.2.0/opam: No space left on device
error: unable to create file packages/ca-certs/ca-certs.1.0.1/opam: No space left on device
error: unable to create file packages/cachet-lwt/cachet-lwt.0.0.3/opam: No space left on device
error: unable to create file packages/cairo2-gtk/cairo2-gtk.0.6.2/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.5/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.6.1/opam: No space left on device
error: unable to create file packages/caisar-ir/caisar-ir.0.2/opam: No space left on device
error: unable to create file packages/caisar-nnet/caisar-nnet.0.1/opam: No space left on device
error: unable to create file packages/caisar-onnx/caisar-onnx.0.1/opam: No space left on device
error: unable to create file packages/calcium/calcium.0.4.0/opam: No space left on device
error: unable to create file packages/calculon/calculon.0.7/opam: No space left on device
error: unable to create file packages/calipso/calipso.4.0.0/opam: No space left on device
error: unable to create file packages/calli/calli.0.1/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.6.1/opam: No space left on device
error: unable to create file packages/camels/camels.0.0.3/opam: No space left on device
error: unable to create file packages/camels/camels.1.0.0/opam: No space left on device
error: unable to create file packages/camlidl/camlidl.1.09/opam: No space left on device
error: unable to create file packages/camlidl/camlidl.1.12/opam: No space left on device
error: unable to create file packages/camlidl/camlidl.1.13/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.0/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.1/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.7.14/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.03.05/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.5/opam: No space left on device
error: unable to create file packages/camltc/camltc.0.9.8/opam: No space left on device
error: unable to create file packages/camlzip/camlzip.1.13/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.4.1/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.4.4/opam: No space left on device
error: unable to create file packages/capnp-rpc-lwt/capnp-rpc-lwt.1.2.2/opam: No space left on device
error: unable to create file packages/capnp-rpc-net/capnp-rpc-net.1.2.2/opam: No space left on device
error: unable to create file packages/capnp-rpc-net/capnp-rpc-net.1.2.4/opam: No space left on device
error: unable to create file packages/capnp-rpc-unix/capnp-rpc-unix.1.2.2/opam: No space left on device
error: unable to create file packages/capnp-rpc/capnp-rpc.2.1/opam: No space left on device
error: unable to create file packages/capnp/capnp.3.2.1/opam: No space left on device
error: unable to create file packages/capnp/capnp.3.3.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.9.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.0.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.2.2.4/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.5.1/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.8.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.0.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.5.1/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.2.1/opam: No space left on device
error: unable to create file packages/caqti-eio/caqti-eio.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-mirage/caqti-mirage.2.2.4/opam: No space left on device
error: unable to create file packages/caqti-tls/caqti-tls.2.1.2/opam: No space left on device
error: unable to create file packages/caqti/caqti.2.2.4/opam: No space left on device
error: unable to create file packages/catala/catala.0.10.0/opam: No space left on device
error: unable to create file packages/catapult-client/catapult-client.0.2/opam: No space left on device
error: unable to create file packages/cca/cca.0.4/opam: No space left on device
error: unable to create file packages/cca/cca.0.5/opam: No space left on device
error: unable to create file packages/cdrom/cdrom.0.9.1/opam: No space left on device
error: unable to create file packages/chacha/chacha.1.0.0/opam: No space left on device
error: unable to create file packages/chamelon-unix/chamelon-unix.0.0.10/opam: No space left on device
error: unable to create file packages/charInfo_width/charInfo_width.1.1.0/opam: No space left on device
error: unable to create file packages/charrua/charrua.2.1.1/opam: No space left on device
error: unable to create file packages/chase/chase.1.3/opam: No space left on device
error: unable to create file packages/chase/chase.1.4/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.5.0/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.1.0.0/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.3.0/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.3.1/opam: No space left on device
error: unable to create file packages/chess_com_api/chess_com_api.1.0.1/opam: No space left on device
error: unable to create file packages/choice/choice.0.2/opam: No space left on device
error: unable to create file packages/climate/climate.0.7.0/opam: No space left on device
error: unable to create file packages/cmdlang-cmdliner-err-runner/cmdlang-cmdliner-err-runner.0.0.16/opam: No space left on device
error: unable to create file packages/cmdlang-to-climate/cmdlang-to-climate.0.0.10/opam: No space left on device
error: unable to create file packages/coap-core/coap-core.0.1.0/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.0.0/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.0.0~alpha2/opam: No space left on device
error: unable to create file packages/cohttp-lwt-jsoo/cohttp-lwt-jsoo.2.5.8/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.5.1.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.6.0.0/opam: No space left on device
error: unable to create file packages/cohttp-top/cohttp-top.6.2.1/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.4.1/opam: No space left on device
error: unable to create file packages/color/color.0.2.0/opam: No space left on device
error: unable to create file packages/comby-kernel/comby-kernel.1.4.1/opam: No space left on device
error: unable to create file packages/comby-kernel/comby-kernel.1.7.0/opam: No space left on device
error: unable to create file packages/conan-unix/conan-unix.0.0.6/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.2/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.3/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.8.0.0/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.7.0.0/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.2.1.0/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.2.2.1/opam: No space left on device
error: unable to create file packages/conf-antic/conf-antic.1/opam: No space left on device
error: unable to create file packages/conf-arb/conf-arb.1/opam: No space left on device
error: unable to create file packages/conf-clang-format/conf-clang-format.1/opam: No space left on device
error: unable to create file packages/conf-cmake/conf-cmake.1/opam: No space left on device
error: unable to create file packages/conf-diffutils/conf-diffutils.1.1/opam: No space left on device
error: unable to create file packages/conf-ffmpeg/conf-ffmpeg.1/opam: No space left on device
error: unable to create file packages/conf-gfortran/conf-gfortran.0/opam: No space left on device
error: unable to create file packages/conf-glpk/conf-glpk.1/opam: No space left on device
error: unable to create file packages/conf-graphviz/conf-graphviz.0.1/opam: No space left on device
error: unable to create file packages/conf-gsl/conf-gsl.1/opam: No space left on device
error: unable to create file packages/conf-gssapi/conf-gssapi.1/opam: No space left on device
error: unable to create file packages/conf-libclang/conf-libclang.15/opam: No space left on device
error: unable to create file packages/conf-libclang/conf-libclang.19/opam: No space left on device
error: unable to create file packages/conf-libwayland/conf-libwayland.1/opam: No space left on device
error: unable to create file packages/conf-libxcb-image/conf-libxcb-image.1/opam: No space left on device
error: unable to create file packages/conf-libxi/conf-libxi.1/opam: No space left on device
error: unable to create file packages/conf-libxinerama/conf-libxinerama.1/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.17/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.3.8/opam: No space left on device
error: unable to create file packages/conf-mad/conf-mad.1/opam: No space left on device
error: unable to create file packages/conf-mariadb/conf-mariadb.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gnutls-i686/conf-mingw-w64-gnutls-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-libevent-i686/conf-mingw-w64-libevent-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-nettle-x86_64/conf-mingw-w64-nettle-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pcre2-i686/conf-mingw-w64-pcre2-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-image-i686/conf-mingw-w64-sdl2-image-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-zlib-i686/conf-mingw-w64-zlib-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-zstd-i686/conf-mingw-w64-zstd-i686.1/opam: No space left on device
error: unable to create file packages/conf-msvc64/conf-msvc64.1/opam: No space left on device
error: unable to create file packages/conf-netsnmp/conf-netsnmp.1.0.0/opam: No space left on device
error: unable to create file packages/conf-openssl/conf-openssl.2/opam: No space left on device
error: unable to create file packages/conf-perl-ipc-system-simple/conf-perl-ipc-system-simple.1/opam: No space left on device
error: unable to create file packages/conf-perl/conf-perl.1/opam: No space left on device
error: unable to create file packages/conf-pixz/conf-pixz.1/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.1.0/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.1.1/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.1.2/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.1.3/opam: No space left on device
error: unable to create file packages/conf-qt/conf-qt.5.2.1/opam: No space left on device
error: unable to create file packages/conf-rdkit/conf-rdkit.1/opam: No space left on device
error: unable to create file packages/conf-readline/conf-readline.1/opam: No space left on device
error: unable to create file packages/conf-rust-2018/conf-rust-2018.1/opam: No space left on device
error: unable to create file packages/conf-rust-2021/conf-rust-2021.1/opam: No space left on device
error: unable to create file packages/conf-rust-llvm/conf-rust-llvm.1/opam: No space left on device
error: unable to create file packages/conf-samplerate/conf-samplerate.1/opam: No space left on device
error: unable to create file packages/conf-sdl-image/conf-sdl-image.1/opam: No space left on device
error: unable to create file packages/conf-secp256k1/conf-secp256k1.1.0.0/opam: No space left on device
error: unable to create file packages/conf-sfml2/conf-sfml2.1/opam: No space left on device
error: unable to create file packages/conf-sndfile/conf-sndfile.1/opam: No space left on device
error: unable to create file packages/conf-sundials/conf-sundials.1/opam: No space left on device
error: unable to create file packages/conf-unwind/conf-unwind.0/opam: No space left on device
error: unable to create file packages/conf-xen/conf-xen.1/opam: No space left on device
error: unable to create file packages/config-file/config-file.1.2.1/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.2.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.4.0/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.0.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.1/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.10/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.11/opam: No space left on device
error: unable to create file packages/containers/containers.3.6.1/opam: No space left on device
error: unable to create file packages/cookie/cookie.0.1.8/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.14.0+0.14.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.2/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.3/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.1.0+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.2.0+8.17/opam: No space left on device
error: unable to create file packages/coq/coq.8.12.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.9.1/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.19.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.13.1/opam: No space left on device
error: unable to create file packages/cordova-plugin-clipboard/cordova-plugin-clipboard.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-datepicker/cordova-plugin-datepicker.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-toast/cordova-plugin-toast.1.0/opam: No space left on device
error: unable to create file packages/core/core.v0.14.1/opam: No space left on device
error: unable to create file packages/core/core.v0.15.0/opam: No space left on device
error: unable to create file packages/core/core.v0.15.1/opam: No space left on device
error: unable to create file packages/core_profiler/core_profiler.v0.17.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.2/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.5/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.7/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.8.1/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.2/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.6/opam: No space left on device
error: unable to create file packages/crontab/crontab.0.1/opam: No space left on device
error: unable to create file packages/crs/crs.0.0.20250705/opam: No space left on device
error: unable to create file packages/cryptodbm/cryptodbm.0.84.2/opam: No space left on device
error: unable to create file packages/cryptohash/cryptohash.0.1.2/opam: No space left on device
error: unable to create file packages/cryptohash/cryptohash.0.1/opam: No space left on device
error: unable to create file packages/cryptokit/cryptokit.1.14/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.04/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.07/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.08/opam: No space left on device
error: unable to create file packages/csexp-query/csexp-query.0.1.0/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.2.3/opam: No space left on device
error: unable to create file packages/css/css.0.1.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.3.7.0/opam: No space left on device
error: unable to create file packages/csv-lwt/csv-lwt.2.4/opam: No space left on device
error: unable to create file packages/csvtool/csvtool.2.4/opam: No space left on device
error: unable to create file packages/ctypes-build/ctypes-build.0.0.1/opam: No space left on device
error: unable to create file packages/ctypes-build/ctypes-build.0.0.2/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.6.2/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.7.1/opam: No space left on device
error: unable to create file packages/current_examples/current_examples.0.7.2/opam: No space left on device
error: unable to create file packages/current_examples/current_examples.0.7.3/opam: No space left on device
error: unable to create file packages/current_git/current_git.0.5/opam: No space left on device
error: unable to create file packages/current_git/current_git.0.7.1/opam: No space left on device
error: unable to create file packages/current_ssh/current_ssh.0.7.1/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.3/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.4/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.5.2/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.5.3/opam: No space left on device
error: unable to create file packages/datakit-server-9p/datakit-server-9p.1.0.0/opam: No space left on device
error: unable to create file packages/datakit-server/datakit-server.0.12.0/opam: No space left on device
error: unable to create file packages/dbase4/dbase4.0.2.0/opam: No space left on device
error: unable to create file packages/dbf/dbf.0.1/opam: No space left on device
error: unable to create file packages/dbm/dbm.1.4/opam: No space left on device
error: unable to create file packages/dead_code_analyzer/dead_code_analyzer.1.1.0/opam: No space left on device
error: unable to create file packages/decimal/decimal.0.3.1/opam: No space left on device
error: unable to create file packages/decoders-bencode/decoders-bencode.0.4.0/opam: No space left on device
error: unable to create file packages/decoders-jsonaf/decoders-jsonaf.1.0.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.0.9.1/opam: No space left on device
error: unable to create file packages/delimited_parsing/delimited_parsing.v0.13.0/opam: No space left on device
error: unable to create file packages/depext/depext.0.5/opam: No space left on device
error: unable to create file packages/depext/depext.1.0.3/opam: No space left on device
error: unable to create file packages/diffast-core/diffast-core.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing-cli/diffast-langs-cpp-parsing-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-parsing/diffast-langs-fortran-parsing.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-java-parsing/diffast-langs-java-parsing.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-java-spec/diffast-langs-java-spec.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-python-parsing-cli/diffast-langs-python-parsing-cli.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-python/diffast-langs-python.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.1.1/opam: No space left on device
error: unable to create file packages/dispatch-js/dispatch-js.0.5.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.1.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.2.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.4.0/opam: No space left on device
error: unable to create file packages/dkml-c-probe/dkml-c-probe.2.0.0/opam: No space left on device
error: unable to create file packages/dkml-c-probe/dkml-c-probe.3.2.0/opam: No space left on device
error: unable to create file packages/dkml-component-xx-console/dkml-component-xx-console.0.1.0/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.10.2.2/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.10.2.3/opam: No space left on device
error: unable to create file packages/dns-mirage/dns-mirage.9.1.0/opam: No space left on device
error: unable to create file packages/dns-stub/dns-stub.10.2.0/opam: No space left on device
error: unable to create file packages/dns/dns.9.1.0/opam: No space left on device
error: unable to create file packages/dockerfile-opam/dockerfile-opam.8.3.4/opam: No space left on device
error: unable to create file packages/docteur-solo5/docteur-solo5.0.0.6/opam: No space left on device
error: unable to create file packages/docteur-unix/docteur-unix.0.0.2/opam: No space left on device
error: unable to create file packages/dokeysto/dokeysto.3.0.0/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.4.0.0/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.4.0.2/opam: No space left on device
error: unable to create file packages/dolmen_lsp/dolmen_lsp.0.9/opam: No space left on device
error: unable to create file packages/dolmen_model/dolmen_model.0.10/opam: No space left on device
error: unable to create file packages/dolmen_model/dolmen_model.0.8/opam: No space left on device
error: unable to create file packages/dream-cli/dream-cli.0.1.0/opam: No space left on device
error: unable to create file packages/dream-encoding/dream-encoding.0.2.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.10.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.11.1/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.5.2/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.7.0/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha4/opam: No space left on device
error: unable to create file packages/dream-inertia/dream-inertia.0.0.1/opam: No space left on device
error: unable to create file packages/dream-livereload/dream-livereload.0.1.0/opam: No space left on device
error: unable to create file packages/dropbox_lwt_unix/dropbox_lwt_unix.0.2/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.3/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.2.5.1/opam: No space left on device
error: unable to create file packages/dune-deps/dune-deps.1.0.1/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.20.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.0.3.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.6.0/opam: No space left on device
error: unable to create file packages/dune-rpc/dune-rpc.3.21.0/opam: No space left on device
error: unable to create file packages/dune/dune.1.11.4/opam: No space left on device
error: unable to create file packages/dune/dune.2.3.0/opam: No space left on device
error: unable to create file packages/dune/dune.3.12.1/opam: No space left on device
error: unable to create file packages/dune/dune.3.18.2/opam: No space left on device
error: unable to create file packages/dune/dune.3.5.0/opam: No space left on device
error: unable to create file packages/dunolint-lib-base/dunolint-lib-base.0.0.20251006/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.0/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.6.2/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.8.2/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.2.1/opam: No space left on device
error: unable to create file packages/eio/eio.0.1/opam: No space left on device
error: unable to create file packages/eio/eio.0.10/opam: No space left on device
error: unable to create file packages/eio/eio.0.5/opam: No space left on device
error: unable to create file packages/eio/eio.1.0/opam: No space left on device
error: unable to create file packages/eio/eio.1.2/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.0.11/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.10/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.1.2/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.1.3/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.9.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.11.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.12.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.8.6.0/opam: No space left on device
error: unable to create file packages/email_message/email_message.v0.12.0/opam: No space left on device
error: unable to create file packages/encore/encore.0.1/opam: No space left on device
error: unable to create file packages/encore/encore.0.2/opam: No space left on device
error: unable to create file packages/enumerators/enumerators.0.2.0/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.10/opam: No space left on device
error: unable to create file packages/errpy/errpy.0.0.7/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.1/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.6/opam: No space left on device
error: unable to create file packages/exenum/exenum.0.82.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_async/expect_test_helpers_async.v0.15.0/opam: No space left on device
error: unable to create file packages/expr/expr.0.5.2/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.3.0/opam: No space left on device
error: unable to create file packages/extism/extism.1.4.0/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.7.0/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.3.1/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.4.4/opam: No space left on device
error: unable to create file packages/ez-conf-lib/ez-conf-lib.2/opam: No space left on device
error: unable to create file packages/ez_api/ez_api.0.1.0/opam: No space left on device
error: unable to create file packages/ez_config/ez_config.0.2.0/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.1/opam: No space left on device
error: unable to create file packages/ezcurl/ezcurl.0.3/opam: No space left on device
error: unable to create file packages/ezgzip/ezgzip.0.2.3/opam: No space left on device
error: unable to create file packages/ezjs_ace/ezjs_ace.0.1/opam: No space left on device
error: unable to create file packages/ezjs_blockies/ezjs_blockies.0.1.1/opam: No space left on device
error: unable to create file packages/ezjs_min/ezjs_min.0.2.3/opam: No space left on device
error: unable to create file packages/ezjs_qrcode/ezjs_qrcode.0.1/opam: No space left on device
error: unable to create file packages/ezjs_recaptcha/ezjs_recaptcha.0.1.1/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.5.1/opam: No space left on device
error: unable to create file packages/farfadet/farfadet.0.1/opam: No space left on device
error: unable to create file packages/farfadet/farfadet.0.2/opam: No space left on device
error: unable to create file packages/fehu/fehu.1.0.0~alpha2/opam: No space left on device
error: unable to create file packages/ff/ff.0.2.1/opam: No space left on device
error: unable to create file packages/ff/ff.0.6.0/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.3/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.4/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.0.0~rc1/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.7/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.8/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.9/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.1.3/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.1.4/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.4.3/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.5/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.2.6/opam: No space left on device
error: unable to create file packages/file_path/file_path.v0.17.0/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.0/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.1/opam: No space left on device
error: unable to create file packages/findlib_top/findlib_top.v0.11.0/opam: No space left on device
error: unable to create file packages/fit/fit.1.0.1/opam: No space left on device
error: unable to create file packages/fit/fit.1.0.2/opam: No space left on device
error: unable to create file packages/fit/fit.1.4.0/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.9/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.6.0/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.6.1/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.3/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.2.0/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.4.0/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.4/opam: No space left on device
error: unable to create file packages/forester/forester.2.3/opam: No space left on device
error: unable to create file packages/forester/forester.2.4.1/opam: No space left on device
error: unable to create file packages/forester/forester.2.5.1/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.3/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.7/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.19.1/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.26.0/opam: No space left on device
error: unable to create file packages/functoria-runtime/functoria-runtime.4.0.0/opam: No space left on device
error: unable to create file packages/funfields/funfields.0.02/opam: No space left on device
error: unable to create file packages/fuzzy_match/fuzzy_match.v0.17.0/opam: No space left on device
error: unable to create file packages/gapi-ocaml/gapi-ocaml.0.4.8/opam: No space left on device
error: unable to create file packages/gappa/gappa.1.4.0/opam: No space left on device
error: unable to create file packages/gappa/gappa.1.4.1/opam: No space left on device
error: unable to create file packages/gemini/gemini.0.3.0/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.1.0/opam: No space left on device
error: unable to create file packages/gendarme-csv/gendarme-csv.0.4.0/opam: No space left on device
error: unable to create file packages/gendarme-json/gendarme-json.0.2.0/opam: No space left on device
error: unable to create file packages/gendarme-json/gendarme-json.0.3.0/opam: No space left on device
error: unable to create file packages/gendarme-json/gendarme-json.0.4.0/opam: No space left on device
error: unable to create file packages/gendarme-yaml/gendarme-yaml.0.2.0/opam: No space left on device
error: unable to create file packages/genspio/genspio.0.0.3/opam: No space left on device
error: unable to create file packages/geoip/geoip.0.0.3/opam: No space left on device
error: unable to create file packages/geojson/geojson.0.2.0/opam: No space left on device
error: unable to create file packages/geojsone/geojsone.0.1.1/opam: No space left on device
error: unable to create file packages/get_line/get_line.6.0.0/opam: No space left on device
error: unable to create file packages/git-net/git-net.0.2.1/opam: No space left on device
error: unable to create file packages/git-split/git-split.0.0.3/opam: No space left on device
error: unable to create file packages/git-split/git-split.0.0.4/opam: No space left on device
error: unable to create file packages/git-unix/git-unix.2.1.3/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.1/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.2/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.4.0/opam: No space left on device
error: unable to create file packages/github/github.4.4.0/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.5/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.8/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.3/opam: No space left on device
error: unable to create file packages/gles3/gles3.20160307.alpha/opam: No space left on device
error: unable to create file packages/gluten-async/gluten-async.0.3.0/opam: No space left on device
error: unable to create file packages/gluten-eio/gluten-eio.0.4.1/opam: No space left on device
error: unable to create file packages/gluten-eio/gluten-eio.0.5.2/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.2.1/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.3.0/opam: No space left on device
error: unable to create file packages/gmp-ecm/gmp-ecm.7.0.3/opam: No space left on device
error: unable to create file packages/gmp/gmp.6.2.1-2/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.0.0/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.2.1/opam: No space left on device
error: unable to create file packages/gpx/gpx.1.0.1/opam: No space left on device
error: unable to create file packages/gradescope_submit/gradescope_submit.2.0.1/opam: No space left on device
error: unable to create file packages/gremlin/gremlin.0.1.1/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.1/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.24.2/opam: No space left on device
error: unable to create file packages/guardian/guardian.0.0.5/opam: No space left on device
error: unable to create file packages/guardian/guardian.0.1.0/opam: No space left on device
error: unable to create file packages/h2-lwt-unix/h2-lwt-unix.0.5.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.4.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.3.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.4.0/opam: No space left on device
error: unable to create file packages/hachis/hachis.20240918/opam: No space left on device
error: unable to create file packages/hack_parallel/hack_parallel.1.0.1/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.2.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.2.1/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.3.2/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.4.0/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.4.1/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.4.2/opam: No space left on device
error: unable to create file packages/handlebars-ml/handlebars-ml.0.1.2/opam: No space left on device
error: unable to create file packages/handlebars-ml/handlebars-ml.0.2.0/opam: No space left on device
error: unable to create file packages/happy-eyeballs-mirage/happy-eyeballs-mirage.0.6.0/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.14.1/opam: No space left on device
error: unable to create file packages/hardcaml_xilinx_components/hardcaml_xilinx_components.v0.17.0/opam: No space left on device
error: unable to create file packages/hashids/hashids.1.0.0/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.45/opam: No space left on device
error: unable to create file packages/hevea/hevea.2.25/opam: No space left on device
error: unable to create file packages/hexstring/hexstring.0.2.0/opam: No space left on device
error: unable to create file packages/hg_lib/hg_lib.v0.15.0/opam: No space left on device
error: unable to create file packages/highlexer/highlexer.0.1/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.9/opam: No space left on device
error: unable to create file packages/hiredis/hiredis.0.6/opam: No space left on device
error: unable to create file packages/hkdf/hkdf.1.0.4/opam: No space left on device
error: unable to create file packages/hol2dk/hol2dk.2.1.0/opam: No space left on device
error: unable to create file packages/hol_light/hol_light.3.0.0/opam: No space left on device
error: unable to create file packages/host-arch-s390x/host-arch-s390x.1/opam: No space left on device
error: unable to create file packages/html_of_jsx/html_of_jsx.0.0.2/opam: No space left on device
error: unable to create file packages/hts_shrink/hts_shrink.2.1.1/opam: No space left on device
error: unable to create file packages/httpaf-async/httpaf-async.0.7.0/opam: No space left on device
error: unable to create file packages/httpcats/httpcats.0.1.0/opam: No space left on device
error: unable to create file packages/httpun-async/httpun-async.0.1.0/opam: No space left on device
error: unable to create file packages/incr_dom_sexp_form/incr_dom_sexp_form.v0.15.1/opam: No space left on device
error: unable to create file packages/incr_select/incr_select.v0.15.0/opam: No space left on device
error: unable to create file packages/incr_select/incr_select.v0.16.0/opam: No space left on device
error: unable to create file packages/index/index.1.5.0/opam: No space left on device
error: unable to create file packages/inotify/inotify.2.1/opam: No space left on device
error: unable to create file packages/inotify/inotify.2.3/opam: No space left on device
error: unable to create file packages/int_repr/int_repr.v0.17.0/opam: No space left on device
error: unable to create file packages/integers/integers.0.1.0/opam: No space left on device
error: unable to create file packages/integers/integers.0.2.0/opam: No space left on device
error: unable to create file packages/interval/interval.1.5.1/opam: No space left on device
error: unable to create file packages/inuit/inuit.0.4.1/opam: No space left on device
error: unable to create file packages/iostream-camlzip/iostream-camlzip.0.3/opam: No space left on device
error: unable to create file packages/ipaddr-cstruct/ipaddr-cstruct.5.6.1/opam: No space left on device
error: unable to create file packages/ipaddr-sexp/ipaddr-sexp.5.6.0/opam: No space left on device
error: unable to create file packages/irc-client-lwt-ssl/irc-client-lwt-ssl.0.7.1/opam: No space left on device
error: unable to create file packages/irc-client-lwt/irc-client-lwt.0.6.0/opam: No space left on device
error: unable to create file packages/irmin-containers/irmin-containers.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-fs/irmin-fs.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-layers/irmin-layers.2.10.2/opam: No space left on device
error: unable to create file packages/irmin-layers/irmin-layers.2.7.1/opam: No space left on device
error: unable to create file packages/irmin-pack/irmin-pack.2.10.2/opam: No space left on device
error: unable to create file packages/itv-tree/itv-tree.2.2/opam: No space left on device
error: unable to create file packages/janestreet_csv/janestreet_csv.v0.16.0/opam: No space left on device
error: unable to create file packages/jasmin/jasmin.2025.02.0/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.2.17/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.3.4/opam: No space left on device
error: unable to create file packages/js_of_ocaml-camlp4/js_of_ocaml-camlp4.3.1.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.3.11.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.3.4.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.5.7.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.5.9.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.6.2.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.3.10.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.1.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ocamlbuild/js_of_ocaml-ocamlbuild.3.6.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ocamlbuild/js_of_ocaml-ocamlbuild.3.8.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ocamlbuild/js_of_ocaml-ocamlbuild.3.9.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx_deriving_json/js_of_ocaml-ppx_deriving_json.3.10.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx_deriving_json/js_of_ocaml-ppx_deriving_json.3.5.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.3.8.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.5.9.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.1.1/opam: No space left on device
error: unable to create file packages/json-wheel/json-wheel.1.0.6+safe-string/opam: No space left on device
error: unable to create file packages/json_decoder/json_decoder.0.1.1/opam: No space left on device
error: unable to create file packages/jsonxt/jsonxt.1.0.1/opam: No space left on device
error: unable to create file packages/jsoo_broadcastchannel/jsoo_broadcastchannel.2.0.0/opam: No space left on device
error: unable to create file packages/junit/junit.2.0/opam: No space left on device
error: unable to create file packages/junit_ounit/junit_ounit.2.0/opam: No space left on device
error: unable to create file packages/junit_ounit/junit_ounit.2.3.0/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.7.0/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.8.2/opam: No space left on device
error: unable to create file packages/kappa-agents/kappa-agents.4.1.0/opam: No space left on device
error: unable to create file packages/kappa-binaries/kappa-binaries.4.1.3/opam: No space left on device
error: unable to create file packages/kaputt/kaputt.1.2/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.2.3/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.3.1/opam: No space left on device
error: unable to create file packages/kcas_data/kcas_data.0.4.0/opam: No space left on device
error: unable to create file packages/kcas_data/kcas_data.0.6.1/opam: No space left on device
error: unable to create file packages/kicadsch/kicadsch.0.5.2/opam: No space left on device
error: unable to create file packages/kicadsch/kicadsch.0.8.0/opam: No space left on device
error: unable to create file packages/kind2/kind2.1.3.0/opam: No space left on device
error: unable to create file packages/knights_tour/knights_tour.0.0.6/opam: No space left on device
error: unable to create file packages/kot/kot.20251212/opam: No space left on device
error: unable to create file packages/kqueue/kqueue.0.1.0/opam: No space left on device
error: unable to create file packages/kqueue/kqueue.0.2.0/opam: No space left on device
error: unable to create file packages/kqueue/kqueue.0.3.0/opam: No space left on device
error: unable to create file packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.3/opam: No space left on device
error: unable to create file packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.4/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.8.0.7/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.8.1.1/opam: No space left on device
error: unable to create file packages/ladspa/ladspa.0.2.0/opam: No space left on device
error: unable to create file packages/lambdapi/lambdapi.2.6.0/opam: No space left on device
error: unable to create file packages/lbfgs/lbfgs.0.9.3/opam: No space left on device
error: unable to create file packages/lbvs_consent/lbvs_consent.2.1.3/opam: No space left on device
error: unable to create file packages/lens/lens.1.2.0/opam: No space left on device
error: unable to create file packages/lens/lens.1.2.1/opam: No space left on device
error: unable to create file packages/letters/letters.0.1.1/opam: No space left on device
error: unable to create file packages/libwasmtime/libwasmtime.0.21.0+linux-x86_64/opam: No space left on device
error: unable to create file packages/line-up-words/line-up-words.v0.13.0/opam: No space left on device
error: unable to create file packages/line-up-words/line-up-words.v0.15.0/opam: No space left on device
error: unable to create file packages/line-up-words/line-up-words.v0.16.0/opam: No space left on device
error: unable to create file packages/links-mysql/links-mysql.0.9.7/opam: No space left on device
error: unable to create file packages/links-mysql/links-mysql.0.9.8/opam: No space left on device
error: unable to create file packages/links-postgresql/links-postgresql.0.9.1/opam: No space left on device
error: unable to create file packages/links/links.0.9.6/opam: No space left on device
error: unable to create file packages/linol-lwt/linol-lwt.0.3/opam: No space left on device
error: unable to create file packages/linwrap/linwrap.5.0.0/opam: No space left on device
error: unable to create file packages/linwrap/linwrap.8.0.0/opam: No space left on device
error: unable to create file packages/liquidsoap-lang/liquidsoap-lang.2.2.3/opam: No space left on device
error: unable to create file packages/llama/llama.0.0.1/opam: No space left on device
error: unable to create file packages/llvm/llvm.4.0.0/opam: No space left on device
error: unable to create file packages/llvm/llvm.5.0.0/opam: No space left on device
error: unable to create file packages/logger-p5/logger-p5.0.4.3/opam: No space left on device
error: unable to create file packages/logs-ppx/logs-ppx.0.1.0/opam: No space left on device
error: unable to create file packages/logs-syslog/logs-syslog.0.5.0/opam: No space left on device
error: unable to create file packages/lua_parser/lua_parser.1.0.2/opam: No space left on device
error: unable to create file packages/lwt-canceler/lwt-canceler.0.3/opam: No space left on device
error: unable to create file packages/lwt-dllist/lwt-dllist.1.0.1/opam: No space left on device
error: unable to create file packages/lwt_glib/lwt_glib.1.0.1/opam: No space left on device
error: unable to create file packages/lwt_ppx/lwt_ppx.1.0.0/opam: No space left on device
error: unable to create file packages/lwt_ppx/lwt_ppx.2.0.3/opam: No space left on device
error: unable to create file packages/lwt_retry/lwt_retry.5.9.0/opam: No space left on device
error: unable to create file packages/lwt_runtime_events/lwt_runtime_events.6.0.0/opam: No space left on device
error: unable to create file packages/macaddr-sexp/macaddr-sexp.5.6.1/opam: No space left on device
error: unable to create file packages/magic-mime/magic-mime.1.1.1/opam: No space left on device
error: unable to create file packages/malfunction/malfunction.0.6/opam: No space left on device
error: unable to create file packages/markup/markup.0.7.7/opam: No space left on device
error: unable to create file packages/markup/markup.0.8.0/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+18/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+5/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+8/opam: No space left on device
error: unable to create file packages/mdx/mdx.2.2.0/opam: No space left on device
error: unable to create file packages/mehari-eio/mehari-eio.0.1/opam: No space left on device
error: unable to create file packages/mehari/mehari.0.4/opam: No space left on device
error: unable to create file packages/memtrace_viewer/memtrace_viewer.v0.15.0/opam: No space left on device
error: unable to create file packages/menhir/menhir.20160526/opam: No space left on device
error: unable to create file packages/menhir/menhir.20181006/opam: No space left on device
error: unable to create file packages/menhir/menhir.20190620/opam: No space left on device
error: unable to create file packages/menhirSdk/menhirSdk.20200211/opam: No space left on device
error: unable to create file packages/menhirSdk/menhirSdk.20200525/opam: No space left on device
error: unable to create file packages/merge-fmt/merge-fmt.0.1/opam: No space left on device
error: unable to create file packages/merlin-lib/merlin-lib.4.18-414/opam: No space left on device
error: unable to create file packages/merlin/merlin.4.5-411/opam: No space left on device
error: unable to create file packages/mesh-easymesh/mesh-easymesh.0.9.5/opam: No space left on device
error: unable to create file packages/mesh-graphics/mesh-graphics.0.9.0/opam: No space left on device
error: unable to create file packages/mesh-graphics/mesh-graphics.0.9.2/opam: No space left on device
error: unable to create file packages/mesh-graphics/mesh-graphics.0.9.3/opam: No space left on device
error: unable to create file packages/mesh/mesh.0.9.0/opam: No space left on device
error: unable to create file packages/metadata/metadata.0.2.0/opam: No space left on device
error: unable to create file packages/metadata/metadata.0.3.1/opam: No space left on device
error: unable to create file packages/metadata/metadata.0.3.2/opam: No space left on device
error: unable to create file packages/metaquot/metaquot.0.2.0/opam: No space left on device
error: unable to create file packages/milter/milter.1.0.2/opam: No space left on device
error: unable to create file packages/mindstorm/mindstorm.0.6.1/opam: No space left on device
error: unable to create file packages/minisat/minisat.0.6/opam: No space left on device
error: unable to create file packages/minttea/minttea.0.0.1/opam: No space left on device
error: unable to create file packages/mirage-crypto-rng-miou-unix/mirage-crypto-rng-miou-unix.2.0.2/opam: No space left on device
error: unable to create file packages/mirage-fs/mirage-fs.2.0.0/opam: No space left on device
error: unable to create file packages/mirage-kv-unix/mirage-kv-unix.2.0.0/opam: No space left on device
error: unable to create file packages/mirage-kv/mirage-kv.1.0.0/opam: No space left on device
error: unable to create file packages/mirage-mtime/mirage-mtime.5.0.0/opam: No space left on device
error: unable to create file packages/mirage-ptime/mirage-ptime.5.0.0/opam: No space left on device
error: unable to create file packages/mirage-runtime/mirage-runtime.4.7.0/opam: No space left on device
error: unable to create file packages/mirage-tc/mirage-tc.0.3.0/opam: No space left on device
error: unable to create file packages/mlgmpidl/mlgmpidl.1.2.11/opam: No space left on device
error: unable to create file packages/mlgmpidl/mlgmpidl.1.2.9/opam: No space left on device
error: unable to create file packages/mlgmpidl/mlgmpidl.1.3.0/opam: No space left on device
error: unable to create file packages/mlt_parser/mlt_parser.v0.14.0/opam: No space left on device
error: unable to create file packages/molenc/molenc.11.4.0/opam: No space left on device
error: unable to create file packages/molenc/molenc.4.0.2/opam: No space left on device
error: unable to create file packages/molenc/molenc.5.0.1/opam: No space left on device
error: unable to create file packages/molenc/molenc.7.0.1/opam: No space left on device
error: unable to create file packages/monaco_jsoo/monaco_jsoo.1.0.1/opam: No space left on device
error: unable to create file packages/monadlib/monadlib.0.1/opam: No space left on device
error: unable to create file packages/monadlib/monadlib.0.2/opam: No space left on device
error: unable to create file packages/msat/msat.0.1/opam: No space left on device
error: unable to create file packages/msgpck/msgpck.1.3/opam: No space left on device
error: unable to create file packages/mssql/mssql.2.2.0/opam: No space left on device
error: unable to create file packages/msys2/msys2.0.1.0/opam: No space left on device
error: unable to create file packages/nanosvg/nanosvg.0.1/opam: No space left on device
error: unable to create file packages/nbd-tool/nbd-tool.6.0.0/opam: No space left on device
error: unable to create file packages/nbd-tool/nbd-tool.6.0.1/opam: No space left on device
error: unable to create file packages/nbd/nbd.3.0.0/opam: No space left on device
error: unable to create file packages/nbd/nbd.4.0.3/opam: No space left on device
error: unable to create file packages/netlink/netlink.0.2.1/opam: No space left on device
error: unable to create file packages/netsnmp/netsnmp.v0.16.0/opam: No space left on device
error: unable to create file packages/noise/noise.0.2.0/opam: No space left on device
error: unable to create file packages/nottui/nottui.0.1/opam: No space left on device
error: unable to create file packages/nx/nx.1.0.0~alpha0/opam: No space left on device
error: unable to create file packages/oasis2opam/oasis2opam.0.7/opam: No space left on device
error: unable to create file packages/obeam/obeam.0.1.0/opam: No space left on device
error: unable to create file packages/obelisk/obelisk.0.5.2/opam: No space left on device
error: unable to create file packages/objsize/objsize.0.18/opam: No space left on device
error: unable to create file packages/obuild/obuild.0.1.10/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.3.07+2/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.04.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.05.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.08.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.09.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.5.1.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.5.2.0/opam: No space left on device
error: unable to create file packages/ocaml-basics/ocaml-basics.0.5.0/opam: No space left on device
error: unable to create file packages/ocaml-compiler-libs/ocaml-compiler-libs.v0.12.3/opam: No space left on device
error: unable to create file packages/ocaml-compiler/ocaml-compiler.5.4.0~beta1/opam: No space left on device
error: unable to create file packages/ocaml-monadic/ocaml-monadic.0.5/opam: No space left on device
error: unable to create file packages/ocaml-option-32bit/ocaml-option-32bit.1/opam: No space left on device
error: unable to create file packages/ocaml-option-no-flat-float-array/ocaml-option-no-flat-float-array.1/opam: No space left on device
error: unable to create file packages/ocaml-options-vanilla/ocaml-options-vanilla.1/opam: No space left on device
error: unable to create file packages/ocaml-protoc/ocaml-protoc.2.1/opam: No space left on device
error: unable to create file packages/ocaml-protoc/ocaml-protoc.2.2/opam: No space left on device
error: unable to create file packages/ocaml-protoc/ocaml-protoc.3.0.0/opam: No space left on device
error: unable to create file packages/ocaml-r/ocaml-r.0.2.0/opam: No space left on device
error: unable to create file packages/ocaml-r/ocaml-r.0.4.0/opam: No space left on device
error: unable to create file packages/ocaml-secondary-compiler/ocaml-secondary-compiler.4.08.1-1/opam: No space left on device
error: unable to create file packages/ocaml-secondary-compiler/ocaml-secondary-compiler.4.14.2/opam: No space left on device
error: unable to create file packages/ocaml-src/ocaml-src.4.09.1-1/opam: No space left on device
error: unable to create file packages/ocaml-src/ocaml-src.5.1.1/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.4.03.0/opam: No space left on device
error: unable to create file packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.20.0/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.01.0+32bit/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.02.1+musl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.04.1+spacetime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.05.1+trunk+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.1+default-unsafe-string/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.1+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.07.0+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.07.1+spacetime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.0+force-safe-string/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.0+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.1+afl+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.0+musl+static+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.1+rc1+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.1+spacetime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.3+trunk/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.11.0+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.11.1+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.11.2+spacetime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.12.0+domains+effects/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.14.2+options/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.14.3+trunk/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.5.3.1+trunk/opam: No space left on device
error: unable to create file packages/ocaml-version/ocaml-version.4.0.1/opam: No space left on device
error: unable to create file packages/ocaml-xdg-basedir/ocaml-xdg-basedir.transition/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.3.11.1/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.4.06.0/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.4.07.0/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.4.14.3/opam: No space left on device
fatal: cannot create directory at 'packages/ocaml/ocaml.5.0.0': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:40.11: Job failed: Failed: Build failed