Build:
2026-01-27 19:21.48: New job: test tezos-client-016-PtMumbai.16.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 tezos-client-016-PtMumbai.16.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" != 'tezos-client-016-PtMumbai.16.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 tezos-client-016-PtMumbai.16.1) || true
RUN opam reinstall --with-test --verbose tezos-client-016-PtMumbai.16.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" != 'tezos-client-016-PtMumbai.16.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.48: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.0.0-tezos-client-016-PtMumbai.16.1-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.48: 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 tezos-client-016-PtMumbai.16.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\" != 'tezos-client-016-PtMumbai.16.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 tezos-client-016-PtMumbai.16.1) || true"))
(run (shell "opam reinstall --with-test --verbose tezos-client-016-PtMumbai.16.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\" != 'tezos-client-016-PtMumbai.16.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.48: Waiting for resource in pool OCluster
2026-01-27 19:36.37: Waiting for worker…
2026-01-27 19:37.22: 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/FPauth-strategies/FPauth-strategies.1.0.0/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.3.4.1/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.3.4.2/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_Logs/MlFront_Logs.2.4.2.30/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.0/opam: No space left on device
error: unable to create file packages/OCanren/OCanren.0.3.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.1.1/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.3.0.0/opam: No space left on device
error: unable to create file packages/absolute/absolute.0.1/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/accessor_core/accessor_core.v0.14.1/opam: No space left on device
error: unable to create file packages/acpc/acpc.1.2.3/opam: No space left on device
error: unable to create file packages/acpc/acpc.2.0.0/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.3/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.3.1/opam: No space left on device
error: unable to create file packages/alcotest-async/alcotest-async.1.7.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.1.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.1.1/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.4.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.1.30/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.3.0/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.3.1/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.3.2/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.0.0/opam: No space left on device
error: unable to create file packages/ancient/ancient.0.10.0/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.12.1/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.8.1/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.8.0/opam: No space left on device
error: unable to create file packages/ansifmt/ansifmt.0.2.0/opam: No space left on device
error: unable to create file packages/antic/antic.0.3.2/opam: No space left on device
error: unable to create file packages/api-watch/api-watch.0.1.1/opam: No space left on device
error: unable to create file packages/apron/apron.v0.9.12/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/arrayjit/arrayjit.0.3.3/opam: No space left on device
error: unable to create file packages/asl/asl.0.9/opam: No space left on device
error: unable to create file packages/aslref/aslref.1.0~draft.2/opam: No space left on device
error: unable to create file packages/astring/astring.0.8.3/opam: No space left on device
error: unable to create file packages/async-uri/async-uri.0.4.0/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/async.v0.14.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_js/async_js.v0.17.0/opam: No space left on device
error: unable to create file packages/async_kernel/async_kernel.v0.12.0/opam: No space left on device
error: unable to create file packages/async_kernel/async_kernel.v0.13.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.16.0/opam: No space left on device
error: unable to create file packages/async_ssl/async_ssl.v0.17.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.12.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.10.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.11.0/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.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.11.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.8.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.3.0.1/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.12.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.13.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/atdpy/atdpy.2.16.0/opam: No space left on device
error: unable to create file packages/atds/atds.2.4.1/opam: No space left on device
error: unable to create file packages/atdts/atdts.2.15.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/aws-async/aws-async.1.2/opam: No space left on device
error: unable to create file packages/aws-lwt/aws-lwt.1.2/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.2.0/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.3.0/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.4.0/opam: No space left on device
error: unable to create file packages/babel/babel.v0.16.0/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.2.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-api/bap-api.2.1.0/opam: No space left on device
error: unable to create file packages/bap-api/bap-api.2.2.0/opam: No space left on device
error: unable to create file packages/bap-bundle/bap-bundle.2.4.0/opam: No space left on device
error: unable to create file packages/bap-byteweight-frontend/bap-byteweight-frontend.2.2.0/opam: No space left on device
error: unable to create file packages/bap-byteweight-frontend/bap-byteweight-frontend.2.3.0/opam: No space left on device
error: unable to create file packages/bap-callsites/bap-callsites.2.5.0/opam: No space left on device
error: unable to create file packages/bap-cxxfilt/bap-cxxfilt.2.3.0/opam: No space left on device
error: unable to create file packages/bap-dump-symbols/bap-dump-symbols.2.1.0/opam: No space left on device
error: unable to create file packages/bap-extra/bap-extra.2.4.0/opam: No space left on device
error: unable to create file packages/bap-frames/bap-frames.2.1.0/opam: No space left on device
error: unable to create file packages/bap-frontc/bap-frontc.2.1.0/opam: No space left on device
error: unable to create file packages/bap-future/bap-future.2.1.0/opam: No space left on device
error: unable to create file packages/bap-future/bap-future.2.2.0/opam: No space left on device
error: unable to create file packages/bap-knowledge/bap-knowledge.2.1.0/opam: No space left on device
error: unable to create file packages/bap-mc/bap-mc.2.5.0/opam: No space left on device
error: unable to create file packages/bap-optimization/bap-optimization.2.1.0/opam: No space left on device
error: unable to create file packages/bap-phoenix/bap-phoenix.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-limit/bap-primus-limit.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-taint/bap-primus-taint.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-taint/bap-primus-taint.2.5.0/opam: No space left on device
error: unable to create file packages/bap-report/bap-report.2.2.0/opam: No space left on device
error: unable to create file packages/bap-report/bap-report.2.5.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.2.0/opam: No space left on device
error: unable to create file packages/bap-std/bap-std.2.2.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-trivial-condition-form/bap-trivial-condition-form.2.1.0/opam: No space left on device
error: unable to create file packages/bap-trivial-condition-form/bap-trivial-condition-form.2.2.0/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-metaocaml-ocamlfind/base-metaocaml-ocamlfind.base/opam: No space left on device
error: unable to create file packages/base-native-int63/base-native-int63.0.1/opam: No space left on device
error: unable to create file packages/base-ocamlbuild/base-ocamlbuild.base/opam: No space left on device
error: unable to create file packages/base/base.v0.14.3/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.8.0/opam: No space left on device
error: unable to create file packages/bechamel-js/bechamel-js.0.2.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.7/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.15.0/opam: No space left on device
error: unable to create file packages/bimage-display/bimage-display.0.3.0/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.1.2/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.4/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.2/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.5.0.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.10.1/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.2.1/opam: No space left on device
error: unable to create file packages/bisect/bisect.1.3.1/opam: No space left on device
error: unable to create file packages/bisect_ppx-ocamlbuild/bisect_ppx-ocamlbuild.1.0.0/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/bistro/bistro.0.6.0/opam: No space left on device
error: unable to create file packages/bitstring/bitstring.5.0.0/opam: No space left on device
error: unable to create file packages/bitvec-binprot/bitvec-binprot.2.1.0/opam: No space left on device
error: unable to create file packages/bitvec-binprot/bitvec-binprot.2.2.0/opam: No space left on device
error: unable to create file packages/bitvec-binprot/bitvec-binprot.2.3.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.4.0/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/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.1/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-legacy/bls12-381-legacy.0.4.4/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.2.0.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.18.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/bls12-381/bls12-381.6.0.0/opam: No space left on device
error: unable to create file packages/bogue/bogue.20231209/opam: No space left on device
error: unable to create file packages/bogue/bogue.20241212/opam: No space left on device
error: unable to create file packages/bos/bos.0.2.1/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/brotli/brotli.1.2.0/opam: No space left on device
error: unable to create file packages/brotli/brotli.1.2.1/opam: No space left on device
error: unable to create file packages/bytearray/bytearray.1.0.1/opam: No space left on device
error: unable to create file packages/bytearray/bytearray.1.0.3/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.104/opam: No space left on device
error: unable to create file packages/cairo2-pango/cairo2-pango.0.6/opam: No space left on device
error: unable to create file packages/caisar-ovo/caisar-ovo.0.1/opam: No space left on device
error: unable to create file packages/calculon/calculon.0.4/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/camelsnakekebab/camelsnakekebab.0.4/opam: No space left on device
error: unable to create file packages/camlbz2/camlbz2.0.7.0/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/camlkit-base/camlkit-base.0.2.1/opam: No space left on device
error: unable to create file packages/camlmix/camlmix.1.3.0/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+4/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+6/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+7/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+system/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.03.00/opam: No space left on device
error: unable to create file packages/camltc/camltc.0.9.7.0/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.4.0/opam: No space left on device
error: unable to create file packages/capnp-rpc-net/capnp-rpc-net.2.1/opam: No space left on device
error: unable to create file packages/capnp/capnp.3.4.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.10.0/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.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.1.0/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.2.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.0.9.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.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-dynload/caqti-dynload.1.2.0/opam: No space left on device
error: unable to create file packages/caqti-mirage/caqti-mirage.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-mirage/caqti-mirage.2.1.2/opam: No space left on device
error: unable to create file packages/caqti/caqti.0.10.2/opam: No space left on device
error: unable to create file packages/carton-git-lwt/carton-git-lwt.1.2.0/opam: No space left on device
error: unable to create file packages/carton-git/carton-git.0.2.0/opam: No space left on device
error: unable to create file packages/catala-format/catala-format.0.3.0/opam: No space left on device
error: unable to create file packages/catala/catala.0.3.0/opam: No space left on device
error: unable to create file packages/catapult-sqlite/catapult-sqlite.0.1.1/opam: No space left on device
error: unable to create file packages/cbor/cbor.0.4/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/cdrom/cdrom.0.9.1/opam: No space left on device
error: unable to create file packages/cfml/cfml.20220102/opam: No space left on device
error: unable to create file packages/cfml/cfml.20220112/opam: No space left on device
error: unable to create file packages/chalk/chalk.1.0/opam: No space left on device
error: unable to create file packages/chamelon-unix/chamelon-unix.0.0.7/opam: No space left on device
error: unable to create file packages/chamo/chamo.4.0/opam: No space left on device
error: unable to create file packages/charInfo_width/charInfo_width.0.1.0/opam: No space left on device
error: unable to create file packages/charInfo_width/charInfo_width.2.0.0/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.1.5.0/opam: No space left on device
error: unable to create file packages/charrua-server/charrua-server.1.5.0/opam: No space left on device
error: unable to create file packages/chase/chase.1.5/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.3.4/opam: No space left on device
error: unable to create file packages/choice/choice.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/chrome-trace/chrome-trace.3.19.1/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.20.1/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.15.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.1.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.8.0/opam: No space left on device
error: unable to create file packages/clap/clap.0.2.0/opam: No space left on device
error: unable to create file packages/clap/clap.0.3.0/opam: No space left on device
error: unable to create file packages/clarity-lang/clarity-lang.0.1.0/opam: No space left on device
error: unable to create file packages/clim/clim.0.3.0/opam: No space left on device
error: unable to create file packages/cmdlang/cmdlang.0.0.10/opam: No space left on device
error: unable to create file packages/cmdtui-lambda-term/cmdtui-lambda-term.0.4.3/opam: No space left on device
error: unable to create file packages/cmdtui/cmdtui.0.3.0/opam: No space left on device
error: unable to create file packages/codept-lib/codept-lib.0.12.1/opam: No space left on device
error: unable to create file packages/codicons/codicons.v0.17.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-bench/cohttp-bench.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/cohttp-lwt.5.1.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/cohttp-mirage/cohttp-mirage.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.1.1.1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.2.4.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.2.1/opam: No space left on device
error: unable to create file packages/colibri2/colibri2.0.3.3/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.11.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.12.0/opam: No space left on device
error: unable to create file packages/color-brewery/color-brewery.0.1/opam: No space left on device
error: unable to create file packages/combinat/combinat.3.0/opam: No space left on device
error: unable to create file packages/compsort/compsort.0.9.2/opam: No space left on device
error: unable to create file packages/conan-cli/conan-cli.0.0.2/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-lwt-unix/conduit-lwt-unix.8.0.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.7.0.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.7.1.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.2.3.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.6.1.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.6.2.2/opam: No space left on device
error: unable to create file packages/conduit/conduit.7.1.0/opam: No space left on device
error: unable to create file packages/conex/conex.0.9.2/opam: No space left on device
error: unable to create file packages/conf-alsa/conf-alsa.1/opam: No space left on device
error: unable to create file packages/conf-autoconf/conf-autoconf.0.1/opam: No space left on device
error: unable to create file packages/conf-bap-llvm/conf-bap-llvm.1.3/opam: No space left on device
error: unable to create file packages/conf-cairo/conf-cairo.1/opam: No space left on device
error: unable to create file packages/conf-cosmopolitan/conf-cosmopolitan.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-expat/conf-expat.1/opam: No space left on device
error: unable to create file packages/conf-flint/conf-flint.3.0/opam: No space left on device
error: unable to create file packages/conf-freetype/conf-freetype.1/opam: No space left on device
error: unable to create file packages/conf-frei0r/conf-frei0r.1/opam: No space left on device
error: unable to create file packages/conf-ghostscript/conf-ghostscript.1/opam: No space left on device
error: unable to create file packages/conf-gmp/conf-gmp.5/opam: No space left on device
error: unable to create file packages/conf-guile/conf-guile.1/opam: No space left on device
error: unable to create file packages/conf-haveged/conf-haveged.1.0.0/opam: No space left on device
error: unable to create file packages/conf-hg/conf-hg.1.0/opam: No space left on device
error: unable to create file packages/conf-hidapi/conf-hidapi.0/opam: No space left on device
error: unable to create file packages/conf-libev/conf-libev.4-13/opam: No space left on device
error: unable to create file packages/conf-liblo/conf-liblo.1/opam: No space left on device
error: unable to create file packages/conf-libmd/conf-libmd.1.0.0/opam: No space left on device
error: unable to create file packages/conf-libmosquitto/conf-libmosquitto.1/opam: No space left on device
error: unable to create file packages/conf-libnl3/conf-libnl3.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-mingw-w64-glade-i686/conf-mingw-w64-glade-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-glade-x86_64/conf-mingw-w64-glade-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gmp-i686/conf-mingw-w64-gmp-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-openssl-i686/conf-mingw-w64-openssl-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sqlite3-i686/conf-mingw-w64-sqlite3-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-mysql/conf-mysql.1/opam: No space left on device
error: unable to create file packages/conf-numa/conf-numa.0.1.0/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-openssl/conf-openssl.1/opam: No space left on device
error: unable to create file packages/conf-pic-switch/conf-pic-switch.0.1/opam: No space left on device
error: unable to create file packages/conf-protoc/conf-protoc.0.9/opam: No space left on device
error: unable to create file packages/conf-pulseaudio/conf-pulseaudio.1/opam: No space left on device
error: unable to create file packages/conf-qemu-img/conf-qemu-img.1/opam: No space left on device
error: unable to create file packages/conf-ruby/conf-ruby.1.0.0/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-secp256k1/conf-secp256k1.1.0.0/opam: No space left on device
error: unable to create file packages/conf-secp256k1/conf-secp256k1.2/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-sysinfo/conf-sysinfo.1/opam: No space left on device
error: unable to create file packages/conf-zstd/conf-zstd.1.3.8/opam: No space left on device
error: unable to create file packages/configuration/configuration.0.4.1/opam: No space left on device
error: unable to create file packages/configurator/configurator.v0.11.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.16/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.17/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.10/opam: No space left on device
error: unable to create file packages/containers/containers.3.5.1/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/coq-lsp/coq-lsp.0.2.0+8.17/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.0+8.18/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.18.0/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.1+8.17/opam: No space left on device
error: unable to create file packages/coq/coq.8.11.0/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.15.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.7.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.13.2/opam: No space left on device
error: unable to create file packages/cordova-plugin-media-capture/cordova-plugin-media-capture.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-media/cordova-plugin-media.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-network-information/cordova-plugin-network-information.1.0/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_kernel/core_kernel.v0.13.1/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.14.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/cow/cow.2.5.0/opam: No space left on device
error: unable to create file packages/cowabloga/cowabloga.0.3.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.10.2.1/opam: No space left on device
error: unable to create file packages/cpm/cpm.11.0.0/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.9/opam: No space left on device
error: unable to create file packages/craml/craml.1.0.0/opam: No space left on device
error: unable to create file packages/cry/cry.0.6.6/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.08pl1/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.3.3.0/opam: No space left on device
error: unable to create file packages/csv/csv.1.4.2/opam: No space left on device
error: unable to create file packages/csv/csv.1.4/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.21.1/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.11.4/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.9.2/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.9.5/opam: No space left on device
error: unable to create file packages/cudf/cudf.0.7/opam: No space left on device
error: unable to create file packages/cudf/cudf.0.8/opam: No space left on device
error: unable to create file packages/current/current.0.6.2/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.1/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.2.1/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.4/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/decoders-ezjsonm/decoders-ezjsonm.0.1.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.1.2/opam: No space left on device
error: unable to create file packages/delimcc/delimcc.2017.03.02/opam: No space left on device
error: unable to create file packages/delimcc/delimcc.2018.03.16/opam: No space left on device
error: unable to create file packages/delimcc_of_fxhandler/delimcc_of_fxhandler.0.1/opam: No space left on device
error: unable to create file packages/delimited_parsing/delimited_parsing.v0.12.0/opam: No space left on device
error: unable to create file packages/depext/depext.0.4/opam: No space left on device
error: unable to create file packages/devkit/devkit.1.20210120/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/diffast-langs-cpp-parsing.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-spec/diffast-langs-fortran-spec.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.3.6/opam: No space left on device
error: unable to create file packages/diffast/diffast.0.1.1/opam: No space left on device
error: unable to create file packages/diffast/diffast.0.2/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/directories/directories.0.1/opam: No space left on device
error: unable to create file packages/dirsp-exchange-kbb2017/dirsp-exchange-kbb2017.0.1.0/opam: No space left on device
error: unable to create file packages/dkim-mirage/dkim-mirage.0.6.0/opam: No space left on device
error: unable to create file packages/dkml-c-probe/dkml-c-probe.3.0.0/opam: No space left on device
error: unable to create file packages/dkml-component-staging-opam32/dkml-component-staging-opam32.2.2.0~dkml20220801/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.5.1/opam: No space left on device
error: unable to create file packages/dkml-runtime-common-native/dkml-runtime-common-native.2.0.3/opam: No space left on device
error: unable to create file packages/dkml-runtime-common/dkml-runtime-common.1.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-cli/dns-cli.10.2.0/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.10.2.1/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.10.2.2/opam: No space left on device
error: unable to create file packages/dns-client-mirage/dns-client-mirage.10.2.0/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.5.0.1/opam: No space left on device
error: unable to create file packages/dns-mirage/dns-mirage.10.2.1/opam: No space left on device
error: unable to create file packages/dns-server/dns-server.10.1.0/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-server/dns-server.10.2.1/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.10.2.2/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.10.2.3/opam: No space left on device
error: unable to create file packages/docker_hub/docker_hub.0.1.0/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.3/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.3.1/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_camltc/dokeysto_camltc.3.0.0/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_loop/dolmen_loop.0.10/opam: No space left on device
error: unable to create file packages/dolmen_loop/dolmen_loop.0.5/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/dolog/dolog.4.0.0/opam: No space left on device
error: unable to create file packages/dolog/dolog.6.0.0/opam: No space left on device
error: unable to create file packages/domain-name/domain-name.0.4.1/opam: No space left on device
error: unable to create file packages/domain-name/domain-name.0.5.0/opam: No space left on device
error: unable to create file packages/dose3/dose3.5.0.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.3-502/opam: No space left on device
error: unable to create file packages/dotenv/dotenv.0.0.1/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.0.0.3/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.2.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.3.1/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha3/opam: No space left on device
error: unable to create file packages/dryunit/dryunit.0.4.0/opam: No space left on device
error: unable to create file packages/dtoa/dtoa.0.1/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.4.4/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.4.6/opam: No space left on device
error: unable to create file packages/dump_ocamlformat/dump_ocamlformat.0.2.2/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.19.0/opam: No space left on device
error: unable to create file packages/dune-rpc/dune-rpc.3.17.2/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.2.7.1/opam: No space left on device
error: unable to create file packages/dune/dune.3.12.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/dune/dune.3.6.2/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.1.1/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.19.1/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.4/opam: No space left on device
error: unable to create file packages/ecaml/ecaml.v0.12.0/opam: No space left on device
error: unable to create file packages/echo/echo.0.0.4/opam: No space left on device
error: unable to create file packages/efl/efl.1.17.0/opam: No space left on device
error: unable to create file packages/efl/efl.1.20.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.0.6/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.3.2/opam: No space left on device
error: unable to create file packages/eio-ssl/eio-ssl.0.2.0/opam: No space left on device
error: unable to create file packages/eio/eio.0.9/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.1.1/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.10/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.1.0/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.0.14/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.10.4.1/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.0.1/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.5/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/embedded_ocaml_templates/embedded_ocaml_templates.0.8/opam: No space left on device
error: unable to create file packages/emile/emile.0.2/opam: No space left on device
error: unable to create file packages/emoji/emoji.2.0.0/opam: No space left on device
error: unable to create file packages/enumerators/enumerators.0.1.1/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.7/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.9/opam: No space left on device
error: unable to create file packages/esa/esa.0.1.1/opam: No space left on device
error: unable to create file packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.12.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.4.4/opam: No space left on device
error: unable to create file packages/ez_hash/ez_hash.0.5.3/opam: No space left on device
error: unable to create file packages/ezgzip/ezgzip.0.2.1/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.1/opam: No space left on device
error: unable to create file packages/ezsqlite/ezsqlite.0.4.2/opam: No space left on device
error: unable to create file packages/ezsqlite/ezsqlite.0.4/opam: No space left on device
error: unable to create file packages/fadbadml/fadbadml.0.1.2/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.3.0/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.3.0/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/farmhash/farmhash.0.4/opam: No space left on device
error: unable to create file packages/fasmifra/fasmifra.1.0.0/opam: No space left on device
error: unable to create file packages/fasmifra/fasmifra.2.1.0/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/ff-bench/ff-bench.0.6.2/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/ffmpeg-av/ffmpeg-av.1.1.5/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.6/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-avcodec/ffmpeg-avcodec.1.1.0/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-avfilter/ffmpeg-avfilter.1.0.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.4/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.5/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.6/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.1.8/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.1.9/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.2.0/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.2.2/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.6.1/opam: No space left on device
error: unable to create file packages/fieldslib/fieldslib.113.24.00/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.5.3/opam: No space left on device
error: unable to create file packages/fit/fit.1.1.0/opam: No space left on device
error: unable to create file packages/fix/fix.20250919/opam: No space left on device
error: unable to create file packages/flint/flint.0.3.1/opam: No space left on device
error: unable to create file packages/flint/flint.0.3.2/opam: No space left on device
error: unable to create file packages/flux/flux.0.0.1~beta2/opam: No space left on device
error: unable to create file packages/fluxt/fluxt.0.0.1~beta1/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.11/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_js/fmlib_js.0.5.1/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.11/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/fpath-sexp0/fpath-sexp0.0.4.0/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.1/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.9/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.4.1/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.4/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.5.1/opam: No space left on device
error: unable to create file packages/frontmatter_extractor/frontmatter_extractor.0.1/opam: No space left on device
error: unable to create file packages/fswatch/fswatch.11-0.1.3/opam: No space left on device
error: unable to create file packages/functoria/functoria.4.0.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/gappa/gappa.1.6.0/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.0.7/opam: No space left on device
error: unable to create file packages/gendarme-toml/gendarme-toml.0.4.0/opam: No space left on device
error: unable to create file packages/genspio/genspio.0.0.2/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/geoml/geoml.0.1/opam: No space left on device
error: unable to create file packages/get_line/get_line.3.0.0/opam: No space left on device
error: unable to create file packages/get_line/get_line.4.0.0/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-split/git-split.1.0.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.4.4.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.4.4.1/opam: No space left on device
error: unable to create file packages/github/github.4.0.0/opam: No space left on device
error: unable to create file packages/github/github.4.1.0/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.6/opam: No space left on device
error: unable to create file packages/globlon/globlon.1.0/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.5.1/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.5.2/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/goblint-cil/goblint-cil.2.0.7/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.5.0/opam: No space left on device
error: unable to create file packages/gperftools/gperftools.0.5/opam: No space left on device
error: unable to create file packages/graphql/graphql.0.9.0/opam: No space left on device
error: unable to create file packages/graphql_jsoo_client/graphql_jsoo_client.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/grenier/grenier.0.11/opam: No space left on device
error: unable to create file packages/grid/grid.0.2.0/opam: No space left on device
error: unable to create file packages/grpc-async/grpc-async.0.2.0/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.21.0/opam: No space left on device
error: unable to create file packages/h1/h1.1.1.0/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-mirage/h2-mirage.0.11.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.12.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.1.1/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.2.2/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/handlebars-ml/handlebars-ml.0.2.0/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/happy-eyeballs.2.0.1/opam: No space left on device
error: unable to create file packages/haxe/haxe.4.0.3/opam: No space left on device
error: unable to create file packages/haxe/haxe.4.0.5/opam: No space left on device
error: unable to create file packages/haxe/haxe.4.1.1/opam: No space left on device
error: unable to create file packages/hdfs/hdfs.0.4/opam: No space left on device
error: unable to create file packages/hdr_histogram/hdr_histogram.0.0.3/opam: No space left on device
error: unable to create file packages/headache/headache.1.05/opam: No space left on device
error: unable to create file packages/headache/headache.1.07/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.44/opam: No space left on device
error: unable to create file packages/hevea/hevea.2.28/opam: No space left on device
error: unable to create file packages/hidapi-lwt/hidapi-lwt.1.2.1/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.1/opam: No space left on device
error: unable to create file packages/hilite/hilite.0.4.0/opam: No space left on device
error: unable to create file packages/hl_yaml/hl_yaml.1.0.0/opam: No space left on device
error: unable to create file packages/hlarp/hlarp.0.0.1/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/host-arch-riscv64/host-arch-riscv64.1/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.13.0/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.2.0/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/http-multipart-formdata/http-multipart-formdata.3.1.0/opam: No space left on device
error: unable to create file packages/httpaf-async/httpaf-async.0.1.0/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/httpun-ws/httpun-ws.0.1.0/opam: No space left on device
error: unable to create file packages/httpun/httpun.0.1.0/opam: No space left on device
error: unable to create file packages/hugin/hugin.1.0.0~alpha0/opam: No space left on device
error: unable to create file packages/hvsock/hvsock.1.0.2/opam: No space left on device
error: unable to create file packages/hxd/hxd.0.3.4/opam: No space left on device
error: unable to create file packages/icalendar/icalendar.0.1.9/opam: No space left on device
error: unable to create file packages/incr_dom_keyboard/incr_dom_keyboard.v0.12.0/opam: No space left on device
error: unable to create file packages/incr_dom_sexp_form/incr_dom_sexp_form.v0.17.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-bench/index-bench.1.3.1/opam: No space left on device
error: unable to create file packages/inferno/inferno.20201104/opam: No space left on device
error: unable to create file packages/inferno/inferno.20211222/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.5.0/opam: No space left on device
error: unable to create file packages/integers/integers.0.5.1/opam: No space left on device
error: unable to create file packages/integers/integers.0.6.0/opam: No space left on device
error: unable to create file packages/interval/interval.1.4/opam: No space left on device
error: unable to create file packages/io-page/io-page.2.3.0/opam: No space left on device
error: unable to create file packages/io/io.0.2.0/opam: No space left on device
error: unable to create file packages/ipv6-multicast-lwt/ipv6-multicast-lwt.0.9/opam: No space left on device
error: unable to create file packages/irc-client-tls/irc-client-tls.0.6.2/opam: No space left on device
error: unable to create file packages/irc-client/irc-client.0.6.0/opam: No space left on device
error: unable to create file packages/iri/iri.0.4.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-pack/irmin-pack.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-pack/irmin-pack.3.5.2/opam: No space left on device
error: unable to create file packages/irmin/irmin.2.10.2/opam: No space left on device
error: unable to create file packages/irmin/irmin.2.2.0/opam: No space left on device
error: unable to create file packages/irmin/irmin.2.9.0/opam: No space left on device
error: unable to create file packages/jane-street-headers/jane-street-headers.v0.14.0/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/jingoo/jingoo.1.2.17/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.3.2/opam: No space left on device
error: unable to create file packages/jose/jose.0.10.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-compiler/js_of_ocaml-compiler.5.2.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.6.0.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.3.5.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.6.0.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.6.2.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-ppx/js_of_ocaml-ppx.4.0.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.3.7.1/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.7.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.7.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-webgpu/js_of_ocaml-webgpu.0.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml/js_of_ocaml.3.8.0/opam: No space left on device
error: unable to create file packages/json-data-encoding-browser/json-data-encoding-browser.0.12.1/opam: No space left on device
error: unable to create file packages/json-data-encoding-browser/json-data-encoding-browser.1.0.0/opam: No space left on device
error: unable to create file packages/json-data-encoding-browser/json-data-encoding-browser.1.1.1/opam: No space left on device
error: unable to create file packages/jsonrpc/jsonrpc.1.18.0/opam: No space left on device
error: unable to create file packages/jsonrpc/jsonrpc.1.23.0/opam: No space left on device
error: unable to create file packages/jsonrpc/jsonrpc.1.23.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.1/opam: No space left on device
error: unable to create file packages/jupyter-archimedes/jupyter-archimedes.2.3.2/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.7.2/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.8.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/karamel/karamel.1.0.0/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.6.1/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/key-parsers/key-parsers.1.3.0/opam: No space left on device
error: unable to create file packages/kicadsch/kicadsch.0.7.0/opam: No space left on device
error: unable to create file packages/kicadsch/kicadsch.0.9.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/lab/lab.0.1.5/opam: No space left on device
error: unable to create file packages/lablgtk3/lablgtk3.3.0.beta8/opam: No space left on device
error: unable to create file packages/lablgtk3/lablgtk3.3.1.1/opam: No space left on device
error: unable to create file packages/labrys/labrys.0.1/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.8.0.4/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/lambdapi/lambdapi.2.2.1/opam: No space left on device
error: unable to create file packages/lambdapi/lambdapi.2.3.0/opam: No space left on device
error: unable to create file packages/lambdasoup/lambdasoup.0.6/opam: No space left on device
error: unable to create file packages/lascar/lascar.0.5/opam: No space left on device
error: unable to create file packages/lascar/lascar.0.6-alpha/opam: No space left on device
error: unable to create file packages/lascar/lascar.0.7.0/opam: No space left on device
error: unable to create file packages/learn-ocaml-client/learn-ocaml-client.0.14.0/opam: No space left on device
error: unable to create file packages/learn-ocaml/learn-ocaml.1.0.0/opam: No space left on device
error: unable to create file packages/lem/lem.2025-03-13/opam: No space left on device
error: unable to create file packages/lemonade-sqlite/lemonade-sqlite.0.1.0/opam: No space left on device
error: unable to create file packages/lens/lens.1.0.2/opam: No space left on device
error: unable to create file packages/letsencrypt-mirage/letsencrypt-mirage.1.1.0/opam: No space left on device
error: unable to create file packages/levenshtein/levenshtein.1.1.3/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.109.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/libirmin/libirmin.3.6.1/opam: No space left on device
error: unable to create file packages/libsail/libsail.0.15/opam: No space left on device
error: unable to create file packages/libsvm/libsvm.0.8.3/opam: No space left on device
error: unable to create file packages/libsvm/libsvm.0.9.1/opam: No space left on device
error: unable to create file packages/libtorch/libtorch.1.1.0/opam: No space left on device
error: unable to create file packages/libtorch/libtorch.1.5.0/opam: No space left on device
error: unable to create file packages/libtorch/libtorch.1.6.0/opam: No space left on device
error: unable to create file packages/libtorch/libtorch.1.7.0+macos-x86_64/opam: No space left on device
error: unable to create file packages/libzipperposition/libzipperposition.2.1/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-postgresql/links-postgresql.0.9.6/opam: No space left on device
error: unable to create file packages/linol-lwt/linol-lwt.0.7/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.7.0.1/opam: No space left on device
error: unable to create file packages/liquid_interpreter/liquid_interpreter.0.1.3/opam: No space left on device
error: unable to create file packages/liquid_syntax/liquid_syntax.0.1.1/opam: No space left on device
error: unable to create file packages/liquidsoap-core/liquidsoap-core.2.2.0/opam: No space left on device
error: unable to create file packages/liquidsoap-core/liquidsoap-core.2.2.3/opam: No space left on device
error: unable to create file packages/liquidsoap-core/liquidsoap-core.2.2.4-1/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.18-static/opam: No space left on device
error: unable to create file packages/llvmgraph/llvmgraph.0.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/logs/logs.0.9.0/opam: No space left on device
error: unable to create file packages/lp/lp.0.0.1/opam: No space left on device
error: unable to create file packages/lru/lru.0.3.0-1/opam: No space left on device
error: unable to create file packages/lsp/lsp.1.21.0-4.14/opam: No space left on device
error: unable to create file packages/lsp/lsp.1.21.0/opam: No space left on device
error: unable to create file packages/lutin/lutin.2.70.4/opam: No space left on device
error: unable to create file packages/luv/luv.0.5.7/opam: No space left on device
error: unable to create file packages/lwt/lwt.4.5.0/opam: No space left on device
error: unable to create file packages/lwt_domain/lwt_domain.0.2.0/opam: No space left on device
error: unable to create file packages/lwt_eio/lwt_eio.0.5/opam: No space left on device
error: unable to create file packages/lwt_log/lwt_log.1.1.1/opam: No space left on device
error: unable to create file packages/lwt_log/lwt_log.1.1.2/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.1.0.1/opam: No space left on device
error: unable to create file packages/macaddr-sexp/macaddr-sexp.5.6.0/opam: No space left on device
error: unable to create file packages/mad/mad.0.4.5/opam: No space left on device
error: unable to create file packages/mad/mad.0.5.1/opam: No space left on device
error: unable to create file packages/mad/mad.0.5.2/opam: No space left on device
error: unable to create file packages/mad/mad.0.5.3/opam: No space left on device
error: unable to create file packages/markup/markup.0.7.3/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/markup/markup.1.0.1/opam: No space left on device
error: unable to create file packages/maxminddb/maxminddb.0.3/opam: No space left on device
error: unable to create file packages/maxminddb/maxminddb.0.6/opam: No space left on device
error: unable to create file packages/mehari-lwt-unix/mehari-lwt-unix.0.1/opam: No space left on device
error: unable to create file packages/melange-atdgen-codec-runtime/melange-atdgen-codec-runtime.3.0.0/opam: No space left on device
error: unable to create file packages/melange-atdgen-codec-runtime/melange-atdgen-codec-runtime.3.0.1/opam: No space left on device
error: unable to create file packages/melange-json/melange-json.1.2.0/opam: No space left on device
error: unable to create file packages/melange-json/melange-json.2.0.0/opam: No space left on device
error: unable to create file packages/melange-radix-icons/melange-radix-icons.0.0.1/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/memprof-limits/memprof-limits.0.2.0/opam: No space left on device
error: unable to create file packages/memprof-limits/memprof-limits.0.2.1/opam: No space left on device
error: unable to create file packages/menhir/menhir.20200612/opam: No space left on device
error: unable to create file packages/menhir/menhir.20200619/opam: No space left on device
error: unable to create file packages/menhirLib/menhirLib.20201216/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-lib/merlin-lib.5.3-502/opam: No space left on device
error: unable to create file packages/merlin/merlin.5.6-504/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.1/opam: No space left on device
error: unable to create file packages/metapp/metapp.0.3.0/opam: No space left on device
error: unable to create file packages/metrics-influx/metrics-influx.0.4.1/opam: No space left on device
error: unable to create file packages/mimic-happy-eyeballs/mimic-happy-eyeballs.0.0.6/opam: No space left on device
error: unable to create file packages/mingw-w64-shims/mingw-w64-shims.0.2.0/opam: No space left on device
error: unable to create file packages/minima-theme/minima-theme.1.0.0/opam: No space left on device
error: unable to create file packages/minimal/minimal.1.0.0/opam: No space left on device
error: unable to create file packages/minios-xen/minios-xen.0.7/opam: No space left on device
error: unable to create file packages/mirage-block-lwt/mirage-block-lwt.1.2.0/opam: No space left on device
error: unable to create file packages/mirage-block-ramdisk/mirage-block-ramdisk.0.6/opam: No space left on device
error: unable to create file packages/mirage-channel/mirage-channel.3.0.0/opam: No space left on device
error: unable to create file packages/mirage-channel/mirage-channel.3.1.0/opam: No space left on device
error: unable to create file packages/mirage-crypto-ec/mirage-crypto-ec.0.11.3/opam: No space left on device
error: unable to create file packages/mirage-crypto-rng-async/mirage-crypto-rng-async.0.10.7/opam: No space left on device
error: unable to create file packages/mirage-crypto-rng/mirage-crypto-rng.0.8.0/opam: No space left on device
error: unable to create file packages/mirage-flow-combinators/mirage-flow-combinators.3.0.0/opam: No space left on device
error: unable to create file packages/mirage-flow-unix/mirage-flow-unix.3.0.0/opam: No space left on device
error: unable to create file packages/mirage-kv-mem/mirage-kv-mem.3.0.0/opam: No space left on device
error: unable to create file packages/mirage-kv-mem/mirage-kv-mem.3.1.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.1.1/opam: No space left on device
error: unable to create file packages/mirage-net-macosx/mirage-net-macosx.1.2.0/opam: No space left on device
error: unable to create file packages/mirage-net-macosx/mirage-net-macosx.1.3.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-stack-lwt/mirage-stack-lwt.1.4.0/opam: No space left on device
error: unable to create file packages/mirage-stack/mirage-stack.3.0.0/opam: No space left on device
error: unable to create file packages/mirage-stack/mirage-stack.4.0.0/opam: No space left on device
error: unable to create file packages/mirage-vnetif/mirage-vnetif.0.6.2/opam: No space left on device
error: unable to create file packages/mirage/mirage.4.7.0/opam: No space left on device
error: unable to create file packages/mkaudio/mkaudio.1.1.4/opam: No space left on device
error: unable to create file packages/mlbdd/mlbdd.0.1/opam: No space left on device
error: unable to create file packages/mldonkey/mldonkey.3.1.7-2/opam: No space left on device
error: unable to create file packages/mldonkey/mldonkey.3.2.1/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/mlmpfr/mlmpfr.3.1.6/opam: No space left on device
error: unable to create file packages/mlmpfr/mlmpfr.4.2.0/opam: No space left on device
error: unable to create file packages/mlmpfr/mlmpfr.4.2.1/opam: No space left on device
error: unable to create file packages/mlpost/mlpost.0.9/opam: No space left on device
error: unable to create file packages/mlt_parser/mlt_parser.v0.14.1/opam: No space left on device
error: unable to create file packages/mm/mm.0.4.1/opam: No space left on device
error: unable to create file packages/mmap/mmap.1.0.2/opam: No space left on device
error: unable to create file packages/mmo/mmo.1.0.1/opam: No space left on device
error: unable to create file packages/mmseg/mmseg.0.1.1/opam: No space left on device
error: unable to create file packages/molenc/molenc.2.0.0/opam: No space left on device
error: unable to create file packages/monads/monads.2.5.0/opam: No space left on device
error: unable to create file packages/monolith/monolith.20230604/opam: No space left on device
error: unable to create file packages/moonpool-lwt/moonpool-lwt.0.6/opam: No space left on device
error: unable to create file packages/mperf/mperf.0.1.0/opam: No space left on device
error: unable to create file packages/mperf/mperf.0.5.0/opam: No space left on device
error: unable to create file packages/mrmime/mrmime.0.2.0/opam: No space left on device
error: unable to create file packages/mtime/mtime.1.4.0/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/mtl/mtl.1.0.0/opam: No space left on device
error: unable to create file packages/multicont/multicont.1.0.1/opam: No space left on device
error: unable to create file packages/multipart_form-eio/multipart_form-eio.0.6.0/opam: No space left on device
error: unable to create file packages/multipart_form-lwt/multipart_form-lwt.0.6.0/opam: No space left on device
error: unable to create file packages/multipart_form-lwt/multipart_form-lwt.0.7.0/opam: No space left on device
error: unable to create file packages/mybuild/mybuild.7/opam: No space left on device
error: unable to create file packages/n_ary/n_ary.v0.17.0/opam: No space left on device
error: unable to create file packages/namespaces/namespaces.0.5/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-unix/nbd-unix.6.0.1/opam: No space left on device
error: unable to create file packages/nbd/nbd.6.0.0/opam: No space left on device
error: unable to create file packages/nlopt-ocaml/nlopt-ocaml.0.5.1/opam: No space left on device
error: unable to create file packages/noCanren/noCanren.0.3.0/opam: No space left on device
error: unable to create file packages/noCanren/noCanren.0.3.0~alpha1/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.0.1/opam: No space left on device
error: unable to create file packages/notty_async/notty_async.v0.17.0/opam: No space left on device
error: unable to create file packages/npy/npy.0.0.7/opam: No space left on device
error: unable to create file packages/npy/npy.0.0.8/opam: No space left on device
error: unable to create file packages/nx-datasets/nx-datasets.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/nx-datasets/nx-datasets.1.0.0~alpha2/opam: No space left on device
error: unable to create file packages/obeam/obeam.0.0.4/opam: No space left on device
error: unable to create file packages/obelisk/obelisk.0.1.0/opam: No space left on device
error: unable to create file packages/obelisk/obelisk.0.3.2/opam: No space left on device
error: unable to create file packages/obelisk/obelisk.0.4.0/opam: No space left on device
error: unable to create file packages/obelisk/obelisk.0.5.0/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/obus/obus.1.1.8/opam: No space left on device
error: unable to create file packages/obus/obus.1.2.0/opam: No space left on device
error: unable to create file packages/oc45/oc45.1.0.0/opam: No space left on device
error: unable to create file packages/ocal/ocal.0.1.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.3.10.2/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.00.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.01.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.02.0/opam: No space left on device
error: unable to create file packages/ocaml-basics/ocaml-basics.0.3.0/opam: No space left on device
error: unable to create file packages/ocaml-canvas/ocaml-canvas.1.0.0/opam: No space left on device
error: unable to create file packages/ocaml-embed-file/ocaml-embed-file.v0.17.0/opam: No space left on device
error: unable to create file packages/ocaml-index/ocaml-index.1.1/opam: No space left on device
error: unable to create file packages/ocaml-lsp-server/ocaml-lsp-server.1.18.0/opam: No space left on device
error: unable to create file packages/ocaml-lsp-server/ocaml-lsp-server.1.21.0-4.14/opam: No space left on device
error: unable to create file packages/ocaml-lsp-server/ocaml-lsp-server.1.21.0/opam: No space left on device
error: unable to create file packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.5.0/opam: No space left on device
error: unable to create file packages/ocaml-monadic/ocaml-monadic.0.4.0/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-protoc-plugin/ocaml-protoc-plugin.6.1.0/opam: No space left on device
error: unable to create file packages/ocaml-protoc/ocaml-protoc.1.2.6/opam: No space left on device
error: unable to create file packages/ocaml-r/ocaml-r.0.3.0/opam: No space left on device
error: unable to create file packages/ocaml-r/ocaml-r.0.3.1/opam: No space left on device
error: unable to create file packages/ocaml-sat-solvers/ocaml-sat-solvers.0.3/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-system/ocaml-system.3.09.1/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.4.08.0/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.4.09.1/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.5.4.0/opam: No space left on device
error: unable to create file packages/ocaml-twt/ocaml-twt.0.94.0/opam: No space left on device
error: unable to create file packages/ocaml-unikraft/ocaml-unikraft.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.01.0+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.02.0+PIC/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.02.3+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.02.4+trunk/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.04.0+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.04.1+flambda/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.04.1+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.04.2+spacetime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.05.1+trunk+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.05.1+trunk/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.07.0+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.07.1+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.07.2+trunk/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.1+32bit/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.1+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.1+musl+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.1+musl+static+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.2+trunk+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.0+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.0+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.1+musl+static+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.3+trunk+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.11.1+BER+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.11.1+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.11.2+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.5.0.1+trunk/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.5.2.1~rc1+options/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.5.3.0+BER/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-xdg-basedir/ocaml-xdg-basedir.transition/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.3.07+1/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.4.10.1/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.4.12.1/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.4.13.2/opam: No space left on device
error: unable to create file packages/ocaml/ocaml.5.4.1/opam: No space left on device
error: unable to create file packages/ocaml_intrinsics/ocaml_intrinsics.v0.15.0/opam: No space left on device
error: unable to create file packages/ocaml_intrinsics/ocaml_intrinsics.v0.15.2/opam: No space left on device
error: unable to create file packages/ocaml_plugin/ocaml_plugin.v0.12.0/opam: No space left on device
error: unable to create file packages/ocamlbrowser/ocamlbrowser.4.08.1/opam: No space left on device
error: unable to create file packages/ocamlbrowser/ocamlbrowser.4.10.0/opam: No space left on device
error: unable to create file packages/ocamlbrowser/ocamlbrowser.4.11.0/opam: No space left on device
error: unable to create file packages/ocamlbuild/ocamlbuild.0.14.2+win/opam: No space left on device
error: unable to create file packages/ocamldap/ocamldap.2.3.0/opam: No space left on device
error: unable to create file packages/ocamleditor/ocamleditor.1.15.2-ocaml414/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/ocamlfind.1.8.0/opam: No space left on device
error: unable to create file packages/ocamlfind/ocamlfind.1.9.5/opam: No space left on device
error: unable to create file packages/ocamlfind/ocamlfind.1.9.8/opam: No space left on device
error: unable to create file packages/ocamlformat-lib/ocamlformat-lib.0.26.1/opam: No space left on device
error: unable to create file packages/ocamlformat-mlx-lib/ocamlformat-mlx-lib.0.28.1.1/opam: No space left on device
error: unable to create file packages/ocamlformat-mlx-lib/ocamlformat-mlx-lib.0.28.1.2/opam: No space left on device
error: unable to create file packages/ocamlformat-rpc-lib/ocamlformat-rpc-lib.0.21.0/opam: No space left on device
error: unable to create file packages/ocamlformat-rpc-lib/ocamlformat-rpc-lib.0.28.1/opam: No space left on device
error: unable to create file packages/ocamlformat-rpc/ocamlformat-rpc.0.18.0/opam: No space left on device
error: unable to create file packages/ocamlformat/ocamlformat.0.23.0/opam: No space left on device
error: unable to create file packages/ocamlnet/ocamlnet.4.1.9/opam: No space left on device
error: unable to create file packages/ocamlregextkit/ocamlregextkit.1.0.2/opam: No space left on device
error: unable to create file packages/ocamlrss/ocamlrss.2.0/opam: No space left on device
error: unable to create file packages/ocamlrss/ocamlrss.2.2.2/opam: No space left on device
error: unable to create file packages/ocluster-api/ocluster-api.0.1/opam: No space left on device
error: unable to create file packages/ocluster-api/ocluster-api.0.2/opam: No space left on device
error: unable to create file packages/ocluster-worker/ocluster-worker.0.2.1/opam: No space left on device
error: unable to create file packages/ocp-index/ocp-index.1.2.1/opam: No space left on device
error: unable to create file packages/ocp-index/ocp-index.1.3.1/opam: No space left on device
error: unable to create file packages/ocp_reveal/ocp_reveal.0.1/opam: No space left on device
error: unable to create file packages/ocplib-simplex/ocplib-simplex.0.3/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-toolkit/ocsigen-toolkit.2.3.2/opam: No space left on device
error: unable to create file packages/ocsigen-toolkit/ocsigen-toolkit.2.4.3/opam: No space left on device
error: unable to create file packages/ocsigen-toolkit/ocsigen-toolkit.2.7.0/opam: No space left on device
error: unable to create file packages/ocsipersist-lib/ocsipersist-lib.1.0/opam: No space left on device
error: unable to create file packages/ocsipersist-lib/ocsipersist-lib.2.0.0/opam: No space left on device
error: unable to create file packages/octavius/octavius.0.1.0/opam: No space left on device
error: unable to create file packages/octez-baker-Proxford/octez-baker-Proxford.19.1/opam: No space left on device
error: unable to create file packages/octez-baker-PtLimaPt/octez-baker-PtLimaPt.16.1/opam: No space left on device
error: unable to create file packages/octez-client/octez-client.16.1/opam: No space left on device
error: unable to create file packages/octez-client/octez-client.18.0/opam: No space left on device
error: unable to create file packages/octez-crawler/octez-crawler.18.1/opam: No space left on device
error: unable to create file packages/octez-dac-client/octez-dac-client.18.1/opam: No space left on device
error: unable to create file packages/octez-distributed-internal/octez-distributed-internal.18.1/opam: No space left on device
error: unable to create file packages/octez-distributed-internal/octez-distributed-internal.19.1/opam: No space left on device
error: unable to create file packages/octez-injector/octez-injector.20.1/opam: No space left on device
error: unable to create file packages/octez-internal-libs/octez-internal-libs.20.1/opam: No space left on device
error: unable to create file packages/octez-l2-libs/octez-l2-libs.19.1/opam: No space left on device
error: unable to create file packages/octez-node/octez-node.16.0/opam: No space left on device
error: unable to create file packages/octez-proto-libs/octez-proto-libs.19.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-003-PsddFKi3-libs/octez-protocol-003-PsddFKi3-libs.20.1/opam: No space left on device
error: unable to create file packages/octez-protocol-007-PsDELPH1-libs/octez-protocol-007-PsDELPH1-libs.18.0/opam: No space left on device
error: unable to create file packages/octez-protocol-007-PsDELPH1-libs/octez-protocol-007-PsDELPH1-libs.19.0/opam: No space left on device
error: unable to create file packages/octez-protocol-011-PtHangz2-libs/octez-protocol-011-PtHangz2-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-014-PtKathma-libs/octez-protocol-014-PtKathma-libs.20.1/opam: No space left on device
error: unable to create file packages/octez-protocol-015-PtLimaPt-libs/octez-protocol-015-PtLimaPt-libs.18.0/opam: No space left on device
error: unable to create file packages/octez-proxy-server/octez-proxy-server.19.1/opam: No space left on device
error: unable to create file packages/octez-rpc-process/octez-rpc-process.19.0/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-node-PtMumbai/octez-smart-rollup-node-PtMumbai.16.1/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-node-PtNairob/octez-smart-rollup-node-PtNairob.17.3/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-node-PtNairob/octez-smart-rollup-node-PtNairob.18.0/opam: No space left on device
error: unable to create file packages/octez-smart-rollup-node-PtNairob/octez-smart-rollup-node-PtNairob.19.1/opam: No space left on device
error: unable to create file packages/octez-tx-rollup-client-PtLimaPt/octez-tx-rollup-client-PtLimaPt.16.1/opam: No space left on device
error: unable to create file packages/ocurl/ocurl.0.9.1/opam: No space left on device
error: unable to create file packages/ocveralls/ocveralls.0.3.2/opam: No space left on device
error: unable to create file packages/ocveralls/ocveralls.0.3.3/opam: No space left on device
error: unable to create file packages/ocveralls/ocveralls.0.3.4/opam: No space left on device
error: unable to create file packages/oglsl/oglsl.0.1.0/opam: No space left on device
error: unable to create file packages/ojs/ojs.1.0.9/opam: No space left on device
error: unable to create file packages/ojs_filetree/ojs_filetree.0.7.0/opam: No space left on device
error: unable to create file packages/ometrics/ometrics.0.1.1/opam: No space left on device
error: unable to create file packages/omtl/omtl.0.1/opam: No space left on device
error: unable to create file packages/opam-0install-cudf/opam-0install-cudf.0.2/opam: No space left on device
error: unable to create file packages/opam-0install/opam-0install.0.3/opam: No space left on device
error: unable to create file packages/opam-ci/opam-ci.1.0.0/opam: No space left on device
error: unable to create file packages/opam-client/opam-client.2.0.1/opam: No space left on device
error: unable to create file packages/opam-client/opam-client.2.0.2/opam: No space left on device
error: unable to create file packages/opam-client/opam-client.2.5.0~beta1/opam: No space left on device
error: unable to create file packages/opam-core/opam-core.2.0.0~rc2/opam: No space left on device
error: unable to create file packages/opam-core/opam-core.2.0.1/opam: No space left on device
error: unable to create file packages/opam-depext/opam-depext.1.1.4/opam: No space left on device
error: unable to create file packages/opam-devel/opam-devel.2.0.6/opam: No space left on device
error: unable to create file packages/opam-devel/opam-devel.2.1.0/opam: No space left on device
error: unable to create file packages/opam-ed/opam-ed.0.1/opam: No space left on device
error: unable to create file packages/opam-format/opam-format.2.0.3/opam: No space left on device
error: unable to create file packages/opam-format/opam-format.2.5.0~rc1/opam: No space left on device
error: unable to create file packages/opam-grep/opam-grep.0.4.0/opam: No space left on device
error: unable to create file packages/opam-installer/opam-installer.2.0.0/opam: No space left on device
error: unable to create file packages/opam-installer/opam-installer.2.0.1/opam: No space left on device
error: unable to create file packages/opam-installer/opam-installer.2.0.10/opam: No space left on device
error: unable to create file packages/opam-monorepo/opam-monorepo.0.2.0/opam: No space left on device
error: unable to create file packages/opam-monorepo/opam-monorepo.0.4.3/opam: No space left on device
error: unable to create file packages/opam-publish/opam-publish.2.7.1/opam: No space left on device
error: unable to create file packages/opam-repository/opam-repository.2.0.0~rc2/opam: No space left on device
error: unable to create file packages/opam-repository/opam-repository.2.4.0~beta1/opam: No space left on device
error: unable to create file packages/opam-repository/opam-repository.2.4.1/opam: No space left on device
error: unable to create file packages/opam-repository/opam-repository.2.5.0/opam: No space left on device
error: unable to create file packages/opam-repository/opam-repository.2.5.0~beta1/opam: No space left on device
error: unable to create file packages/opam-solver/opam-solver.2.2.1/opam: No space left on device
error: unable to create file packages/opam-solver/opam-solver.2.4.0/opam: No space left on device
error: unable to create file packages/opam-state/opam-state.2.0.0~rc2/opam: No space left on device
error: unable to create file packages/opam-state/opam-state.2.0.2/opam: No space left on device
error: unable to create file packages/opam-state/opam-state.2.5.0/opam: No space left on device
error: unable to create file packages/opam_bin_lib/opam_bin_lib.1.1.0/opam: No space left on device
error: unable to create file packages/opam_bin_lib/opam_bin_lib.1.2.0/opam: No space left on device
error: unable to create file packages/opamconfig/opamconfig.0.1.0/opam: No space left on device
error: unable to create file packages/openstellina/openstellina.0.0.3/opam: No space left on device
error: unable to create file packages/opentelemetry-client-ocurl/opentelemetry-client-ocurl.0.11.1/opam: No space left on device
error: unable to create file packages/opentelemetry-client-ocurl/opentelemetry-client-ocurl.0.2/opam: No space left on device
error: unable to create file packages/opentelemetry-client-ocurl/opentelemetry-client-ocurl.0.4/opam: No space left on device
error: unable to create file packages/opentelemetry-cohttp-lwt/opentelemetry-cohttp-lwt.0.5/opam: No space left on device
error: unable to create file packages/opentelemetry/opentelemetry.0.10/opam: No space left on device
error: unable to create file packages/opium_kernel/opium_kernel.0.16.0/opam: No space left on device
error: unable to create file packages/optimization1d/optimization1d.0.6.1/opam: No space left on device
error: unable to create file packages/oranger/oranger.0.9.11/opam: No space left on device
error: unable to create file packages/oranger/oranger.4.3.5/opam: No space left on device
error: unable to create file packages/orb/orb.1.0.0/opam: No space left on device
error: unable to create file packages/orec/orec.1.0.1/opam: No space left on device
error: unable to create file packages/orm/orm.0.7.1/opam: No space left on device
error: unable to create file packages/orocksdb/orocksdb.0.2.1/opam: No space left on device
error: unable to create file packages/orsetto/orsetto.1.0.1/opam: No space left on device
error: unable to create file packages/orsetto/orsetto.1.0.2/opam: No space left on device
error: unable to create file packages/orthologic-coq/orthologic-coq.0.9.1/opam: No space left on device
error: unable to create file packages/oseq/oseq.0.3/opam: No space left on device
error: unable to create file packages/osnap/osnap.0.1.1/opam: No space left on device
error: unable to create file packages/osnap/osnap.0.3.0/opam: No space left on device
error: unable to create file packages/otoggl/otoggl.0.3.2/opam: No space left on device
error: unable to create file packages/otoml/otoml.0.9.0/opam: No space left on device
error: unable to create file packages/otoml/otoml.0.9.1/opam: No space left on device
error: unable to create file packages/otoml/otoml.0.9.2/opam: No space left on device
error: unable to create file packages/ounit/ounit.2.2.6/opam: No space left on device
error: unable to create file packages/owee/owee.0.3/opam: No space left on device
error: unable to create file packages/owee/owee.0.4/opam: No space left on device
error: unable to create file packages/owl-base/owl-base.1.1/opam: No space left on device
error: unable to create file packages/owl-ode-sundials/owl-ode-sundials.0.0.7/opam: No space left on device
error: unable to create file packages/owl-ode/owl-ode.0.3.0/opam: No space left on device
error: unable to create file packages/owl-plplot/owl-plplot.0.5.0/opam: No space left on device
error: unable to create file packages/owl-symbolic/owl-symbolic.0.1.0/opam: No space left on device
error: unable to create file packages/owl/owl.0.4.0/opam: No space left on device
error: unable to create file packages/p5scm/p5scm.0.2.0/opam: No space left on device
error: unable to create file packages/pa_ppx_hashcons/pa_ppx_hashcons.0.09/opam: No space left on device
error: unable to create file packages/pa_ppx_hashcons/pa_ppx_hashcons.0.11/opam: No space left on device
error: unable to create file packages/pa_ppx_migrate/pa_ppx_migrate.0.08/opam: No space left on device
error: unable to create file packages/pandoc-abbreviations/pandoc-abbreviations.0.2.0/opam: No space left on device
error: unable to create file packages/pandoc-replace/pandoc-replace.0.2.1/opam: No space left on device
error: unable to create file packages/pandoc/pandoc.0.2.1/opam: No space left on device
error: unable to create file packages/pardi/pardi.2.0.4/opam: No space left on device
error: unable to create file packages/pardi/pardi.3.1.1/opam: No space left on device
error: unable to create file packages/parsexp/parsexp.v0.14.1/opam: No space left on device
error: unable to create file packages/passage/passage.0.1.7/opam: No space left on device
error: unable to create file packages/passage/passage.0.1.8/opam: No space left on device
error: unable to create file packages/patdiff/patdiff.v0.12.0/opam: No space left on device
error: unable to create file packages/patdiff/patdiff.v0.13.0/opam: No space left on device
error: unable to create file packages/patience_diff/patience_diff.v0.17.0/opam: No space left on device
error: unable to create file packages/patricia-tree/patricia-tree.0.9.0/opam: No space left on device
error: unable to create file packages/pattern/pattern.0.1.1/opam: No space left on device
error: unable to create file packages/pci/pci.1.0.1/opam: No space left on device
error: unable to create file packages/pcre/pcre.7.1.3/opam: No space left on device
error: unable to create file packages/pcre/pcre.7.1.5/opam: No space left on device
error: unable to create file packages/pcre/pcre.8.0.2/opam: No space left on device
error: unable to create file packages/pds/pds.3.0.2/opam: No space left on device
error: unable to create file packages/pfff/pfff.0.39.1/opam: No space left on device
error: unable to create file packages/pgocaml/pgocaml.2.2/opam: No space left on device
error: unable to create file packages/pgsolver/pgsolver.4.1/opam: No space left on device
error: unable to create file packages/pgx_lwt/pgx_lwt.2.1/opam: No space left on device
error: unable to create file packages/pgx_unix/pgx_unix.1.0/opam: No space left on device
error: unable to create file packages/piece_rope/piece_rope.0.9.0/opam: No space left on device
error: unable to create file packages/pilat/pilat.1.2/opam: No space left on device
error: unable to create file packages/pilat/pilat.1.6/opam: No space left on device
error: unable to create file packages/pla/pla.1.4/opam: No space left on device
error: unable to create file packages/plebeia/plebeia.1.0.0/opam: No space left on device
error: unable to create file packages/plist-xml/plist-xml.0.4.0/opam: No space left on device
error: unable to create file packages/plist-xml/plist-xml.0.5.1/opam: No space left on device
error: unable to create file packages/podge/podge.0.3/opam: No space left on device
error: unable to create file packages/popper/popper.0.1.1/opam: No space left on device
error: unable to create file packages/posix-clock/posix-clock.0.3.0-0/opam: No space left on device
error: unable to create file packages/posix-signal/posix-signal.2.0.1/opam: No space left on device
error: unable to create file packages/posix-socket/posix-socket.2.1.0/opam: No space left on device
error: unable to create file packages/posix-socket/posix-socket.3.0.0/opam: No space left on device
error: unable to create file packages/posix-types/posix-types.0.1.1/opam: No space left on device
error: unable to create file packages/postgresql/postgresql.4.4.0/opam: No space left on device
error: unable to create file packages/postgresql/postgresql.4.5.2/opam: No space left on device
error: unable to create file packages/pp-binary-ints/pp-binary-ints.0.1.0/opam: No space left on device
error: unable to create file packages/pp/pp.1.0.1/opam: No space left on device
error: unable to create file packages/pp/pp.1.1.2/opam: No space left on device
error: unable to create file packages/ppx_bap/ppx_bap.v0.14.0/opam: No space left on device
error: unable to create file packages/ppx_bench/ppx_bench.v0.17.0/opam: No space left on device
error: unable to create file packages/ppx_const/ppx_const.1.0/opam: No space left on device
error: unable to create file packages/ppx_conv_func/ppx_conv_func.v0.16.0/opam: No space left on device
error: unable to create file packages/ppx_conv_func/ppx_conv_func.v0.17.0/opam: No space left on device
error: unable to create file packages/ppx_cstubs/ppx_cstubs.0.3.0/opam: No space left on device
error: unable to create file packages/ppx_cstubs/ppx_cstubs.0.4.0/opam: No space left on device
error: unable to create file packages/ppx_cstubs/ppx_cstubs.0.4.1/opam: No space left on device
error: unable to create file packages/ppx_decimal/ppx_decimal.1.0.2/opam: No space left on device
error: unable to create file packages/ppx_default/ppx_default.0.1.1/opam: No space left on device
error: unable to create file packages/ppx_defer/ppx_defer.0.3.0/opam: No space left on device
error: unable to create file packages/ppx_deriving/ppx_deriving.4.5/opam: No space left on device
error: unable to create file packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.6.0/opam: No space left on device
error: unable to create file packages/ppx_deriving_yojson/ppx_deriving_yojson.3.5/opam: No space left on device
error: unable to create file packages/ppx_deriving_yojson/ppx_deriving_yojson.3.6.0/opam: No space left on device
error: unable to create file packages/ppx_deriving_yojson/ppx_deriving_yojson.3.6.1/opam: No space left on device
error: unable to create file packages/ppx_expect/ppx_expect.v0.13.0/opam: No space left on device
error: unable to create file packages/ppx_expect/ppx_expect.v0.17.2/opam: No space left on device
error: unable to create file packages/ppx_format/ppx_format.1.0/opam: No space left on device
error: unable to create file packages/ppx_import/ppx_import.1.7.0/opam: No space left on device
error: unable to create file packages/ppx_irmin/ppx_irmin.2.5.3/opam: No space left on device
error: unable to create file packages/ppx_irmin/ppx_irmin.3.3.0/opam: No space left on device
error: unable to create file packages/ppx_irmin/ppx_irmin.3.7.0/opam: No space left on device
error: unable to create file packages/ppx_js_style/ppx_js_style.v0.14.1/opam: No space left on device
error: unable to create file packages/ppx_js_style/ppx_js_style.v0.15.0/opam: No space left on device
error: unable to create file packages/ppx_let/ppx_let.v0.16.0/opam: No space left on device
error: unable to create file packages/ppx_let/ppx_let.v0.17.0/opam: No space left on device
error: unable to create file packages/ppx_log/ppx_log.v0.14.0/opam: No space left on device
error: unable to create file packages/ppx_pattern_bind/ppx_pattern_bind.v0.16.0/opam: No space left on device
error: unable to create file packages/ppx_protocol_conv/ppx_protocol_conv.3.1.3/opam: No space left on device
error: unable to create file packages/ppx_protocol_conv_jsonm/ppx_protocol_conv_jsonm.5.0.0/opam: No space left on device
error: unable to create file packages/ppx_protocol_conv_jsonm/ppx_protocol_conv_jsonm.5.1.0/opam: No space left on device
error: unable to create file packages/ppx_protocol_conv_msgpack/ppx_protocol_conv_msgpack.5.1.3/opam: No space left on device
error: unable to create file packages/ppx_protocol_conv_msgpack/ppx_protocol_conv_msgpack.5.2.1/opam: No space left on device
error: unable to create file packages/ppx_protocol_conv_msgpack/ppx_protocol_conv_msgpack.5.2.2/opam: No space left on device
error: unable to create file packages/ppx_rapper/ppx_rapper.0.9.2/opam: No space left on device
error: unable to create file packages/ppx_seq/ppx_seq.0.3.2/opam: No space left on device
error: unable to create file packages/ppx_tools/ppx_tools.5.2+4.08.0/opam: No space left on device
error: unable to create file packages/ppx_tools/ppx_tools.6.2/opam: No space left on device
error: unable to create file packages/ppx_trace/ppx_trace.0.10/opam: No space left on device
error: unable to create file packages/ppx_variants_conv/ppx_variants_conv.v0.14.0/opam: No space left on device
error: unable to create file packages/ppxlib/ppxlib.0.13.0/opam: No space left on device
error: unable to create file packages/ppxlib/ppxlib.0.14.0/opam: No space left on device
error: unable to create file packages/pratter/pratter.0.1.1/opam: No space left on device
error: unable to create file packages/prbnmcn-ucb1/prbnmcn-ucb1.0.0.1/opam: No space left on device
error: unable to create file packages/pretty_expressive/pretty_expressive.0.1/opam: No space left on device
error: unable to create file packages/printbox-html/printbox-html.0.9/opam: No space left on device
error: unable to create file packages/profiler-plugin/profiler-plugin.1.30/opam: No space left on device
error: unable to create file packages/profiling/profiling.1.5.5/opam: No space left on device
error: unable to create file packages/prometheus-liquidsoap/prometheus-liquidsoap.2/opam: No space left on device
error: unable to create file packages/protocol-9p-tool/protocol-9p-tool.0.11.3/opam: No space left on device
error: unable to create file packages/protocol-9p/protocol-9p.0.11.1/opam: No space left on device
error: unable to create file packages/proverif/proverif.2.00/opam: No space left on device
error: unable to create file packages/proverif/proverif.2.01/opam: No space left on device
error: unable to create file packages/psmt2-frontend/psmt2-frontend.0.4.0/opam: No space left on device
error: unable to create file packages/pure-html/pure-html.3.6.1/opam: No space left on device
error: unable to create file packages/pure-html/pure-html.3.6.2/opam: No space left on device
error: unable to create file packages/py/py.1.3/opam: No space left on device
error: unable to create file packages/pyml/pyml.20200222/opam: No space left on device
error: unable to create file packages/qcheck-core/qcheck-core.0.25/opam: No space left on device
error: unable to create file packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.9/opam: No space left on device
error: unable to create file packages/qcow-tool/qcow-tool.0.12.1/opam: No space left on device
error: unable to create file packages/qcstm/qcstm.0.1.1/opam: No space left on device
error: unable to create file packages/qdrant/qdrant.0.1.0/opam: No space left on device
error: unable to create file packages/qtest/qtest.2.8/opam: No space left on device
error: unable to create file packages/query-json/query-json.0.5.52/opam: No space left on device
error: unable to create file packages/radamsa/radamsa.0.2/opam: No space left on device
error: unable to create file packages/range/range.0.3/opam: No space left on device
error: unable to create file packages/rangeSet/rangeSet.0.2.1/opam: No space left on device
error: unable to create file packages/rankers/rankers.2.0.7/opam: No space left on device
error: unable to create file packages/raven/raven.1.0.0~alpha0/opam: No space left on device
error: unable to create file packages/raygui/raygui.1.3.0/opam: No space left on device
error: unable to create file packages/rdf/rdf.0.15.0/opam: No space left on device
error: unable to create file packages/rdf_mysql/rdf_mysql.1.0.0/opam: No space left on device
error: unable to create file packages/rdf_mysql/rdf_mysql.1.1.0/opam: No space left on device
error: unable to create file packages/re/re.1.6.1/opam: No space left on device
error: unable to create file packages/re/re.1.8.0/opam: No space left on device
error: unable to create file packages/rea/rea.0.1.0/opam: No space left on device
error: unable to create file packages/react/react.1.2.2/opam: No space left on device
error: unable to create file packages/reanalyze/reanalyze.2.11.0/opam: No space left on device
error: unable to create file packages/reanalyze/reanalyze.2.14.0/opam: No space left on device
error: unable to create file packages/reanalyze/reanalyze.2.15.0/opam: No space left on device
error: unable to create file packages/reason-react-ppx/reason-react-ppx.0.14.1/opam: No space left on device
error: unable to create file packages/reason-react/reason-react.0.14.1/opam: No space left on device
error: unable to create file packages/reason/reason.3.5.2/opam: No space left on device
error: unable to create file packages/reason/reason.3.9.0/opam: No space left on device
error: unable to create file packages/reddit_api_kernel/reddit_api_kernel.0.1.0/opam: No space left on device
error: unable to create file packages/redis-lwt/redis-lwt.0.7.1/opam: No space left on device
error: unable to create file packages/regenerate/regenerate.0.2/opam: No space left on device
error: unable to create file packages/remu_ts/remu_ts.0.1/opam: No space left on device
error: unable to create file packages/reparse/reparse.1.0.2/opam: No space left on device
error: unable to create file packages/repr-fuzz/repr-fuzz.0.1.0/opam: No space left on device
error: unable to create file packages/res_tailwindcss/res_tailwindcss.0.1.2/opam: No space left on device
error: unable to create file packages/resource-pooling/resource-pooling.0.7/opam: No space left on device
error: unable to create file packages/resource_cache/resource_cache.v0.12.0/opam: No space left on device
error: unable to create file packages/resp-server/resp-server.0.2/opam: No space left on device
error: unable to create file packages/resp/resp.0.9/opam: No space left on device
error: unable to create file packages/resto-acl/resto-acl.0.10/opam: No space left on device
error: unable to create file packages/resto-cohttp-self-serving-client/resto-cohttp-self-serving-client.0.7/opam: No space left on device
error: unable to create file packages/resto-cohttp-self-serving-client/resto-cohttp-self-serving-client.0.8/opam: No space left on device
error: unable to create file packages/resto-cohttp-server/resto-cohttp-server.1.0/opam: No space left on device
error: unable to create file packages/resto-cohttp-server/resto-cohttp-server.1.2/opam: No space left on device
error: unable to create file packages/resto-cohttp/resto-cohttp.0.10/opam: No space left on device
error: unable to create file packages/resto-directory/resto-directory.0.10/opam: No space left on device
error: unable to create file packages/resto-directory/resto-directory.0.3/opam: No space left on device
error: unable to create file packages/restricted/restricted.1.2.0/opam: No space left on device
error: unable to create file packages/rfc6287/rfc6287.1.0.3/opam: No space left on device
error: unable to create file packages/ringo/ringo.0.2/opam: No space left on device
error: unable to create file packages/rocq-prover/rocq-prover.9.0.0/opam: No space left on device
error: unable to create file packages/rocq-runtime/rocq-runtime.9.0.0/opam: No space left on device
error: unable to create file packages/rocq-runtime/rocq-runtime.9.1.0/opam: No space left on device
error: unable to create file packages/rocq-stdlib/rocq-stdlib.9.0.0/opam: No space left on device
error: unable to create file packages/rocqide/rocqide.9.0.0/opam: No space left on device
error: unable to create file packages/rtop/rtop.3.16.0/opam: No space left on device
error: unable to create file packages/rtop/rtop.3.17.0/opam: No space left on device
error: unable to create file packages/rtop/rtop.3.17.3/opam: No space left on device
error: unable to create file packages/runtime_events_tools_bare/runtime_events_tools_bare.0.5.2/opam: No space left on device
error: unable to create file packages/safa/safa.1.4/opam: No space left on device
error: unable to create file packages/safemoney/safemoney.0.1.0/opam: No space left on device
error: unable to create file packages/safemoney/safemoney.0.1.1/opam: No space left on device
error: unable to create file packages/sail/sail.0.17.1/opam: No space left on device
error: unable to create file packages/sail_manifest/sail_manifest.0.20/opam: No space left on device
error: unable to create file packages/sail_sv_backend/sail_sv_backend.0.18/opam: No space left on device
error: unable to create file packages/salsa20-core/salsa20-core.0.2.0/opam: No space left on device
error: unable to create file packages/salsa20-core/salsa20-core.0.3.0/opam: No space left on device
error: unable to create file packages/samplerate/samplerate.0.1.3/opam: No space left on device
error: unable to create file packages/samplerate/samplerate.0.1.4/opam: No space left on device
error: unable to create file packages/sarif/sarif.0.1.0/opam: No space left on device
error: unable to create file packages/saturn/saturn.0.4.0/opam: No space left on device
error: unable to create file packages/saturn/saturn.0.4.1/opam: No space left on device
error: unable to create file packages/saturn_lockfree/saturn_lockfree.0.4.0/opam: No space left on device
fatal: cannot create directory at 'packages/sawja/sawja.1.5.6': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:37.30: Job failed: Failed: Build failed