Build:
- 0
2026-01-27 19:21.49: New job: test opam-publish.2.4.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 opam-publish.2.4.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" != 'opam-publish.2.4.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 opam-publish.2.4.0) || true
RUN opam reinstall --with-test --verbose opam-publish.2.4.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" != 'opam-publish.2.4.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-27 19:21.50: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.0.0-opam-publish.2.4.0-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.50: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn mirage-runtime.4.0.0 4.0.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mirage-runtime.4.0.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mirage-runtime.4.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall opam-publish.2.4.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\" != 'opam-publish.2.4.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 opam-publish.2.4.0) || true"))
(run (shell "opam reinstall --with-test --verbose opam-publish.2.4.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\" != 'opam-publish.2.4.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-27 19:21.50: Waiting for resource in pool OCluster
2026-01-27 19:38.11: Waiting for worker…
2026-01-27 19:39.01: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file governance/README.md: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.17/opam: No space left on device
error: unable to create file packages/0install/0install.2.18/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.5/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/DAGaml/DAGaml.0.02/opam: No space left on device
error: unable to create file packages/DkSDKFFIOCaml_Std/DkSDKFFIOCaml_Std.1.0.0~1/opam: No space left on device
error: unable to create file packages/FPauth-responses/FPauth-responses.1.0.0/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.3.4.1/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.3.4.3-1/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.1/opam: No space left on device
error: unable to create file packages/ISO8601/ISO8601.0.2.3/opam: No space left on device
error: unable to create file packages/ISO8601/ISO8601.0.2.4/opam: No space left on device
error: unable to create file packages/MlFront_Logs/MlFront_Logs.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.2.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.3.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.4.1/opam: No space left on device
error: unable to create file packages/OSCADml/OSCADml.0.2.3/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.1.0.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.3.0.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.3.0.1/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/SZXX/SZXX.4.1.3/opam: No space left on device
error: unable to create file packages/Snowflake/Snowflake.0.02.01/opam: No space left on device
error: unable to create file packages/Snowflake/Snowflake.0.02.02/opam: No space left on device
error: unable to create file packages/abella/abella.2.0.2/opam: No space left on device
error: unable to create file packages/abella/abella.2.0.8/opam: No space left on device
error: unable to create file packages/abstract_algebra/abstract_algebra.v0.15.0/opam: No space left on device
error: unable to create file packages/abstract_algebra/abstract_algebra.v0.16.0/opam: No space left on device
error: unable to create file packages/accessor/accessor.v0.17.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.17.0/opam: No space left on device
error: unable to create file packages/accessor_base/accessor_base.v0.14.1/opam: No space left on device
error: unable to create file packages/accessor_base/accessor_base.v0.17.0/opam: No space left on device
error: unable to create file packages/accessor_core/accessor_core.v0.17.0/opam: No space left on device
error: unable to create file packages/acgtk/acgtk.1.5.3/opam: No space left on device
error: unable to create file packages/acgtk/acgtk.2.2.0/opam: No space left on device
error: unable to create file packages/aches-lwt/aches-lwt.1.0.0/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.3/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.4/opam: No space left on device
error: unable to create file packages/afl/afl.2.52b/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.1.0/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.2.1/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.2.2/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.3.1/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.3.2/opam: No space left on device
error: unable to create file packages/aio/aio.0.0.3/opam: No space left on device
error: unable to create file packages/alba/alba.0.4.0/opam: No space left on device
error: unable to create file packages/albatross/albatross.1.4.3/opam: No space left on device
error: unable to create file packages/albatross/albatross.1.5.4/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.5.0/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/alcotest/alcotest.1.8.0/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.9.0/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.9.1/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.0.1.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/allegro5/allegro5.0.1/opam: No space left on device
error: unable to create file packages/alsa/alsa.0.2.3/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.4.3/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.5.4/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-parsers/alt-ergo-parsers.2.3.3/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-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.4/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.0.95.2/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/ambient-context-eio/ambient-context-eio.0.1.0/opam: No space left on device
error: unable to create file packages/ambient-context-lwt/ambient-context-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.1.0/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.2.0/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.0.3/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.0.4/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/amqp-client/amqp-client.2.0.2/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.2.0/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.2.2/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.3.0/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.8.0/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-lwt-unix/angstrom-lwt-unix.0.15.0/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.16.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.10.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.11.2/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.14.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.16.1/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.9.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.10.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.14.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.14.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.16.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.9.0/opam: No space left on device
error: unable to create file packages/anthill/anthill.0.1/opam: No space left on device
error: unable to create file packages/anthropic/anthropic.0.1.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/antic/antic.0.3.2/opam: No space left on device
error: unable to create file packages/anycache-async/anycache-async.0.7.4/opam: No space left on device
error: unable to create file packages/anycache/anycache.0.6.0/opam: No space left on device
error: unable to create file packages/ao/ao.0.2.2/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-time/apero-time.0.4.7/opam: No space left on device
error: unable to create file packages/apron/apron.20150930/opam: No space left on device
error: unable to create file packages/apron/apron.20151015/opam: No space left on device
error: unable to create file packages/apron/apron.v0.9.12/opam: No space left on device
error: unable to create file packages/apron/apron.v0.9.14/opam: No space left on device
error: unable to create file packages/apron/apron.v0.9.14~beta.2/opam: No space left on device
error: unable to create file packages/apron/apron.v0.9.15/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.3/opam: No space left on device
error: unable to create file packages/arb/arb.0.1.5/opam: No space left on device
error: unable to create file packages/arb/arb.0.2.3/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.4/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.2.8/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.9/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.3.1/opam: No space left on device
error: unable to create file packages/archi-async/archi-async.0.1.0/opam: No space left on device
error: unable to create file packages/argon2/argon2.1.0.0/opam: No space left on device
error: unable to create file packages/arrayjit/arrayjit.0.6.0/opam: No space left on device
error: unable to create file packages/art/art.0.2.0/opam: No space left on device
error: unable to create file packages/asak/asak.0.2/opam: No space left on device
error: unable to create file packages/asak/asak.0.3/opam: No space left on device
error: unable to create file packages/asak/asak.0.5/opam: No space left on device
error: unable to create file packages/ascend/ascend.0.1.0/opam: No space left on device
error: unable to create file packages/ascend/ascend.0.1.1/opam: No space left on device
error: unable to create file packages/assertions/assertions.0.1/opam: No space left on device
error: unable to create file packages/assimp/assimp.0.1/opam: No space left on device
error: unable to create file packages/ast_generic/ast_generic.1.8.0/opam: No space left on device
error: unable to create file packages/async-uri/async-uri.0.1/opam: No space left on device
error: unable to create file packages/async/async.v0.13.0/opam: No space left on device
error: unable to create file packages/async/async.v0.14.0/opam: No space left on device
error: unable to create file packages/async/async.v0.15.0/opam: No space left on device
error: unable to create file packages/async/async.v0.16.0/opam: No space left on device
error: unable to create file packages/async_extra/async_extra.v0.12.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_inotify/async_inotify.v0.16.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.17.0/opam: No space left on device
error: unable to create file packages/async_interactive/async_interactive.v0.13.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.13.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.14.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.15.1/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.17.0/opam: No space left on device
error: unable to create file packages/async_kernel/async_kernel.v0.12.0/opam: No space left on device
error: unable to create file packages/async_rpc_kernel/async_rpc_kernel.v0.16.0/opam: No space left on device
error: unable to create file packages/async_rpc_kernel/async_rpc_kernel.v0.17.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.17.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.12.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.13.0/opam: No space left on device
error: unable to create file packages/async_websocket/async_websocket.v0.16.0/opam: No space left on device
error: unable to create file packages/atacama/atacama.0.0.1/opam: No space left on device
error: unable to create file packages/atacama/atacama.0.0.2/opam: No space left on device
error: unable to create file packages/atacama/atacama.0.0.3/opam: No space left on device
error: unable to create file packages/atd/atd.2.10.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.11.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.12.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.3.3/opam: No space left on device
error: unable to create file packages/atd/atd.2.4.0/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/atd/atd.2.6.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.7.0/opam: No space left on device
error: unable to create file packages/atdd/atdd.2.14.1/opam: No space left on device
error: unable to create file packages/atdd/atdd.2.16.0/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.10.0/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.14.1/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.15.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.1.13.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.14.1/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.3.3/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.7.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.10.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.4.1/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.5.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.8.0/opam: No space left on device
error: unable to create file packages/atds/atds.2.2.1/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.8.0/opam: No space left on device
error: unable to create file packages/atdts/atdts.2.10.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.0.5/opam: No space left on device
error: unable to create file packages/awa/awa.0.2.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.3.1/opam: No space left on device
error: unable to create file packages/awa/awa.0.5.2/opam: No space left on device
error: unable to create file packages/aws-elasticloadbalancing/aws-elasticloadbalancing.0.1.0/opam: No space left on device
error: unable to create file packages/aws-lwt/aws-lwt.1.2/opam: No space left on device
error: unable to create file packages/aws-rds/aws-rds.1.2/opam: No space left on device
error: unable to create file packages/aws-route53/aws-route53.1.2/opam: No space left on device
error: unable to create file packages/aws-s3-lwt/aws-s3-lwt.4.7.0/opam: No space left on device
error: unable to create file packages/aws-s3-lwt/aws-s3-lwt.4.8.1/opam: No space left on device
error: unable to create file packages/aws-s3/aws-s3.4.2.0/opam: No space left on device
error: unable to create file packages/aws-s3/aws-s3.4.3.0/opam: No space left on device
error: unable to create file packages/aws-s3/aws-s3.4.5.1/opam: No space left on device
error: unable to create file packages/aws-sdb/aws-sdb.1.2/opam: No space left on device
error: unable to create file packages/azure-cosmos-db/azure-cosmos-db.0.1.3/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/baguette_sharp/baguette_sharp.2.2.1-1/opam: No space left on device
error: unable to create file packages/bam/bam.0.4/opam: No space left on device
error: unable to create file packages/bancos/bancos.0.0.1/opam: No space left on device
error: unable to create file packages/bank/bank.0.0.1/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.1.0/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.2.0/opam: No space left on device
error: unable to create file packages/bap-analyze/bap-analyze.2.5.0/opam: No space left on device
error: unable to create file packages/bap-api/bap-api.2.1.0/opam: No space left on device
error: unable to create file packages/bap-beagle-strings/bap-beagle-strings.2.2.0/opam: No space left on device
error: unable to create file packages/bap-bil/bap-bil.2.3.0/opam: No space left on device
error: unable to create file packages/bap-bil/bap-bil.2.5.0/opam: No space left on device
error: unable to create file packages/bap-build/bap-build.2.1.0/opam: No space left on device
error: unable to create file packages/bap-byteweight/bap-byteweight.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-cache/bap-cache.2.5.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.2.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.3.0/opam: No space left on device
error: unable to create file packages/bap-callsites/bap-callsites.2.2.0/opam: No space left on device
error: unable to create file packages/bap-callsites/bap-callsites.2.3.0/opam: No space left on device
error: unable to create file packages/bap-cxxfilt/bap-cxxfilt.2.1.0/opam: No space left on device
error: unable to create file packages/bap-disassemble/bap-disassemble.2.5.0/opam: No space left on device
error: unable to create file packages/bap-dump-symbols/bap-dump-symbols.2.1.0/opam: No space left on device
error: unable to create file packages/bap-dump-symbols/bap-dump-symbols.2.2.0/opam: No space left on device
error: unable to create file packages/bap-dump-symbols/bap-dump-symbols.2.3.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-future/bap-future.2.3.0/opam: No space left on device
error: unable to create file packages/bap-ghidra/bap-ghidra.2.4.0/opam: No space left on device
error: unable to create file packages/bap-ghidra/bap-ghidra.2.5.0/opam: No space left on device
error: unable to create file packages/bap-glibc-runtime/bap-glibc-runtime.2.1.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-llvm/bap-llvm.2.1.0/opam: No space left on device
error: unable to create file packages/bap-llvm/bap-llvm.2.2.0/opam: No space left on device
error: unable to create file packages/bap-llvm/bap-llvm.2.5.0/opam: No space left on device
error: unable to create file packages/bap-microx/bap-microx.2.3.0/opam: No space left on device
error: unable to create file packages/bap-microx/bap-microx.2.4.0/opam: No space left on device
error: unable to create file packages/bap-objdump/bap-objdump.2.5.0/opam: No space left on device
error: unable to create file packages/bap-optimization/bap-optimization.2.1.0/opam: No space left on device
error: unable to create file packages/bap-powerpc/bap-powerpc.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-dictionary/bap-primus-dictionary.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-limit/bap-primus-limit.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-lisp/bap-primus-lisp.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-loader/bap-primus-loader.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-powerpc/bap-primus-powerpc.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-promiscuous/bap-primus-promiscuous.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-support/bap-primus-support.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.1.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/bap-primus.2.2.0/opam: No space left on device
error: unable to create file packages/bap-print/bap-print.2.3.0/opam: No space left on device
error: unable to create file packages/bap-print/bap-print.2.5.0/opam: No space left on device
error: unable to create file packages/bap-radare2/bap-radare2.2.2.0/opam: No space left on device
error: unable to create file packages/bap-raw/bap-raw.2.1.0/opam: No space left on device
error: unable to create file packages/bap-raw/bap-raw.2.2.0/opam: No space left on device
error: unable to create file packages/bap-raw/bap-raw.2.3.0/opam: No space left on device
error: unable to create file packages/bap-raw/bap-raw.2.4.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.1.0/opam: No space left on device
error: unable to create file packages/bap-relation/bap-relation.2.3.0/opam: No space left on device
error: unable to create file packages/bap-relation/bap-relation.2.4.0/opam: No space left on device
error: unable to create file packages/bap-relocatable/bap-relocatable.2.1.0/opam: No space left on device
error: unable to create file packages/bap-relocatable/bap-relocatable.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-riscv/bap-riscv.2.4.0/opam: No space left on device
error: unable to create file packages/bap-run/bap-run.2.3.0/opam: No space left on device
error: unable to create file packages/bap-run/bap-run.2.4.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.3.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.4.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.2.0.0/opam: No space left on device
error: unable to create file packages/bap-ssa/bap-ssa.2.1.0/opam: No space left on device
error: unable to create file packages/bap-strings/bap-strings.2.4.0/opam: No space left on device
error: unable to create file packages/bap-strings/bap-strings.2.5.0/opam: No space left on device
error: unable to create file packages/bap-stub-resolver/bap-stub-resolver.2.1.0/opam: No space left on device
error: unable to create file packages/bap-stub-resolver/bap-stub-resolver.2.4.0/opam: No space left on device
error: unable to create file packages/bap-stub-resolver/bap-stub-resolver.2.5.0/opam: No space left on device
error: unable to create file packages/bap-taint-propagator/bap-taint-propagator.2.4.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.4.0/opam: No space left on device
error: unable to create file packages/bap-term-mapper/bap-term-mapper.2.2.0/opam: No space left on device
error: unable to create file packages/bap-warn-unused/bap-warn-unused.2.3.0/opam: No space left on device
error: unable to create file packages/bap-warn-unused/bap-warn-unused.2.4.0/opam: No space left on device
error: unable to create file packages/bap-warn-unused/bap-warn-unused.2.5.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/bap-x86/bap-x86.2.2.0/opam: No space left on device
error: unable to create file packages/bap/bap.2.2.0/opam: No space left on device
error: unable to create file packages/bap/bap.2.3.0/opam: No space left on device
error: unable to create file packages/bap/bap.2.4.0/opam: No space left on device
error: unable to create file packages/bap/bap.2.5.0/opam: No space left on device
error: unable to create file packages/bare_encoding/bare_encoding.0.2/opam: No space left on device
error: unable to create file packages/base/base.v0.15.0/opam: No space left on device
error: unable to create file packages/base/base.v0.15.1/opam: No space left on device
error: unable to create file packages/base32/base32.1.0.0/opam: No space left on device
error: unable to create file packages/base64/base64.3.4.0/opam: No space left on device
error: unable to create file packages/base64/base64.3.5.0/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.15.0/opam: No space left on device
error: unable to create file packages/batsat/batsat.0.4/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/batteries/batteries.3.4.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.5.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.5.1/opam: No space left on device
error: unable to create file packages/bddapron/bddapron.2.3.2/opam: No space left on device
error: unable to create file packages/bddapron/bddapron.2.3.3/opam: No space left on device
error: unable to create file packages/bechamel/bechamel.0.1.0/opam: No space left on device
error: unable to create file packages/beluga/beluga.1.1.1/opam: No space left on device
error: unable to create file packages/beluga/beluga.1.1.2/opam: No space left on device
error: unable to create file packages/beluga/beluga.1.1/opam: No space left on device
error: unable to create file packages/bidirectional_map/bidirectional_map.v0.17.0/opam: No space left on device
error: unable to create file packages/bigarray-compat/bigarray-compat.1.0.0/opam: No space left on device
error: unable to create file packages/bignum/bignum.v0.13.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.3.0/opam: No space left on device
error: unable to create file packages/bimage-display/bimage-display.0.3.0/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.3.1/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.4.0/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.5.0/opam: No space left on device
error: unable to create file packages/bimage-unix/bimage-unix.0.1/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.4.0/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.1/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/binary_tree/binary_tree.1.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.12.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.17.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.20.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.23.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.27.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.3.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.33.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.4.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.5.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.6.0/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.4.0.5/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.4.0/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.5.0.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.6.3/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.7.1/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.7.2/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.7.3/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.1.1/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/bio_io/bio_io.0.4.0/opam: No space left on device
error: unable to create file packages/biocaml/biocaml.0.10.0/opam: No space left on device
error: unable to create file packages/biocaml/biocaml.0.11.0/opam: No space left on device
error: unable to create file packages/biocaml/biocaml.0.11.2/opam: No space left on device
error: unable to create file packages/biotk/biotk.0.0.0/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-ocamlbuild/bisect_ppx-ocamlbuild.1.0.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.1.3.3/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.1.3.4/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.0.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/bitgenerators/bitgenerators.v0.1.0/opam: No space left on device
error: unable to create file packages/bitstring/bitstring.4.0.1/opam: No space left on device
error: unable to create file packages/bitvec-binprot/bitvec-binprot.2.2.0/opam: No space left on device
error: unable to create file packages/bitvec-binprot/bitvec-binprot.2.3.0/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.0/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.1/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.2/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.3/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.2.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.3.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.4.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.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-hash/bls12-381-hash.0.0.1/opam: No space left on device
error: unable to create file packages/bls12-381-js-gen/bls12-381-js-gen.0.4.2/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.1.0.1/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.1.1.1/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.2.0.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.3.14/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.19.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.3.0.3/opam: No space left on device
error: unable to create file packages/bogue/bogue.20210514/opam: No space left on device
error: unable to create file packages/boltzgen/boltzgen.0.9.5/opam: No space left on device
error: unable to create file packages/bonsai/bonsai.v0.15.0/opam: No space left on device
error: unable to create file packages/bonsai/bonsai.v0.15.1/opam: No space left on device
error: unable to create file packages/bos/bos.0.1.4/opam: No space left on device
error: unable to create file packages/build_path_prefix_map/build_path_prefix_map.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/bwd/bwd.1.2.0/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.113.1/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.59/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.63/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.64.0.1/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.64/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.74/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.77/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.80/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.86/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.89.1/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.92/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.95/opam: No space left on device
error: unable to create file packages/cachet-solo5/cachet-solo5.0.0.2/opam: No space left on device
error: unable to create file packages/cachet-solo5/cachet-solo5.0.0.4/opam: No space left on device
error: unable to create file packages/cachet/cachet.0.0.2/opam: No space left on device
error: unable to create file packages/cairo2-gtk/cairo2-gtk.0.6.2/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.6.3/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.6.5/opam: No space left on device
error: unable to create file packages/caisar-ir/caisar-ir.0.2/opam: No space left on device
error: unable to create file packages/caisar/caisar.1.0/opam: No space left on device
error: unable to create file packages/calcium/calcium.0.1.5/opam: No space left on device
error: unable to create file packages/calculon/calculon.0.3/opam: No space left on device
error: unable to create file packages/calendar/calendar.2.04/opam: No space left on device
error: unable to create file packages/calendar/calendar.3.0.0/opam: No space left on device
error: unable to create file packages/camelot/camelot.0.4.3/opam: No space left on device
error: unable to create file packages/camelot/camelot.0.5/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.0.1/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.3.0/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/camels/camels.0.0.4/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/camlgpc/camlgpc.1.0/opam: No space left on device
error: unable to create file packages/camlgpc/camlgpc.1.2/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.2/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.4/opam: No space left on device
error: unable to create file packages/camlkit-gui/camlkit-gui.0.2.1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02.0-1modular-implicits/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.06+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.06+system/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.08+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.09+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.09+system/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.0/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.2/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.3/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.4/opam: No space left on device
error: unable to create file packages/camlp5-buildscripts/camlp5-buildscripts.0.06/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/camlzip/camlzip.1.11/opam: No space left on device
error: unable to create file packages/camomile/camomile.0.8.7/opam: No space left on device
error: unable to create file packages/capnp-rpc/capnp-rpc.1.2.4/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.10.1/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.9.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.6.0/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.2.3/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.5.1/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.0.9.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.2.4/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.3.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.4.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.5.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.4.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.5.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.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.1.0.0/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.2.2.4/opam: No space left on device
error: unable to create file packages/caqti-tls/caqti-tls.2.1.1/opam: No space left on device
error: unable to create file packages/caqti/caqti.0.9.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.6.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.7.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.8.0/opam: No space left on device
error: unable to create file packages/carton/carton.0.7.2/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-lsp/catala-lsp.1.0.0/opam: No space left on device
error: unable to create file packages/catala/catala.1.0.0~beta/opam: No space left on device
error: unable to create file packages/catapult-sqlite/catapult-sqlite.0.2/opam: No space left on device
error: unable to create file packages/catapult/catapult.0.1.1/opam: No space left on device
error: unable to create file packages/cbor/cbor.0.5/opam: No space left on device
error: unable to create file packages/cca/cca.0.5/opam: No space left on device
error: unable to create file packages/ccbg/ccbg.0.1/opam: No space left on device
error: unable to create file packages/cconv/cconv.0.2/opam: No space left on device
error: unable to create file packages/cdrom/cdrom.0.9.4/opam: No space left on device
error: unable to create file packages/ceph/ceph.20240106/opam: No space left on device
error: unable to create file packages/cf_workers/cf_workers.0.1.5/opam: No space left on device
error: unable to create file packages/cfg/cfg.2.2.0/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/chamelon.0.2.1/opam: No space left on device
error: unable to create file packages/chamo/chamo.4.1.0/opam: No space left on device
error: unable to create file packages/chamo/chamo.4.2.0/opam: No space left on device
error: unable to create file packages/charInfo_width/charInfo_width.0.1.0/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.1.5.0/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.3.0.0/opam: No space left on device
error: unable to create file packages/charrua-unix/charrua-unix.2.1.1/opam: No space left on device
error: unable to create file packages/charrua/charrua.1.5.0/opam: No space left on device
error: unable to create file packages/charset/charset.0.1.0/opam: No space left on device
error: unable to create file packages/charset/charset.0.2.0/opam: No space left on device
error: unable to create file packages/chartjs-annotation/chartjs-annotation.0.2.2/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.0.2/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.1.1-1/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.1.1/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.3.4/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.5.1/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/cinaps/cinaps.v0.11.0/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.13.0/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.14.0/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.4.1.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.6.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.7.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.8.0/opam: No space left on device
error: unable to create file packages/clap/clap.0.1.0/opam: No space left on device
error: unable to create file packages/clap/clap.0.2.0/opam: No space left on device
error: unable to create file packages/class_group_vdf/class_group_vdf.0.0.2/opam: No space left on device
error: unable to create file packages/class_group_vdf/class_group_vdf.0.0.3/opam: No space left on device
error: unable to create file packages/climate/climate.0.8.1/opam: No space left on device
error: unable to create file packages/climate/climate.0.9.0/opam: No space left on device
error: unable to create file packages/cmarkit/cmarkit.0.4.0/opam: No space left on device
error: unable to create file packages/cmdlang-stdlib-runner/cmdlang-stdlib-runner.0.0.9/opam: No space left on device
error: unable to create file packages/cmdtui/cmdtui.0.3.0/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.1.0/opam: No space left on device
error: unable to create file packages/cohttp-curl-lwt/cohttp-curl-lwt.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt-jsoo/cohttp-lwt-jsoo.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt-jsoo/cohttp-lwt-jsoo.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.1.2.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.2.1.3/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.4.0.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.4.1.2/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.6.0.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.6.0.0~beta2/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.6.2.1/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.4.0.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp_async_websocket/cohttp_async_websocket.v0.16.0/opam: No space left on device
error: unable to create file packages/cohttp_async_websocket/cohttp_async_websocket.v0.17.0/opam: No space left on device
error: unable to create file packages/colibri2/colibri2.0.3.3/opam: No space left on device
error: unable to create file packages/colibri2/colibri2.0.4/opam: No space left on device
error: unable to create file packages/colibrilib/colibrilib.0.3.3/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.11.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.12.1/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.3.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.4.2/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.6.0/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/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/command_rpc/command_rpc.v0.14.0/opam: No space left on device
error: unable to create file packages/command_rpc/command_rpc.v0.16.0/opam: No space left on device
error: unable to create file packages/compsort/compsort.0.9.2/opam: No space left on device
error: unable to create file packages/conan-database/conan-database.0.0.1/opam: No space left on device
error: unable to create file packages/conan-database/conan-database.0.0.6/opam: No space left on device
error: unable to create file packages/conan-lwt/conan-lwt.0.0.4/opam: No space left on device
error: unable to create file packages/conan-unix/conan-unix.0.0.6/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.3/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.4/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.1.3.0/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.2.0.2/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.2.2.2/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.2.3.0/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.4.0.2/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.2.3.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.4.0.2/opam: No space left on device
error: unable to create file packages/conduit/conduit.1.3.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.1.4.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.6.2.3/opam: No space left on device
error: unable to create file packages/conduit/conduit.8.0.0/opam: No space left on device
error: unable to create file packages/conex/conex.0.9.2/opam: No space left on device
error: unable to create file packages/conf-aclocal/conf-aclocal.1.0.0/opam: No space left on device
error: unable to create file packages/conf-bash/conf-bash.1/opam: No space left on device
error: unable to create file packages/conf-binaryen/conf-binaryen.1/opam: No space left on device
error: unable to create file packages/conf-binutils/conf-binutils.0.2/opam: No space left on device
error: unable to create file packages/conf-bison/conf-bison.1/opam: No space left on device
error: unable to create file packages/conf-bpftool/conf-bpftool.0.1.0/opam: No space left on device
error: unable to create file packages/conf-c++/conf-c++.1.0/opam: No space left on device
error: unable to create file packages/conf-cuda-config/conf-cuda-config.1/opam: No space left on device
error: unable to create file packages/conf-dssi/conf-dssi.1/opam: No space left on device
error: unable to create file packages/conf-efl/conf-efl.1.8/opam: No space left on device
error: unable to create file packages/conf-faad/conf-faad.1/opam: No space left on device
error: unable to create file packages/conf-freetype/conf-freetype.1/opam: No space left on device
error: unable to create file packages/conf-gd/conf-gd.1/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-gmp-paths/conf-gmp-paths.1/opam: No space left on device
error: unable to create file packages/conf-gnomecanvas/conf-gnomecanvas.2/opam: No space left on device
error: unable to create file packages/conf-gtk2/conf-gtk2.1/opam: No space left on device
error: unable to create file packages/conf-gtksourceview/conf-gtksourceview.2/opam: No space left on device
error: unable to create file packages/conf-gtksourceview3/conf-gtksourceview3.0+1/opam: No space left on device
error: unable to create file packages/conf-gtksourceview3/conf-gtksourceview3.0+2/opam: No space left on device
error: unable to create file packages/conf-ida/conf-ida.0.3/opam: No space left on device
error: unable to create file packages/conf-ladspa/conf-ladspa.1/opam: No space left on device
error: unable to create file packages/conf-lame/conf-lame.1/opam: No space left on device
error: unable to create file packages/conf-libclang/conf-libclang.11/opam: No space left on device
error: unable to create file packages/conf-libcurl/conf-libcurl.1/opam: No space left on device
error: unable to create file packages/conf-libcurl/conf-libcurl.2/opam: No space left on device
error: unable to create file packages/conf-libevent/conf-libevent.1/opam: No space left on device
error: unable to create file packages/conf-libfontconfig/conf-libfontconfig.1/opam: No space left on device
error: unable to create file packages/conf-libgif/conf-libgif.1/opam: No space left on device
error: unable to create file packages/conf-libgl/conf-libgl.1/opam: No space left on device
error: unable to create file packages/conf-libglu/conf-libglu.1/opam: No space left on device
error: unable to create file packages/conf-libgsasl/conf-libgsasl.1/opam: No space left on device
error: unable to create file packages/conf-libobjc2/conf-libobjc2.1/opam: No space left on device
error: unable to create file packages/conf-librsvg2/conf-librsvg2.0/opam: No space left on device
error: unable to create file packages/conf-libwayland/conf-libwayland.1/opam: No space left on device
error: unable to create file packages/conf-libxcb-image/conf-libxcb-image.1/opam: No space left on device
error: unable to create file packages/conf-libxcb-keysyms/conf-libxcb-keysyms.1/opam: No space left on device
error: unable to create file packages/conf-libxcb-xkb/conf-libxcb-xkb.1/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.13.0.0/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.7.0.0/opam: No space left on device
error: unable to create file packages/conf-lua/conf-lua.1/opam: No space left on device
error: unable to create file packages/conf-mad/conf-mad.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-curl-i686/conf-mingw-w64-curl-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-freeglut-i686/conf-mingw-w64-freeglut-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-glade-i686/conf-mingw-w64-glade-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gmp-i686/conf-mingw-w64-gmp-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gmp-x86_64/conf-mingw-w64-gmp-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-i686/conf-mingw-w64-pkgconf-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-zlib-i686/conf-mingw-w64-zlib-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-zstd-i686/conf-mingw-w64-zstd-i686.1/opam: No space left on device
error: unable to create file packages/conf-nlopt/conf-nlopt.1/opam: No space left on device
error: unable to create file packages/conf-nmap/conf-nmap.1.0.0/opam: No space left on device
error: unable to create file packages/conf-openblas/conf-openblas.0.1/opam: No space left on device
error: unable to create file packages/conf-openblas/conf-openblas.0.2.3/opam: No space left on device
error: unable to create file packages/conf-perl-ipc-system-simple/conf-perl-ipc-system-simple.1/opam: No space left on device
error: unable to create file packages/conf-perl/conf-perl.1/opam: No space left on device
error: unable to create file packages/conf-protoc-dev/conf-protoc-dev.1.0.0/opam: No space left on device
error: unable to create file packages/conf-protoc/conf-protoc.4.4.0/opam: No space left on device
error: unable to create file packages/conf-python-3-dev/conf-python-3-dev.1/opam: No space left on device
error: unable to create file packages/conf-python-3/conf-python-3.1.0.0/opam: No space left on device
error: unable to create file packages/conf-python3-pyparsing/conf-python3-pyparsing.1/opam: No space left on device
error: unable to create file packages/conf-r-mathlib/conf-r-mathlib.1/opam: No space left on device
error: unable to create file packages/conf-rdkit/conf-rdkit.0.1/opam: No space left on device
error: unable to create file packages/conf-rubberband/conf-rubberband.1/opam: No space left on device
error: unable to create file packages/conf-rust-2018/conf-rust-2018.1/opam: No space left on device
error: unable to create file packages/conf-rust-2021/conf-rust-2021.1/opam: No space left on device
error: unable to create file packages/conf-sdl-ttf/conf-sdl-ttf.1/opam: No space left on device
error: unable to create file packages/conf-srt-openssl/conf-srt-openssl.1/opam: No space left on device
error: unable to create file packages/conf-srt/conf-srt.2/opam: No space left on device
error: unable to create file packages/conf-sundials/conf-sundials.1/opam: No space left on device
error: unable to create file packages/conf-tk/conf-tk.1/opam: No space left on device
error: unable to create file packages/conf-tree-sitter/conf-tree-sitter.1/opam: No space left on device
error: unable to create file packages/conf-tzdata/conf-tzdata.1/opam: No space left on device
error: unable to create file packages/conf-wget/conf-wget.1/opam: No space left on device
error: unable to create file packages/conf-which/conf-which.1/opam: No space left on device
error: unable to create file packages/conf-wxwidgets/conf-wxwidgets.3.0/opam: No space left on device
error: unable to create file packages/conf-xen/conf-xen.1/opam: No space left on device
error: unable to create file packages/conf-xkbcommon/conf-xkbcommon.1/opam: No space left on device
error: unable to create file packages/config/config.0.0.1/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.0.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.7/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.0.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.1/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.10/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.3/opam: No space left on device
error: unable to create file packages/containers/containers.3.10/opam: No space left on device
error: unable to create file packages/containers/containers.3.11/opam: No space left on device
error: unable to create file packages/containers/containers.3.12/opam: No space left on device
error: unable to create file packages/containers/containers.3.13.1/opam: No space left on device
error: unable to create file packages/containers/containers.3.17/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/content_security_policy/content_security_policy.v0.17.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/coq-core/coq-core.8.17.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.19.2/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.20.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.20.1/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.2+v8.16/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.5+8.16/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.4.0/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.4.1/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.0/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.1/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.12.0+0.12.1/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.14.0+0.14.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.1/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-stdlib/coq-stdlib.8.19.2/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.1.0+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.2.0+8.20/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.3.0.0+8.17/opam: No space left on device
error: unable to create file packages/coq/coq.8.11.2/opam: No space left on device
error: unable to create file packages/coq/coq.8.12.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.12.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.13.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.7.1+1/opam: No space left on device
error: unable to create file packages/coq/coq.8.7.2/opam: No space left on device
error: unable to create file packages/coq/coq.8.8.0/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.20.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.12.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.14.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.7.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.9.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-device-orientation/cordova-plugin-device-orientation.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-image-picker/cordova-plugin-image-picker.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1.2/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1/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/core_extended/core_extended.v0.12.0/opam: No space left on device
error: unable to create file packages/core_extended/core_extended.v0.15.0/opam: No space left on device
error: unable to create file packages/core_extended/core_extended.v0.16.0/opam: No space left on device
error: unable to create file packages/core_extended/core_extended.v0.17.0/opam: No space left on device
error: unable to create file packages/core_profiler/core_profiler.v0.14.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.0/opam: No space left on device
error: unable to create file packages/corecount/corecount.1.0.0/opam: No space left on device
error: unable to create file packages/corosync/corosync.0.0.1/opam: No space left on device
error: unable to create file packages/cosovo/cosovo.3/opam: No space left on device
error: unable to create file packages/cow/cow.2.0.1/opam: No space left on device
error: unable to create file packages/cow/cow.2.2.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.3.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.4.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.3.0.0/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.6/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.9/opam: No space left on device
error: unable to create file packages/cpuid/cpuid.0.1.0/opam: No space left on device
error: unable to create file packages/cpuid/cpuid.0.1.1/opam: No space left on device
error: unable to create file packages/cpuid/cpuid.0.1.2/opam: No space left on device
error: unable to create file packages/craml/craml.1.0.0/opam: No space left on device
error: unable to create file packages/crc/crc.1.0.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/crs/crs.0.0.20250620/opam: No space left on device
error: unable to create file packages/crs/crs.0.0.20250705/opam: No space left on device
error: unable to create file packages/crunch/crunch.4.0.0/opam: No space left on device
error: unable to create file packages/cry/cry.0.6.1/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.08pl1/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.3.2/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.4.0/opam: No space left on device
error: unable to create file packages/css-parser/css-parser.0.2.5/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/css/css.0.3.0/opam: No space left on device
error: unable to create file packages/csv-lwt/csv-lwt.2.4/opam: No space left on device
error: unable to create file packages/csv/csv.1.4/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.13.0/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.15.1/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.24.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/ctypes.0.16.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/cudajit/cudajit.0.7.1/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.2/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/curly/curly.0.2.0/opam: No space left on device
error: unable to create file packages/curly/curly.0.3.0/opam: No space left on device
error: unable to create file packages/current-web-pipelines/current-web-pipelines.0.1/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.5/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.6.2/opam: No space left on device
error: unable to create file packages/current_git/current_git.0.5/opam: No space left on device
error: unable to create file packages/current_git/current_git.0.6.2/opam: No space left on device
error: unable to create file packages/current_git/current_git.0.7.1/opam: No space left on device
error: unable to create file packages/current_github/current_github.0.5/opam: No space left on device
error: unable to create file packages/current_incr/current_incr.0.5/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.2/opam: No space left on device
error: unable to create file packages/current_slack/current_slack.0.7.2/opam: No space left on device
error: unable to create file packages/current_web/current_web.0.5/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/data-encoding/data-encoding.0.5.2/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.5/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.7.1/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.4/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.4/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.5/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.7/opam: No space left on device
error: unable to create file packages/daypack-lib/daypack-lib.0.0.1/opam: No space left on device
error: unable to create file packages/daypack-lib/daypack-lib.0.0.2/opam: No space left on device
error: unable to create file packages/dbase4/dbase4.0.1.5/opam: No space left on device
error: unable to create file packages/dbf/dbf.0.1/opam: No space left on device
error: unable to create file packages/decimal/decimal.1.0.2/opam: No space left on device
error: unable to create file packages/decoders-cbor/decoders-cbor.0.4.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.1.2/opam: No space left on device
error: unable to create file packages/decoders-jsonm/decoders-jsonm.0.7.0/opam: No space left on device
error: unable to create file packages/decoders-msgpck/decoders-msgpck.0.5.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.5.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.2.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.3.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.4.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.2.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.4.1/opam: No space left on device
error: unable to create file packages/delimcc/delimcc.2020.10.08/opam: No space left on device
error: unable to create file packages/delimcc/delimcc.2023.06.17/opam: No space left on device
error: unable to create file packages/depext/depext.0.3/opam: No space left on device
error: unable to create file packages/depext/depext.0.4/opam: No space left on device
error: unable to create file packages/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/depext/depext.1.0.5/opam: No space left on device
error: unable to create file packages/depgraph/depgraph.0.1.0/opam: No space left on device
error: unable to create file packages/depyt/depyt.0.3.0/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/diet/diet.0.3/opam: No space left on device
error: unable to create file packages/diff/diff.1.0.2/opam: No space left on device
error: unable to create file packages/diffable/diffable.v0.16.0/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-etc/diffast-etc.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-etc/diffast-etc.0.1/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/diffast-langs-cpp-parsing.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-spec/diffast-langs-cpp-spec.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-spec/diffast-langs-cpp-spec.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp/diffast-langs-cpp.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp/diffast-langs-cpp.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-spec/diffast-langs-fortran-spec.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran/diffast-langs-fortran.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran/diffast-langs-fortran.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran/diffast-langs-fortran.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran/diffast-langs-fortran.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-java-parsing-cli/diffast-langs-java-parsing-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-java/diffast-langs-java.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-java/diffast-langs-java.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-python-parsing/diffast-langs-python-parsing.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-python/diffast-langs-python.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-python/diffast-langs-python.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-spec/diffast-langs-verilog-spec.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog/diffast-langs-verilog.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-misc/diffast-misc.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-misc/diffast-misc.0.3.5.1/opam: No space left on device
error: unable to create file packages/directories/directories.0.2/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/disml/disml.0.2.5/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.4.1/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/distributed-uwt/distributed-uwt.0.1.0/opam: No space left on device
error: unable to create file packages/distributed-uwt/distributed-uwt.0.2.0/opam: No space left on device
error: unable to create file packages/dkim-lwt-unix/dkim-lwt-unix.0.8.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/dkim-mirage/dkim-mirage.0.8.0/opam: No space left on device
error: unable to create file packages/dkim/dkim.0.9.0/opam: No space left on device
error: unable to create file packages/dkml-c-probe/dkml-c-probe.3.0.0/opam: No space left on device
error: unable to create file packages/dkml-c-probe/dkml-c-probe.3.2.0/opam: No space left on device
error: unable to create file packages/dkml-component-xx-console/dkml-component-xx-console.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.2.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.3.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.4.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.5.1/opam: No space left on device
error: unable to create file packages/dkml-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.3.0/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.5.2/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.5.3/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.2.0/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.3.1/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-package-console/dkml-package-console.0.3.0/opam: No space left on device
error: unable to create file packages/dkml-package-console/dkml-package-console.0.4.0/opam: No space left on device
error: unable to create file packages/dkml-package-console/dkml-package-console.0.5.1/opam: No space left on device
error: unable to create file packages/dkml-runtime-common/dkml-runtime-common.2.0.3/opam: No space left on device
error: unable to create file packages/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.0.0/opam: No space left on device
error: unable to create file packages/dmap/dmap.0.2/opam: No space left on device
error: unable to create file packages/dmap/dmap.0.3/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.8.0.0/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.8.0.0/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.9.1.0/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.5.0.1/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.8.0.0/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.9.1.0/opam: No space left on device
error: unable to create file packages/dns-forward-lwt-unix/dns-forward-lwt-unix.0.9.0/opam: No space left on device
error: unable to create file packages/dns-forward/dns-forward.0.10.0/opam: No space left on device
error: unable to create file packages/dns-mirage/dns-mirage.8.0.0/opam: No space left on device
error: unable to create file packages/dns-mirage/dns-mirage.9.1.0/opam: No space left on device
error: unable to create file packages/dns-stub/dns-stub.10.1.0/opam: No space left on device
error: unable to create file packages/dns-stub/dns-stub.10.2.1/opam: No space left on device
error: unable to create file packages/dns-stub/dns-stub.9.1.0/opam: No space left on device
error: unable to create file packages/dns/dns.10.1.0/opam: No space left on device
error: unable to create file packages/dns/dns.4.4.1/opam: No space left on device
error: unable to create file packages/dns/dns.5.0.1/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/dnssec/dnssec.10.2.0/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.10.2.2/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.8.0.0/opam: No space left on device
error: unable to create file packages/docfd/docfd.0.3.3/opam: No space left on device
error: unable to create file packages/docker_hub/docker_hub.0.1.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-cmd/dockerfile-cmd.8.3.3/opam: No space left on device
error: unable to create file packages/docteur-solo5/docteur-solo5.0.0.3/opam: No space left on device
error: unable to create file packages/docteur-solo5/docteur-solo5.0.0.4/opam: No space left on device
error: unable to create file packages/docteur-unix/docteur-unix.0.0.7/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/docteur/docteur.0.0.5/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.6/opam: No space left on device
error: unable to create file packages/doculib/doculib.1.3.1/opam: No space left on device
error: unable to create file packages/dokeysto_camltc/dokeysto_camltc.3.0.0/opam: No space left on device
error: unable to create file packages/dokeysto_camltc/dokeysto_camltc.3.0.1/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.2.0.0/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.2.0.1/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.3.0.1/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.10/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.4.1/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.5/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.10/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.5/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.6/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_loop/dolmen_loop.0.6/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/domain-local-await/domain-local-await.0.1.0/opam: No space left on device
error: unable to create file packages/domain-local-await/domain-local-await.1.0.0/opam: No space left on device
error: unable to create file packages/domainslib/domainslib.0.5.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.17.1-501/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.18-414/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.5/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.7.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.3-502/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.4.1-503/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.5-503/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/dot-merlin-reader/dot-merlin-reader.5.6-504/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.1.2.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.11.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.11.2/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.8.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.9.5/opam: No space left on device
error: unable to create file packages/dream-pure/dream-pure.1.0.0~alpha2/opam: No space left on device
error: unable to create file packages/dream-serve/dream-serve.1.0.1/opam: No space left on device
error: unable to create file packages/dream/dream.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/drom/drom.0.2.0/opam: No space left on device
error: unable to create file packages/drom/drom.0.3.0/opam: No space left on device
error: unable to create file packages/drom/drom.0.6.0/opam: No space left on device
error: unable to create file packages/drom/drom.0.6.1/opam: No space left on device
error: unable to create file packages/drom/drom.0.8.0/opam: No space left on device
error: unable to create file packages/drom_lib/drom_lib.0.8.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/dtoa/dtoa.0.3.3/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.3.4/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.4.3/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.4.4/opam: No space left on device
error: unable to create file packages/duff/duff.0.4/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.20.1/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.20.2/opam: No space left on device
error: unable to create file packages/dune-cargo-build/dune-cargo-build.0.2.2/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.17.2/opam: No space left on device
error: unable to create file packages/dune-deps/dune-deps.1.0.1/opam: No space left on device
error: unable to create file packages/dune-deps/dune-deps.1.5.0/opam: No space left on device
error: unable to create file packages/dune-expand/dune-expand.0.0.1/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.17.2/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.2.5.1/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.15.3/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.17.2/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.20.2/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.1.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.6.1/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.2.0.0/opam: No space left on device
error: unable to create file packages/dune-rpc-lwt/dune-rpc-lwt.3.20.1/opam: No space left on device
error: unable to create file packages/dune-rpc/dune-rpc.3.15.3/opam: No space left on device
error: unable to create file packages/dune/dune.1.11.4/opam: No space left on device
error: unable to create file packages/dune/dune.1.6.3/opam: No space left on device
error: unable to create file packages/dune/dune.2.4.0/opam: No space left on device
error: unable to create file packages/dune/dune.2.7.1/opam: No space left on device
error: unable to create file packages/dune/dune.2.9.3/opam: No space left on device
error: unable to create file packages/dune/dune.3.10.0/opam: No space left on device
error: unable to create file packages/dune/dune.3.12.2/opam: No space left on device
error: unable to create file packages/dune/dune.3.15.3/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.20.2/opam: No space left on device
error: unable to create file packages/dunolint-lib-base/dunolint-lib-base.0.0.20251006/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.1/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.2/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.4/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.0.2/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.0.3/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.3.1/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.4.0/opam: No space left on device
error: unable to create file packages/dynamic_gc/dynamic_gc.0.1.0/opam: No space left on device
error: unable to create file packages/earley/earley.3.0.0/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.0.1/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.0.2/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.3.2/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.2/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.3/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.6.0/opam: No space left on device
error: unable to create file packages/easy_logging_yojson/easy_logging_yojson.0.5/opam: No space left on device
error: unable to create file packages/ecaml/ecaml.v0.12.0/opam: No space left on device
error: unable to create file packages/ecaml/ecaml.v0.13.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/eigen/eigen.0.1.2/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.3.0/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.0.5/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.1.1/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.1.2/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.10/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.13/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.14/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.1.2/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.1.3/opam: No space left on device
error: unable to create file packages/either/either.1.0.0/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.0.4/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.5/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.6.2/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.8.0/opam: No space left on device
error: unable to create file packages/elina/elina.1.3/opam: No space left on device
error: unable to create file packages/eliom/eliom.10.0.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.11.1.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.12.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/elpi/elpi.2.0.7/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.0.0/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.0.1/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.5/opam: No space left on device
error: unable to create file packages/emile/emile.0.3/opam: No space left on device
error: unable to create file packages/emile/emile.0.8/opam: No space left on device
error: unable to create file packages/emoji/emoji.1.0.0/opam: No space left on device
error: unable to create file packages/emoji/emoji.1.1.0/opam: No space left on device
error: unable to create file packages/encore/encore.0.1/opam: No space left on device
error: unable to create file packages/encore/encore.0.2/opam: No space left on device
error: unable to create file packages/encore/encore.0.5/opam: No space left on device
error: unable to create file packages/epictetus/epictetus.3.1.1/opam: No space left on device
error: unable to create file packages/eprover/eprover.2.6/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.1/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.10/opam: No space left on device
error: unable to create file packages/esa/esa.0.1.0/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/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.5/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.6/opam: No space left on device
error: unable to create file packages/esperanto/esperanto.0.0.1/opam: No space left on device
error: unable to create file packages/esperanto/esperanto.0.0.2/opam: No space left on device
error: unable to create file packages/expect/expect.0.0.6/opam: No space left on device
error: unable to create file packages/expect_test_helpers/expect_test_helpers.v0.12.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_async/expect_test_helpers_async.v0.16.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_async/expect_test_helpers_async.v0.17.0/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.7.8/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.7.9/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.2.0/opam: No space left on device
error: unable to create file packages/ez_api/ez_api.2.0.0/opam: No space left on device
error: unable to create file packages/ez_cmdliner/ez_cmdliner.0.4.3/opam: No space left on device
error: unable to create file packages/ez_config/ez_config.0.1.1/opam: No space left on device
error: unable to create file packages/ez_hash/ez_hash.0.5.3/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.2/opam: No space left on device
error: unable to create file packages/ezcurl/ezcurl.0.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_blockies/ezjs_blockies.0.1.1/opam: No space left on device
error: unable to create file packages/ezjs_blockies/ezjs_blockies.0.1/opam: No space left on device
error: unable to create file packages/ezjs_cleave/ezjs_cleave.0.1.1/opam: No space left on device
error: unable to create file packages/ezjs_fetch/ezjs_fetch.0.1/opam: No space left on device
error: unable to create file packages/ezjs_fetch/ezjs_fetch.0.2/opam: No space left on device
error: unable to create file packages/ezjs_min/ezjs_min.0.3.0/opam: No space left on device
error: unable to create file packages/ezjs_odometer/ezjs_odometer.0.1/opam: No space left on device
error: unable to create file packages/ezjs_push/ezjs_push.0.1/opam: No space left on device
error: unable to create file packages/ezjs_push/ezjs_push.0.2/opam: No space left on device
error: unable to create file packages/ezjsonm/ezjsonm.1.3.0/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.2/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.6.1/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.6/opam: No space left on device
error: unable to create file packages/ezresto/ezresto.0.3/opam: No space left on device
error: unable to create file packages/ezresto/ezresto.0.6/opam: No space left on device
error: unable to create file packages/ezsqlite/ezsqlite.0.2/opam: No space left on device
error: unable to create file packages/ezsqlite/ezsqlite.0.3/opam: No space left on device
error: unable to create file packages/facile/facile.1.1.4/opam: No space left on device
error: unable to create file packages/facteur/facteur.0.1.0/opam: No space left on device
error: unable to create file packages/fadbadml/fadbadml.0.1.2/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.5.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.6.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.6.1/opam: No space left on device
error: unable to create file packages/faraday-lwt-unix/faraday-lwt-unix.0.8.1/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.7.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.7.2/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.12.3/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.13.0/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.15.1/opam: No space left on device
error: unable to create file packages/feat-core/feat-core.20211224/opam: No space left on device
error: unable to create file packages/feat-num/feat-num.20211224/opam: No space left on device
error: unable to create file packages/ff-pbt/ff-pbt.0.6.2/opam: No space left on device
error: unable to create file packages/ff-sig/ff-sig.0.5.0/opam: No space left on device
error: unable to create file packages/ff-sig/ff-sig.0.6.1/opam: No space left on device
error: unable to create file packages/ff-sig/ff-sig.0.6.2/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.2/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-avcodec/ffmpeg-avcodec.1.2.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.5/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.6/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.7/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.9/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.0.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.6/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.2.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.2/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.5/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.3.0/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.4.3/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.7/opam: No space left on device
error: unable to create file packages/fiat-p256/fiat-p256.0.2.3/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.2/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.7.0/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.2/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.6/opam: No space left on device
error: unable to create file packages/fix/fix.20181206/opam: No space left on device
error: unable to create file packages/fix/fix.20200131/opam: No space left on device
error: unable to create file packages/fix/fix.20211231/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/flexdll/flexdll.0.38/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.43/opam: No space left on device
error: unable to create file packages/float_option/float_option.0.0.2/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.3.1/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.4.0/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.0/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.1/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/fmlib.0.6.1/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.6.2/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.9/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.6.2/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.11/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.2/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.3/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.8/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.6.0/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.6.0/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.3.0/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.1/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.10.0/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.11.0/opam: No space left on device
error: unable to create file packages/forester/forester.2.1/opam: No space left on device
error: unable to create file packages/forester/forester.2.2.1/opam: No space left on device
error: unable to create file packages/forester/forester.2.3/opam: No space left on device
error: unable to create file packages/forester/forester.3.1.0/opam: No space left on device
error: unable to create file packages/frama-c-luncov/frama-c-luncov.0.2/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.1/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.2/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.4/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.7/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.9/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.19.1/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.20.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.26.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.26.0~beta/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.28.0/opam: No space left on device
error: unable to create file packages/frama-clang/frama-clang.0.0.14/opam: No space left on device
error: unable to create file packages/frama-clang/frama-clang.0.0.18~beta/opam: No space left on device
error: unable to create file packages/fsml/fsml.0.2.1/opam: No space left on device
error: unable to create file packages/fstar/fstar.2025.09.04/opam: No space left on device
error: unable to create file packages/fswatch/fswatch.11-0.1.0/opam: No space left on device
error: unable to create file packages/fswatch_async/fswatch_async.11-0.1.2/opam: No space left on device
error: unable to create file packages/fungi/fungi.0.1.4/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/gdbprofiler/gdbprofiler.0.3/opam: No space left on device
error: unable to create file packages/gemini/gemini.0.1/opam: No space left on device
error: unable to create file packages/gen/gen.1.0/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.0.8/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.0.9/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.1.0/opam: No space left on device
error: unable to create file packages/gendarme-toml/gendarme-toml.0.4.0/opam: No space left on device
error: unable to create file packages/gendarme-yaml/gendarme-yaml.0.2.0/opam: No space left on device
error: unable to create file packages/genprint/genprint.0.3/opam: No space left on device
error: unable to create file packages/genspio/genspio.0.0.1/opam: No space left on device
error: unable to create file packages/geojson/geojson.0.2.0/opam: No space left on device
error: unable to create file packages/geojsone/geojsone.0.2.0/opam: No space left on device
error: unable to create file packages/geoml/geoml.0.1.1/opam: No space left on device
error: unable to create file packages/gettext-camomile/gettext-camomile.0.4.1/opam: No space left on device
error: unable to create file packages/gettext-stub/gettext-stub.0.4.1/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.3.8/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.4.1/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.4.2/opam: No space left on device
error: unable to create file packages/git-kv/git-kv.0.1.3/opam: No space left on device
error: unable to create file packages/git-kv/git-kv.0.2.0/opam: No space left on device
error: unable to create file packages/git-net/git-net.0.2.1/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.15.0/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.16.1/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.17.0/opam: No space left on device
error: unable to create file packages/git/git.2.1.3/opam: No space left on device
error: unable to create file packages/git/git.3.15.0/opam: No space left on device
error: unable to create file packages/git/git.3.16.1/opam: No space left on device
error: unable to create file packages/github-data/github-data.4.5.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-jsoo/github-jsoo.3.1.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.4.1.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.4.4.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.4.4.1/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.4.5.0/opam: No space left on device
error: unable to create file packages/github/github.4.0.0/opam: No space left on device
error: unable to create file packages/github/github.4.1.0/opam: No space left on device
error: unable to create file packages/github/github.4.2.0/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.1/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.3/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1~rc2/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.3.1/opam: No space left on device
error: unable to create file packages/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-async/gluten-async.0.2.1/opam: No space left on device
error: unable to create file packages/gluten-async/gluten-async.0.4.0/opam: No space left on device
error: unable to create file packages/gluten-eio/gluten-eio.0.5.0/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.3.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-lwt-unix/gluten-lwt-unix.0.5.0/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.5.2/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.2.0/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.2.1/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.3.0/opam: No space left on device
error: unable to create file packages/gmap/gmap.0.3.0/opam: No space left on device
error: unable to create file packages/gmp-ecm/gmp-ecm.7.0.3/opam: No space left on device
error: unable to create file packages/gmp-xen/gmp-xen.6.0.0/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.1.7.4/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.2.1/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.4.0/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.5.0/opam: No space left on device
error: unable to create file packages/gospel/gospel.0.2.0/opam: No space left on device
error: unable to create file packages/gotd/gotd.0.1/opam: No space left on device
error: unable to create file packages/gperftools/gperftools.0.4/opam: No space left on device
error: unable to create file packages/gpiod/gpiod.0.7/opam: No space left on device
error: unable to create file packages/gpr/gpr.1.3.0/opam: No space left on device
error: unable to create file packages/graphlib/graphlib.2.2.0/opam: No space left on device
error: unable to create file packages/graphlib/graphlib.2.5.0/opam: No space left on device
error: unable to create file packages/graphql-async/graphql-async.0.1.0/opam: No space left on device
error: unable to create file packages/graphql-cohttp/graphql-cohttp.0.13.0/opam: No space left on device
error: unable to create file packages/graphql-cohttp/graphql-cohttp.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.8.0/opam: No space left on device
error: unable to create file packages/graphql/graphql.0.5.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_jsoo_client/graphql_jsoo_client.0.1.1/opam: No space left on device
error: unable to create file packages/graphql_parser/graphql_parser.0.5.0/opam: No space left on device
error: unable to create file packages/graphv_gles2_native_impl/graphv_gles2_native_impl.0.1.1/opam: No space left on device
error: unable to create file packages/graphv_webgl_impl/graphv_webgl_impl.0.1.1/opam: No space left on device
error: unable to create file packages/grib/grib.0.11.0/opam: No space left on device
error: unable to create file packages/grib/grib.0.9.7/opam: No space left on device
error: unable to create file packages/grid/grid.0.1.0/opam: No space left on device
error: unable to create file packages/grid/grid.0.2.0/opam: No space left on device
error: unable to create file packages/guardian/guardian.0.0.4/opam: No space left on device
error: unable to create file packages/guardian/guardian.0.1.0/opam: No space left on device
error: unable to create file packages/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/h1/h1.1.0.0/opam: No space left on device
error: unable to create file packages/h2-lwt-unix/h2-lwt-unix.0.1.0/opam: No space left on device
error: unable to create file packages/h2-lwt-unix/h2-lwt-unix.0.10.0/opam: No space left on device
error: unable to create file packages/h2-lwt-unix/h2-lwt-unix.0.11.0/opam: No space left on device
error: unable to create file packages/h2-lwt-unix/h2-lwt-unix.0.12.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-lwt/h2-lwt.0.11.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.12.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.3.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.5.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.6.1/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.1.0/opam: No space left on device
error: unable to create file packages/h2/h2.0.10.0/opam: No space left on device
error: unable to create file packages/hack_parallel/hack_parallel.1.0.1/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.1.1/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.1/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.6.2/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.7.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.4/opam: No space left on device
error: unable to create file packages/hacl_x25519/hacl_x25519.0.2.2/opam: No space left on device
error: unable to create file packages/happy-eyeballs-lwt/happy-eyeballs-lwt.2.0.1/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.14.0/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.14.1/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.16.0/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.17.1/opam: No space left on device
error: unable to create file packages/hardcaml_axi/hardcaml_axi.v0.16.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_of_verilog/hardcaml_of_verilog.v0.15.0/opam: No space left on device
error: unable to create file packages/hardcaml_of_verilog/hardcaml_of_verilog.v0.17.0/opam: No space left on device
error: unable to create file packages/hardcaml_step_testbench/hardcaml_step_testbench.v0.17.0/opam: No space left on device
error: unable to create file packages/hardcaml_verify/hardcaml_verify.v0.16.0/opam: No space left on device
error: unable to create file packages/hardcaml_verify/hardcaml_verify.v0.17.0/opam: No space left on device
error: unable to create file packages/hardcaml_xilinx_components/hardcaml_xilinx_components.v0.17.0/opam: No space left on device
error: unable to create file packages/haxe/haxe.4.0.1/opam: No space left on device
error: unable to create file packages/haxe/haxe.4.0.5/opam: No space left on device
error: unable to create file packages/hc/hc.0.2/opam: No space left on device
error: unable to create file packages/hc/hc.0.5/opam: No space left on device
error: unable to create file packages/headache/headache.1.08/opam: No space left on device
error: unable to create file packages/heptagon/heptagon.1.03.03/opam: No space left on device
error: unable to create file packages/heptagon/heptagon.1.03.04/opam: No space left on device
error: unable to create file packages/heptagon/heptagon.1.04.00/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.51/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.56.1/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.56.2/opam: No space left on device
error: unable to create file packages/hg_lib/hg_lib.v0.15.0/opam: No space left on device
error: unable to create file packages/hidapi-lwt/hidapi-lwt.1.2.1/opam: No space left on device
error: unable to create file packages/hidapi/hidapi.1.1.1/opam: No space left on device
error: unable to create file packages/higher/higher.0.1/opam: No space left on device
error: unable to create file packages/higher/higher.0.3.1/opam: No space left on device
error: unable to create file packages/higher_kinded/higher_kinded.v0.17.0/opam: No space left on device
error: unable to create file packages/highlexer/highlexer.0.1/opam: No space left on device
error: unable to create file packages/hilite/hilite.0.3.0/opam: No space left on device
error: unable to create file packages/hilite/hilite.0.4.0/opam: No space left on device
error: unable to create file packages/hiredis/hiredis.0.7/opam: No space left on device
error: unable to create file packages/hkdf/hkdf.1.0.4/opam: No space left on device
error: unable to create file packages/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/hmap/hmap.0.8.1/opam: No space left on device
error: unable to create file packages/horned_worm/horned_worm.0.3.7/opam: No space left on device
error: unable to create file packages/host-arch-arm32/host-arch-arm32.1/opam: No space left on device
error: unable to create file packages/host-arch-x86_64/host-arch-x86_64.1/opam: No space left on device
error: unable to create file packages/host-system-mingw/host-system-mingw.1/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.1.0/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.2.0/opam: No space left on device
error: unable to create file packages/html_of_jsx/html_of_jsx.0.0.1/opam: No space left on device
error: unable to create file packages/hts_shrink/hts_shrink.2.0.0/opam: No space left on device
error: unable to create file packages/hts_shrink/hts_shrink.2.1.0/opam: No space left on device
error: unable to create file packages/hts_shrink/hts_shrink.2.1.2/opam: No space left on device
error: unable to create file packages/http-date/http-date.0.1/opam: No space left on device
error: unable to create file packages/http-lwt-client/http-lwt-client.0.2.1/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/httpaf-async/httpaf-async.0.6.5/opam: No space left on device
error: unable to create file packages/httpaf-async/httpaf-async.0.7.0/opam: No space left on device
error: unable to create file packages/httpaf-lwt-unix/httpaf-lwt-unix.0.6.0/opam: No space left on device
error: unable to create file packages/httpaf-lwt-unix/httpaf-lwt-unix.0.6.5/opam: No space left on device
error: unable to create file packages/httph/httph.0.1/opam: No space left on device
error: unable to create file packages/httpun-async/httpun-async.0.1.0/opam: No space left on device
error: unable to create file packages/httpun-ws-lwt/httpun-ws-lwt.0.2.0/opam: No space left on device
error: unable to create file packages/humane-re/humane-re.0.1.1/opam: No space left on device
error: unable to create file packages/hxd/hxd.0.2.0/opam: No space left on device
error: unable to create file packages/hxd/hxd.0.3.0/opam: No space left on device
error: unable to create file packages/hxd/hxd.0.3.2/opam: No space left on device
error: unable to create file packages/imguiml/imguiml.v1.90.6/opam: No space left on device
error: unable to create file packages/incr_dom/incr_dom.v0.13.0/opam: No space left on device
error: unable to create file packages/incr_dom/incr_dom.v0.16.0/opam: No space left on device
error: unable to create file packages/incr_dom_keyboard/incr_dom_keyboard.v0.13.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/incr_dom_partial_render/incr_dom_partial_render.v0.14.0/opam: No space left on device
error: unable to create file packages/incr_dom_partial_render/incr_dom_partial_render.v0.16.0/opam: No space left on device
error: unable to create file packages/incr_map/incr_map.v0.13.0/opam: No space left on device
error: unable to create file packages/incr_select/incr_select.v0.14.0/opam: No space left on device
error: unable to create file packages/incr_select/incr_select.v0.15.0/opam: No space left on device
error: unable to create file packages/incr_select/incr_select.v0.16.0/opam: No space left on device
error: unable to create file packages/incremental/incremental.v0.13.0/opam: No space left on device
error: unable to create file packages/index-bench/index-bench.1.4.1/opam: No space left on device
error: unable to create file packages/index-bench/index-bench.1.6.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.4.0/opam: No space left on device
error: unable to create file packages/index/index.1.5.0/opam: No space left on device
error: unable to create file packages/influxdb-async/influxdb-async.0.3.0/opam: No space left on device
error: unable to create file packages/influxdb-lwt/influxdb-lwt.0.2.0/opam: No space left on device
error: unable to create file packages/inotify-eio/inotify-eio.2.6/opam: No space left on device
error: unable to create file packages/inotify/inotify.2.1/opam: No space left on device
error: unable to create file packages/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/integers/integers.0.2.0/opam: No space left on device
error: unable to create file packages/integers/integers.0.2.2/opam: No space left on device
error: unable to create file packages/interval-map/interval-map.0.1.0/opam: No space left on device
error: unable to create file packages/interval/interval.1.6/opam: No space left on device
error: unable to create file packages/interval_base/interval_base.1.5.1/opam: No space left on device
error: unable to create file packages/io-page/io-page.2.3.0/opam: No space left on device
error: unable to create file packages/io-page/io-page.2.4.0/opam: No space left on device
error: unable to create file packages/io/io.0.2.0/opam: No space left on device
error: unable to create file packages/iomux/iomux.0.2/opam: No space left on device
error: unable to create file packages/iomux/iomux.0.4/opam: No space left on device
error: unable to create file packages/ipv6-multicast/ipv6-multicast.0.9/opam: No space left on device
error: unable to create file packages/irc-client-unix/irc-client-unix.0.6.2/opam: No space left on device
error: unable to create file packages/iri/iri.0.5.0/opam: No space left on device
error: unable to create file packages/iri/iri.0.6.0/opam: No space left on device
error: unable to create file packages/iri/iri.0.7.0/opam: No space left on device
error: unable to create file packages/irmin-cli/irmin-cli.3.11.0/opam: No space left on device
error: unable to create file packages/irmin-graphql/irmin-graphql.2.10.2/opam: No space left on device
error: unable to create file packages/irmin-graphql/irmin-graphql.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-http/irmin-http.2.10.2/opam: No space left on device
error: unable to create file packages/irmin-mirage-git/irmin-mirage-git.2.10.2/opam: No space left on device
error: unable to create file packages/irmin-mirage-git/irmin-mirage-git.3.11.0/opam: No space left on device
error: unable to create file packages/irmin-mirage/irmin-mirage.3.10.0/opam: No space left on device
error: unable to create file packages/irmin-server/irmin-server.3.11.0/opam: No space left on device
error: unable to create file packages/irmin-unix/irmin-unix.2.10.2/opam: No space left on device
error: unable to create file packages/irmin/irmin.2.10.2/opam: No space left on device
error: unable to create file packages/irmin/irmin.2.2.0/opam: No space left on device
error: unable to create file packages/iter/iter.1.2.1/opam: No space left on device
error: unable to create file packages/iter/iter.1.4/opam: No space left on device
error: unable to create file packages/iter/iter.1.5/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/jane-street-headers/jane-street-headers.v0.14.0/opam: No space left on device
error: unable to create file packages/jane-street-headers/jane-street-headers.v0.15.0/opam: No space left on device
error: unable to create file packages/jane-street-headers/jane-street-headers.v0.16.0/opam: No space left on device
error: unable to create file packages/jane-street-headers/jane-street-headers.v0.17.0/opam: No space left on device
error: unable to create file packages/jasmin/jasmin.2024.07.0/opam: No space left on device
error: unable to create file packages/jasmin/jasmin.2024.07.1/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.1.0+beta20.2/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.1.0/opam: No space left on device
error: unable to create file packages/jekyll-format/jekyll-format.0.3.1/opam: No space left on device
error: unable to create file packages/jekyll-format/jekyll-format.0.3.3/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.2.16/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.2.17/opam: No space left on device
error: unable to create file packages/jingoo/jingoo.1.2.18/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/jose/jose.0.8.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.3.5.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.3.5.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.3.9.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.3.9.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.5.1.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-compiler/js_of_ocaml-compiler.5.5.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.3.10.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.3.5.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.3.5.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.3.8.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.4.0.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.4.1.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.0.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.5.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-lwt/js_of_ocaml-lwt.5.7.2/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ocamlbuild/js_of_ocaml-ocamlbuild.3.0.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-ppx/js_of_ocaml-ppx.3.6.0/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.7.1/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.5.9.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.6.1.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.6.1.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.3.11.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.3.4.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.1.1/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.4.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.6.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-tyxml/js_of_ocaml-tyxml.5.7.0/opam: No space left on device
error: unable to create file packages/js_of_ocaml-webidl/js_of_ocaml-webidl.0.1/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.5.2/opam: No space left on device
error: unable to create file packages/json-data-encoding-browser/json-data-encoding-browser.0.11/opam: No space left on device
error: unable to create file packages/json-data-encoding-browser/json-data-encoding-browser.0.9/opam: No space left on device
error: unable to create file packages/json-data-encoding-browser/json-data-encoding-browser.1.0.1/opam: No space left on device
error: unable to create file packages/json-data-encoding-bson/json-data-encoding-bson.0.12/opam: No space left on device
error: unable to create file packages/json-data-encoding-bson/json-data-encoding-bson.1.0.0/opam: No space left on device
error: unable to create file packages/json-data-encoding-bson/json-data-encoding-bson.1.0.1/opam: No space left on device
error: unable to create file packages/json-data-encoding/json-data-encoding.0.10/opam: No space left on device
error: unable to create file packages/json_of_jsonm/json_of_jsonm.1.0.0/opam: No space left on device
error: unable to create file packages/jsonaf/jsonaf.v0.15.0/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/jsonschema2atd/jsonschema2atd.0.0.3/opam: No space left on device
error: unable to create file packages/junit/junit.0.1/opam: No space left on device
error: unable to create file packages/junit/junit.1.0/opam: No space left on device
error: unable to create file packages/junit/junit.2.1.0/opam: No space left on device
error: unable to create file packages/junit/junit.2.3.0/opam: No space left on device
error: unable to create file packages/junit_alcotest/junit_alcotest.2.0.2/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.7/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.7.5/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.7.6/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.7.9/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.2.8.2/opam: No space left on device
error: unable to create file packages/jupyter/jupyter.3.0.1/opam: No space left on device
error: unable to create file packages/kappa-library/kappa-library.4.1.3/opam: No space left on device
error: unable to create file packages/kappa-server/kappa-server.4.1.0/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.2.3/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.3.0/opam: No space left on device
error: unable to create file packages/kcas/kcas.0.5.2/opam: No space left on device
error: unable to create file packages/kcas_data/kcas_data.0.6.1/opam: No space left on device
error: unable to create file packages/key-parsers/key-parsers.0.10.1/opam: No space left on device
error: unable to create file packages/key-parsers/key-parsers.0.9.2/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/key-parsers/key-parsers.1.3.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/kind2/kind2.1.7.0/opam: No space left on device
error: unable to create file packages/kyotocabinet/kyotocabinet.0.1/opam: No space left on device
error: unable to create file packages/lab/lab.0.1.5/opam: No space left on device
error: unable to create file packages/lablgl/lablgl.1.04.20120306/opam: No space left on device
error: unable to create file packages/lablgl/lablgl.1.05/opam: No space left on device
error: unable to create file packages/lablgl/lablgl.1.06/opam: No space left on device
error: unable to create file packages/lablgtk/lablgtk.2.18.11/opam: No space left on device
error: unable to create file packages/lablgtk/lablgtk.2.18.9/opam: No space left on device
error: unable to create file packages/lablgtk3-goocanvas2/lablgtk3-goocanvas2.3.1.3/opam: No space left on device
error: unable to create file packages/lablgtk3-goocanvas2/lablgtk3-goocanvas2.3.1.4/opam: No space left on device
error: unable to create file packages/lablgtk3-gtkspell3/lablgtk3-gtkspell3.3.0.beta5/opam: No space left on device
fatal: cannot create directory at 'packages/lablgtk3-sourceview3/lablgtk3-sourceview3.3.1.3': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:39.18: Job failed: Failed: Build failed