Build:
- 0
2026-01-27 19:21.49: New job: test sihl-storage.1.0.1 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 sihl-storage.1.0.1; \
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" != 'sihl-storage.1.0.1' && 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 sihl-storage.1.0.1) || true
RUN opam reinstall --with-test --verbose sihl-storage.1.0.1; \
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" != 'sihl-storage.1.0.1' && 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.49: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.0.0-sihl-storage.1.0.1-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.49: 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 sihl-storage.1.0.1;\
\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\" != 'sihl-storage.1.0.1' && 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 sihl-storage.1.0.1) || true"))
(run (shell "opam reinstall --with-test --verbose sihl-storage.1.0.1;\
\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\" != 'sihl-storage.1.0.1' && 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.49: Waiting for resource in pool OCluster
2026-01-27 19:37.15: Waiting for worker…
2026-01-27 19:37.48: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file governance/policies/archiving.md: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.17/opam: No space left on device
error: unable to create file packages/0install/0install.2.14.1/opam: No space left on device
error: unable to create file packages/0install/0install.2.15.2/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.7/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.3/opam: No space left on device
error: unable to create file packages/DAGaml/DAGaml.0.02/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.3.4.3-1/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/ISO8601/ISO8601.0.1.2/opam: No space left on device
error: unable to create file packages/MlFront_Cache/MlFront_Cache.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Signify/MlFront_Signify.2.4.2.30/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.6.0/opam: No space left on device
error: unable to create file packages/OSCADml/OSCADml.0.1.1/opam: No space left on device
error: unable to create file packages/OSCADml/OSCADml.0.2.0/opam: No space left on device
error: unable to create file packages/abstract_algebra/abstract_algebra.v0.16.0/opam: No space left on device
error: unable to create file packages/abstract_algebra/abstract_algebra.v0.17.0/opam: No space left on device
error: unable to create file packages/accessor_async/accessor_async.v0.14.0/opam: No space left on device
error: unable to create file packages/accessor_async/accessor_async.v0.14.1/opam: No space left on device
error: unable to create file packages/adobe_font_metrics/adobe_font_metrics.1.0.0/opam: No space left on device
error: unable to create file packages/ahrocksdb/ahrocksdb.0.2.1/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/alcotest/alcotest.1.7.0/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.2.0.0/opam: No space left on device
error: unable to create file packages/allegro5/allegro5.0.2/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.3.0/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.0.99.1/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.0.3/opam: No space left on device
error: unable to create file packages/amqp-client-lwt/amqp-client-lwt.2.2.2/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.11.0/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.11.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.11.1/opam: No space left on device
error: unable to create file packages/antic/antic.0.2.3/opam: No space left on device
error: unable to create file packages/apron/apron.0.9.14/opam: No space left on device
error: unable to create file packages/apronext/apronext.1.0.2/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.0.1.12/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/archetype/archetype.1.4.2/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/archsat/archsat.1.1/opam: No space left on device
error: unable to create file packages/arrakis/arrakis.1.0.0/opam: No space left on device
error: unable to create file packages/arrakis/arrakis.1.1.0/opam: No space left on device
error: unable to create file packages/arrayjit/arrayjit.0.4.0/opam: No space left on device
error: unable to create file packages/asn1-combinators/asn1-combinators.0.2.6/opam: No space left on device
error: unable to create file packages/asn1-combinators/asn1-combinators.0.3.1/opam: No space left on device
error: unable to create file packages/async/async.v0.12.0/opam: No space left on device
error: unable to create file packages/async/async.v0.13.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.14.0/opam: No space left on device
error: unable to create file packages/async_sendfile/async_sendfile.v0.12.0/opam: No space left on device
error: unable to create file packages/async_ssl/async_ssl.v0.12.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.12.0/opam: No space left on device
error: unable to create file packages/async_unix/async_unix.v0.14.0/opam: No space left on device
error: unable to create file packages/atacama/atacama.0.0.2/opam: No space left on device
error: unable to create file packages/atd/atd.1.1.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.1.1/opam: No space left on device
error: unable to create file packages/atd/atd.2.8.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/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.4.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.2.1/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.4.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.4.1/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/atds/atds.2.14.0/opam: No space left on device
error: unable to create file packages/atdts/atdts.2.11.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.5.2/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-elasticloadbalancing/aws-elasticloadbalancing.0.1.0/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.5.1/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.6.0/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-async/awsm-async.0.1.0/opam: No space left on device
error: unable to create file packages/backoff/backoff.0.1.0/opam: No space left on device
error: unable to create file packages/bam/bam.0.1/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.2.0/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.3.0/opam: No space left on device
error: unable to create file packages/bap-beagle-strings/bap-beagle-strings.2.2.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-bundle/bap-bundle.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-c/bap-c.2.4.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.1.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.2.0/opam: No space left on device
error: unable to create file packages/bap-core/bap-core.2.4.0/opam: No space left on device
error: unable to create file packages/bap-dump-symbols/bap-dump-symbols.2.2.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-elementary/bap-elementary.2.5.0/opam: No space left on device
error: unable to create file packages/bap-extra/bap-extra.2.5.0/opam: No space left on device
error: unable to create file packages/bap-frontc/bap-frontc.2.4.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-llvm/bap-llvm.2.1.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.4.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.5.0/opam: No space left on device
error: unable to create file packages/bap-plugins/bap-plugins.2.4.0/opam: No space left on device
error: unable to create file packages/bap-plugins/bap-plugins.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-powerpc/bap-primus-powerpc.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-powerpc/bap-primus-powerpc.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-test/bap-primus-test.2.3.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-raw/bap-raw.2.5.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.4.0/opam: No space left on device
error: unable to create file packages/bap-std/bap-std.2.5.0/opam: No space left on device
error: unable to create file packages/bap-symbol-reader/bap-symbol-reader.2.4.0/opam: No space left on device
error: unable to create file packages/bare/bare.2.3.0/opam: No space left on device
error: unable to create file packages/bare_encoding/bare_encoding.0.1/opam: No space left on device
error: unable to create file packages/base-domains/base-domains.base/opam: No space left on device
error: unable to create file packages/base-flambda2/base-flambda2.base/opam: No space left on device
error: unable to create file packages/base/base.v0.13.1/opam: No space left on device
error: unable to create file packages/base/base.v0.14.1/opam: No space left on device
error: unable to create file packages/bastet/bastet.2.0.0/opam: No space left on device
error: unable to create file packages/batch_jaro_winkler/batch_jaro_winkler.0.1.1/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.0.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.3.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/bechamel-perf/bechamel-perf.0.3.0/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.5.0/opam: No space left on device
error: unable to create file packages/bibtex2html/bibtex2html.1.99/opam: No space left on device
error: unable to create file packages/bigarray-compat/bigarray-compat.1.1.0/opam: No space left on device
error: unable to create file packages/bigarray-overlap/bigarray-overlap.0.2.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/bigdecimal/bigdecimal.v0.15.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.15.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/bindlib/bindlib.6.0.0/opam: No space left on device
error: unable to create file packages/biniou/biniou.1.2.1/opam: No space left on device
error: unable to create file packages/biniou/biniou.1.2.2/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.1.3.3/opam: No space left on device
error: unable to create file packages/bitcoinml/bitcoinml.0.4.1/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.2.0/opam: No space left on device
error: unable to create file packages/bjack/bjack.0.1.5/opam: No space left on device
error: unable to create file packages/bls12-381-legacy/bls12-381-legacy.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.1.0.2/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.4.0.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.5.0.0/opam: No space left on device
error: unable to create file packages/bpf/bpf.0.2/opam: No space left on device
error: unable to create file packages/bson2/bson2.0.0.1/opam: No space left on device
error: unable to create file packages/bst/bst.1.0.1/opam: No space left on device
error: unable to create file packages/bytestring/bytestring.0.0.8/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.117/opam: No space left on device
error: unable to create file packages/cairn/cairn.2.0/opam: No space left on device
error: unable to create file packages/calculon/calculon.0.8/opam: No space left on device
error: unable to create file packages/callipyge/callipyge.0.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/camlgpc/camlgpc.1.1/opam: No space left on device
error: unable to create file packages/camlkit-base/camlkit-base.0.2.1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+2/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+3/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.04.00/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.8.1/opam: No space left on device
error: unable to create file packages/camlrack/camlrack.0.10.1/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.10.1/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.10.2/opam: No space left on device
error: unable to create file packages/caqti-driver-pgx/caqti-driver-pgx.2.2.4/opam: No space left on device
error: unable to create file packages/caqti-eio/caqti-eio.2.1.2/opam: No space left on device
error: unable to create file packages/caqti/caqti.0.9.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.9.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.2.0.1/opam: No space left on device
error: unable to create file packages/catala-lsp/catala-lsp.1.0.0~beta/opam: No space left on device
error: unable to create file packages/catapult-daemon/catapult-daemon.0.2/opam: No space left on device
error: unable to create file packages/catapult-file/catapult-file.0.1.1/opam: No space left on device
error: unable to create file packages/cca/cca.0.1/opam: No space left on device
error: unable to create file packages/cdb/cdb.1.0.1/opam: No space left on device
error: unable to create file packages/cf/cf.0.3/opam: No space left on device
error: unable to create file packages/chacha/chacha.1.1.0/opam: No space left on device
error: unable to create file packages/chamo/chamo.4.2.0/opam: No space left on device
error: unable to create file packages/charrua/charrua.1.5.0/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.2.1/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.1.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/chrome-trace/chrome-trace.3.17.2/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.21.0/opam: No space left on device
error: unable to create file packages/cid/cid.0.1.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.6.0.2/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.7.0.2/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.7.0/opam: No space left on device
error: unable to create file packages/class_group_vdf/class_group_vdf.0.0.1/opam: No space left on device
error: unable to create file packages/climate/climate.0.6.0/opam: No space left on device
error: unable to create file packages/climate/climate.0.8.7/opam: No space left on device
error: unable to create file packages/cll/cll.0.1.0/opam: No space left on device
error: unable to create file packages/cloudi/cloudi.1.8.0/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.2.5.2-1/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.4.1.2/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.2.5.8/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.4.0.0/opam: No space left on device
error: unable to create file packages/cohttp-mirage/cohttp-mirage.6.0.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/comby-semantic/comby-semantic.1.7.0/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.6/opam: No space left on device
error: unable to create file packages/conduit/conduit.1.4.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.2.0.2/opam: No space left on device
error: unable to create file packages/conf-adwaita-icon-theme/conf-adwaita-icon-theme.1/opam: No space left on device
error: unable to create file packages/conf-age/conf-age.1/opam: No space left on device
error: unable to create file packages/conf-ao/conf-ao.1/opam: No space left on device
error: unable to create file packages/conf-c++/conf-c++.1.0/opam: No space left on device
error: unable to create file packages/conf-fswatch/conf-fswatch.11-0.1.0/opam: No space left on device
error: unable to create file packages/conf-glew/conf-glew.1/opam: No space left on device
error: unable to create file packages/conf-libclang/conf-libclang.10/opam: No space left on device
error: unable to create file packages/conf-libclang/conf-libclang.11/opam: No space left on device
error: unable to create file packages/conf-libgsasl/conf-libgsasl.1/opam: No space left on device
error: unable to create file packages/conf-liblinear-tools/conf-liblinear-tools.1.0.0/opam: No space left on device
error: unable to create file packages/conf-liblz4/conf-liblz4.1/opam: No space left on device
error: unable to create file packages/conf-libmagic/conf-libmagic.1/opam: No space left on device
error: unable to create file packages/conf-libvorbis/conf-libvorbis.1/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.14.0.6/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-mingw-w64-freeglut-i686/conf-mingw-w64-freeglut-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gtksourceview3-x86_64/conf-mingw-w64-gtksourceview3-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-pcre2-x86_64/conf-mingw-w64-pcre2-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-mixer-x86_64/conf-mingw-w64-sdl2-mixer-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-ncurses/conf-ncurses.1/opam: No space left on device
error: unable to create file packages/conf-openblas/conf-openblas.0.1/opam: No space left on device
error: unable to create file packages/conf-pandoc/conf-pandoc.0.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.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-swi-prolog/conf-swi-prolog.1/opam: No space left on device
error: unable to create file packages/conf-sysinfo/conf-sysinfo.1/opam: No space left on device
error: unable to create file packages/conf-taglib/conf-taglib.1/opam: No space left on device
error: unable to create file packages/conf-taglib_c/conf-taglib_c.1/opam: No space left on device
error: unable to create file packages/conf-tcl/conf-tcl.1/opam: No space left on device
error: unable to create file packages/config-file/config-file.1.2/opam: No space left on device
error: unable to create file packages/coq-catt-plugin/coq-catt-plugin.1.0/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.1+v8.16/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.7+8.17/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.0+8.20/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.2.1/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.2/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.17.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.7.1+1/opam: No space left on device
error: unable to create file packages/coq/coq.9.0.1/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.17.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-server/coqide-server.8.19.1/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/coqide/coqide.8.7.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.7.2/opam: No space left on device
error: unable to create file packages/cordova-plugin-device-motion/cordova-plugin-device-motion.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-local-notifications/cordova-plugin-local-notifications.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-sms/cordova-plugin-sms.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-statusbar/cordova-plugin-statusbar.1.0/opam: No space left on device
error: unable to create file packages/core/core.v0.16.1/opam: No space left on device
error: unable to create file packages/core_extended/core_extended.v0.15.0/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.17.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.1/opam: No space left on device
error: unable to create file packages/cow/cow.2.2.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.3.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.5.0.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.8.0.0/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.7.0/opam: No space left on device
error: unable to create file packages/cpu/cpu.2.0.0/opam: No space left on device
error: unable to create file packages/crunch/crunch.3.2.0/opam: No space left on device
error: unable to create file packages/cry/cry.1.0.0/opam: No space left on device
error: unable to create file packages/cryptohash/cryptohash.0.1.1/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.05/opam: No space left on device
error: unable to create file packages/cstruct-sexp/cstruct-sexp.5.2.0/opam: No space left on device
error: unable to create file packages/csv-lwt/csv-lwt.2.0/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.22.0/opam: No space left on device
error: unable to create file packages/cudd/cudd.0.1.3/opam: No space left on device
error: unable to create file packages/curl/curl.0.10.0/opam: No space left on device
error: unable to create file packages/curl_lwt/curl_lwt.0.10.0/opam: No space left on device
error: unable to create file packages/curly/curly.0.1.0/opam: No space left on device
error: unable to create file packages/current_ansi/current_ansi.0.2/opam: No space left on device
error: unable to create file packages/current_ansi/current_ansi.0.4/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_ssh/current_ssh.0.7.3/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.2/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.4/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.5/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/dbase4/dbase4.0.2.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.1.2/opam: No space left on device
error: unable to create file packages/decoders-msgpck/decoders-msgpck.0.7.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.2.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.5.0/opam: No space left on device
error: unable to create file packages/delimcc/delimcc.2020.10.08/opam: No space left on device
error: unable to create file packages/devkit/devkit.1.20240429/opam: No space left on device
error: unable to create file packages/diffast-langs-common/diffast-langs-common.0.1/opam: No space left on device
error: unable to create file packages/diffast-langs-common/diffast-langs-common.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-parsing/diffast-langs-fortran-parsing.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-parsing/diffast-langs-fortran-parsing.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-java-parsing-cli/diffast-langs-java-parsing-cli.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-java-parsing/diffast-langs-java-parsing.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-python-spec/diffast-langs-python-spec.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-spec/diffast-langs-verilog-spec.0.3.6/opam: No space left on device
error: unable to create file packages/digestif/digestif.0.9.0/opam: No space left on device
error: unable to create file packages/digestif/digestif.1.3.0/opam: No space left on device
error: unable to create file packages/dkml-base-compiler/dkml-base-compiler.4.12.1~v1.0.2~prerel7/opam: No space left on device
error: unable to create file packages/dkml-runtime-common/dkml-runtime-common.2.0.3/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.7.0.3/opam: No space left on device
error: unable to create file packages/dns-server/dns-server.10.2.0/opam: No space left on device
error: unable to create file packages/dns/dns.1.1.1/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.1.0/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.2.7/opam: No space left on device
error: unable to create file packages/doculib/doculib.1.3.3/opam: No space left on device
error: unable to create file packages/dokeysto/dokeysto.3.0.2/opam: No space left on device
error: unable to create file packages/dokeysto/dokeysto.4.0.1/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.10/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.4.1/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.8/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/domainslib/domainslib.0.3.2/opam: No space left on device
error: unable to create file packages/dose3/dose3.7.0.0/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.6-503/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.6.2/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha5/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha6/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/dtools/dtools.0.3.0/opam: No space left on device
error: unable to create file packages/duff/duff.0.4/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.19.0/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-release/dune-release.1.1.0/opam: No space left on device
error: unable to create file packages/dune-rpc-lwt/dune-rpc-lwt.3.19.0/opam: No space left on device
error: unable to create file packages/dune/dune.2.6.1/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.0.2/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.0.3/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.2/opam: No space left on device
error: unable to create file packages/edn/edn.0.1.6-1-gff9db95/opam: No space left on device
error: unable to create file packages/edn/edn.0.2.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.1.6/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.2.0/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.12/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_linux/eio_linux.0.14/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.7.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.11.1.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.9.3.0/opam: No space left on device
error: unable to create file packages/elpi/elpi.1.19.6/opam: No space left on device
error: unable to create file packages/elpi/elpi.1.20.0/opam: No space left on device
error: unable to create file packages/elpi/elpi.2.0.7/opam: No space left on device
error: unable to create file packages/emile/emile.0.6/opam: No space left on device
error: unable to create file packages/emile/emile.0.7/opam: No space left on device
error: unable to create file packages/emile/emile.0.8/opam: No space left on device
error: unable to create file packages/expect_test_helpers/expect_test_helpers.v0.12.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers/expect_test_helpers.v0.13.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/extunix/extunix.0.4.0/opam: No space left on device
error: unable to create file packages/ez_hash/ez_hash.0.2.0/opam: No space left on device
error: unable to create file packages/ezcurl/ezcurl.0.2.1/opam: No space left on device
error: unable to create file packages/ezjs_blockies/ezjs_blockies.0.1/opam: No space left on device
error: unable to create file packages/ezjs_min/ezjs_min.0.2.1/opam: No space left on device
error: unable to create file packages/ezjs_min/ezjs_min.0.2/opam: No space left on device
error: unable to create file packages/ezjs_min/ezjs_min.0.3.0/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.2/opam: No space left on device
error: unable to create file packages/ezxmlm/ezxmlm.1.0.2/opam: No space left on device
error: unable to create file packages/facile/facile.1.1.4/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.7.1/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.4.0/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/fast_bitvector/fast_bitvector.0.1.2.2/opam: No space left on device
error: unable to create file packages/feat-core/feat-core.20220101/opam: No space left on device
error: unable to create file packages/ff-pbt/ff-pbt.0.6.0/opam: No space left on device
error: unable to create file packages/ff-pbt/ff-pbt.0.6.1/opam: No space left on device
error: unable to create file packages/ff/ff.0.6.1/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.2.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.8/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.10/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.2.6/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.2.7/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.2/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.1.10/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.2.7/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.2.6/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.2.7/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.1/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.3/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.3/opam: No space left on device
error: unable to create file packages/fieldslib/fieldslib.v0.13.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/fix/fix.20220121/opam: No space left on device
error: unable to create file packages/flac/flac.1.0.0/opam: No space left on device
error: unable to create file packages/flint/flint.0.2.3/opam: No space left on device
error: unable to create file packages/flint/flint.0.4.2/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.2.0/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.3.0/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_browser/fmlib_browser.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.5.8/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.8.0/opam: No space left on device
error: unable to create file packages/format/format.0.1/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.23.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.23.1/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.32.0/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.5/opam: No space left on device
error: unable to create file packages/fs-io/fs-io.3.21.0/opam: No space left on device
error: unable to create file packages/fswatch/fswatch.11-0.1.0/opam: No space left on device
error: unable to create file packages/fswatch/fswatch.11-0.1.1/opam: No space left on device
error: unable to create file packages/fswatch/fswatch.11-0.1.5/opam: No space left on device
error: unable to create file packages/functoria-runtime/functoria-runtime.4.0.0~beta3/opam: No space left on device
error: unable to create file packages/fzf/fzf.v0.15.0/opam: No space left on device
error: unable to create file packages/fzf/fzf.v0.16.0/opam: No space left on device
error: unable to create file packages/gen/gen.0.2.2/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/getopts/getopts.0.4.0/opam: No space left on device
error: unable to create file packages/git-cohttp-unix/git-cohttp-unix.3.6.0/opam: No space left on device
error: unable to create file packages/git-cohttp/git-cohttp.3.6.0/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.8.0/opam: No space left on device
error: unable to create file packages/git-split/git-split.0.0.2/opam: No space left on device
error: unable to create file packages/git/git.3.2.0/opam: No space left on device
error: unable to create file packages/github-hooks/github-hooks.0.5.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.3.0.1/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/gitlab.0.1.3/opam: No space left on device
error: unable to create file packages/gitlab_pipeline_notifier/gitlab_pipeline_notifier.0.1/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.3.1/opam: No space left on device
error: unable to create file packages/gluten-async/gluten-async.0.5.1/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.2.0/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/gluten.0.4.1/opam: No space left on device
error: unable to create file packages/gluten/gluten.0.5.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/goblint/goblint.2.4.0/opam: No space left on device
error: unable to create file packages/gotd/gotd.0.1/opam: No space left on device
error: unable to create file packages/gperftools/gperftools.0.3/opam: No space left on device
error: unable to create file packages/graphics/graphics.4.08.1/opam: No space left on device
error: unable to create file packages/graphics/graphics.5.0.0/opam: No space left on device
error: unable to create file packages/graphics/graphics.5.1.2/opam: No space left on device
error: unable to create file packages/graphv_webgl_impl/graphv_webgl_impl.0.1.1/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.10/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.12/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.8/opam: No space left on device
error: unable to create file packages/h2-lwt-unix/h2-lwt-unix.0.6.0/opam: No space left on device
error: unable to create file packages/h2/h2.0.13.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.3.2/opam: No space left on device
error: unable to create file packages/hacl/hacl.0.1/opam: No space left on device
error: unable to create file packages/handlebars-ml/handlebars-ml.0.2.1/opam: No space left on device
error: unable to create file packages/happy-eyeballs-lwt/happy-eyeballs-lwt.0.0.7/opam: No space left on device
error: unable to create file packages/hardcaml_xilinx/hardcaml_xilinx.v0.15.0/opam: No space left on device
error: unable to create file packages/hdf5/hdf5.0.1.4/opam: No space left on device
error: unable to create file packages/headache/headache.1.08/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.42/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.56.1/opam: No space left on device
error: unable to create file packages/hex/hex.1.3.0/opam: No space left on device
error: unable to create file packages/hex/hex.1.4.0/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.10.0/opam: No space left on device
error: unable to create file packages/http-multipart-formdata/http-multipart-formdata.1.0.1/opam: No space left on device
error: unable to create file packages/http/http.6.1.1/opam: No space left on device
error: unable to create file packages/httpun-mirage/httpun-mirage.0.1.0/opam: No space left on device
error: unable to create file packages/imagelib/imagelib.20210116/opam: No space left on device
error: unable to create file packages/imagelib/imagelib.20210511/opam: No space left on device
error: unable to create file packages/imagelib/imagelib.20221222/opam: No space left on device
error: unable to create file packages/incr_dom_sexp_form/incr_dom_sexp_form.v0.14.0/opam: No space left on device
error: unable to create file packages/incr_select/incr_select.v0.17.0/opam: No space left on device
error: unable to create file packages/index-bench/index-bench.1.3.1/opam: No space left on device
error: unable to create file packages/index/index.1.0.1/opam: No space left on device
error: unable to create file packages/index/index.1.1.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/influxdb-lwt/influxdb-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/influxdb-lwt/influxdb-lwt.0.2.0/opam: No space left on device
error: unable to create file packages/influxdb-lwt/influxdb-lwt.0.3.0/opam: No space left on device
error: unable to create file packages/interval/interval.1.5/opam: No space left on device
error: unable to create file packages/iomux/iomux.0.2/opam: No space left on device
error: unable to create file packages/iostream-camlzip/iostream-camlzip.0.2.1/opam: No space left on device
error: unable to create file packages/ip2location/ip2location.8.1.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-unix/irc-client-unix.0.7.0/opam: No space left on device
error: unable to create file packages/irmin-chunk/irmin-chunk.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-chunk/irmin-chunk.3.11.0/opam: No space left on device
error: unable to create file packages/irmin-cli/irmin-cli.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-cli/irmin-cli.3.6.1/opam: No space left on device
error: unable to create file packages/irmin-graphql/irmin-graphql.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-graphql/irmin-graphql.3.11.0/opam: No space left on device
error: unable to create file packages/irmin-mirage-graphql/irmin-mirage-graphql.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-pack/irmin-pack.3.6.1/opam: No space left on device
error: unable to create file packages/irmin-pack/irmin-pack.3.7.2/opam: No space left on device
error: unable to create file packages/irmin-tezos/irmin-tezos.3.6.1/opam: No space left on device
error: unable to create file packages/iter/iter.1.2.1/opam: No space left on device
error: unable to create file packages/jasmin/jasmin.2022.04.0/opam: No space left on device
error: unable to create file packages/jext/jext.0.1.0/opam: No space left on device
error: unable to create file packages/jhupllib/jhupllib.0.1.1/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.3.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.3.5.1/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.3.7.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.4.1.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.0.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.6.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.7.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.7.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx/js_of_ocaml-ppx.3.5.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx/js_of_ocaml-ppx.3.8.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx/js_of_ocaml-ppx.5.9.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx_deriving_json/js_of_ocaml-ppx_deriving_json.4.0.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.5.1.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.5.1.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.6.1.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.3.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.5.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml/js_of_ocaml.6.0.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml/js_of_ocaml.6.1.0/opam: No space left on device
error: unable to create file packages/json-data-encoding-browser/json-data-encoding-browser.0.8/opam: No space left on device
error: unable to create file packages/json-data-encoding/json-data-encoding.0.10/opam: No space left on device
error: unable to create file packages/json-data-encoding/json-data-encoding.0.11/opam: No space left on device
error: unable to create file packages/json-data-encoding/json-data-encoding.0.12.1/opam: No space left on device
error: unable to create file packages/jst-config/jst-config.v0.12.0/opam: No space left on device
error: unable to create file packages/junit/junit.2.2.0/opam: No space left on device
error: unable to create file packages/junit/junit.2.3.0/opam: No space left on device
error: unable to create file packages/junit_alcotest/junit_alcotest.2.0.1/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/kcas_data/kcas_data.0.7.0/opam: No space left on device
error: unable to create file packages/kdf/kdf.1.0.0/opam: No space left on device
error: unable to create file packages/kdl/kdl.0.1.0/opam: No space left on device
error: unable to create file packages/kdl/kdl.0.2.0/opam: No space left on device
error: unable to create file packages/kinetic-client/kinetic-client.0.0.11/opam: No space left on device
error: unable to create file packages/kinetic-client/kinetic-client.0.0.9/opam: No space left on device
error: unable to create file packages/kmt/kmt.0.1/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/lablgtk/lablgtk.2.18.14/opam: No space left on device
error: unable to create file packages/lablgtk3-gtkspell3/lablgtk3-gtkspell3.3.1.0/opam: No space left on device
error: unable to create file packages/labltk/labltk.8.06.6/opam: No space left on device
error: unable to create file packages/labltk/labltk.8.06.7/opam: No space left on device
error: unable to create file packages/lambda-runtime/lambda-runtime.0.1.0/opam: No space left on device
error: unable to create file packages/lambda-term/lambda-term.3.3.0/opam: No space left on device
error: unable to create file packages/lambda-term/lambda-term.3.3.1/opam: No space left on device
error: unable to create file packages/lambda-term/lambda-term.3.3.3/opam: No space left on device
error: unable to create file packages/launchd/launchd.1.0/opam: No space left on device
error: unable to create file packages/lbvs_consent/lbvs_consent.2.1.1/opam: No space left on device
error: unable to create file packages/ldap/ldap.2.4.2/opam: No space left on device
error: unable to create file packages/ldap/ldap.2.5.1/opam: No space left on device
error: unable to create file packages/ldp_js/ldp_js.0.1.0/opam: No space left on device
error: unable to create file packages/ledgerwallet/ledgerwallet.0.1.0/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.107.0.0/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.107.0.1/opam: No space left on device
error: unable to create file packages/libc/libc.0.0.1/opam: No space left on device
error: unable to create file packages/libtensorflow/libtensorflow.0.1/opam: No space left on device
error: unable to create file packages/libtorch/libtorch.1.3.0/opam: No space left on device
error: unable to create file packages/linenoise/linenoise.1.5/opam: No space left on device
error: unable to create file packages/links-mysql/links-mysql.0.9.2/opam: No space left on device
error: unable to create file packages/links-mysql/links-mysql.0.9.3/opam: No space left on device
error: unable to create file packages/linol-eio/linol-eio.0.10/opam: No space left on device
error: unable to create file packages/linol-lwt/linol-lwt.0.5/opam: No space left on device
error: unable to create file packages/lintcstubs-arity/lintcstubs-arity.0.2.1/opam: No space left on device
error: unable to create file packages/linwrap/linwrap.9.1.0/opam: No space left on device
error: unable to create file packages/linwrap/linwrap.9.1.4/opam: No space left on device
error: unable to create file packages/liquid_std/liquid_std.0.1.1/opam: No space left on device
error: unable to create file packages/liquidsoap-core/liquidsoap-core.2.3.0/opam: No space left on device
error: unable to create file packages/liquidsoap-lang/liquidsoap-lang.2.3.0/opam: No space left on device
error: unable to create file packages/liquidsoap-libs-extra/liquidsoap-libs-extra.2.2.5/opam: No space left on device
error: unable to create file packages/liquidsoap-libs/liquidsoap-libs.2.2.1/opam: No space left on device
error: unable to create file packages/llvm/llvm.10.0.0/opam: No space left on device
error: unable to create file packages/llvm/llvm.12.0.1/opam: No space left on device
error: unable to create file packages/llvm/llvm.16.0.6+nnp/opam: No space left on device
error: unable to create file packages/llvm/llvm.3.8/opam: No space left on device
error: unable to create file packages/llvm/llvm.7.0.0/opam: No space left on device
error: unable to create file packages/loc/loc.0.2.2/opam: No space left on device
error: unable to create file packages/loc/loc.0.3.3/opam: No space left on device
error: unable to create file packages/lp/lp.0.5.0/opam: No space left on device
error: unable to create file packages/lpd/lpd.1.2.2/opam: No space left on device
error: unable to create file packages/lpi/lpi.0.0.1/opam: No space left on device
error: unable to create file packages/lrgrep/lrgrep.0.3/opam: No space left on device
error: unable to create file packages/lru_cache/lru_cache.0.4.0/opam: No space left on device
error: unable to create file packages/lsp/lsp.1.15.1-5.0/opam: No space left on device
error: unable to create file packages/lsp/lsp.1.18.0/opam: No space left on device
error: unable to create file packages/lustre-v6/lustre-v6.1.737/opam: No space left on device
error: unable to create file packages/lustre-v6/lustre-v6.6.101.7/opam: No space left on device
error: unable to create file packages/lustre-v6/lustre-v6.6.103.3/opam: No space left on device
error: unable to create file packages/lwt/lwt.5.0.0/opam: No space left on device
error: unable to create file packages/lwt/lwt.5.1.2/opam: No space left on device
error: unable to create file packages/lwt/lwt.5.2.0/opam: No space left on device
error: unable to create file packages/lwt_glib/lwt_glib.1.1.0/opam: No space left on device
error: unable to create file packages/lwt_glib/lwt_glib.1.1.1/opam: No space left on device
error: unable to create file packages/lwt_ppx/lwt_ppx.5.9.1/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/lz4_chans/lz4_chans.1.0.0/opam: No space left on device
error: unable to create file packages/mad/mad.0.4.4/opam: No space left on device
error: unable to create file packages/magic-mime/magic-mime.1.3.0/opam: No space left on device
error: unable to create file packages/magic-trace/magic-trace.1.0.1/opam: No space left on device
error: unable to create file packages/magic/magic.0.7.3/opam: No space left on device
error: unable to create file packages/markdown/markdown.0.2.1/opam: No space left on device
error: unable to create file packages/markup/markup.1.0.0-1/opam: No space left on device
error: unable to create file packages/mazeppa/mazeppa.0.3.3/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+10/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+11/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+19/opam: No space left on device
error: unable to create file packages/mdx/mdx.1.6.0/opam: No space left on device
error: unable to create file packages/mdx/mdx.1.7.0/opam: No space left on device
error: unable to create file packages/mechaml/mechaml.1.2.0/opam: No space left on device
error: unable to create file packages/mehari-eio/mehari-eio.0.4/opam: No space left on device
error: unable to create file packages/mel-bastet/mel-bastet.1.0.0/opam: No space left on device
error: unable to create file packages/mel/mel.0.2.0/opam: No space left on device
error: unable to create file packages/mel/mel.0.3.0/opam: No space left on device
error: unable to create file packages/melange/melange.5.0.1-51/opam: No space left on device
error: unable to create file packages/melange/melange.5.1.0-51/opam: No space left on device
error: unable to create file packages/mem_usage/mem_usage.0.1.2/opam: No space left on device
error: unable to create file packages/memgraph_kitty/memgraph_kitty.1.0/opam: No space left on device
error: unable to create file packages/memo/memo.0.0.1/opam: No space left on device
error: unable to create file packages/memtrace_viewer/memtrace_viewer.v0.14.0/opam: No space left on device
error: unable to create file packages/memtrace_viewer/memtrace_viewer.v0.17.0/opam: No space left on device
error: unable to create file packages/menhir/menhir.20160504/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.20210929/opam: No space left on device
error: unable to create file packages/menhir/menhir.20250903/opam: No space left on device
error: unable to create file packages/menhir/menhir.20250912/opam: No space left on device
error: unable to create file packages/menhirLib/menhirLib.20201201/opam: No space left on device
error: unable to create file packages/merge-fmt/merge-fmt.0.3/opam: No space left on device
error: unable to create file packages/merlin-lib/merlin-lib.4.19-414/opam: No space left on device
error: unable to create file packages/merlin/merlin.4.17.1-501/opam: No space left on device
error: unable to create file packages/mesh-easymesh/mesh-easymesh.0.9.2/opam: No space left on device
error: unable to create file packages/mesh-triangle/mesh-triangle.0.9.0/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/mesh/mesh.0.9.1/opam: No space left on device
error: unable to create file packages/metapp/metapp.0.2.0/opam: No space left on device
error: unable to create file packages/mew_vi/mew_vi.0.5.0/opam: No space left on device
error: unable to create file packages/mikmatch/mikmatch.1.0.9/opam: No space left on device
error: unable to create file packages/mimic/mimic.0.0.1/opam: No space left on device
error: unable to create file packages/mimic/mimic.0.0.6/opam: No space left on device
error: unable to create file packages/mindstorm/mindstorm.0.8.1/opam: No space left on device
error: unable to create file packages/minios-xen/minios-xen.0.9/opam: No space left on device
error: unable to create file packages/minisat/minisat.0.1/opam: No space left on device
error: unable to create file packages/mirage-block-ccm/mirage-block-ccm.2.0.0/opam: No space left on device
error: unable to create file packages/mirage-channel/mirage-channel.4.1.0/opam: No space left on device
error: unable to create file packages/mirage-console-lwt/mirage-console-lwt.2.4.3/opam: No space left on device
error: unable to create file packages/mirage-crypto-ec/mirage-crypto-ec.0.10.7/opam: No space left on device
error: unable to create file packages/mirage-crypto-rng-mirage/mirage-crypto-rng-mirage.1.2.0/opam: No space left on device
error: unable to create file packages/mirage-crypto/mirage-crypto.1.1.0/opam: No space left on device
error: unable to create file packages/mirage-crypto/mirage-crypto.1.2.0/opam: No space left on device
error: unable to create file packages/mirage-kv/mirage-kv.4.0.1/opam: No space left on device
error: unable to create file packages/mirage-kv/mirage-kv.6.0.1/opam: No space left on device
error: unable to create file packages/mirage-protocols-lwt/mirage-protocols-lwt.3.1.0/opam: No space left on device
error: unable to create file packages/mirage-protocols/mirage-protocols.3.1.0/opam: No space left on device
error: unable to create file packages/mirage-runtime/mirage-runtime.4.0.0~beta3/opam: No space left on device
error: unable to create file packages/mirage-runtime/mirage-runtime.4.10.0/opam: No space left on device
error: unable to create file packages/mirage-time-unix/mirage-time-unix.3.0.0/opam: No space left on device
error: unable to create file packages/mirage-time/mirage-time.1.3.0/opam: No space left on device
error: unable to create file packages/mirage/mirage.4.0.0/opam: No space left on device
error: unable to create file packages/mixture/mixture.1.0.0/opam: No space left on device
error: unable to create file packages/mkaudio/mkaudio.1.0.0/opam: No space left on device
error: unable to create file packages/mlbdd/mlbdd.0.5/opam: No space left on device
error: unable to create file packages/mlcuddidl/mlcuddidl.3.0.2/opam: No space left on device
error: unable to create file packages/mlgmpidl/mlgmpidl.1.2.12/opam: No space left on device
error: unable to create file packages/mlmpfr/mlmpfr.4.0.1/opam: No space left on device
error: unable to create file packages/mm/mm.0.8.3/opam: No space left on device
error: unable to create file packages/mm/mm.0.8.5/opam: No space left on device
error: unable to create file packages/molenc/molenc.0.0.1/opam: No space left on device
error: unable to create file packages/molenc/molenc.1.1.0/opam: No space left on device
error: unable to create file packages/molenc/molenc.16.0.0/opam: No space left on device
error: unable to create file packages/monads/monads.2.4.0/opam: No space left on device
error: unable to create file packages/monolith/monolith.20210525/opam: No space left on device
error: unable to create file packages/moonpool/moonpool.0.2/opam: No space left on device
error: unable to create file packages/moonpool/moonpool.0.4/opam: No space left on device
error: unable to create file packages/morbig/morbig.0.9/opam: No space left on device
error: unable to create file packages/mpg123/mpg123.0.3/opam: No space left on device
error: unable to create file packages/mrmime/mrmime.0.3.0/opam: No space left on device
error: unable to create file packages/mrmime/mrmime.0.4.0/opam: No space left on device
error: unable to create file packages/mrmime/mrmime.0.5.0/opam: No space left on device
error: unable to create file packages/msat-bin/msat-bin.0.8.3/opam: No space left on device
error: unable to create file packages/msat/msat.0.8.2/opam: No space left on device
error: unable to create file packages/msat/msat.0.8.3/opam: No space left on device
error: unable to create file packages/mssql/mssql.1.1/opam: No space left on device
error: unable to create file packages/mstruct/mstruct.1.4.0/opam: No space left on device
error: unable to create file packages/msys2-clang32/msys2-clang32.1/opam: No space left on device
error: unable to create file packages/mtime/mtime.2.1.0/opam: No space left on device
error: unable to create file packages/mula/mula.0.1.1/opam: No space left on device
error: unable to create file packages/multipart_form/multipart_form.0.1.0/opam: No space left on device
error: unable to create file packages/multipart_form/multipart_form.0.7.0/opam: No space left on device
error: unable to create file packages/mustache/mustache.2.3.0/opam: No space left on device
error: unable to create file packages/mustache/mustache.3.1.0/opam: No space left on device
error: unable to create file packages/mybuild/mybuild.2/opam: No space left on device
error: unable to create file packages/mysql_protocol/mysql_protocol.3.0.1/opam: No space left on device
error: unable to create file packages/mysql_protocol/mysql_protocol.3.0.2/opam: No space left on device
error: unable to create file packages/n_ary/n_ary.v0.16.0/opam: No space left on device
error: unable to create file packages/nanoid/nanoid.1.0.0/opam: No space left on device
error: unable to create file packages/nanosvg/nanosvg.0.2/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/netlink/netlink.0.2.1/opam: No space left on device
error: unable to create file packages/netlink/netlink.0.3.4/opam: No space left on device
error: unable to create file packages/neural_nets_lib/neural_nets_lib.0.6.0/opam: No space left on device
error: unable to create file packages/neural_nets_lib/neural_nets_lib.0.6.1/opam: No space left on device
error: unable to create file packages/nlp/nlp.0.0.1/opam: No space left on device
error: unable to create file packages/nocrypto/nocrypto.0.5.4-1/opam: No space left on device
error: unable to create file packages/node_of_ocaml/node_of_ocaml.1.0.0/opam: No space left on device
error: unable to create file packages/noise/noise.0.1.0/opam: No space left on device
error: unable to create file packages/nosetup/nosetup.0.8.1/opam: No space left on device
error: unable to create file packages/note/note.0.0.3/opam: No space left on device
error: unable to create file packages/notty_async/notty_async.v0.12.0/opam: No space left on device
error: unable to create file packages/num/num.1.5-1/opam: No space left on device
error: unable to create file packages/num/num.1.5/opam: No space left on device
error: unable to create file packages/nuscr/nuscr.2.1.1/opam: No space left on device
error: unable to create file packages/oasis/oasis.0.4.7/opam: No space left on device
error: unable to create file packages/obandit/obandit.0.1.41/opam: No space left on device
error: unable to create file packages/obelisk/obelisk.0.8.0/opam: No space left on device
error: unable to create file packages/obuilder-spec/obuilder-spec.0.1/opam: No space left on device
error: unable to create file packages/obuilder/obuilder.0.5/opam: No space left on device
error: unable to create file packages/obuilder/obuilder.0.6.0/opam: No space left on device
error: unable to create file packages/obytelib/obytelib.1.2/opam: No space left on device
error: unable to create file packages/obytelib/obytelib.1.3/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.3.08.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.3.11.2/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.02.2/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.02.3/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.07.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.11.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.5.3.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.5.4.0~alpha1/opam: No space left on device
error: unable to create file packages/ocaml-beta/ocaml-beta.disabled/opam: No space left on device
error: unable to create file packages/ocaml-buddy/ocaml-buddy.0.6.1/opam: No space left on device
error: unable to create file packages/ocaml-config/ocaml-config.0/opam: No space left on device
error: unable to create file packages/ocaml-expat/ocaml-expat.1.3.0/opam: No space left on device
error: unable to create file packages/ocaml-index/ocaml-index.5.4.2~5.4preview/opam: No space left on device
error: unable to create file packages/ocaml-lsp-server/ocaml-lsp-server.1.22.1~5.4preview/opam: No space left on device
error: unable to create file packages/ocaml-makefile/ocaml-makefile.6.38.0/opam: No space left on device
error: unable to create file packages/ocaml-manual/ocaml-manual.5.2.0/opam: No space left on device
error: unable to create file packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.3.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-option-spacetime/ocaml-option-spacetime.1/opam: No space left on device
error: unable to create file packages/ocaml-option-tsan/ocaml-option-tsan.1/opam: No space left on device
error: unable to create file packages/ocaml-print-intf/ocaml-print-intf.1.1.0/opam: No space left on device
error: unable to create file packages/ocaml-protoc-plugin/ocaml-protoc-plugin.4.0.0/opam: No space left on device
error: unable to create file packages/ocaml-protoc-plugin/ocaml-protoc-plugin.4.2.0/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.4.0/opam: No space left on device
error: unable to create file packages/ocaml-src/ocaml-src.4.03.0/opam: No space left on device
error: unable to create file packages/ocaml-src/ocaml-src.5.3.0/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.4.01.0/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.4.02.0/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.4.11.1/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.4.12.0/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.4.12.1/opam: No space left on device
error: unable to create file packages/ocaml-unikraft-default-arm64/ocaml-unikraft-default-arm64.1.0.0/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.3.09.1+metaocaml/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.00.0+debug-runtime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.01.0+lsb/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.02.1+musl+static/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.03.0+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.04.0+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.04.0+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.04.1+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.05.0+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.0+32bit/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.1+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.1+no-flat-float-array/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.1+no-naked-pointers+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.2+trunk+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.0+32bit/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.0+musl+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.1+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.2+trunk+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.1+default-unsafe-string/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.1+spacetime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.2+trunk+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.0+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.0+default-unsafe-string/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.0+flambda+no-flat-float-array/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.1+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.2+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.2+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.11.2+no-flat-float-array/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.12.1+options/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.13.0+options/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.5.0.0+options/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.5.4.0~beta2+options/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.3.08.0/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.4.07.1/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.4.08.0/opam: No space left on device
error: unable to create file packages/ocaml_intrinsics/ocaml_intrinsics.v0.16.2/opam: No space left on device
error: unable to create file packages/ocaml_intrinsics/ocaml_intrinsics.v0.17.0/opam: No space left on device
error: unable to create file packages/ocamlbrowser/ocamlbrowser.4.08.0/opam: No space left on device
error: unable to create file packages/ocamlbrowser/ocamlbrowser.4.14.0/opam: No space left on device
error: unable to create file packages/ocamlbrowser/ocamlbrowser.5.0.0/opam: No space left on device
error: unable to create file packages/ocamlbrowser/ocamlbrowser.5.2.0/opam: No space left on device
error: unable to create file packages/ocamlbrowser/ocamlbrowser.5.3.0/opam: No space left on device
error: unable to create file packages/ocamlfind-secondary/ocamlfind-secondary.1.8.1/opam: No space left on device
error: unable to create file packages/ocamlfind-secondary/ocamlfind-secondary.1.9.1/opam: No space left on device
error: unable to create file packages/ocamlfind/ocamlfind.1.9.2/opam: No space left on device
error: unable to create file packages/ocamlformat-rpc-lib/ocamlformat-rpc-lib.0.20.0/opam: No space left on device
error: unable to create file packages/ocamlformat-rpc-lib/ocamlformat-rpc-lib.0.27.0/opam: No space left on device
error: unable to create file packages/ocamlformat-rpc/ocamlformat-rpc.removed/opam: No space left on device
error: unable to create file packages/ocamlformat/ocamlformat.0.20.1/opam: No space left on device
error: unable to create file packages/ocamlfuse/ocamlfuse.2.7.1-cvs13/opam: No space left on device
error: unable to create file packages/ocamline/ocamline.1.0/opam: No space left on device
error: unable to create file packages/ocamlregextkit/ocamlregextkit.0.1.1/opam: No space left on device
error: unable to create file packages/ocamlyices/ocamlyices.0.7.1/opam: No space left on device
error: unable to create file packages/ocephes/ocephes.0.8.2/opam: No space left on device
error: unable to create file packages/ocf/ocf.0.6.0/opam: No space left on device
error: unable to create file packages/ocp-browser/ocp-browser.1.0.0/opam: No space left on device
error: unable to create file packages/ocp-browser/ocp-browser.1.1.7/opam: No space left on device
error: unable to create file packages/ocp-browser/ocp-browser.1.3.3/opam: No space left on device
error: unable to create file packages/ocp-index-top/ocp-index-top.0.5.0/opam: No space left on device
error: unable to create file packages/ocp-index/ocp-index.1.3.3/opam: No space left on device
error: unable to create file packages/ocsfml/ocsfml.2.0/opam: No space left on device
error: unable to create file packages/ocsigen-start/ocsigen-start.2.12.0/opam: No space left on device
error: unable to create file packages/ocsigen-start/ocsigen-start.2.3.0/opam: No space left on device
error: unable to create file packages/ocsigen-start/ocsigen-start.2.4.0/opam: No space left on device
error: unable to create file packages/ocsigen-start/ocsigen-start.2.7.0/opam: No space left on device
error: unable to create file packages/ocsigen-start/ocsigen-start.5.0.0/opam: No space left on device
error: unable to create file packages/ocsigen-start/ocsigen-start.6.0.1/opam: No space left on device
error: unable to create file packages/ocsigen-toolkit/ocsigen-toolkit.2.2.1/opam: No space left on device
error: unable to create file packages/ocsigen-toolkit/ocsigen-toolkit.4.1.0/opam: No space left on device
error: unable to create file packages/ocsigenserver/ocsigenserver.2.16.1/opam: No space left on device
error: unable to create file packages/ocsigenserver/ocsigenserver.5.1.0/opam: No space left on device
error: unable to create file packages/ocsipersist-pgsql/ocsipersist-pgsql.1.0.1/opam: No space left on device
error: unable to create file packages/octez-accuser-Proxford/octez-accuser-Proxford.18.1/opam: No space left on device
error: unable to create file packages/octez-accuser-Proxford/octez-accuser-Proxford.19.0/opam: No space left on device
error: unable to create file packages/octez-accuser-PtNairob/octez-accuser-PtNairob.19.0/opam: No space left on device
error: unable to create file packages/octez-accuser-PtNairob/octez-accuser-PtNairob.19.1/opam: No space left on device
error: unable to create file packages/octez-accuser-PtParisB/octez-accuser-PtParisB.20.1/opam: No space left on device
error: unable to create file packages/octez-baker-PtMumbai/octez-baker-PtMumbai.17.3/opam: No space left on device
error: unable to create file packages/octez-baker-PtNairob/octez-baker-PtNairob.17.3/opam: No space left on device
error: unable to create file packages/octez-dac-node/octez-dac-node.18.0/opam: No space left on device
error: unable to create file packages/octez-injector/octez-injector.18.0/opam: No space left on device
error: unable to create file packages/octez-libs/octez-libs.18.1/opam: No space left on device
error: unable to create file packages/octez-protocol-000-Ps9mPmXa-libs/octez-protocol-000-Ps9mPmXa-libs.19.0/opam: No space left on device
error: unable to create file packages/octez-protocol-000-Ps9mPmXa-libs/octez-protocol-000-Ps9mPmXa-libs.19.1/opam: No space left on device
error: unable to create file packages/octez-protocol-009-PsFLoren-libs/octez-protocol-009-PsFLoren-libs.18.1/opam: No space left on device
error: unable to create file packages/octez-protocol-011-PtHangz2-libs/octez-protocol-011-PtHangz2-libs.19.1/opam: No space left on device
error: unable to create file packages/octez-protocol-017-PtNairob-libs/octez-protocol-017-PtNairob-libs.18.0/opam: No space left on device
error: unable to create file packages/octez-protocol-alpha-libs/octez-protocol-alpha-libs.19.0/opam: No space left on device
error: unable to create file packages/octez-protocol-alpha-libs/octez-protocol-alpha-libs.19.1/opam: No space left on device
error: unable to create file packages/octez-shell-libs/octez-shell-libs.18.1/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-client-Proxford/octez-smart-rollup-client-Proxford.18.0/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-client-Proxford/octez-smart-rollup-client-Proxford.18.1/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-client-PtMumbai/octez-smart-rollup-client-PtMumbai.16.0/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-node/octez-smart-rollup-node.19.1/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-node/octez-smart-rollup-node.20.1/opam: No space left on device
error: unable to create file packages/odds/odds.1.0/opam: No space left on device
error: unable to create file packages/odnnr/odnnr.2.0.0/opam: No space left on device
fatal: cannot create directory at 'packages/odoc-driver/odoc-driver.3.1.0': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:38.01: Job failed: Failed: Build failed