Build:
- 0
2026-01-27 19:21.49: New job: test sendmail.0.7.0 with mirage-runtime.4.0.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29297/head (bec96dd4b29b0e3eb148af9966895e70442e68e2)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29297/head" && git reset --hard bec96dd4
git fetch origin master
git merge --no-edit 88150787b3c9df767fd8dadf5d416641f8ee58f8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn mirage-runtime.4.0.0 4.0.0
RUN opam reinstall mirage-runtime.4.0.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'mirage-runtime.4.0.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall sendmail.0.7.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" != 'sendmail.0.7.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test sendmail.0.7.0) || true
RUN opam reinstall --with-test --verbose sendmail.0.7.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" != 'sendmail.0.7.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-27 19:21.49: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.0.0-sendmail.0.7.0-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.49: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn mirage-runtime.4.0.0 4.0.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mirage-runtime.4.0.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mirage-runtime.4.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall sendmail.0.7.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\" != 'sendmail.0.7.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test sendmail.0.7.0) || true"))
(run (shell "opam reinstall --with-test --verbose sendmail.0.7.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\" != 'sendmail.0.7.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-27 19:21.49: Waiting for resource in pool OCluster
2026-01-27 19:37.47: Waiting for worker…
2026-01-27 19:38.34: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file .github/workflows/unlabel.yml: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.18/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8/opam: No space left on device
error: unable to create file packages/CamelCase/CamelCase.0.2.0/opam: No space left on device
error: unable to create file packages/CamelCase/CamelCase.0.3.0/opam: No space left on device
error: unable to create file packages/GT/GT.0.4.2/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.03/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.04/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.05/opam: No space left on device
error: unable to create file packages/MlFront_Cache/MlFront_Cache.2.3.0/opam: No space left on device
error: unable to create file packages/MlFront_Cli/MlFront_Cli.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Signify/MlFront_Signify.2.3.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.2/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.2.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.2.1/opam: No space left on device
error: unable to create file packages/OCanren-ppx/OCanren-ppx.0.3.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.1.1.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.0.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.1.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.4.1.1/opam: No space left on device
error: unable to create file packages/SourceCode_ASCII/SourceCode_ASCII.0.1.0/opam: No space left on device
error: unable to create file packages/aarch64-esperanto/aarch64-esperanto.0.0.6/opam: No space left on device
error: unable to create file packages/abstract_algebra/abstract_algebra.v0.17.0/opam: No space left on device
error: unable to create file packages/accessor/accessor.v0.14.0/opam: No space left on device
error: unable to create file packages/accessor_async/accessor_async.v0.15.0/opam: No space left on device
error: unable to create file packages/accessor_async/accessor_async.v0.16.0/opam: No space left on device
error: unable to create file packages/accessor_async/accessor_async.v0.17.0/opam: No space left on device
error: unable to create file packages/acgtk/acgtk.2.1.0/opam: No space left on device
error: unable to create file packages/acpc/acpc.1.1.1/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/adobe_font_metrics/adobe_font_metrics.1.0.0/opam: No space left on device
error: unable to create file packages/advi/advi.2.0.0/opam: No space left on device
error: unable to create file packages/aez/aez.0.3/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.0/opam: No space left on device
error: unable to create file packages/ago/ago.0.4/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.1.0/opam: No space left on device
error: unable to create file packages/alba/alba.0.4.1/opam: No space left on device
error: unable to create file packages/alba/alba.0.4.2/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.1.0/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.3.0/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.4.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.5.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.6.0/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/alcotest-async/alcotest-async.1.9.1/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.7.0/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.0.2.1/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.1.1.0/opam: No space left on device
error: unable to create file packages/allegro5/allegro5.0.1/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.3.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.3.3/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.4.2/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.5.3/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-lib/alt-ergo-lib.2.6.1/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.5.1/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.5.2/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.3.3/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.4.3/opam: No space left on device
error: unable to create file packages/amqp-client-lwt/amqp-client-lwt.2.1.0/opam: No space left on device
error: unable to create file packages/amqp-client-lwt/amqp-client-lwt.2.2.0/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.1.2/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.1.3/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.0.1/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.2/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.16.1/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.13.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.13.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.14.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.12.1/opam: No space left on device
error: unable to create file packages/ansi-parse/ansi-parse.0.4.0/opam: No space left on device
error: unable to create file packages/antic/antic.0.3.1/opam: No space left on device
error: unable to create file packages/ao/ao.0.2.4/opam: No space left on device
error: unable to create file packages/apero-net/apero-net.0.4.7/opam: No space left on device
error: unable to create file packages/apero-time/apero-time.0.4.7/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/apronext/apronext.1.0.1/opam: No space left on device
error: unable to create file packages/apronext/apronext.1.0.2/opam: No space left on device
error: unable to create file packages/arch-x86_32/arch-x86_32.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.8/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.0.0/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.6/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.3.6/opam: No space left on device
error: unable to create file packages/archi/archi.0.2.0/opam: No space left on device
error: unable to create file packages/archimedes/archimedes.0.4.18/opam: No space left on device
error: unable to create file packages/archsat/archsat.1.1/opam: No space left on device
error: unable to create file packages/arrakis/arrakis.1.0.0/opam: No space left on device
error: unable to create file packages/arrakis/arrakis.1.1.0/opam: No space left on device
error: unable to create file packages/ascii85/ascii85.0.2/opam: No space left on device
error: unable to create file packages/ascii85/ascii85.0.3/opam: No space left on device
error: unable to create file packages/ascii85/ascii85.0.4/opam: No space left on device
error: unable to create file packages/asetmap/asetmap.0.8.1/opam: No space left on device
error: unable to create file packages/asn1-combinators/asn1-combinators.0.2.0-1/opam: No space left on device
error: unable to create file packages/asn1-combinators/asn1-combinators.0.2.5/opam: No space left on device
error: unable to create file packages/async-uri/async-uri.0.2/opam: No space left on device
error: unable to create file packages/async-uri/async-uri.0.3.0/opam: No space left on device
error: unable to create file packages/async_extra/async_extra.v0.13.0/opam: No space left on device
error: unable to create file packages/async_find/async_find.v0.14.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.14.0/opam: No space left on device
error: unable to create file packages/async_rpc_kernel/async_rpc_kernel.v0.12.0/opam: No space left on device
error: unable to create file packages/async_rpc_kernel/async_rpc_kernel.v0.15.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.12.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.13.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.14.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.13.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.14.0/opam: No space left on device
error: unable to create file packages/async_unix/async_unix.v0.15.0/opam: No space left on device
error: unable to create file packages/async_websocket/async_websocket.v0.13.0/opam: No space left on device
error: unable to create file packages/atacama/atacama.0.0.3/opam: No space left on device
error: unable to create file packages/atacama/atacama.0.0.5/opam: No space left on device
error: unable to create file packages/atd/atd.1.2.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.2.1/opam: No space left on device
error: unable to create file packages/atd/atd.2.5.0/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.2.1/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.3.3/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.4.1/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.14.1/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.16.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.13.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.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/atds/atds.2.4.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/atds/atds.2.6.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.2.0/opam: No space left on device
error: unable to create file packages/aws-cloudtrail/aws-cloudtrail.1.2/opam: No space left on device
error: unable to create file packages/aws-ec2/aws-ec2.0.1.0/opam: No space left on device
error: unable to create file packages/aws-ec2/aws-ec2.1.2/opam: No space left on device
error: unable to create file packages/aws-s3/aws-s3.4.6.0/opam: No space left on device
error: unable to create file packages/aws-s3/aws-s3.4.7.0/opam: No space left on device
error: unable to create file packages/azure-cosmos-db/azure-cosmos-db.0.1.6/opam: No space left on device
error: unable to create file packages/azure-cosmos-db/azure-cosmos-db.0.2.3/opam: No space left on device
error: unable to create file packages/baby/baby.20241204/opam: No space left on device
error: unable to create file packages/backoff/backoff.0.1.0/opam: No space left on device
error: unable to create file packages/backoff/backoff.0.1.1/opam: No space left on device
error: unable to create file packages/bag/bag.1.0.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.3.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.4.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.5.0/opam: No space left on device
error: unable to create file packages/bap-build/bap-build.2.2.0/opam: No space left on device
error: unable to create file packages/bap-byteweight-frontend/bap-byteweight-frontend.2.5.0/opam: No space left on device
error: unable to create file packages/bap-c/bap-c.2.1.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.2.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.1.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.2.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.3.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.4.0/opam: No space left on device
error: unable to create file packages/bap-dependencies/bap-dependencies.2.5.0/opam: No space left on device
error: unable to create file packages/bap-disassemble/bap-disassemble.2.4.0/opam: No space left on device
error: unable to create file packages/bap-elementary/bap-elementary.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-extra/bap-extra.2.5.0/opam: No space left on device
error: unable to create file packages/bap-flatten/bap-flatten.2.4.0/opam: No space left on device
error: unable to create file packages/bap-future/bap-future.2.3.0/opam: No space left on device
error: unable to create file packages/bap-future/bap-future.2.4.0/opam: No space left on device
error: unable to create file packages/bap-ida-python/bap-ida-python.2.3.0/opam: No space left on device
error: unable to create file packages/bap-ida/bap-ida.2.2.0/opam: No space left on device
error: unable to create file packages/bap-ida/bap-ida.2.3.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.1.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.2.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.3.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.4.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-promiscuous/bap-primus-promiscuous.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-region/bap-primus-region.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus/bap-primus.2.1.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.3.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.5.0/opam: No space left on device
error: unable to create file packages/bap-report/bap-report.2.3.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-riscv/bap-riscv.2.3.0/opam: No space left on device
error: unable to create file packages/bap-symbol-reader/bap-symbol-reader.2.5.0/opam: No space left on device
error: unable to create file packages/bap-thumb/bap-thumb.2.4.0/opam: No space left on device
error: unable to create file packages/bap-x86/bap-x86.2.1.0/opam: No space left on device
error: unable to create file packages/base-effects/base-effects.base/opam: No space left on device
error: unable to create file packages/base58/base58.0.1.0/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.17.0/opam: No space left on device
error: unable to create file packages/batch_jaro_winkler/batch_jaro_winkler.0.1.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.2.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.3.0/opam: No space left on device
error: unable to create file packages/bechamel-js/bechamel-js.0.1.0/opam: No space left on device
error: unable to create file packages/bechamel-notty/bechamel-notty.0.2.0/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.3.0/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.5.0/opam: No space left on device
error: unable to create file packages/beluga/beluga.1.1.3/opam: No space left on device
error: unable to create file packages/benchmark/benchmark.1.5/opam: No space left on device
error: unable to create file packages/bheap/bheap.1.0.0/opam: No space left on device
error: unable to create file packages/bigarray-overlap/bigarray-overlap.0.2.0/opam: No space left on device
error: unable to create file packages/bignum/bignum.v0.17.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.1.0/opam: No space left on device
error: unable to create file packages/bimage-display/bimage-display.0.5.0/opam: No space left on device
error: unable to create file packages/bimage-display/bimage-display.0.6.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_prot/bin_prot.v0.14.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.13.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.16.0/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.30.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.11.0/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.1.2/opam: No space left on device
error: unable to create file packages/biotk/biotk.0.1.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.5.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.7.0/opam: No space left on device
error: unable to create file packages/bitgenerators/bitgenerators.v0.1.0/opam: No space left on device
error: unable to create file packages/bitmasks/bitmasks.1.4.0/opam: No space left on device
error: unable to create file packages/bitv/bitv.1.6/opam: No space left on device
error: unable to create file packages/bitv/bitv.2.0/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.1.0/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.4.0/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.5.0/opam: No space left on device
error: unable to create file packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.5.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.7.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.8.2/opam: No space left on device
error: unable to create file packages/bitwuzla/bitwuzla.0.0.1/opam: No space left on device
error: unable to create file packages/bls12-381-js/bls12-381-js.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.1.0.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.1.0.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.1.0.2/opam: No space left on device
error: unable to create file packages/bn128/bn128.0.1.2/opam: No space left on device
error: unable to create file packages/bn128/bn128.0.1.3/opam: No space left on device
error: unable to create file packages/bnfgen/bnfgen.4.0.0/opam: No space left on device
error: unable to create file packages/bogue/bogue.20241212/opam: No space left on device
error: unable to create file packages/bonsai/bonsai.v0.14.0/opam: No space left on device
error: unable to create file packages/bpf/bpf.0.1/opam: No space left on device
error: unable to create file packages/brr-lwd/brr-lwd.0.4/opam: No space left on device
error: unable to create file packages/buffer-pool/buffer-pool.0.2/opam: No space left on device
error: unable to create file packages/builder-web/builder-web.0.1.0/opam: No space left on device
error: unable to create file packages/builder/builder.0.3.0/opam: No space left on device
error: unable to create file packages/builder/builder.0.3.2/opam: No space left on device
error: unable to create file packages/builder/builder.0.4.0/opam: No space left on device
error: unable to create file packages/bwd/bwd.2.2.0/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.66/opam: No space left on device
error: unable to create file packages/ca-certs/ca-certs.0.2.0/opam: No space left on device
error: unable to create file packages/cairo2-gtk/cairo2-gtk.0.6.2/opam: No space left on device
error: unable to create file packages/calculon-redis-lib/calculon-redis-lib.0.5/opam: No space left on device
error: unable to create file packages/caldav/caldav.0.2.3/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.4.4/opam: No space left on device
error: unable to create file packages/caml-mode/caml-mode.4.9/opam: No space left on device
error: unable to create file packages/camlbz2/camlbz2.0.6.0/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/camlbz2/camlbz2.transition/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.3/opam: No space left on device
error: unable to create file packages/camlix/camlix.0.1/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.10+1/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.6/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.7.1/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.8.1/opam: No space left on device
error: unable to create file packages/camlprime/camlprime.0.5/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.1.0/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.2.0/opam: No space left on device
error: unable to create file packages/capnp-rpc/capnp-rpc.1.2.2/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.9.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.2.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.2.3/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.2.4/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.8.0/opam: No space left on device
error: unable to create file packages/caqti-eio/caqti-eio.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-eio/caqti-eio.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.1.8.0/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.1.9.0/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-type-calendar/caqti-type-calendar.1.0.0/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.1.2.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.1.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.2.0/opam: No space left on device
error: unable to create file packages/carton-lwt/carton-lwt.0.2.0/opam: No space left on device
error: unable to create file packages/carton/carton.1.0.0/opam: No space left on device
error: unable to create file packages/castore/castore.0.0.1/opam: No space left on device
error: unable to create file packages/catala-format/catala-format.0.1.0/opam: No space left on device
error: unable to create file packages/catala/catala.0.10.0/opam: No space left on device
error: unable to create file packages/catala/catala.0.2.0/opam: No space left on device
error: unable to create file packages/cbor/cbor.0.2/opam: No space left on device
error: unable to create file packages/cbor/cbor.0.3/opam: No space left on device
error: unable to create file packages/cconv-ppx/cconv-ppx.0.5/opam: No space left on device
error: unable to create file packages/cconv/cconv.0.4/opam: No space left on device
error: unable to create file packages/certify/certify.0.2/opam: No space left on device
error: unable to create file packages/cfg/cfg.2.2.1/opam: No space left on device
error: unable to create file packages/chamelon-unix/chamelon-unix.0.0.10/opam: No space left on device
error: unable to create file packages/chamelon/chamelon.0.0.9.1/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-client/charrua-client.2.1.1/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.1.1/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.0.1/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.0.3/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.15.3/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.17.2/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.19.1/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.12.0/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.12.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.5.0.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.5.0.2/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.6.0.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.0.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.3.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.4.0/opam: No space left on device
error: unable to create file packages/cloudi/cloudi.2.0.1/opam: No space left on device
error: unable to create file packages/cmdlang-to-base/cmdlang-to-base.0.0.9/opam: No space left on device
error: unable to create file packages/cmdlang-to-cmdliner/cmdlang-to-cmdliner.0.0.10/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/cmdlang/cmdlang.0.0.9/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.1.1/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.2/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.2.5.2-1/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-bench/cohttp-bench.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-bench/cohttp-bench.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.0.0~beta2/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.1.2.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.2.1.3/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.6.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/cohttp.1.1.1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.1.2.0/opam: No space left on device
error: unable to create file packages/colibrics/colibrics.0.4/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.4.1/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.5.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.8.1/opam: No space left on device
error: unable to create file packages/colors/colors.0.0.1/opam: No space left on device
error: unable to create file packages/combinaml/combinaml.0.1/opam: No space left on device
error: unable to create file packages/combinat/combinat.1.0/opam: No space left on device
error: unable to create file packages/combine/combine.0.6/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.1/opam: No space left on device
error: unable to create file packages/conan-cli/conan-cli.0.0.3/opam: No space left on device
error: unable to create file packages/conan-lwt/conan-lwt.0.0.1/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.6/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.1.3.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.1.5.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.2.0.2/opam: No space left on device
error: unable to create file packages/conduit/conduit.2.0.2/opam: No space left on device
error: unable to create file packages/conf-adwaita-icon-theme/conf-adwaita-icon-theme.1/opam: No space left on device
error: unable to create file packages/conf-cairo/conf-cairo.1/opam: No space left on device
error: unable to create file packages/conf-calcium/conf-calcium.1/opam: No space left on device
error: unable to create file packages/conf-cuda/conf-cuda.1/opam: No space left on device
error: unable to create file packages/conf-diffutils/conf-diffutils.1/opam: No space left on device
error: unable to create file packages/conf-fdkaac/conf-fdkaac.1/opam: No space left on device
error: unable to create file packages/conf-g++/conf-g++.1.0/opam: No space left on device
error: unable to create file packages/conf-gegl/conf-gegl.1/opam: No space left on device
error: unable to create file packages/conf-glib-2/conf-glib-2.1/opam: No space left on device
error: unable to create file packages/conf-gmp-paths/conf-gmp-paths.1/opam: No space left on device
error: unable to create file packages/conf-graphviz/conf-graphviz.0.1/opam: No space left on device
error: unable to create file packages/conf-gstreamer/conf-gstreamer.1/opam: No space left on device
error: unable to create file packages/conf-jq/conf-jq.1/opam: No space left on device
error: unable to create file packages/conf-libclang/conf-libclang.1.0.0/opam: No space left on device
error: unable to create file packages/conf-libcorosync/conf-libcorosync.3/opam: No space left on device
error: unable to create file packages/conf-libcurl/conf-libcurl.1/opam: No space left on device
error: unable to create file packages/conf-libdw/conf-libdw.1/opam: No space left on device
error: unable to create file packages/conf-libgccjit/conf-libgccjit.1/opam: No space left on device
error: unable to create file packages/conf-libogg/conf-libogg.1/opam: No space left on device
error: unable to create file packages/conf-libssl/conf-libssl.4/opam: No space left on device
error: unable to create file packages/conf-libxcb-keysyms/conf-libxcb-keysyms.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-freeglut-x86_64/conf-mingw-w64-freeglut-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-freetype-i686/conf-mingw-w64-freetype-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-freetype-x86_64/conf-mingw-w64-freetype-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-g++-x86_64/conf-mingw-w64-g++-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pcre-i686/conf-mingw-w64-pcre-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pcre-x86_64/conf-mingw-w64-pcre-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pcre2-i686/conf-mingw-w64-pcre2-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pkgconf-x86_64/conf-mingw-w64-pkgconf-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-net-i686/conf-mingw-w64-sdl2-net-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-zlib-x86_64/conf-mingw-w64-zlib-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-zstd-x86_64/conf-mingw-w64-zstd-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-ncurses/conf-ncurses.1/opam: No space left on device
error: unable to create file packages/conf-openblas/conf-openblas.0.2.3/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.3/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.4/opam: No space left on device
error: unable to create file packages/conf-povray/conf-povray.1/opam: No space left on device
error: unable to create file packages/conf-python-3-7/conf-python-3-7.1.0.0/opam: No space left on device
error: unable to create file packages/conf-r/conf-r.1.0.0/opam: No space left on device
error: unable to create file packages/conf-rust-2021/conf-rust-2021.1/opam: No space left on device
error: unable to create file packages/conf-sdl2-image/conf-sdl2-image.1/opam: No space left on device
error: unable to create file packages/conf-sdl2-mixer/conf-sdl2-mixer.1/opam: No space left on device
error: unable to create file packages/conf-soundtouch/conf-soundtouch.1/opam: No space left on device
error: unable to create file packages/conf-tcl/conf-tcl.1/opam: No space left on device
error: unable to create file packages/conf-texlive/conf-texlive.1/opam: No space left on device
error: unable to create file packages/conf-texlive/conf-texlive.2/opam: No space left on device
error: unable to create file packages/conf-xen/conf-xen.1/opam: No space left on device
error: unable to create file packages/config/config.0.0.2/opam: No space left on device
error: unable to create file packages/configuration/configuration.0.4.0/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/conformist/conformist.0.8.1/opam: No space left on device
error: unable to create file packages/conjury/conjury.2.1.1/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.0/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-thread/containers-thread.3.12/opam: No space left on device
error: unable to create file packages/content_security_policy/content_security_policy.v0.16.0/opam: No space left on device
error: unable to create file packages/cookie/cookie.0.1.6/opam: No space left on device
error: unable to create file packages/cookie/cookie.0.1.8/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.6.1+8.17/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.5+9.1/opam: No space left on device
error: unable to create file packages/coq-native/coq-native.1/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.12/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.13/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-serapi/coq-serapi.8.15.0+0.15.2/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.19.0+0.19.3/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.20.0+0.20.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.2/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.3.1.0+9.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.17.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.8.1/opam: No space left on device
error: unable to create file packages/coq/coq.9.0.1/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.17.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.10.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.9.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-email-composer/cordova-plugin-email-composer.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-fcm/cordova-plugin-fcm.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-toast/cordova-plugin-toast.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-touch-id/cordova-plugin-touch-id.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-vibration/cordova-plugin-vibration.1.0/opam: No space left on device
error: unable to create file packages/core/core.v0.17.1/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.12.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_profiler/core_profiler.v0.17.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.2/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.16.0/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.3/opam: No space left on device
error: unable to create file packages/cpm/cpm.12.0.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.12.1.2/opam: No space left on device
error: unable to create file packages/cpm/cpm.12.2.0/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.7/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.8/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/cppo_ocamlbuild/cppo_ocamlbuild.1.7.0/opam: No space left on device
error: unable to create file packages/crc/crc.2.0.0/opam: No space left on device
error: unable to create file packages/crlibm/crlibm.0.5.1/opam: No space left on device
error: unable to create file packages/crunch/crunch.3.2.0/opam: No space left on device
error: unable to create file packages/cry/cry.0.6.2/opam: No space left on device
error: unable to create file packages/cry/cry.1.0.2/opam: No space left on device
error: unable to create file packages/cry/cry.1.0.3/opam: No space left on device
error: unable to create file packages/crypt/crypt.1.2/opam: No space left on device
error: unable to create file packages/crypt/crypt.1.3/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.12/opam: No space left on device
error: unable to create file packages/csdp/csdp.6.2.0/opam: No space left on device
error: unable to create file packages/css-parser/css-parser.0.2.4/opam: No space left on device
error: unable to create file packages/css/css.0.1.0/opam: No space left on device
error: unable to create file packages/css/css.0.2.0/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/cstruct-lwt/cstruct-lwt.3.7.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.5.2.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.6.0.0/opam: No space left on device
error: unable to create file packages/cstruct/cstruct.6.0.0/opam: No space left on device
error: unable to create file packages/csv-lwt/csv-lwt.2.3/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/csv/csv.1.6/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.16.0/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.17.0/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.23.0/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.4.0/opam: No space left on device
error: unable to create file packages/ctypes-zarith/ctypes-zarith.0.1.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.15.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.8.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.9.3/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.9.4/opam: No space left on device
error: unable to create file packages/cubicle/cubicle.1.2.0/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.5.0/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.0/opam: No space left on device
error: unable to create file packages/cudd/cudd.0.1.1/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.7.3/opam: No space left on device
error: unable to create file packages/current_github/current_github.0.7.1/opam: No space left on device
error: unable to create file packages/current_ssh/current_ssh.0.7.2/opam: No space left on device
error: unable to create file packages/cvc5/cvc5.1.1.3~unreleased/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.0/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.1/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.3/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/data-encoding/data-encoding.0.5.1/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.5/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.6/opam: No space left on device
error: unable to create file packages/datakit-server/datakit-server.0.12.3/opam: No space left on device
error: unable to create file packages/datakit-server/datakit-server.1.0.0/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.1/opam: No space left on device
error: unable to create file packages/dbm/dbm.1.4/opam: No space left on device
error: unable to create file packages/dead_code_analyzer/dead_code_analyzer.1.1.0/opam: No space left on device
error: unable to create file packages/decimal/decimal.0.1.1/opam: No space left on device
error: unable to create file packages/decoders-bencode/decoders-bencode.0.6.0/opam: No space left on device
error: unable to create file packages/decoders-bencode/decoders-bencode.0.7.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.3.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.4.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.0.8.1/opam: No space left on device
error: unable to create file packages/depext/depext.0.6/opam: No space left on device
error: unable to create file packages/depext/depext.0.7/opam: No space left on device
error: unable to create file packages/depext/depext.0.8.1/opam: No space left on device
error: unable to create file packages/depext/depext.1.0.4/opam: No space left on device
error: unable to create file packages/devkit/devkit.1.3/opam: No space left on device
error: unable to create file packages/diet/diet.0.1/opam: No space left on device
error: unable to create file packages/diffast-cli/diffast-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-core/diffast-core.0.2/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-etc/diffast-etc.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-common/diffast-langs-common.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing-cli/diffast-langs-cpp-parsing-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-spec/diffast-langs-verilog-spec.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/diffast/diffast.0.3.5.1/opam: No space left on device
error: unable to create file packages/directories/directories.0.3/opam: No space left on device
error: unable to create file packages/diskuvbox/diskuvbox.0.1.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.5.0/opam: No space left on device
error: unable to create file packages/distributed-lwt/distributed-lwt.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-base-compiler/dkml-base-compiler.4.12.1~v1.0.0/opam: No space left on device
error: unable to create file packages/dkml-component-offline-ocamlrun/dkml-component-offline-ocamlrun.4.12.1~v1.0.2/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-dune-dsl/dkml-dune-dsl.0.1.3/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.2.0/opam: No space left on device
error: unable to create file packages/dkml-option-vcpkg/dkml-option-vcpkg.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-runtime-distribution/dkml-runtime-distribution.1.0.2~prerel7/opam: No space left on device
error: unable to create file packages/dkml-workflows/dkml-workflows.1.1.0/opam: No space left on device
error: unable to create file packages/dlist/dlist.0.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-client-lwt/dns-client-lwt.7.0.3/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.4.4.1/opam: No space left on device
error: unable to create file packages/dns-mirage/dns-mirage.10.2.0/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.10.2.1/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.8.0.0/opam: No space left on device
error: unable to create file packages/dns-tsig/dns-tsig.10.1.0/opam: No space left on device
error: unable to create file packages/dns-tsig/dns-tsig.10.2.0/opam: No space left on device
error: unable to create file packages/dns/dns.9.1.0/opam: No space left on device
error: unable to create file packages/dnssd/dnssd.0.5.0/opam: No space left on device
error: unable to create file packages/docker-api/docker-api.0.2.1/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.2/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.3.4/opam: No space left on device
error: unable to create file packages/docout/docout.0.0.1/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.1/opam: No space left on device
error: unable to create file packages/doculib/doculib.1.3.4/opam: No space left on device
error: unable to create file packages/doi2bib/doi2bib.0.6.2/opam: No space left on device
error: unable to create file packages/doi2bib/doi2bib.0.7.7/opam: No space left on device
error: unable to create file packages/doi2bib/doi2bib.0.7.9/opam: No space left on device
error: unable to create file packages/doi2bib/doi2bib.0.9.0/opam: No space left on device
error: unable to create file packages/dokeysto_camltc/dokeysto_camltc.3.0.1/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.7/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.8.1/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.8.1/opam: No space left on device
error: unable to create file packages/dolmen_lsp/dolmen_lsp.0.9/opam: No space left on device
error: unable to create file packages/dolmen_model/dolmen_model.0.10/opam: No space left on device
error: unable to create file packages/dolmen_type/dolmen_type.0.8/opam: No space left on device
error: unable to create file packages/dose3/dose3.6.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.4.2~5.4preview/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.6-503/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.1.0.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.2.0.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.0.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.7.0/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha3/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha4/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha7/opam: No space left on device
error: unable to create file packages/dream_middleware_ext/dream_middleware_ext.0.1.0/opam: No space left on device
error: unable to create file packages/dropbox_lwt_unix/dropbox_lwt_unix.0.2/opam: No space left on device
error: unable to create file packages/dryunit/dryunit.0.5.0/opam: No space left on device
error: unable to create file packages/dscheck/dscheck.0.1.0/opam: No space left on device
error: unable to create file packages/dscheck/dscheck.0.2.0/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.4/opam: No space left on device
error: unable to create file packages/dtc-pb/dtc-pb.1.0/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.17.2/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.19.1/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.20.1/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.20.2/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.15.3/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.18.2/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.19.0/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.20.2/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.21.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.2.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.3.1/opam: No space left on device
error: unable to create file packages/dune-rpc-lwt/dune-rpc-lwt.3.20.0/opam: No space left on device
error: unable to create file packages/dune-secondary/dune-secondary.3.16.0/opam: No space left on device
error: unable to create file packages/dune-secondary/dune-secondary.3.8.1/opam: No space left on device
error: unable to create file packages/dune-site/dune-site.3.15.3/opam: No space left on device
error: unable to create file packages/dune/dune.3.18.2/opam: No space left on device
error: unable to create file packages/dune/dune.3.19.0/opam: No space left on device
error: unable to create file packages/dune/dune.3.19.1/opam: No space left on device
error: unable to create file packages/dune/dune.3.21.0/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/duppy/duppy.0.7.3/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.5/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.0.3/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.15.3/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.2.0/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.20.1/opam: No space left on device
error: unable to create file packages/dyntype/dyntype.0.9.0/opam: No space left on device
error: unable to create file packages/dypgen/dypgen.0.2.1/opam: No space left on device
error: unable to create file packages/earley/earley.1.0.2/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.0/opam: No space left on device
error: unable to create file packages/echo/echo.0.0.4/opam: No space left on device
error: unable to create file packages/edn/edn.0.1.6-1-gff9db95/opam: No space left on device
error: unable to create file packages/efl/efl.1.20.0/opam: No space left on device
error: unable to create file packages/ego/ego.0.0.6/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.1.1/opam: No space left on device
error: unable to create file packages/eio-trace/eio-trace.0.2/opam: No space left on device
error: unable to create file packages/eio/eio.0.13/opam: No space left on device
error: unable to create file packages/eio/eio.0.15/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/eio.1.2/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.10/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.13/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.14/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.0.5/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.1.0/opam: No space left on device
error: unable to create file packages/electrumAnalyzer/electrumAnalyzer.0.3.5-2/opam: No space left on device
error: unable to create file packages/eliom/eliom.10.2.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/eliom/eliom.6.12.4/opam: No space left on device
error: unable to create file packages/elm_playground/elm_playground.0.1.7/opam: No space left on device
error: unable to create file packages/elpi/elpi.1.18.1/opam: No space left on device
error: unable to create file packages/elpi/elpi.2.0.6/opam: No space left on device
error: unable to create file packages/email_message/email_message.v0.15.0/opam: No space left on device
error: unable to create file packages/emile/emile.0.1/opam: No space left on device
error: unable to create file packages/equinoxe-cohttp/equinoxe-cohttp.0.2.0/opam: No space left on device
error: unable to create file packages/equinoxe-hlc/equinoxe-hlc.0.2.0/opam: No space left on device
error: unable to create file packages/erlang/erlang.0.0.14/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.1/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.4/opam: No space left on device
error: unable to create file packages/euler/euler.0.1/opam: No space left on device
error: unable to create file packages/euler/euler.0.2/opam: No space left on device
error: unable to create file packages/euler/euler.0.3/opam: No space left on device
error: unable to create file packages/exenum/exenum.0.7/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.3.0/opam: No space left on device
error: unable to create file packages/extism/extism.0.3.0/opam: No space left on device
error: unable to create file packages/extism/extism.1.4.0/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.8.0/opam: No space left on device
error: unable to create file packages/extprot/extprot.1.7.0/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.1.5/opam: No space left on device
error: unable to create file packages/ez_api/ez_api.1.2.0/opam: No space left on device
error: unable to create file packages/ez_api/ez_api.2.1.0/opam: No space left on device
error: unable to create file packages/ez_file/ez_file.0.1.2/opam: No space left on device
error: unable to create file packages/ez_file/ez_file.0.2.0/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.2.1/opam: No space left on device
error: unable to create file packages/ezcurl/ezcurl.0.2.4/opam: No space left on device
error: unable to create file packages/ezjs_jquery/ezjs_jquery.0.1/opam: No space left on device
error: unable to create file packages/ezjs_min/ezjs_min.0.1/opam: No space left on device
error: unable to create file packages/ezjs_qrcode/ezjs_qrcode.0.1/opam: No space left on device
error: unable to create file packages/ezjsonm-encoding/ezjsonm-encoding.1.0.0/opam: No space left on device
error: unable to create file packages/ezjsonm/ezjsonm.0.5.0/opam: No space left on device
error: unable to create file packages/ezjsonm/ezjsonm.0.6.0/opam: No space left on device
error: unable to create file packages/ezjsonm/ezjsonm.1.0.0/opam: No space left on device
error: unable to create file packages/ezresto/ezresto.0.5/opam: No space left on device
error: unable to create file packages/faad/faad.0.5.0/opam: No space left on device
error: unable to create file packages/fadbadml/fadbadml.0.1/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.4.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.5.1/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.7.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.7.1/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.2.0/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/feat-core/feat-core.20220101/opam: No space left on device
error: unable to create file packages/feat-core/feat-core.20220407/opam: No space left on device
error: unable to create file packages/feather_async/feather_async.0.1.0/opam: No space left on device
error: unable to create file packages/feather_async/feather_async.0.2.0/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.0.0~rc1/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.2.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.4/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.5/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.2.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.0.0~rc1/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.2.6/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.0.0~rc1/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.1.11/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-swresample/ffmpeg-swresample.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.2.5/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.5/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.2.0/opam: No space left on device
error: unable to create file packages/fiber-lwt/fiber-lwt.3.7.0/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/fiber/fiber.3.6.2/opam: No space left on device
error: unable to create file packages/fieldslib/fieldslib.v0.15.0/opam: No space left on device
error: unable to create file packages/file-rewriter/file-rewriter.0.0.3/opam: No space left on device
error: unable to create file packages/file_path/file_path.v0.15.0/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.4/opam: No space left on device
error: unable to create file packages/findlib_top/findlib_top.v0.10.0/opam: No space left on device
error: unable to create file packages/flac/flac.1.0.0/opam: No space left on device
error: unable to create file packages/flex-array/flex-array.1.1.0/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.39/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.40/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.44/opam: No space left on device
error: unable to create file packages/fluxt/fluxt.0.0.1~beta2/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.11/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.3/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.4.0/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.0/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.1/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.6/opam: No space left on device
error: unable to create file packages/forester/forester.2.0/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.10~beta/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.2/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.20.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.27.0~beta/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.27.1/opam: No space left on device
error: unable to create file packages/fred/fred.0.1.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/fs-io/fs-io.3.21.0/opam: No space left on device
error: unable to create file packages/fsevents/fsevents.0.3.0/opam: No space left on device
error: unable to create file packages/fuseau-lwt/fuseau-lwt.0.1/opam: No space left on device
error: unable to create file packages/fuzzy_compare/fuzzy_compare.1.0.0/opam: No space left on device
error: unable to create file packages/gadelac/gadelac.0.6/opam: No space left on device
error: unable to create file packages/gen-bs/gen-bs.0.0.0/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.0.6/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.1.5/opam: No space left on device
error: unable to create file packages/genspir/genspir.1.0.1/opam: No space left on device
error: unable to create file packages/geojsone/geojsone.0.2.0/opam: No space left on device
error: unable to create file packages/get_line/get_line.2.1.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/gettext-camomile/gettext-camomile.0.4.2/opam: No space left on device
error: unable to create file packages/gettext-camomile/gettext-camomile.0.5.0/opam: No space left on device
error: unable to create file packages/git-cohttp-unix/git-cohttp-unix.3.2.0/opam: No space left on device
error: unable to create file packages/git-cohttp-unix/git-cohttp-unix.3.6.0/opam: No space left on device
error: unable to create file packages/git-cohttp/git-cohttp.3.2.0/opam: No space left on device
error: unable to create file packages/git-http/git-http.2.1.3/opam: No space left on device
error: unable to create file packages/git-net/git-net.0.2.1/opam: No space left on device
error: unable to create file packages/github-hooks-unix/github-hooks-unix.0.2.0/opam: No space left on device
error: unable to create file packages/github-hooks/github-hooks.0.4.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.3.0.1/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.1/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.2/opam: No space left on device
error: unable to create file packages/github/github.4.3.2/opam: No space left on device
error: unable to create file packages/github/github.4.5.1/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.6/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.8/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.5/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1-2/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1/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/glpk/glpk.0.1.6/opam: No space left on device
error: unable to create file packages/gluten-eio/gluten-eio.0.5.1/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.1.0/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.4.0/opam: No space left on device
error: unable to create file packages/gluten-mirage/gluten-mirage.0.4.0/opam: No space left on device
error: unable to create file packages/gluten-mirage/gluten-mirage.0.4.1/opam: No space left on device
error: unable to create file packages/gluten-mirage/gluten-mirage.0.5.0/opam: No space left on device
error: unable to create file packages/gmp-xen/gmp-xen.6.0.0-1/opam: No space left on device
error: unable to create file packages/gmp-xen/gmp-xen.6.0.0/opam: No space left on device
error: unable to create file packages/gnuplot/gnuplot.0.7/opam: No space left on device
error: unable to create file packages/gobba/gobba.0.4.2/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.2.0.2/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.2.1/opam: No space left on device
error: unable to create file packages/gopcaml-mode/gopcaml-mode.0.0.3/opam: No space left on device
error: unable to create file packages/gpr/gpr.1.4.0/opam: No space left on device
error: unable to create file packages/gpx/gpx.1.0.1/opam: No space left on device
error: unable to create file packages/gpx/gpx.1.1.0/opam: No space left on device
error: unable to create file packages/gpx/gpx.1.1.1/opam: No space left on device
error: unable to create file packages/graft/graft.0.1.0/opam: No space left on device
error: unable to create file packages/graphics/graphics.5.0.0/opam: No space left on device
error: unable to create file packages/graphics/graphics.5.1.2/opam: No space left on device
error: unable to create file packages/graphics/graphics.5.2.0/opam: No space left on device
error: unable to create file packages/graphql-async/graphql-async.0.14.0/opam: No space left on device
error: unable to create file packages/graphql-async/graphql-async.0.8.0/opam: No space left on device
error: unable to create file packages/graphql-lwt/graphql-lwt.0.6.0/opam: No space left on device
error: unable to create file packages/graphql-lwt/graphql-lwt.0.7.0/opam: No space left on device
error: unable to create file packages/graphql/graphql.0.6.0/opam: No space left on device
error: unable to create file packages/graphql/graphql.0.8.0/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_parser/graphql_parser.0.9.0/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.13/opam: No space left on device
error: unable to create file packages/grib/grib.0.11.0/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.19.1/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.24.3/opam: No space left on device
error: unable to create file packages/gufo/gufo.0.1.2/opam: No space left on device
error: unable to create file packages/guile/guile.1.0/opam: No space left on device
error: unable to create file packages/h1-lwt-unix/h1-lwt-unix.1.0.0/opam: No space left on device
error: unable to create file packages/h2-async/h2-async.0.13.0/opam: No space left on device
error: unable to create file packages/h2-async/h2-async.0.8.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.10.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.8.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.9.0/opam: No space left on device
error: unable to create file packages/h2/h2.0.6.0/opam: No space left on device
error: unable to create file packages/h2/h2.0.8.0/opam: No space left on device
error: unable to create file packages/hachis/hachis.20240918/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.2.2/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.3.0-1/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.3.2/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.6.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.7.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.7.2/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.1.1/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.1/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.4.2/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.4.3/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.4.4/opam: No space left on device
error: unable to create file packages/hacl/hacl.0.3/opam: No space left on device
error: unable to create file packages/handlebars-ml/handlebars-ml.0.3.0/opam: No space left on device
error: unable to create file packages/happy-eyeballs-lwt/happy-eyeballs-lwt.0.1.3/opam: No space left on device
error: unable to create file packages/happy-eyeballs-mirage/happy-eyeballs-mirage.2.0.1/opam: No space left on device
error: unable to create file packages/happy-eyeballs/happy-eyeballs.0.0.7/opam: No space left on device
error: unable to create file packages/happy-eyeballs/happy-eyeballs.0.6.0/opam: No space left on device
error: unable to create file packages/hardcaml_axi/hardcaml_axi.v0.17.0/opam: No space left on device
error: unable to create file packages/hardcaml_fixed_point/hardcaml_fixed_point.v0.15.0/opam: No space left on device
error: unable to create file packages/hardcaml_fixed_point/hardcaml_fixed_point.v0.16.0/opam: No space left on device
error: unable to create file packages/hardcaml_verilator/hardcaml_verilator.v0.16.0/opam: No space left on device
error: unable to create file packages/hardcaml_xilinx_components/hardcaml_xilinx_components.v0.15.0/opam: No space left on device
error: unable to create file packages/hardcaml_xilinx_reports/hardcaml_xilinx_reports.v0.16.0/opam: No space left on device
error: unable to create file packages/hc/hc.0.0.1/opam: No space left on device
error: unable to create file packages/hc/hc.0.2/opam: No space left on device
error: unable to create file packages/headache/headache.1.04/opam: No space left on device
error: unable to create file packages/heptagon/heptagon.1.03.03/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.42-beta.3/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.50/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.52/opam: No space left on device
error: unable to create file packages/hevea/hevea.2.36/opam: No space left on device
error: unable to create file packages/hex_encode/hex_encode.v0.16.0/opam: No space left on device
error: unable to create file packages/hexstring/hexstring.0.1.2/opam: No space left on device
error: unable to create file packages/hg_lib/hg_lib.v0.16.0/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/higher_kinded/higher_kinded.v0.14.1/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.2/opam: No space left on device
error: unable to create file packages/hiredis/hiredis.0.4/opam: No space left on device
error: unable to create file packages/hlarp/hlarp.0.0.2/opam: No space left on device
error: unable to create file packages/hll/hll.2.7/opam: No space left on device
error: unable to create file packages/hll/hll.3.16/opam: No space left on device
error: unable to create file packages/hll/hll.4.3/opam: No space left on device
error: unable to create file packages/hockmd/hockmd.0.1.0/opam: No space left on device
error: unable to create file packages/host-system-other/host-system-other.1/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.11.0/opam: No space left on device
error: unable to create file packages/html_of_jsx/html_of_jsx.0.0.4/opam: No space left on device
error: unable to create file packages/hts_shrink/hts_shrink.3.0.1/opam: No space left on device
error: unable to create file packages/http-multipart-formdata/http-multipart-formdata.2.0.0/opam: No space left on device
error: unable to create file packages/http-multipart-formdata/http-multipart-formdata.3.0.1/opam: No space left on device
error: unable to create file packages/http_async/http_async.0.0.3/opam: No space left on device
error: unable to create file packages/http_async/http_async.0.1.0/opam: No space left on device
error: unable to create file packages/httpaf-lwt-unix/httpaf-lwt-unix.0.7.0/opam: No space left on device
error: unable to create file packages/httpaf/httpaf.0.1.0/opam: No space left on device
error: unable to create file packages/httpaf_caged/httpaf_caged.1.0.0/opam: No space left on device
error: unable to create file packages/httpaf_caged/httpaf_caged.1.0.1/opam: No space left on device
error: unable to create file packages/httpcats/httpcats.0.0.1/opam: No space left on device
error: unable to create file packages/httpun-types/httpun-types.0.2.0/opam: No space left on device
error: unable to create file packages/httpun-ws-lwt-unix/httpun-ws-lwt-unix.0.1.0/opam: No space left on device
error: unable to create file packages/httpun-ws-lwt-unix/httpun-ws-lwt-unix.0.2.0/opam: No space left on device
error: unable to create file packages/httpun-ws-mirage/httpun-ws-mirage.0.2.0/opam: No space left on device
error: unable to create file packages/httpun-ws/httpun-ws.0.2.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/huml/huml.0.1.1/opam: No space left on device
error: unable to create file packages/huml/huml.0.2.0/opam: No space left on device
error: unable to create file packages/hurl/hurl.0.0.1~beta1/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/hvsock/hvsock.2.0.0/opam: No space left on device
error: unable to create file packages/hxd/hxd.0.3.1/opam: No space left on device
error: unable to create file packages/hxd/hxd.0.3.5/opam: No space left on device
error: unable to create file packages/i3ipc/i3ipc.0.1.4/opam: No space left on device
error: unable to create file packages/icalendar/icalendar.0.1.11/opam: No space left on device
error: unable to create file packages/icalendar/icalendar.0.1.12/opam: No space left on device
error: unable to create file packages/imagelib/imagelib.20210511/opam: No space left on device
error: unable to create file packages/incr_dom_interactive/incr_dom_interactive.v0.16.0/opam: No space left on device
error: unable to create file packages/incr_dom_interactive/incr_dom_interactive.v0.17.0/opam: No space left on device
error: unable to create file packages/incr_dom_partial_render/incr_dom_partial_render.v0.12.0/opam: No space left on device
error: unable to create file packages/incremental/incremental.v0.14.0/opam: No space left on device
error: unable to create file packages/incremental/incremental.v0.16.1/opam: No space left on device
error: unable to create file packages/incremental_cycles/incremental_cycles.0.1/opam: No space left on device
error: unable to create file packages/index-bench/index-bench.1.4.2/opam: No space left on device
error: unable to create file packages/index-bench/index-bench.1.5.0/opam: No space left on device
error: unable to create file packages/index-bench/index-bench.1.6.0/opam: No space left on device
error: unable to create file packages/index/index.1.2.0/opam: No space left on device
error: unable to create file packages/index/index.1.2.1/opam: No space left on device
error: unable to create file packages/index/index.1.3.0/opam: No space left on device
error: unable to create file packages/index/index.1.3.2/opam: No space left on device
error: unable to create file packages/index/index.1.6.2/opam: No space left on device
error: unable to create file packages/inferno/inferno.20201001/opam: No space left on device
error: unable to create file packages/influxdb/influxdb.0.1.0/opam: No space left on device
error: unable to create file packages/inquire/inquire.0.1.0/opam: No space left on device
error: unable to create file packages/inquire/inquire.0.2.0/opam: No space left on device
error: unable to create file packages/inquire/inquire.0.2.1/opam: No space left on device
error: unable to create file packages/inquire/inquire.0.3.0/opam: No space left on device
error: unable to create file packages/intPQueue/intPQueue.20250925/opam: No space left on device
error: unable to create file packages/int_repr/int_repr.v0.16.0/opam: No space left on device
error: unable to create file packages/interval_crlibm/interval_crlibm.1.6/opam: No space left on device
error: unable to create file packages/io-page-unix/io-page-unix.2.1.0/opam: No space left on device
error: unable to create file packages/iostream-camlzip/iostream-camlzip.0.2.2/opam: No space left on device
error: unable to create file packages/iostream/iostream.0.2.1/opam: No space left on device
error: unable to create file packages/ip2location/ip2location.8.0.0/opam: No space left on device
error: unable to create file packages/ip2location/ip2location.8.1.0/opam: No space left on device
error: unable to create file packages/ip2locationio/ip2locationio.1.1.0/opam: No space left on device
error: unable to create file packages/ip2proxy/ip2proxy.3.0.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.7.1/opam: No space left on device
error: unable to create file packages/irc-client-unix/irc-client-unix.0.6.0/opam: No space left on device
error: unable to create file packages/irc-client/irc-client.0.5.1/opam: No space left on device
error: unable to create file packages/iri/iri.1.0.0/opam: No space left on device
error: unable to create file packages/irmin-layers/irmin-layers.2.10.2/opam: No space left on device
error: unable to create file packages/irmin-mirage-git/irmin-mirage-git.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-pack/irmin-pack.3.11.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.7.2/opam: No space left on device
error: unable to create file packages/iter/iter.1.9/opam: No space left on device
error: unable to create file packages/itv-tree/itv-tree.2.1/opam: No space left on device
error: unable to create file packages/jane_rope/jane_rope.v0.16.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/jasmin/jasmin.2025.06.2/opam: No space left on device
error: unable to create file packages/javalib/javalib.3.0/opam: No space left on device
error: unable to create file packages/jbuilder/jbuilder.transition/opam: No space left on device
error: unable to create file packages/jekyll-format/jekyll-format.0.3.0/opam: No space left on device
error: unable to create file packages/jekyll-format/jekyll-format.0.3.4/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.2.19/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.3.0-1/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.3.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.6.1.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.6.2.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.6.1.1/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.5.1.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx/js_of_ocaml-ppx.5.5.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx/js_of_ocaml-ppx.5.6.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx/js_of_ocaml-ppx.5.8.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx_deriving_json/js_of_ocaml-ppx_deriving_json.3.10.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx_deriving_json/js_of_ocaml-ppx_deriving_json.3.5.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.3.7.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.3.8.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.3.9.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.4.0.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.6.2.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml/js_of_ocaml.3.5.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml/js_of_ocaml.5.7.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml/js_of_ocaml.5.8.2/opam: No space left on device
error: unable to create file packages/json-data-encoding-bson/json-data-encoding-bson.0.10/opam: No space left on device
error: unable to create file packages/json-data-encoding-bson/json-data-encoding-bson.0.11/opam: No space left on device
error: unable to create file packages/json_decoder/json_decoder.0.1.1/opam: No space left on device
error: unable to create file packages/jsonoo/jsonoo.0.2.1/opam: No space left on device
error: unable to create file packages/jsonoo/jsonoo.0.3.0/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.20.1/opam: No space left on device
error: unable to create file packages/jsont/jsont.0.1.1/opam: No space left on device
error: unable to create file packages/jst-config/jst-config.v0.14.1/opam: No space left on device
error: unable to create file packages/jst-config/jst-config.v0.15.0/opam: No space left on device
error: unable to create file packages/jst-config/jst-config.v0.15.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-archimedes/jupyter-archimedes.2.7.2/opam: No space left on device
error: unable to create file packages/jupyter-kernel/jupyter-kernel.0.6/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.7.3/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.7.7/opam: No space left on device
error: unable to create file packages/kafka_lwt/kafka_lwt.0.5/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.2.1/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.2.2/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.3.1/opam: No space left on device
error: unable to create file packages/kcas_data/kcas_data.0.7.0/opam: No space left on device
error: unable to create file packages/key-parsers/key-parsers.1.0.0/opam: No space left on device
error: unable to create file packages/kicadsch/kicadsch.0.3.0/opam: No space left on device
error: unable to create file packages/kicadsch/kicadsch.0.4.0/opam: No space left on device
error: unable to create file packages/kicadsch/kicadsch.0.5.0/opam: No space left on device
error: unable to create file packages/kicadsch/kicadsch.0.5.1/opam: No space left on device
error: unable to create file packages/kkmarkdown/kkmarkdown.1.1.0/opam: No space left on device
error: unable to create file packages/kmt/kmt.0.1/opam: No space left on device
error: unable to create file packages/lab/lab.0.1.0/opam: No space left on device
error: unable to create file packages/lab/lab.0.1.4/opam: No space left on device
error: unable to create file packages/lablgl/lablgl.1.04.20120306/opam: No space left on device
error: unable to create file packages/lablgtk3-goocanvas2/lablgtk3-goocanvas2.3.1.2/opam: No space left on device
error: unable to create file packages/lablgtk3-gtkspell3/lablgtk3-gtkspell3.3.1.3/opam: No space left on device
error: unable to create file packages/lablgtk3/lablgtk3.0.beta1/opam: No space left on device
error: unable to create file packages/lablgtk3/lablgtk3.3.0.beta4/opam: No space left on device
error: unable to create file packages/lablgtk3/lablgtk3.3.1.3/opam: No space left on device
error: unable to create file packages/labltk/labltk.8.06.6/opam: No space left on device
error: unable to create file packages/labltk/labltk.8.06.7/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.11.0.0/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.11.0.2/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.11.0.3/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.7.2.2/opam: No space left on device
error: unable to create file packages/lacaml/lacaml.9.2.2/opam: No space left on device
error: unable to create file packages/lambda-runtime/lambda-runtime.0.1.0/opam: No space left on device
error: unable to create file packages/lambda-term/lambda-term.2.0.1/opam: No space left on device
error: unable to create file packages/lambda-term/lambda-term.2.0.2/opam: No space left on device
error: unable to create file packages/lambdapi/lambdapi.2.4.0/opam: No space left on device
error: unable to create file packages/lambdapi/lambdapi.2.4.1/opam: No space left on device
error: unable to create file packages/lambdasoup/lambdasoup.0.6.1/opam: No space left on device
error: unable to create file packages/lambdasoup/lambdasoup.0.6.2/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/lambdasoup/lambdasoup.1.0.0/opam: No space left on device
error: unable to create file packages/lastfm/lastfm.0.3.2/opam: No space left on device
error: unable to create file packages/lbfgs/lbfgs.0.9/opam: No space left on device
error: unable to create file packages/lbvs_consent/lbvs_consent.2.1.3/opam: No space left on device
error: unable to create file packages/ldp_curl/ldp_curl.0.2.0/opam: No space left on device
error: unable to create file packages/leaflet/leaflet.0.2/opam: No space left on device
error: unable to create file packages/learn-ocaml/learn-ocaml.0.14.0/opam: No space left on device
error: unable to create file packages/learn-ocaml/learn-ocaml.0.14.1/opam: No space left on device
error: unable to create file packages/ledgerwallet-tezos/ledgerwallet-tezos.0.2.0/opam: No space left on device
error: unable to create file packages/ledgerwallet-tezos/ledgerwallet-tezos.0.2.1/opam: No space left on device
error: unable to create file packages/ledgerwallet-tezos/ledgerwallet-tezos.0.4.1/opam: No space left on device
error: unable to create file packages/ledgerwallet/ledgerwallet.0.4.1/opam: No space left on device
error: unable to create file packages/ledit/ledit.2.04/opam: No space left on device
error: unable to create file packages/ledit/ledit.2.05/opam: No space left on device
error: unable to create file packages/ledit/ledit.2.06/opam: No space left on device
error: unable to create file packages/lens/lens.1.2.0/opam: No space left on device
error: unable to create file packages/letsencrypt-dns/letsencrypt-dns.1.0.0/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.101.0.2/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.102.0.0/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.113.0.0/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.119.0.0-b/opam: No space left on device
error: unable to create file packages/libbinaryen/libbinaryen.119.0.0/opam: No space left on device
error: unable to create file packages/libbpf/libbpf.0.1.0/opam: No space left on device
error: unable to create file packages/libevent/libevent.0.7.0/opam: No space left on device
error: unable to create file packages/libevent/libevent.0.8.1/opam: No space left on device
error: unable to create file packages/libirmin/libirmin.3.10.0/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.9.0/opam: No space left on device
error: unable to create file packages/libtensorflow/libtensorflow.0.1/opam: No space left on device
error: unable to create file packages/libtorch/libtorch.1.6.0/opam: No space left on device
error: unable to create file packages/libwasmtime/libwasmtime.0.21.0+linux-x86_64/opam: No space left on device
error: unable to create file packages/libzipperposition/libzipperposition.1.5.1/opam: No space left on device
error: unable to create file packages/lilv/lilv.0.1.0/opam: No space left on device
error: unable to create file packages/line-up-words/line-up-words.v0.15.0/opam: No space left on device
error: unable to create file packages/linenoise/linenoise.1.3.0/opam: No space left on device
error: unable to create file packages/links-mysql/links-mysql.0.9.4/opam: No space left on device
error: unable to create file packages/links-postgresql/links-postgresql.0.9.1/opam: No space left on device
error: unable to create file packages/links-sqlite3/links-sqlite3.0.9/opam: No space left on device
error: unable to create file packages/linol-eio/linol-eio.0.8/opam: No space left on device
error: unable to create file packages/linol/linol.0.2/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.9.0.3/opam: No space left on device
error: unable to create file packages/linwrap/linwrap.9.1.5/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/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.1/opam: No space left on device
error: unable to create file packages/liquidsoap-js/liquidsoap-js.2.4.2/opam: No space left on device
error: unable to create file packages/liquidsoap/liquidsoap.2.0.3-1/opam: No space left on device
error: unable to create file packages/little_logger/little_logger.0.3.0/opam: No space left on device
error: unable to create file packages/llama-cpp-ocaml/llama-cpp-ocaml.0.0.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/lo/lo.0.1.1/opam: No space left on device
error: unable to create file packages/logs-async-reporter/logs-async-reporter.1.3/opam: No space left on device
error: unable to create file packages/logs-async-reporter/logs-async-reporter.1.4/opam: No space left on device
error: unable to create file packages/logs/logs.0.8.0/opam: No space left on device
error: unable to create file packages/logtk/logtk.1.5.1/opam: No space left on device
error: unable to create file packages/logtk/logtk.1.6/opam: No space left on device
error: unable to create file packages/lpd/lpd.1.2.2/opam: No space left on device
error: unable to create file packages/lpi/lpi.0.0.1/opam: No space left on device
error: unable to create file packages/lru/lru.0.2.0/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/lru/lru.0.3.1/opam: No space left on device
error: unable to create file packages/lsp/lsp.1.23.0/opam: No space left on device
error: unable to create file packages/lsp/lsp.1.24.0/opam: No space left on device
error: unable to create file packages/lua-ml/lua-ml.0.9.3/opam: No space left on device
error: unable to create file packages/lustre-v6/lustre-v6.1.737/opam: No space left on device
error: unable to create file packages/lustre-v6/lustre-v6.6.101.7/opam: No space left on device
error: unable to create file packages/luv/luv.0.5.1/opam: No space left on device
error: unable to create file packages/luv_unix/luv_unix.0.5.0/opam: No space left on device
error: unable to create file packages/lwt-exit/lwt-exit.1.0/opam: No space left on device
error: unable to create file packages/lwt-watcher/lwt-watcher.0.1/opam: No space left on device
error: unable to create file packages/lwt/lwt.4.3.0/opam: No space left on device
error: unable to create file packages/lwt/lwt.4.3.1/opam: No space left on device
error: unable to create file packages/lwt/lwt.4.4.0/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/lwt.5.0.1/opam: No space left on device
error: unable to create file packages/lwt/lwt.5.1.1/opam: No space left on device
error: unable to create file packages/lwt/lwt.5.8.0/opam: No space left on device
error: unable to create file packages/lwt/lwt.5.8.1/opam: No space left on device
error: unable to create file packages/lwt_eio/lwt_eio.0.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_named_threads/lwt_named_threads.0.1/opam: No space left on device
error: unable to create file packages/lwt_ppx/lwt_ppx.1.0.0/opam: No space left on device
error: unable to create file packages/lwt_ppx/lwt_ppx.1.0.1/opam: No space left on device
error: unable to create file packages/lwt_ppx/lwt_ppx.6.0.0-beta01/opam: No space left on device
error: unable to create file packages/lz4/lz4.1.3.0/opam: No space left on device
error: unable to create file packages/lz4_chans/lz4_chans.1.0.0/opam: No space left on device
error: unable to create file packages/macaroons/macaroons.0.1.0/opam: No space left on device
error: unable to create file packages/magic-mime/magic-mime.1.0.1/opam: No space left on device
error: unable to create file packages/magic-mime/magic-mime.1.1.0/opam: No space left on device
error: unable to create file packages/malfunction/malfunction.0.4.1/opam: No space left on device
error: unable to create file packages/malfunction/malfunction.0.5/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.0.7.4/opam: No space left on device
error: unable to create file packages/mastodon-archive-viewer/mastodon-archive-viewer.0.1/opam: No space left on device
error: unable to create file packages/mastodon-archive-viewer/mastodon-archive-viewer.0.4.0/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/mazeppa/mazeppa.0.4.1/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+10/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+11/opam: No space left on device
error: unable to create file packages/mccs/mccs.1.1+12/opam: No space left on device
error: unable to create file packages/mdx/mdx.1.10.1/opam: No space left on device
error: unable to create file packages/mdx/mdx.2.0.0/opam: No space left on device
error: unable to create file packages/mdx/mdx.2.2.0/opam: No space left on device
error: unable to create file packages/mechaml/mechaml.1.2.0/opam: No space left on device
error: unable to create file packages/mehari-eio-unix/mehari-eio-unix.0.1/opam: No space left on device
error: unable to create file packages/mehari/mehari.0.1/opam: No space left on device
error: unable to create file packages/mehari/mehari.0.2/opam: No space left on device
error: unable to create file packages/mehari/mehari.0.3/opam: No space left on device
error: unable to create file packages/mel/mel.0.2.0/opam: No space left on device
error: unable to create file packages/melange-json-native/melange-json-native.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.0.0-414/opam: No space left on device
error: unable to create file packages/melange/melange.5.0.0-52/opam: No space left on device
error: unable to create file packages/melange/melange.6.0.1-52/opam: No space left on device
error: unable to create file packages/memcpy/memcpy.0.2.2/opam: No space left on device
error: unable to create file packages/memcpy/memcpy.0.3.0/opam: No space left on device
error: unable to create file packages/memfd/memfd.0.1.0/opam: No space left on device
error: unable to create file packages/memo/memo.0.2/opam: No space left on device
error: unable to create file packages/memprof-limits/memprof-limits.0.1/opam: No space left on device
error: unable to create file packages/memtrace/memtrace.0.1.2/opam: No space left on device
error: unable to create file packages/memtrace/memtrace.0.1/opam: No space left on device
error: unable to create file packages/memtrace/memtrace.0.2.2/opam: No space left on device
error: unable to create file packages/memtrace/memtrace.0.2.3/opam: No space left on device
error: unable to create file packages/menhir/menhir.20181026/opam: No space left on device
error: unable to create file packages/menhir/menhir.20181113/opam: No space left on device
error: unable to create file packages/menhir/menhir.20201216/opam: No space left on device
error: unable to create file packages/menhir/menhir.20210310/opam: No space left on device
error: unable to create file packages/menhir/menhir.20250903/opam: No space left on device
error: unable to create file packages/menhir/menhir.20250912/opam: No space left on device
error: unable to create file packages/menhirCST/menhirCST.20240715/opam: No space left on device
error: unable to create file packages/menhirLib/menhirLib.20230415/opam: No space left on device
error: unable to create file packages/menhirSdk/menhirSdk.20211012/opam: No space left on device
error: unable to create file packages/merlin-extend/merlin-extend.0.5/opam: No space left on device
error: unable to create file packages/merlin-extend/merlin-extend.0.6.1/opam: No space left on device
error: unable to create file packages/merlin-extend/merlin-extend.0.6.2/opam: No space left on device
error: unable to create file packages/merlin-lib/merlin-lib.5.5-503/opam: No space left on device
error: unable to create file packages/merlin-lib/merlin-lib.5.6-504/opam: No space left on device
error: unable to create file packages/merlin-of-pds/merlin-of-pds.1.4/opam: No space left on device
error: unable to create file packages/mesh-easymesh/mesh-easymesh.0.9.0/opam: No space left on device
error: unable to create file packages/mesh-triangle/mesh-triangle.0.9.3/opam: No space left on device
error: unable to create file packages/metadata/metadata.0.2.0/opam: No space left on device
error: unable to create file packages/metapp/metapp.0.1.0/opam: No space left on device
error: unable to create file packages/metapp/metapp.0.4.4/opam: No space left on device
error: unable to create file packages/mew_vi/mew_vi.0.1.0/opam: No space left on device
error: unable to create file packages/mimic-happy-eyeballs/mimic-happy-eyeballs.0.0.5/opam: No space left on device
error: unable to create file packages/mimic-happy-eyeballs/mimic-happy-eyeballs.0.0.8/opam: No space left on device
error: unable to create file packages/mimic/mimic.0.0.1/opam: No space left on device
error: unable to create file packages/mingw-w64-shims/mingw-w64-shims.0.1.0/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/minios-xen/minios-xen.0.7/opam: No space left on device
error: unable to create file packages/minios-xen/minios-xen.0.8/opam: No space left on device
error: unable to create file packages/miou/miou.0.5.1/opam: No space left on device
error: unable to create file packages/mirage-block/mirage-block.1.2.0/opam: No space left on device
error: unable to create file packages/mirage-block/mirage-block.2.0.1/opam: No space left on device
error: unable to create file packages/mirage-crypto-ec/mirage-crypto-ec.1.2.0/opam: No space left on device
error: unable to create file packages/mirage-crypto-ec/mirage-crypto-ec.2.0.2/opam: No space left on device
error: unable to create file packages/mirage-crypto-pk/mirage-crypto-pk.0.10.7/opam: No space left on device
error: unable to create file packages/mirage-crypto-pk/mirage-crypto-pk.2.0.2/opam: No space left on device
error: unable to create file packages/mirage-crypto-rng/mirage-crypto-rng.0.10.7/opam: No space left on device
error: unable to create file packages/mirage-crypto/mirage-crypto.0.8.0/opam: No space left on device
error: unable to create file packages/mirage-crypto/mirage-crypto.1.1.0/opam: No space left on device
error: unable to create file packages/mirage-crypto/mirage-crypto.1.2.0/opam: No space left on device
error: unable to create file packages/mirage-crypto/mirage-crypto.2.0.2/opam: No space left on device
error: unable to create file packages/mirage-kv-mem/mirage-kv-mem.3.2.1/opam: No space left on device
error: unable to create file packages/mirage-kv-unix/mirage-kv-unix.2.0.0/opam: No space left on device
error: unable to create file packages/mirage-logs/mirage-logs.3.0.0/opam: No space left on device
error: unable to create file packages/mirage-monitoring/mirage-monitoring.0.0.6/opam: No space left on device
error: unable to create file packages/mirage-net-xen/mirage-net-xen.2.1.5/opam: No space left on device
error: unable to create file packages/mirage-ptime/mirage-ptime.5.1.0/opam: No space left on device
error: unable to create file packages/mirage-ptime/mirage-ptime.5.2.0/opam: No space left on device
error: unable to create file packages/mirage-seal/mirage-seal.0.3.1/opam: No space left on device
error: unable to create file packages/mirage-time-unix/mirage-time-unix.3.0.0/opam: No space left on device
error: unable to create file packages/mirage-time/mirage-time.1.3.0/opam: No space left on device
error: unable to create file packages/mirage/mirage.2.6.1/opam: No space left on device
error: unable to create file packages/mkaudio/mkaudio.1.0.1/opam: No space left on device
error: unable to create file packages/mlcuddidl/mlcuddidl.3.0.3/opam: No space left on device
error: unable to create file packages/mlcuddidl/mlcuddidl.3.0.4/opam: No space left on device
error: unable to create file packages/mlgmpidl/mlgmpidl.1.2.14/opam: No space left on device
error: unable to create file packages/mlgmpidl/mlgmpidl.1.2.7/opam: No space left on device
error: unable to create file packages/mlmpfr/mlmpfr.4.0.2+dune/opam: No space left on device
error: unable to create file packages/mlmpfr/mlmpfr.4.0.2/opam: No space left on device
error: unable to create file packages/mlmpfr/mlmpfr.4.1.0/opam: No space left on device
error: unable to create file packages/mlpost-lablgtk/mlpost-lablgtk.0.9/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/mlsolver/mlsolver.1.5/opam: No space left on device
error: unable to create file packages/mlt_parser/mlt_parser.v0.12.0/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/mmdb/mmdb.0.1.0/opam: No space left on device
error: unable to create file packages/mmdb/mmdb.0.3.0/opam: No space left on device
error: unable to create file packages/mnd/mnd.1.1.0/opam: No space left on device
error: unable to create file packages/modular-arithmetic/modular-arithmetic.0.1/opam: No space left on device
error: unable to create file packages/module-graph/module-graph.0.2.0/opam: No space left on device
error: unable to create file packages/molenc/molenc.1.1.0/opam: No space left on device
error: unable to create file packages/molenc/molenc.11.4.0/opam: No space left on device
error: unable to create file packages/molenc/molenc.15.4.0/opam: No space left on device
error: unable to create file packages/molenc/molenc.16.0.0/opam: No space left on device
error: unable to create file packages/molenc/molenc.5.0.1/opam: No space left on device
error: unable to create file packages/monadlib/monadlib.0.2/opam: No space left on device
error: unable to create file packages/monolith/monolith.20250314/opam: No space left on device
error: unable to create file packages/monomorphic/monomorphic.1.4/opam: No space left on device
error: unable to create file packages/moonpool/moonpool.0.7/opam: No space left on device
error: unable to create file packages/moonpool/moonpool.0.9/opam: No space left on device
error: unable to create file packages/more-ocaml/more-ocaml.0.1/opam: No space left on device
error: unable to create file packages/morsmall/morsmall.0.1/opam: No space left on device
error: unable to create file packages/morsmall/morsmall.0.2.0/opam: No space left on device
error: unable to create file packages/mrmime/mrmime.0.3.2/opam: No space left on device
error: unable to create file packages/mrmime/mrmime.0.4.0/opam: No space left on device
error: unable to create file packages/mrmime/mrmime.0.5.0/opam: No space left on device
error: unable to create file packages/mrmime/mrmime.0.6.0/opam: No space left on device
error: unable to create file packages/msat/msat.0.5.1/opam: No space left on device
error: unable to create file packages/msat/msat.0.5/opam: No space left on device
error: unable to create file packages/msgpack/msgpack.1.3.0/opam: No space left on device
error: unable to create file packages/mula/mula.0.1.0/opam: No space left on device
error: unable to create file packages/mula/mula.0.1.1/opam: No space left on device
error: unable to create file packages/multicore-bench/multicore-bench.0.1.2/opam: No space left on device
error: unable to create file packages/multicore-bench/multicore-bench.0.1.5/opam: No space left on device
error: unable to create file packages/multipart_form-eio/multipart_form-eio.0.7.0/opam: No space left on device
error: unable to create file packages/multipart_form-lwt/multipart_form-lwt.0.4.0/opam: No space left on device
error: unable to create file packages/mustache/mustache.3.1.0/opam: No space left on device
error: unable to create file packages/mustache/mustache.3.2.0/opam: No space left on device
error: unable to create file packages/mybuild/mybuild.5/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/mysql/mysql.1.2.1/opam: No space left on device
error: unable to create file packages/naboris/naboris.0.1.0/opam: No space left on device
error: unable to create file packages/naboris/naboris.0.1.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/nbd/nbd.6.0.1/opam: No space left on device
error: unable to create file packages/neural_nets_lib/neural_nets_lib.0.3.3/opam: No space left on device
error: unable to create file packages/neural_nets_lib/neural_nets_lib.0.4.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/nomad/nomad.0.0.1/opam: No space left on device
error: unable to create file packages/nonstd/nonstd.0.0.1/opam: No space left on device
error: unable to create file packages/nonstd/nonstd.0.0.2/opam: No space left on device
error: unable to create file packages/nonstd/nonstd.0.0.3/opam: No space left on device
error: unable to create file packages/nottui/nottui.0.1/opam: No space left on device
error: unable to create file packages/nottui/nottui.0.3/opam: No space left on device
error: unable to create file packages/num/num.1.5-1/opam: No space left on device
error: unable to create file packages/numalib/numalib.0.1.0/opam: No space left on device
error: unable to create file packages/nuscr/nuscr.1.1.0/opam: No space left on device
error: unable to create file packages/nuscr/nuscr.2.1.1/opam: No space left on device
error: unable to create file packages/nx-datasets/nx-datasets.1.0.0~alpha0/opam: No space left on device
error: unable to create file packages/oasis/oasis.0.4.10/opam: No space left on device
error: unable to create file packages/obatcher/obatcher.1.1/opam: No space left on device
error: unable to create file packages/obelisk/obelisk.0.5.2/opam: No space left on device
error: unable to create file packages/obelisk/obelisk.0.7.0/opam: No space left on device
error: unable to create file packages/obuild/obuild.0.1.11/opam: No space left on device
error: unable to create file packages/obuilder-spec/obuilder-spec.0.1/opam: No space left on device
error: unable to create file packages/obuilder/obuilder.0.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/obytelib/obytelib.1.6/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.08.2/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.3.08.3/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.3.10.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.3.11.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.02.3/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.03.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.08.0/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.08.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.09.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.4.14.1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.5.3.0~beta1/opam: No space left on device
error: unable to create file packages/ocaml-base-compiler/ocaml-base-compiler.5.4.0/opam: No space left on device
error: unable to create file packages/ocaml-compiler/ocaml-compiler.5.3.0/opam: No space left on device
error: unable to create file packages/ocaml-compiler/ocaml-compiler.5.3.0~alpha1/opam: No space left on device
error: unable to create file packages/ocaml-compiler/ocaml-compiler.5.4/opam: No space left on device
error: unable to create file packages/ocaml-compiler/ocaml-compiler.5.5/opam: No space left on device
error: unable to create file packages/ocaml-env-mingw32/ocaml-env-mingw32.1/opam: No space left on device
error: unable to create file packages/ocaml-env-mingw64/ocaml-env-mingw64.1/opam: No space left on device
error: unable to create file packages/ocaml-env-msvc32/ocaml-env-msvc32.1/opam: No space left on device
error: unable to create file packages/ocaml-expat/ocaml-expat.1.0.0/opam: No space left on device
error: unable to create file packages/ocaml-index/ocaml-index.5.6-504/opam: No space left on device
error: unable to create file packages/ocaml-index/ocaml-index.5.6.1-504/opam: No space left on device
error: unable to create file packages/ocaml-logicalform/ocaml-logicalform.v0.6.0/opam: No space left on device
error: unable to create file packages/ocaml-lsp-server/ocaml-lsp-server.1.4.1/opam: No space left on device
error: unable to create file packages/ocaml-lsp-server/ocaml-lsp-server.1.9.0/opam: No space left on device
error: unable to create file packages/ocaml-lua/ocaml-lua.1.8/opam: No space left on device
error: unable to create file packages/ocaml-manual/ocaml-manual.4.12.0/opam: No space left on device
error: unable to create file packages/ocaml-manual/ocaml-manual.4.13.0/opam: No space left on device
error: unable to create file packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.3.0~4.08.0+beta2/opam: No space left on device
error: unable to create file packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.3.0~4.08.0+beta3/opam: No space left on device
error: unable to create file packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.4.0/opam: No space left on device
error: unable to create file packages/ocaml-option-no-compression/ocaml-option-no-compression.1/opam: No space left on device
error: unable to create file packages/ocaml-option-no-flat-float-array/ocaml-option-no-flat-float-array.1/opam: No space left on device
error: unable to create file packages/ocaml-options-only-nnp/ocaml-options-only-nnp.1/opam: No space left on device
error: unable to create file packages/ocaml-options-only-nnpchecker/ocaml-options-only-nnpchecker.1/opam: No space left on device
error: unable to create file packages/ocaml-options-vanilla/ocaml-options-vanilla.1/opam: No space left on device
error: unable to create file packages/ocaml-print-intf/ocaml-print-intf.1.1.0/opam: No space left on device
error: unable to create file packages/ocaml-probes/ocaml-probes.v0.17.0/opam: No space left on device
error: unable to create file packages/ocaml-protoc-plugin/ocaml-protoc-plugin.0.9/opam: No space left on device
error: unable to create file packages/ocaml-protoc/ocaml-protoc.0.1.1/opam: No space left on device
error: unable to create file packages/ocaml-protoc/ocaml-protoc.2.2/opam: No space left on device
error: unable to create file packages/ocaml-protoc/ocaml-protoc.3.0.0/opam: No space left on device
error: unable to create file packages/ocaml-r/ocaml-r.0.4.0/opam: No space left on device
error: unable to create file packages/ocaml-secondary-compiler/ocaml-secondary-compiler.4.14.2/opam: No space left on device
error: unable to create file packages/ocaml-src/ocaml-src.4.04.0/opam: No space left on device
error: unable to create file packages/ocaml-src/ocaml-src.4.09.0/opam: No space left on device
error: unable to create file packages/ocaml-src/ocaml-src.4.10.1/opam: No space left on device
error: unable to create file packages/ocaml-src/ocaml-src.5.2.1/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.3.09.2/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.3.10.1/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.3.11.1/opam: No space left on device
error: unable to create file packages/ocaml-system/ocaml-system.5.2.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-systemd/ocaml-systemd.1.3/opam: No space left on device
error: unable to create file packages/ocaml-unikraft-backend-firecracker/ocaml-unikraft-backend-firecracker.0.20.0/opam: No space left on device
error: unable to create file packages/ocaml-unikraft-backend-qemu-arm64/ocaml-unikraft-backend-qemu-arm64.0.20.0/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.00.1+raspberrypi/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.01.0+BER/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.01.0+profile/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.02.1+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.02.1+modular-implicits/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.03.0+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.03.0+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.03.0+statistical-memprof/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.04.1+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.05.0+32bit/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.05.0+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.05.0+musl+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.05.0+musl+static+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.0+flambda+no-flat-float-array/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.0+force-safe-string/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.0+musl+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.0+spacetime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.0+statistical-memprof/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.1+musl+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.1+musl+static+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.06.1+termux/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.07.0+force-safe-string/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.0+32bit/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.0+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.0+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.2+trunk+force-safe-string/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.2+trunk+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.08.2+trunk+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.0+musl+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.0+no-flat-float-array/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.0+spacetime/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.2+trunk+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.09.2+trunk+default-unsafe-string/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.1+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.1+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.1+fp+flambda/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.2+afl/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.2+bytecode-only/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.3+trunk+fp/opam: No space left on device
error: unable to create file packages/ocaml-variants/ocaml-variants.4.10.3+trunk/opam: No space left on device
fatal: cannot create directory at 'packages/ocaml-variants/ocaml-variants.4.11.0+32bit': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:38.47: Job failed: Failed: Build failed