Build:
- 0
2026-01-27 19:21.49: New job: test opium.0.17.1 with mirage-runtime.4.0.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29297/head (bec96dd4b29b0e3eb148af9966895e70442e68e2)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29297/head" && git reset --hard bec96dd4
git fetch origin master
git merge --no-edit 88150787b3c9df767fd8dadf5d416641f8ee58f8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn mirage-runtime.4.0.0 4.0.0
RUN opam reinstall mirage-runtime.4.0.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'mirage-runtime.4.0.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall opium.0.17.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'opium.0.17.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test opium.0.17.1) || true
RUN opam reinstall --with-test --verbose opium.0.17.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'opium.0.17.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-27 19:21.49: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.0.0-opium.0.17.1-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.49: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn mirage-runtime.4.0.0 4.0.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mirage-runtime.4.0.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mirage-runtime.4.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall opium.0.17.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'opium.0.17.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test opium.0.17.1) || true"))
(run (shell "opam reinstall --with-test --verbose opium.0.17.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'opium.0.17.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-27 19:21.49: Waiting for resource in pool OCluster
2026-01-27 19:38.05: Waiting for worker…
2026-01-27 19:38.56: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file .github/workflows/windows.yml: No space left on device
error: unable to create file packages/0install-gtk/0install-gtk.2.15.2/opam: No space left on device
error: unable to create file packages/0install-gtk/0install-gtk.2.18/opam: No space left on device
error: unable to create file packages/0install/0install.2.15.1/opam: No space left on device
error: unable to create file packages/0install/0install.2.15.2/opam: No space left on device
error: unable to create file packages/0install/0install.2.16/opam: No space left on device
error: unable to create file packages/0install/0install.2.17/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.1/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.3/opam: No space left on device
error: unable to create file packages/CamelCase/CamelCase.0.2.0/opam: No space left on device
error: unable to create file packages/CamelCase/CamelCase.0.3.0/opam: No space left on device
error: unable to create file packages/DkSDKFFIOCaml_StdExport-linux_x86_64/DkSDKFFIOCaml_StdExport-linux_x86_64.1.0.0~1/opam: No space left on device
error: unable to create file packages/FPauth-strategies/FPauth-strategies.1.0.0/opam: No space left on device
error: unable to create file packages/FPauth/FPauth.1.0.0/opam: No space left on device
error: unable to create file packages/GT/GT.0.3.0/opam: No space left on device
error: unable to create file packages/GT/GT.0.4.0/opam: No space left on device
error: unable to create file packages/GT/GT.0.4.2/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.4/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_Cache/MlFront_Cache.2.3.0/opam: No space left on device
error: unable to create file packages/MlFront_Cache/MlFront_Cache.2.3.1/opam: No space left on device
error: unable to create file packages/MlFront_Cache/MlFront_Cache.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Cli/MlFront_Cli.2.3.1/opam: No space left on device
error: unable to create file packages/MlFront_Core/MlFront_Core.2.3.1/opam: No space left on device
error: unable to create file packages/MlFront_Core/MlFront_Core.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Logs/MlFront_Logs.2.3.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.2.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.2.2/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.0/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/OCADml/OCADml.0.5.0/opam: No space left on device
error: unable to create file packages/OSCADml/OSCADml.0.2.2/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.1.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.0.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.1.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.1.1/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.3.0.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.3.1.0/opam: No space left on device
error: unable to create file packages/Snowflake/Snowflake.0.01/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/TCSLib/TCSLib.0.1/opam: No space left on device
error: unable to create file packages/aarch64-esperanto/aarch64-esperanto.0.0.6/opam: No space left on device
error: unable to create file packages/absolute/absolute.0.3/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.17.0/opam: No space left on device
error: unable to create file packages/accessor/accessor.v0.14.1/opam: No space left on device
error: unable to create file packages/accessor_async/accessor_async.v0.14.0/opam: No space left on device
error: unable to create file packages/accessor_core/accessor_core.v0.14.0/opam: No space left on device
error: unable to create file packages/accessor_core/accessor_core.v0.14.1/opam: No space left on device
error: unable to create file packages/accessor_core/accessor_core.v0.16.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.2.2.0/opam: No space left on device
error: unable to create file packages/aches-lwt/aches-lwt.1.1.0/opam: No space left on device
error: unable to create file packages/acpc/acpc.2.0.0/opam: No space left on device
error: unable to create file packages/activitypub/activitypub.0.1.0/opam: No space left on device
error: unable to create file packages/activitypub_client/activitypub_client.0.1.0/opam: No space left on device
error: unable to create file packages/activitypub_server_gui/activitypub_server_gui.0.1.0/opam: No space left on device
error: unable to create file packages/afl-persistent/afl-persistent.1.2/opam: No space left on device
error: unable to create file packages/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.0/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/albatross/albatross.2.4.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.6.1/opam: No space left on device
error: unable to create file packages/alcotest-js/alcotest-js.1.9.1/opam: No space left on device
error: unable to create file packages/alcotest-lwt/alcotest-lwt.1.9.1/opam: No space left on device
error: unable to create file packages/alcotest-mirage/alcotest-mirage.1.9.0/opam: No space left on device
error: unable to create file packages/alcotest-mirage/alcotest-mirage.1.9.1/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/alg_structs_qcheck/alg_structs_qcheck.0.1.3/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.1.0.0/opam: No space left on device
error: unable to create file packages/aliases/aliases.0.0.5/opam: No space left on device
error: unable to create file packages/allegro5/allegro5.0.2/opam: No space left on device
error: unable to create file packages/alt-ergo-free/alt-ergo-free.2.2.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.3.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.3.2/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.0/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/alt-ergo.2.1.0/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.3.3/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.4.0/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.4.0/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.4.1/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/ambient-context/ambient-context.0.1.0/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.2.1/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.2.2/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.1.0/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/anders/anders.0.7.1/opam: No space left on device
error: unable to create file packages/anders/anders.0.7.2/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.10.0/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.11.0/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.12.1/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.13.0/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.9.0/opam: No space left on device
error: unable to create file packages/ansi/ansi.0.7.0/opam: No space left on device
error: unable to create file packages/ansifmt/ansifmt.0.3.0/opam: No space left on device
error: unable to create file packages/anycache/anycache.0.7.4/opam: No space left on device
error: unable to create file packages/ao/ao.0.2.1/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.3/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/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/apronext/apronext.1.0.4/opam: No space left on device
error: unable to create file packages/arb/arb.0.3.2/opam: No space left on device
error: unable to create file packages/arb/arb.0.3/opam: No space left on device
error: unable to create file packages/arch-x86_32/arch-x86_32.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.3/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.3.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.3.6/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.4.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/argon2/argon2.1.0.2/opam: No space left on device
error: unable to create file packages/argsh/argsh.0.1.0/opam: No space left on device
error: unable to create file packages/arp/arp.3.1.1/opam: No space left on device
error: unable to create file packages/art/art.0.2.0/opam: No space left on device
error: unable to create file packages/asak/asak.0.1/opam: No space left on device
error: unable to create file packages/asl/asl.0.10/opam: No space left on device
error: unable to create file packages/asl/asl.0.11/opam: No space left on device
error: unable to create file packages/asli/asli.0.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.3/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_durable/async_durable.v0.13.0/opam: No space left on device
error: unable to create file packages/async_durable/async_durable.v0.16.0/opam: No space left on device
error: unable to create file packages/async_durable/async_durable.v0.17.0/opam: No space left on device
error: unable to create file packages/async_find/async_find.v0.16.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.13.0/opam: No space left on device
error: unable to create file packages/async_interactive/async_interactive.v0.14.0/opam: No space left on device
error: unable to create file packages/async_interactive/async_interactive.v0.15.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.v0.15.1/opam: No space left on device
error: unable to create file packages/async_rpc_websocket/async_rpc_websocket.v0.17.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.12.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.16.0/opam: No space left on device
error: unable to create file packages/async_ssl/async_ssl.v0.12.0/opam: No space left on device
error: unable to create file packages/async_ssl/async_ssl.v0.14.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.13.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.14.0/opam: No space left on device
error: unable to create file packages/async_unix/async_unix.v0.14.0/opam: No space left on device
error: unable to create file packages/async_unix/async_unix.v0.16.0/opam: No space left on device
error: unable to create file packages/async_websocket/async_websocket.v0.17.0/opam: No space left on device
error: unable to create file packages/atable/atable.0.1/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.1.1.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.1.1/opam: No space left on device
error: unable to create file packages/atd/atd.2.13.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.14.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.14.1/opam: No space left on device
error: unable to create file packages/atd/atd.2.15.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.16.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.2.1/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.7.0/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.8.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.0.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.4.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.7.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.1.13.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.10.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.11.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.12.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.5.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.6.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.7.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.3.0.1/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.16.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.3.3/opam: No space left on device
error: unable to create file packages/atds/atds.2.4.0/opam: No space left on device
error: unable to create file packages/atomic/atomic.base/opam: No space left on device
error: unable to create file packages/autofonce_m4/autofonce_m4.0.8/opam: No space left on device
error: unable to create file packages/avro/avro.0.1/opam: No space left on device
error: unable to create file packages/awa-mirage/awa-mirage.0.0.5/opam: No space left on device
error: unable to create file packages/awa-mirage/awa-mirage.0.1.0/opam: No space left on device
error: unable to create file packages/awa-mirage/awa-mirage.0.3.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.5.2/opam: No space left on device
error: unable to create file packages/aws-cloudtrail/aws-cloudtrail.0.1.0/opam: No space left on device
error: unable to create file packages/aws-cloudwatch/aws-cloudwatch.1.2/opam: No space left on device
error: unable to create file packages/aws-config/aws-config.0.0.1/opam: No space left on device
error: unable to create file packages/aws-elasticloadbalancing/aws-elasticloadbalancing.0.1.0/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.3.0/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.7.0/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.8.0/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.8.1/opam: No space left on device
error: unable to create file packages/aws-s3-lwt/aws-s3-lwt.4.2.0/opam: No space left on device
error: unable to create file packages/aws-s3-lwt/aws-s3-lwt.4.3.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.8.0/opam: No space left on device
error: unable to create file packages/aws-s3/aws-s3.4.8.1/opam: No space left on device
error: unable to create file packages/aws/aws.1.0.2/opam: No space left on device
error: unable to create file packages/baby/baby.20241204/opam: No space left on device
error: unable to create file packages/backoff/backoff.0.1.0/opam: No space left on device
error: unable to create file packages/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-beagle-strings/bap-beagle-strings.2.5.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.1.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.5.0/opam: No space left on device
error: unable to create file packages/bap-build/bap-build.2.5.0/opam: No space left on device
error: unable to create file packages/bap-bundle/bap-bundle.2.2.0/opam: No space left on device
error: unable to create file packages/bap-byteweight-frontend/bap-byteweight-frontend.2.3.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.3.0/opam: No space left on device
error: unable to create file packages/bap-constant-tracker/bap-constant-tracker.2.5.0/opam: No space left on device
error: unable to create file packages/bap-core/bap-core.2.5.0/opam: No space left on device
error: unable to create file packages/bap-cxxfilt/bap-cxxfilt.2.1.0/opam: No space left on device
error: unable to create file packages/bap-cxxfilt/bap-cxxfilt.2.2.0/opam: No space left on device
error: unable to create file packages/bap-demangle/bap-demangle.2.3.0/opam: No space left on device
error: unable to create file packages/bap-dependencies/bap-dependencies.2.3.0/opam: No space left on device
error: unable to create file packages/bap-dwarf/bap-dwarf.2.1.0/opam: No space left on device
error: unable to create file packages/bap-dwarf/bap-dwarf.2.2.0/opam: No space left on device
error: unable to create file packages/bap-elementary/bap-elementary.2.3.0/opam: No space left on device
error: unable to create file packages/bap-elf/bap-elf.2.1.0/opam: No space left on device
error: unable to create file packages/bap-frontend/bap-frontend.2.3.0/opam: No space left on device
error: unable to create file packages/bap-fsi-benchmark/bap-fsi-benchmark.2.2.0/opam: No space left on device
error: unable to create file packages/bap-ida-plugin/bap-ida-plugin.2.2.0/opam: No space left on device
error: unable to create file packages/bap-ida-plugin/bap-ida-plugin.2.3.0/opam: No space left on device
error: unable to create file packages/bap-ida-python/bap-ida-python.2.2.0/opam: No space left on device
error: unable to create file packages/bap-ida-python/bap-ida-python.2.3.0/opam: No space left on device
error: unable to create file packages/bap-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-main/bap-main.2.2.0/opam: No space left on device
error: unable to create file packages/bap-mips/bap-mips.2.2.0/opam: No space left on device
error: unable to create file packages/bap-mips/bap-mips.2.3.0/opam: No space left on device
error: unable to create file packages/bap-mips/bap-mips.2.4.0/opam: No space left on device
error: unable to create file packages/bap-objdump/bap-objdump.2.1.0/opam: No space left on device
error: unable to create file packages/bap-phoenix/bap-phoenix.2.4.0/opam: No space left on device
error: unable to create file packages/bap-piqi/bap-piqi.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-greedy-scheduler/bap-primus-greedy-scheduler.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-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.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-random/bap-primus-random.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-random/bap-primus-random.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-random/bap-primus-random.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-region/bap-primus-region.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-systems/bap-primus-systems.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-taint/bap-primus-taint.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-test/bap-primus-test.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus/bap-primus.2.4.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-recipe/bap-recipe.2.3.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.4.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.5.0/opam: No space left on device
error: unable to create file packages/bap-relation/bap-relation.2.2.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-report/bap-report.2.4.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.5.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.2.0/opam: No space left on device
error: unable to create file packages/bap-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-std/bap-std.2.2.0/opam: No space left on device
error: unable to create file packages/bap-taint-propagator/bap-taint-propagator.2.3.0/opam: No space left on device
error: unable to create file packages/bap-taint-propagator/bap-taint-propagator.2.5.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.1.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.2.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.3.0/opam: No space left on device
error: unable to create file packages/bap-trace/bap-trace.2.3.0/opam: No space left on device
error: unable to create file packages/bap-trivial-condition-form/bap-trivial-condition-form.2.1.0/opam: No space left on device
error: unable to create file packages/bap-trivial-condition-form/bap-trivial-condition-form.2.5.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/bare_encoding/bare_encoding.0.1.1/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/bark/bark.0.1.3/opam: No space left on device
error: unable to create file packages/base-ocamlbuild/base-ocamlbuild.base/opam: No space left on device
error: unable to create file packages/base/base.v0.14.1/opam: No space left on device
error: unable to create file packages/base/base.v0.14.3/opam: No space left on device
error: unable to create file packages/base/base.v0.16.0/opam: No space left on device
error: unable to create file packages/base64/base64.3.3.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/base_bigstring/base_bigstring.v0.15.0/opam: No space left on device
error: unable to create file packages/base_bigstring/base_bigstring.v0.16.0/opam: No space left on device
error: unable to create file packages/base_bigstring/base_bigstring.v0.17.0/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.12.1/opam: No space left on device
error: unable to create file packages/base_trie/base_trie.v0.17.0/opam: No space left on device
error: unable to create file packages/bastet/bastet.1.2.4/opam: No space left on device
error: unable to create file packages/batsat/batsat.0.7/opam: No space left on device
error: unable to create file packages/batteries/batteries.2.10.0/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-js/bechamel-js.0.1.0/opam: No space left on device
error: unable to create file packages/bechamel-js/bechamel-js.0.2.0/opam: No space left on device
error: unable to create file packages/bechamel-js/bechamel-js.0.4.0/opam: No space left on device
error: unable to create file packages/benchmark/benchmark.1.4/opam: No space left on device
error: unable to create file packages/benchmark/benchmark.1.5/opam: No space left on device
error: unable to create file packages/benchpress-server/benchpress-server.0.1/opam: No space left on device
error: unable to create file packages/bibfmt/bibfmt.0.7.6/opam: No space left on device
error: unable to create file packages/bibfmt/bibfmt.0.7.7/opam: No space left on device
error: unable to create file packages/bidirectional_map/bidirectional_map.v0.17.0/opam: No space left on device
error: unable to create file packages/bignum/bignum.v0.12.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.5.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.9.1/opam: No space left on device
error: unable to create file packages/bimage-gtk/bimage-gtk.0.2.1/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.3.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.4.0/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.3/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.4/opam: No space left on device
error: unable to create file packages/bin_prot/bin_prot.v0.17.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.20.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.32.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/binbin/binbin.0.01/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.4.0.3/opam: No space left on device
error: unable to create file packages/biniou/biniou.1.1.0/opam: No space left on device
error: unable to create file packages/biniou/biniou.1.2.2/opam: No space left on device
error: unable to create file packages/binning/binning.0.0.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.10.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.6.1/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.6.2/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.2/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.5.1/opam: No space left on device
error: unable to create file packages/biocaml/biocaml.0.11.1/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/bisect_ppx-ocamlbuild/bisect_ppx-ocamlbuild.1.0.1/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.1.3.1/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.2.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.5.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.6.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.8.0/opam: No space left on device
error: unable to create file packages/bitcoin-cohttp-async/bitcoin-cohttp-async.3.0/opam: No space left on device
error: unable to create file packages/bitcoin/bitcoin.3.0/opam: No space left on device
error: unable to create file packages/bitlib/bitlib.1.0/opam: No space left on device
error: unable to create file packages/bitmasks/bitmasks.1.2.0/opam: No space left on device
error: unable to create file packages/bitmasks/bitmasks.1.3.0/opam: No space left on device
error: unable to create file packages/bitv/bitv.1.6/opam: No space left on device
error: unable to create file packages/bitv/bitv.2.0/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.2.0/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.4.0/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.5.0/opam: No space left on device
error: unable to create file packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.0/opam: No space left on device
error: unable to create file packages/bitwuzla-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/bjack/bjack.0.1.4/opam: No space left on device
error: unable to create file packages/bloomf/bloomf.0.2.0/opam: No space left on device
error: unable to create file packages/bls12-381-gen/bls12-381-gen.0.4.1/opam: No space left on device
error: unable to create file packages/bls12-381-js-gen/bls12-381-js-gen.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381-js/bls12-381-js.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381-legacy/bls12-381-legacy.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381-legacy/bls12-381-legacy.0.4.4/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.1.0.2/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.1.1.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.4.0.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.5.0.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.6.0.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.6.0.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.6.1.0/opam: No space left on device
error: unable to create file packages/bnfgen/bnfgen.4.0.0/opam: No space left on device
error: unable to create file packages/bogue/bogue.20210514/opam: No space left on device
error: unable to create file packages/bogue/bogue.20210917/opam: No space left on device
error: unable to create file packages/bogue/bogue.20220101/opam: No space left on device
error: unable to create file packages/bogue/bogue.20221002/opam: No space left on device
error: unable to create file packages/bonsai/bonsai.v0.16.0/opam: No space left on device
error: unable to create file packages/bonsai/bonsai.v0.17.0/opam: No space left on device
error: unable to create file packages/bos/bos.0.2.0/opam: No space left on device
error: unable to create file packages/bos/bos.0.2.1/opam: No space left on device
error: unable to create file packages/bson2/bson2.0.0.1/opam: No space left on device
error: unable to create file packages/bst/bst.5.0.0/opam: No space left on device
error: unable to create file packages/bun/bun.0.3.2/opam: No space left on device
error: unable to create file packages/bun/bun.0.3.3/opam: No space left on device
error: unable to create file packages/bun/bun.0.3.4/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.101-1/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.101/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.114/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.115/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.117/opam: No space left on device
error: unable to create file packages/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/cachet/cachet.0.0.2/opam: No space left on device
error: unable to create file packages/cachet/cachet.0.0.4/opam: No space left on device
error: unable to create file packages/cairo2-gtk/cairo2-gtk.0.6.1/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.5/opam: No space left on device
error: unable to create file packages/caisar/caisar.2.1/opam: No space left on device
error: unable to create file packages/caisar/caisar.4.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-web/calculon-web.0.7/opam: No space left on device
error: unable to create file packages/calculon-web/calculon-web.0.8/opam: No space left on device
error: unable to create file packages/calculon/calculon.0.8/opam: No space left on device
error: unable to create file packages/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.1.1.0/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.6.1/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.6.2/opam: No space left on device
error: unable to create file packages/camelot/camelot.2.0.1/opam: No space left on device
error: unable to create file packages/camels/camels.0.0.3/opam: No space left on device
error: unable to create file packages/camldiets/camldiets.0.3/opam: No space left on device
error: unable to create file packages/camlgpc/camlgpc.1.1/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.3/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/camlimages/camlimages.5.0.5/opam: No space left on device
error: unable to create file packages/camlmix/camlmix.1.3.0/opam: No space left on device
error: unable to create file packages/camlon/camlon.3.0.0/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.01/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.03+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.04+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.04+system/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.05+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.05+system/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.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/camlp5.8.00~alpha06/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.02.01/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.4/opam: No space left on device
error: unable to create file packages/camlrack/camlrack.0.10.1/opam: No space left on device
error: unable to create file packages/camltc/camltc.0.9.8/opam: No space left on device
error: unable to create file packages/camlzip/camlzip.1.13/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.4.2/opam: No space left on device
error: unable to create file packages/capnp-rpc-lwt/capnp-rpc-lwt.1.2.2/opam: No space left on device
error: unable to create file packages/capnp-rpc-lwt/capnp-rpc-lwt.1.2.3/opam: No space left on device
error: unable to create file packages/capnp-rpc-lwt/capnp-rpc-lwt.1.2.4/opam: No space left on device
error: unable to create file packages/capnp-rpc-net/capnp-rpc-net.2.1/opam: No space left on device
error: unable to create file packages/capnp-rpc-unix/capnp-rpc-unix.1.2.2/opam: No space left on device
error: unable to create file packages/capnp-rpc-unix/capnp-rpc-unix.1.2.3/opam: No space left on device
error: unable to create file packages/capnp-rpc-unix/capnp-rpc-unix.1.2.4/opam: No space left on device
error: unable to create file packages/capnp-rpc/capnp-rpc.1.2.3/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.10.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.10.2/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.7.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.2.1.2/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.3.0/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.5.1/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.1.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.2.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.1.2.1/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.0.10.1/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.0.9.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.3.0/opam: No space left on device
error: unable to create file packages/caqti-dynload/caqti-dynload.1.2.0/opam: No space left on device
error: unable to create file packages/caqti-dynload/caqti-dynload.1.3.0/opam: No space left on device
error: unable to create file packages/caqti-dynload/caqti-dynload.2.0.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.2.0/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.1.0.0/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.1.9.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.4.0/opam: No space left on device
error: unable to create file packages/carray/carray.0.0.2/opam: No space left on device
error: unable to create file packages/carton-git-lwt/carton-git-lwt.1.0.0/opam: No space left on device
error: unable to create file packages/carton-git/carton-git.0.2.0/opam: No space left on device
error: unable to create file packages/carton-lwt/carton-lwt.0.7.2/opam: No space left on device
error: unable to create file packages/carton/carton.1.2.0/opam: No space left on device
error: unable to create file packages/catala-format/catala-format.0.3.0/opam: No space left on device
error: unable to create file packages/catala-format/catala-format.1.0.0~beta/opam: No space left on device
error: unable to create file packages/catala-lsp/catala-lsp.1.0.0~beta/opam: No space left on device
error: unable to create file packages/catala/catala.0.10.0/opam: No space left on device
error: unable to create file packages/catala/catala.1.0.0~alpha/opam: No space left on device
error: unable to create file packages/catapult-daemon/catapult-daemon.0.1.1/opam: No space left on device
error: unable to create file packages/catapult-daemon/catapult-daemon.0.1/opam: No space left on device
error: unable to create file packages/catapult-sqlite/catapult-sqlite.0.1/opam: No space left on device
error: unable to create file packages/catapult/catapult.0.2/opam: No space left on device
error: unable to create file packages/cca/cca.0.4/opam: No space left on device
error: unable to create file packages/cca/cca.0.6.2/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/certify/certify.0.3.2/opam: No space left on device
error: unable to create file packages/certify/certify.0.3.3/opam: No space left on device
error: unable to create file packages/cf-lwt/cf-lwt.0.3/opam: No space left on device
error: unable to create file packages/cf/cf.0.3/opam: No space left on device
error: unable to create file packages/cf/cf.0.5.0/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.1/opam: No space left on device
error: unable to create file packages/charInfo_width/charInfo_width.1.1.0/opam: No space left on device
error: unable to create file packages/charInfo_width/charInfo_width.2.0.0/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.1.6.0/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.2.1.0/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.2.1.1/opam: No space left on device
error: unable to create file packages/charrua-server/charrua-server.2.1.1/opam: No space left on device
error: unable to create file packages/charrua-server/charrua-server.3.0.0/opam: No space left on device
error: unable to create file packages/charrua-unix/charrua-unix.1.5.0/opam: No space left on device
error: unable to create file packages/charrua-unix/charrua-unix.1.6.0/opam: No space left on device
error: unable to create file packages/charrua/charrua.2.1.0/opam: No space left on device
error: unable to create file packages/charrua/charrua.2.1.1/opam: No space left on device
error: unable to create file packages/chase/chase.1.2/opam: No space left on device
error: unable to create file packages/chase/chase.1.4/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.1.0/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.3.0/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.4.0/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.0.9/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.0/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.4.0/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/choice/choice.0.2/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.15.3/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.17.2/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.12.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.15.1/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.9.1/opam: No space left on device
error: unable to create file packages/clangml-transforms/clangml-transforms.0.24/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.6.0.4/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.6.0.5/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.6.0.6/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/claudius/claudius.1.0.1/opam: No space left on device
error: unable to create file packages/clim/clim.0.3.0/opam: No space left on device
error: unable to create file packages/climate/climate.0.3.0/opam: No space left on device
error: unable to create file packages/climate/climate.0.4.0/opam: No space left on device
error: unable to create file packages/climate/climate.0.5.0/opam: No space left on device
error: unable to create file packages/climate/climate.0.8.0/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/cll/cll.0.1.0/opam: No space left on device
error: unable to create file packages/cloudi/cloudi.2.0.1/opam: No space left on device
error: unable to create file packages/cloudi/cloudi.2.0.2/opam: No space left on device
error: unable to create file packages/clp_operations/clp_operations.0.0.1/opam: No space left on device
error: unable to create file packages/cmdliner/cmdliner.2.1.0/opam: No space left on device
error: unable to create file packages/cmitomli/cmitomli.1.0.0/opam: No space left on device
error: unable to create file packages/cmon/cmon.0.1/opam: No space left on device
error: unable to create file packages/cmon/cmon.0.2/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.1.1/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.2/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.3.0/opam: No space left on device
error: unable to create file packages/codept-lib/codept-lib.0.12.1/opam: No space left on device
error: unable to create file packages/cohttp-curl-async/cohttp-curl-async.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-curl-lwt/cohttp-curl-lwt.6.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-curl/cohttp-curl.6.0.0~alpha1/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.0.0/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.0.0~alpha2/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.2.5.8/opam: No space left on device
error: unable to create file packages/cohttp-mirage/cohttp-mirage.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-top/cohttp-top.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-top/cohttp-top.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.1.0.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.5.1.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.5.3.0/opam: No space left on device
error: unable to create file packages/cohttp_static_handler/cohttp_static_handler.v0.15.0/opam: No space left on device
error: unable to create file packages/cohttp_static_handler/cohttp_static_handler.v0.17.0/opam: No space left on device
error: unable to create file packages/coin/coin.0.1.0/opam: No space left on device
error: unable to create file packages/coin/coin.0.1.4/opam: No space left on device
error: unable to create file packages/coin/coin.0.1.5/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/color-brewery/color-brewery.0.2/opam: No space left on device
error: unable to create file packages/command_rpc/command_rpc.v0.12.0/opam: No space left on device
error: unable to create file packages/command_rpc/command_rpc.v0.13.0/opam: No space left on device
error: unable to create file packages/command_rpc/command_rpc.v0.17.0/opam: No space left on device
error: unable to create file packages/commons/commons.1.5.5/opam: No space left on device
error: unable to create file packages/compsort/compsort.0.9.2/opam: No space left on device
error: unable to create file packages/conan-cli/conan-cli.0.0.1/opam: No space left on device
error: unable to create file packages/conan-cli/conan-cli.0.0.3/opam: No space left on device
error: unable to create file packages/conan-unix/conan-unix.0.0.6/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.2.0.2/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.5.1.0/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.1.4.0/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-mirage/conduit-mirage.2.1.0/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.2.2.1/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.6.2.3/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.7.1.0/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.8.0.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.6.2.2/opam: No space left on device
error: unable to create file packages/conduit/conduit.6.2.3/opam: No space left on device
error: unable to create file packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/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-aclocal/conf-aclocal.2/opam: No space left on device
error: unable to create file packages/conf-age/conf-age.1/opam: No space left on device
error: unable to create file packages/conf-allegro5/conf-allegro5.1/opam: No space left on device
error: unable to create file packages/conf-ao/conf-ao.1/opam: No space left on device
error: unable to create file packages/conf-bap-llvm/conf-bap-llvm.1.6/opam: No space left on device
error: unable to create file packages/conf-bap-llvm/conf-bap-llvm.1.7/opam: No space left on device
error: unable to create file packages/conf-boost/conf-boost.1/opam: No space left on device
error: unable to create file packages/conf-brotli/conf-brotli.0.0.1/opam: No space left on device
error: unable to create file packages/conf-cairo/conf-cairo.1/opam: No space left on device
error: unable to create file packages/conf-cpio/conf-cpio.1/opam: No space left on device
error: unable to create file packages/conf-csdp/conf-csdp.1/opam: No space left on device
error: unable to create file packages/conf-diffutils/conf-diffutils.1/opam: No space left on device
error: unable to create file packages/conf-efl/conf-efl.1.8/opam: No space left on device
error: unable to create file packages/conf-emacs/conf-emacs.1/opam: No space left on device
error: unable to create file packages/conf-freeglut/conf-freeglut.1/opam: No space left on device
error: unable to create file packages/conf-ftgl/conf-ftgl.1/opam: No space left on device
error: unable to create file packages/conf-fts/conf-fts.1/opam: No space left on device
error: unable to create file packages/conf-glew/conf-glew.1/opam: No space left on device
error: unable to create file packages/conf-glpk/conf-glpk.1/opam: No space left on device
error: unable to create file packages/conf-gmp-powm-sec/conf-gmp-powm-sec.4/opam: No space left on device
error: unable to create file packages/conf-gmp/conf-gmp.5/opam: No space left on device
error: unable to create file packages/conf-gnome-icon-theme3/conf-gnome-icon-theme3.0/opam: No space left on device
error: unable to create file packages/conf-gobject-introspection/conf-gobject-introspection.1.0/opam: No space left on device
error: unable to create file packages/conf-goocanvas2/conf-goocanvas2.0/opam: No space left on device
error: unable to create file packages/conf-gsl/conf-gsl.1/opam: No space left on device
error: unable to create file packages/conf-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-lapack/conf-lapack.1/opam: No space left on device
error: unable to create file packages/conf-leveldb/conf-leveldb.1/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-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-liblo/conf-liblo.1/opam: No space left on device
error: unable to create file packages/conf-liblz4/conf-liblz4.1/opam: No space left on device
error: unable to create file packages/conf-libpcre2-8/conf-libpcre2-8.1/opam: No space left on device
error: unable to create file packages/conf-libportmidi/conf-libportmidi.1/opam: No space left on device
error: unable to create file packages/conf-libsamplerate/conf-libsamplerate.1/opam: No space left on device
error: unable to create file packages/conf-libsamplerate/conf-libsamplerate.2/opam: No space left on device
error: unable to create file packages/conf-libseccomp/conf-libseccomp.1/opam: No space left on device
error: unable to create file packages/conf-lilv/conf-lilv.1/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.10.0.0/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.11.0.0/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.14.0.6/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.3.4/opam: No space left on device
error: unable to create file packages/conf-mariadb/conf-mariadb.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-curl-x86_64/conf-mingw-w64-curl-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-freeglut-x86_64/conf-mingw-w64-freeglut-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-g++-x86_64/conf-mingw-w64-g++-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gcc-i686/conf-mingw-w64-gcc-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-x86_64/conf-mingw-w64-gmp-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gtk2-x86_64/conf-mingw-w64-gtk2-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gtk3-i686/conf-mingw-w64-gtk3-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gtk3-x86_64/conf-mingw-w64-gtk3-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-libffi-i686/conf-mingw-w64-libffi-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-liblz4-i686/conf-mingw-w64-liblz4-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pcre2-x86_64/conf-mingw-w64-pcre2-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-postgresql-i686/conf-mingw-w64-postgresql-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-image-i686/conf-mingw-w64-sdl2-image-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-net-x86_64/conf-mingw-w64-sdl2-net-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-ttf-i686/conf-mingw-w64-sdl2-ttf-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-ttf-x86_64/conf-mingw-w64-sdl2-ttf-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mpfr/conf-mpfr.3/opam: No space left on device
error: unable to create file packages/conf-openbabel/conf-openbabel.0.1/opam: No space left on device
error: unable to create file packages/conf-openblas-macOS-env/conf-openblas-macOS-env.1/opam: No space left on device
error: unable to create file packages/conf-openblas/conf-openblas.0.1/opam: No space left on device
error: unable to create file packages/conf-openjdk/conf-openjdk.1/opam: No space left on device
error: unable to create file packages/conf-pandoc/conf-pandoc.0.1/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.2/opam: No space left on device
error: unable to create file packages/conf-plplot/conf-plplot.1/opam: No space left on device
error: unable to create file packages/conf-python3-tomli/conf-python3-tomli.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-r/conf-r.1.0.0/opam: No space left on device
error: unable to create file packages/conf-ruby/conf-ruby.1.0.0/opam: No space left on device
error: unable to create file packages/conf-rust-2021/conf-rust-2021.1/opam: No space left on device
error: unable to create file packages/conf-secp256k1/conf-secp256k1.1.0.0/opam: No space left on device
error: unable to create file packages/conf-secp256k1/conf-secp256k1.2/opam: No space left on device
error: unable to create file packages/conf-sfml2/conf-sfml2.1/opam: No space left on device
error: unable to create file packages/conf-snappy/conf-snappy.1/opam: No space left on device
error: unable to create file packages/conf-sndfile/conf-sndfile.1/opam: No space left on device
error: unable to create file packages/conf-sysinfo/conf-sysinfo.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-xen/conf-xen.1/opam: No space left on device
error: unable to create file packages/conf-zmq/conf-zmq.0.1/opam: No space left on device
error: unable to create file packages/configuration/configuration.0.4.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.0.1/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.0.2/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.1.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.2.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.8.0/opam: No space left on device
error: unable to create file packages/conjury/conjury.2.0/opam: No space left on device
error: unable to create file packages/conjury/conjury.2.2/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.0.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.14/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.15/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.2/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-thread/containers-thread.3.4/opam: No space left on device
error: unable to create file packages/containers/containers.2.8/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/cookie/cookie.0.1.6/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.18.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.19.0/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-lsp/coq-lsp.0.1.5.1+8.16/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.8+8.19/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.9+8.17/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.4+9.1/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.12/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.13/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.10.0+0.7.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.11.0+0.11.0/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.13.0+0.13.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-serapi/coq-serapi.8.15.0+0.15.3/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.17.0+0.17.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.17.0+0.17.1/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.17.0+0.17.3/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.6/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.17.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.20.0/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.3.1.0+9.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.10.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.10.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.11.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.15.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.16.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.16.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.17.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.17.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/coq/coq.8.8.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.15.2/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.16.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.17.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-activity-indicator/cordova-plugin-activity-indicator.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-geolocation/cordova-plugin-geolocation.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-globalization/cordova-plugin-globalization.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-insomnia/cordova-plugin-insomnia.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1.1/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-qrscanner/cordova-plugin-qrscanner.1.0/opam: No space left on device
error: unable to create file packages/core/core.v0.12.3/opam: No space left on device
error: unable to create file packages/core/core.v0.12.4/opam: No space left on device
error: unable to create file packages/core/core.v0.14.1/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.13.0/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.15.0/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.16.0/opam: No space left on device
error: unable to create file packages/core_bench/core_bench.v0.17.0/opam: No space left on device
error: unable to create file packages/core_compat/core_compat.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_kernel/core_kernel.v0.13.1/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.14.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.1/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.2/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/cowabloga/cowabloga.0.3.0/opam: No space left on device
error: unable to create file packages/cowabloga/cowabloga.0.5.0/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.3/opam: No space left on device
error: unable to create file packages/cpm/cpm.1.0.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.10.0.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.8.0.0/opam: No space left on device
error: unable to create file packages/cppffigen/cppffigen.0.002/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.1/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.8/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/cppo/cppo.1.7.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/crowbar/crowbar.0.2/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/crunch/crunch.4.0.0/opam: No space left on device
error: unable to create file packages/cry/cry.0.6.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/cry/cry.0.6.2/opam: No space left on device
error: unable to create file packages/cry/cry.0.6.6/opam: No space left on device
error: unable to create file packages/cry/cry.0.6.7/opam: No space left on device
error: unable to create file packages/cryptokit/cryptokit.1.21.1/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.02/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.12/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.4.0/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.5.1/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.5.2/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.5.2.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.6.0.0/opam: No space left on device
error: unable to create file packages/cstruct-sexp/cstruct-sexp.5.1.1/opam: No space left on device
error: unable to create file packages/cstruct-sexp/cstruct-sexp.5.2.0/opam: No space left on device
error: unable to create file packages/cstruct-sexp/cstruct-sexp.6.0.1/opam: No space left on device
error: unable to create file packages/cstruct/cstruct.3.3.0/opam: No space left on device
error: unable to create file packages/cstruct/cstruct.3.6.0/opam: No space left on device
error: unable to create file packages/cstruct/cstruct.3.7.0/opam: No space left on device
error: unable to create file packages/csv-lwt/csv-lwt.2.2/opam: No space left on device
error: unable to create file packages/csv/csv.1.4.2/opam: No space left on device
error: unable to create file packages/csv/csv.2.2/opam: No space left on device
error: unable to create file packages/csv/csv.2.3/opam: No space left on device
error: unable to create file packages/csvtool/csvtool.2.3/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.18.0/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.21.1/opam: No space left on device
error: unable to create file packages/ctypes-zarith/ctypes-zarith.0.2.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.11.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.12.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.15.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.20.1/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.20.2/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.23.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.8.2/opam: No space left on device
error: unable to create file packages/cubicle/cubicle.1.2.0/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.5.0/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.0/opam: No space left on device
error: unable to create file packages/cudd/cudd.0.1.1/opam: No space left on device
error: unable to create file packages/cudd/cudd.0.1.3/opam: No space left on device
error: unable to create file packages/cure2/cure2.1.0/opam: No space left on device
error: unable to create file packages/curl/curl.0.10.0/opam: No space left on device
error: unable to create file packages/current-web-pipelines/current-web-pipelines.0.1/opam: No space left on device
error: unable to create file packages/current/current.0.5/opam: No space left on device
error: unable to create file packages/current/current.0.7.1/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_gitlab/current_gitlab.0.6.2/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.3.0/opam: No space left on device
error: unable to create file packages/current_rpc/current_rpc.0.5/opam: No space left on device
error: unable to create file packages/current_rpc/current_rpc.0.7.2/opam: No space left on device
error: unable to create file packages/current_ssh/current_ssh.0.7.3/opam: No space left on device
error: unable to create file packages/current_web/current_web.0.5/opam: No space left on device
error: unable to create file packages/current_web/current_web.0.6.2/opam: No space left on device
error: unable to create file packages/current_web/current_web.0.7.1/opam: No space left on device
error: unable to create file packages/current_web/current_web.0.7.2/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.5/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.8/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.4/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.5.2/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.1.0.0/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.1.0.1/opam: No space left on device
error: unable to create file packages/dataframe/dataframe.0.1/opam: No space left on device
error: unable to create file packages/datakit-server-9p/datakit-server-9p.0.12.2/opam: No space left on device
error: unable to create file packages/datakit-server-9p/datakit-server-9p.0.12.3/opam: No space left on device
error: unable to create file packages/datakit-server-9p/datakit-server-9p.1.0.0/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.1/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.4.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/datalog/datalog.0.7/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.3/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/dbase4/dbase4.0.2.0/opam: No space left on device
error: unable to create file packages/dblp-api/dblp-api.0.1.1/opam: No space left on device
error: unable to create file packages/dbm/dbm.1.4/opam: No space left on device
error: unable to create file packages/decimal/decimal.1.0.2/opam: No space left on device
error: unable to create file packages/decoders-bencode/decoders-bencode.0.3.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.1.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.1.2/opam: No space left on device
error: unable to create file packages/decoders-jsonm/decoders-jsonm.1.0.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-msgpck/decoders-msgpck.0.6.0/opam: No space left on device
error: unable to create file packages/decoders-msgpck/decoders-msgpck.0.7.0/opam: No space left on device
error: unable to create file packages/decoders-msgpck/decoders-msgpck.1.0.0/opam: No space left on device
error: unable to create file packages/decoders-sexplib/decoders-sexplib.1.0.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.1.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.1.2/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.2.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.3.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.4.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.1.0.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.5.2/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.5.3/opam: No space left on device
error: unable to create file packages/dedukti/dedukti.2.6.0/opam: No space left on device
error: unable to create file packages/delimited_parsing/delimited_parsing.v0.17.0/opam: No space left on device
error: unable to create file packages/depext/depext.0.2/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.5/opam: No space left on device
error: unable to create file packages/depext/depext.0.6/opam: No space left on device
error: unable to create file packages/depext/depext.1.0.5/opam: No space left on device
error: unable to create file packages/depext/depext.transition/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/devkit/devkit.1.0/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-git/diffast-git.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing-cli/diffast-langs-cpp-parsing-cli.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp/diffast-langs-cpp.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.6/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.3.5.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.2/opam: No space left on device
error: unable to create file packages/digestif/digestif.1.3.0/opam: No space left on device
error: unable to create file packages/dirsift/dirsift.0.0.3/opam: No space left on device
error: unable to create file packages/dirsift/dirsift.0.0.4/opam: No space left on device
error: unable to create file packages/dirsp-exchange-kbb2017/dirsp-exchange-kbb2017.0.1.0/opam: No space left on device
error: unable to create file packages/diskuvbox/diskuvbox.0.1.0/opam: No space left on device
error: unable to create file packages/dispatch-js/dispatch-js.0.4.1/opam: No space left on device
error: unable to create file packages/dispatch-js/dispatch-js.0.5.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.1.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.3.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.5.0/opam: No space left on device
error: unable to create file packages/diy/diy.5.01/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/dkim.0.6.0/opam: No space left on device
error: unable to create file packages/dkim/dkim.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-compiler-env/dkml-compiler-env.1.0.2~prerel7/opam: No space left on device
error: unable to create file packages/dkml-component-offline-ocamlrun/dkml-component-offline-ocamlrun.4.12.1~v1.0.2/opam: No space left on device
error: unable to create file packages/dkml-component-offline-opam/dkml-component-offline-opam.2.2.0~alpha0~20221104/opam: No space left on device
error: unable to create file packages/dkml-component-staging-ocamlrun/dkml-component-staging-ocamlrun.4.12.1~v1.0.0/opam: No space left on device
error: unable to create file packages/dkml-component-staging-opam32/dkml-component-staging-opam32.2.2.0~alpha0~20221104/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.1/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-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.3.1/opam: No space left on device
error: unable to create file packages/dkml-runtime-common-native/dkml-runtime-common-native.2.0.3/opam: No space left on device
error: unable to create file packages/dkml-runtime-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/dlm/dlm.0.3.3/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.5/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.10.1.0/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.10.2.0/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.10.2.2/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.10.2.3/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-lwt/dns-client-lwt.10.1.0/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.10.2.0/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.7.0.3/opam: No space left on device
error: unable to create file packages/dns-client-miou-unix/dns-client-miou-unix.10.1.0/opam: No space left on device
error: unable to create file packages/dns-client-miou-unix/dns-client-miou-unix.10.2.0/opam: No space left on device
error: unable to create file packages/dns-client-miou-unix/dns-client-miou-unix.10.2.1/opam: No space left on device
error: unable to create file packages/dns-client-miou-unix/dns-client-miou-unix.10.2.2/opam: No space left on device
error: unable to create file packages/dns-client-miou-unix/dns-client-miou-unix.10.2.3/opam: No space left on device
error: unable to create file packages/dns-client-mirage/dns-client-mirage.10.1.0/opam: No space left on device
error: unable to create file packages/dns-client-mirage/dns-client-mirage.10.2.0/opam: No space left on device
error: unable to create file packages/dns-client-mirage/dns-client-mirage.10.2.3/opam: No space left on device
error: unable to create file packages/dns-lwt/dns-lwt.1.1.3/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.10.2.0/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.10.2.2/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.10.2.3/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.8.0.0/opam: No space left on device
error: unable to create file packages/dns-server/dns-server.10.1.0/opam: No space left on device
error: unable to create file packages/dns-stub/dns-stub.10.2.2/opam: No space left on device
error: unable to create file packages/dns-stub/dns-stub.8.0.0/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-tsig/dns-tsig.10.2.0/opam: No space left on device
error: unable to create file packages/dns-tsig/dns-tsig.10.2.1/opam: No space left on device
error: unable to create file packages/dns-tsig/dns-tsig.10.2.2/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/docker-api/docker-api.0.2.1/opam: No space left on device
error: unable to create file packages/docker-api/docker-api.0.2/opam: No space left on device
error: unable to create file packages/docker_hub/docker_hub.0.2.0/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.6.4.0/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.2.9/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.0/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.2/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.2.8/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.2.9/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.3.1/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.3.2/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/doi2bib/doi2bib.0.7.6/opam: No space left on device
error: unable to create file packages/doi2bib/doi2bib.0.7.7/opam: No space left on device
error: unable to create file packages/doi2bib/doi2bib.0.7.9/opam: No space left on device
error: unable to create file packages/dokeysto/dokeysto.1.0.1/opam: No space left on device
error: unable to create file packages/dokeysto/dokeysto.3.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/dokeysto_lz4/dokeysto_lz4.3.0.2/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.4.0.2/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.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.2/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_bin/dolmen_bin.0.7/opam: No space left on device
error: unable to create file packages/dolmen_loop/dolmen_loop.0.10/opam: No space left on device
error: unable to create file packages/dolmen_type/dolmen_type.0.10/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/domainslib/domainslib.0.3.1/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/domainslib/domainslib.0.5.2/opam: No space left on device
error: unable to create file packages/dose3/dose3.5.0.1-2/opam: No space left on device
error: unable to create file packages/dose3/dose3.5.0.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.9/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.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/dot-merlin-reader/dot-merlin-reader.5.6.1-504/opam: No space left on device
error: unable to create file packages/dotenv/dotenv.0.0.1/opam: No space left on device
error: unable to create file packages/down/down.0.0.4/opam: No space left on device
error: unable to create file packages/dream-encoding/dream-encoding.0.3.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.1.1.0/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.2.1.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.6.1/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/dream.1.0.0~alpha6/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha8/opam: No space left on device
error: unable to create file packages/dream_middleware_ext/dream_middleware_ext.0.1.1/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_toml/drom_toml.0.8.0/opam: No space left on device
error: unable to create file packages/dropbox/dropbox.0.2/opam: No space left on device
error: unable to create file packages/dscheck/dscheck.0.1.0/opam: No space left on device
error: unable to create file packages/dscheck/dscheck.0.3.0/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.3/opam: No space left on device
error: unable to create file packages/dtoa/dtoa.0.1/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.2/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.4.1/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/duff/duff.0.5/opam: No space left on device
error: unable to create file packages/dum/dum.1.0.1/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.17.2/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.19.1/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.19.1/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.21.0/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-compiledb/dune-compiledb.0.4.0/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.19.0/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.21.0/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.0.2/opam: No space left on device
error: unable to create file packages/dune-deps/dune-deps.1.1.0/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.19.0/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.0.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.0.1/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.1.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.3.1/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.5.1/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.6.0/opam: No space left on device
error: unable to create file packages/dune-site/dune-site.3.15.3/opam: No space left on device
error: unable to create file packages/dune-site/dune-site.3.17.2/opam: No space left on device
error: unable to create file packages/dune-site/dune-site.3.19.0/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.3.0/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/dunolint-lib-base/dunolint-lib-base.0.0.20251006/opam: No space left on device
error: unable to create file packages/dunolint-lib/dunolint-lib.0.0.20250310/opam: No space left on device
error: unable to create file packages/dunolint-lib/dunolint-lib.0.0.20250804/opam: No space left on device
error: unable to create file packages/dunolint/dunolint.0.0.20250804/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.1.1/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.3.0/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/dypgen/dypgen.0.2.1/opam: No space left on device
error: unable to create file packages/earley/earley.1.1.0/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.0.3/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.1.0/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.2.0/opam: No space left on device
error: unable to create file packages/easy_logging_yojson/easy_logging_yojson.0.5.2/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/easy_logging_yojson/easy_logging_yojson.0.6.0/opam: No space left on device
error: unable to create file packages/easy_logging_yojson/easy_logging_yojson.0.6.2/opam: No space left on device
error: unable to create file packages/edn/edn.0.2.0/opam: No space left on device
error: unable to create file packages/efl/efl.1.12.0/opam: No space left on device
error: unable to create file packages/efl/efl.1.17.0/opam: No space left on device
error: unable to create file packages/efl/efl.1.18.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.1.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.1.3/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.1.4/opam: No space left on device
error: unable to create file packages/eio-ssl/eio-ssl.0.3.0/opam: No space left on device
error: unable to create file packages/eio/eio.0.14/opam: No space left on device
error: unable to create file packages/eio/eio.0.5/opam: No space left on device
error: unable to create file packages/eio/eio.0.6/opam: No space left on device
error: unable to create file packages/eio/eio.0.7/opam: No space left on device
error: unable to create file packages/eio/eio.1.3/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.0.1/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.0.12/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_main/eio_main.0.10/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.11/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.15/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.9/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.15/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.0.12/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.0.13/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.1.0/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.1.1/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/electrod/electrod.0.8.0/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.9.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.10.4.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.11.1.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.10.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.11.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.12.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.9.4.0/opam: No space left on device
error: unable to create file packages/elm_core/elm_core.0.1.7/opam: No space left on device
error: unable to create file packages/elm_playground_web/elm_playground_web.0.1.7/opam: No space left on device
error: unable to create file packages/elm_system/elm_system.0.1.7/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.5/opam: No space left on device
error: unable to create file packages/email_message/email_message.v0.14.0/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.2/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/emoji/emoji.2.0.0/opam: No space left on device
error: unable to create file packages/emoji/emoji.3.0.1/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.6/opam: No space left on device
error: unable to create file packages/epictetus/epictetus.3.1.0/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/eprover/eprover.3.0/opam: No space left on device
error: unable to create file packages/equinoxe-cohttp/equinoxe-cohttp.0.2.0/opam: No space left on device
error: unable to create file packages/equinoxe/equinoxe.0.2.0/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/ethernet/ethernet.2.2.1/opam: No space left on device
error: unable to create file packages/euler/euler.0.1/opam: No space left on device
error: unable to create file packages/euler/euler.0.2/opam: No space left on device
error: unable to create file packages/euler/euler.0.3/opam: No space left on device
error: unable to create file packages/exenum/exenum.0.82.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_core/expect_test_helpers_core.v0.14.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.12.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.13.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.0.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.3.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.4.0/opam: No space left on device
error: unable to create file packages/extism/extism.0.1.0/opam: No space left on device
error: unable to create file packages/extism/extism.1.0.0/opam: No space left on device
error: unable to create file packages/extism/extism.1.4.0/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.7.0/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.7.7-1/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/extlib/extlib.1.8.0/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.4.3/opam: No space left on device
error: unable to create file packages/ez-conf-lib/ez-conf-lib.1/opam: No space left on device
error: unable to create file packages/ez_dune_describe/ez_dune_describe.0.1/opam: No space left on device
error: unable to create file packages/ez_file/ez_file.0.1.2/opam: No space left on device
error: unable to create file packages/ez_file/ez_file.0.3.0/opam: No space left on device
error: unable to create file packages/ez_pgocaml/ez_pgocaml.1.0.0/opam: No space left on device
error: unable to create file packages/ezjs_ace/ezjs_ace.0.1/opam: No space left on device
error: unable to create file packages/ezjs_fetch/ezjs_fetch.0.2/opam: No space left on device
error: unable to create file packages/ezjs_fetch/ezjs_fetch.0.3/opam: No space left on device
error: unable to create file packages/ezjs_idb/ezjs_idb.0.1.1/opam: No space left on device
error: unable to create file packages/ezjs_idb/ezjs_idb.0.1/opam: No space left on device
error: unable to create file packages/ezjsonm-encoding/ezjsonm-encoding.1.0.0/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.4/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/ezsqlite/ezsqlite.0.4.2/opam: No space left on device
error: unable to create file packages/ezxmlm/ezxmlm.1.1.0/opam: No space left on device
error: unable to create file packages/faad/faad.0.4.0/opam: No space left on device
error: unable to create file packages/faad/faad.0.5.0/opam: No space left on device
error: unable to create file packages/fadecider/fadecider.0.7/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-async/faraday-async.0.7.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.7.1/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.7.2/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.4.0/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.5.0/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.5.1/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.6.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.3.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.4.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.5.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.6.0/opam: No space left on device
error: unable to create file packages/fasmifra/fasmifra.1.0.0/opam: No space left on device
error: unable to create file packages/fasmifra/fasmifra.2.1.0/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.12.3/opam: No space left on device
error: unable to create file packages/fdkaac/fdkaac.0.2.1/opam: No space left on device
error: unable to create file packages/fdkaac/fdkaac.0.3.1/opam: No space left on device
error: unable to create file packages/fdkaac/fdkaac.0.3.3/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-core/feat-core.20220407/opam: No space left on device
error: unable to create file packages/ff-pbt/ff-pbt.0.5.0/opam: No space left on device
error: unable to create file packages/ff/ff.0.5.0/opam: No space left on device
error: unable to create file packages/ff/ff.0.6.0/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.10/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.6/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.10/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.3/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.10/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.8/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-avdevice/ffmpeg-avdevice.1.2.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.2.7/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.0.0~beta2/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.2.7/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.6/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.1.8/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.0/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.1/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.4/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.5/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.6.1/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.6.2/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.4/opam: No space left on device
error: unable to create file packages/finch/finch.0.1/opam: No space left on device
error: unable to create file packages/fix/fix.20130611/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/flexdll/flexdll.0.39/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.40/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.41/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.42/opam: No space left on device
error: unable to create file packages/flow_parser/flow_parser.0.246.0/opam: No space left on device
error: unable to create file packages/flow_parser/flow_parser.0.268.0/opam: No space left on device
error: unable to create file packages/fluent-logger/fluent-logger.1.1.0/opam: No space left on device
error: unable to create file packages/fluxt/fluxt.0.0.1~beta1/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.11/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.11/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.1/opam: No space left on device
error: unable to create file packages/fmlib_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_js/fmlib_js.0.6.1/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.6.2/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.2/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.1/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.11/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.6/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.3/opam: No space left on device
error: unable to create file packages/forester/forester.2.4.1/opam: No space left on device
error: unable to create file packages/fpath/fpath.0.7.1/opam: No space left on device
error: unable to create file packages/fpath/fpath.0.7.3/opam: No space left on device
error: unable to create file packages/frama-c-lannotate/frama-c-lannotate.0.2.3/opam: No space left on device
error: unable to create file packages/frama-c-lannotate/frama-c-lannotate.0.2.4/opam: No space left on device
error: unable to create file packages/frama-c-lannotate/frama-c-lannotate.0.2/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.8~beta/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.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.27.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.27.1/opam: No space left on device
error: unable to create file packages/frama-clang/frama-clang.0.0.18/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.4.1/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.4.2/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.4/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.6/opam: No space left on device
error: unable to create file packages/frenetic/frenetic.5.0.5/opam: No space left on device
error: unable to create file packages/fromager/fromager.0.4.0/opam: No space left on device
error: unable to create file packages/fsevents/fsevents.0.3.0/opam: No space left on device
error: unable to create file packages/fstar/fstar.2022.01.15/opam: No space left on device
error: unable to create file packages/fstar/fstar.2025.02.17/opam: No space left on device
error: unable to create file packages/fstar/fstar.2025.06.20/opam: No space left on device
error: unable to create file packages/fstar/fstar.2025.08.07/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/functoria/functoria.4.0.0/opam: No space left on device
error: unable to create file packages/funfields/funfields.0.03/opam: No space left on device
error: unable to create file packages/funfields/funfields.0.04/opam: No space left on device
error: unable to create file packages/gammu/gammu.0.9.3/opam: No space left on device
error: unable to create file packages/gappa/gappa.1.3.5/opam: No space left on device
error: unable to create file packages/gavl/gavl.0.1.5/opam: No space left on device
error: unable to create file packages/gen/gen.0.5.3/opam: No space left on device
error: unable to create file packages/gen/gen.0.5/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.7/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/genprint/genprint.0.1/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/genspir/genspir.0.1/opam: No space left on device
error: unable to create file packages/genspir/genspir.1.0.0/opam: No space left on device
error: unable to create file packages/get_line/get_line.3.0.0/opam: No space left on device
error: unable to create file packages/get_line/get_line.4.0.0/opam: No space left on device
error: unable to create file packages/getopt/getopt.20120615/opam: No space left on device
error: unable to create file packages/getopt/getopt.20230213/opam: No space left on device
error: unable to create file packages/giflib/giflib.1.0.2/opam: No space left on device
error: unable to create file packages/giflib/giflib.1.0.3/opam: No space left on device
error: unable to create file packages/giflib/giflib.1.1.0/opam: No space left on device
error: unable to create file packages/git-cohttp-unix/git-cohttp-unix.3.2.0/opam: No space left on device
error: unable to create file packages/git-cohttp-unix/git-cohttp-unix.3.6.0/opam: No space left on device
error: unable to create file packages/git-mirage/git-mirage.3.18.0/opam: No space left on device
error: unable to create file packages/git-mirage/git-mirage.3.8.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-unix/git-unix.3.15.0/opam: No space left on device
error: unable to create file packages/git/git.3.17.0/opam: No space left on device
error: unable to create file packages/git/git.3.2.0/opam: No space left on device
error: unable to create file packages/git/git.3.6.0/opam: No space left on device
error: unable to create file packages/github-data/github-data.4.4.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.4.3.2/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.3.1.0/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.2.0/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.0/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.4.0/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.4.1/opam: No space left on device
error: unable to create file packages/github/github.3.0.1/opam: No space left on device
error: unable to create file packages/github/github.3.1.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/gitlab-jsoo/gitlab-jsoo.0.1.2/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.4/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.6/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.7/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.0/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.1/opam: No space left on device
error: unable to create file packages/gles3/gles3.20160307.alpha/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1-3/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.3.1-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-async/gluten-async.0.5.1/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-eio/gluten-eio.0.5.1/opam: No space left on device
error: unable to create file packages/gluten-eio/gluten-eio.0.5.2/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.1.0/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.4.0/opam: No space left on device
error: unable to create file packages/gluten-mirage/gluten-mirage.0.2.1/opam: No space left on device
error: unable to create file packages/gluten-mirage/gluten-mirage.0.3.0/opam: No space left on device
error: unable to create file packages/gluten/gluten.0.1.0/opam: No space left on device
error: unable to create file packages/gluten/gluten.0.3.0/opam: No space left on device
error: unable to create file packages/gluten/gluten.0.4.0/opam: No space left on device
error: unable to create file packages/gluten/gluten.0.4.1/opam: No space left on device
error: unable to create file packages/gluten/gluten.0.5.0/opam: No space left on device
error: unable to create file packages/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-1/opam: No space left on device
error: unable to create file packages/gmp/gmp.6.3.0/opam: No space left on device
error: unable to create file packages/gnuplot/gnuplot.0.7/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.1.7.4/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.1.0/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.2.1/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.4.0/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.5.0/opam: No space left on device
error: unable to create file packages/gopcaml-mode-merlin/gopcaml-mode-merlin.0.0.6/opam: No space left on device
error: unable to create file packages/gopcaml-mode/gopcaml-mode.0.0.1/opam: No space left on device
error: unable to create file packages/gotd/gotd.0.1/opam: No space left on device
error: unable to create file packages/gperftools/gperftools.0.3/opam: No space left on device
error: unable to create file packages/gperftools/gperftools.0.4/opam: No space left on device
error: unable to create file packages/gpr/gpr.1.4.1/opam: No space left on device
error: unable to create file packages/grace/grace.0.1.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/graphql.0.13.0/opam: No space left on device
error: unable to create file packages/graphql/graphql.0.14.0/opam: No space left on device
error: unable to create file packages/graphql/graphql.0.2.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.7.0/opam: No space left on device
error: unable to create file packages/graphql_parser/graphql_parser.0.9.0/opam: No space left on device
error: unable to create file packages/graphv_font/graphv_font.0.1.1/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.14/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.15/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.7/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.8/opam: No space left on device
error: unable to create file packages/grib/grib.0.11.0/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/grpc/grpc.0.2.0/opam: No space left on device
error: unable to create file packages/h2-eio/h2-eio.0.12.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.3.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.13.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.2.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.4.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.9.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.10.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/h2.0.10.0/opam: No space left on device
error: unable to create file packages/h2/h2.0.9.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.1.1/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.1/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.2.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.3.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/hacl-star.0.4.3/opam: No space left on device
error: unable to create file packages/handlebars-ml/handlebars-ml.0.1.2/opam: No space left on device
error: unable to create file packages/handlebars-ml/handlebars-ml.0.2.1/opam: No space left on device
error: unable to create file packages/happy-eyeballs-lwt/happy-eyeballs-lwt.1.2.2/opam: No space left on device
error: unable to create file packages/happy-eyeballs-mirage/happy-eyeballs-mirage.0.1.3/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_circuits/hardcaml_circuits.v0.16.0/opam: No space left on device
error: unable to create file packages/hardcaml_fixed_point/hardcaml_fixed_point.v0.15.0/opam: No space left on device
error: unable to create file packages/hardcaml_handshake/hardcaml_handshake.v0.16.0/opam: No space left on device
error: unable to create file packages/hardcaml_verilator/hardcaml_verilator.v0.17.0/opam: No space left on device
error: unable to create file packages/hardcaml_waveterm/hardcaml_waveterm.v0.12.0/opam: No space left on device
error: unable to create file packages/hardcaml_xilinx_components/hardcaml_xilinx_components.v0.16.0/opam: No space left on device
error: unable to create file packages/hardcaml_xilinx_reports/hardcaml_xilinx_reports.v0.16.0/opam: No space left on device
error: unable to create file packages/hashcons/hashcons.1.0.1/opam: No space left on device
error: unable to create file packages/hashcons/hashcons.1.2/opam: No space left on device
error: unable to create file packages/hashids/hashids.1.0.0/opam: No space left on device
error: unable to create file packages/hashids/hashids.1.0.1/opam: No space left on device
error: unable to create file packages/hdfs/hdfs.0.2/opam: No space left on device
error: unable to create file packages/heptagon/heptagon.1.03.03/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.43/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.44/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.45/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.46/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.49/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.52/opam: No space left on device
error: unable to create file packages/heroicons-reason-react/heroicons-reason-react.1.0/opam: No space left on device
error: unable to create file packages/hevea/hevea.2.25/opam: No space left on device
error: unable to create file packages/hevea/hevea.2.32/opam: No space left on device
error: unable to create file packages/hevea/hevea.2.35/opam: No space left on device
error: unable to create file packages/hexstring/hexstring.0.2.1/opam: No space left on device
error: unable to create file packages/hg_lib/hg_lib.v0.16.0/opam: No space left on device
error: unable to create file packages/hidapi-lwt/hidapi-lwt.1.2.1/opam: No space left on device
error: unable to create file packages/higher_kinded/higher_kinded.v0.14.0/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.9/opam: No space left on device
error: unable to create file packages/hilite/hilite.0.3.0/opam: No space left on device
error: unable to create file packages/hilite/hilite.0.5.0/opam: No space left on device
error: unable to create file packages/hlarp/hlarp.0.0.1/opam: No space left on device
error: unable to create file packages/hlarp/hlarp.0.0.2/opam: No space left on device
error: unable to create file packages/hol2dk/hol2dk.0.0.0/opam: No space left on device
error: unable to create file packages/hol2dk/hol2dk.1.0.0/opam: No space left on device
error: unable to create file packages/hol_light/hol_light.3.0.0/opam: No space left on device
error: unable to create file packages/host-arch-arm32/host-arch-arm32.1/opam: No space left on device
error: unable to create file packages/host-arch-unknown/host-arch-unknown.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/hpack/hpack.0.10.0/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.11.0/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.12.0/opam: No space left on device
error: unable to create file packages/hpack/hpack.0.13.0/opam: No space left on device
error: unable to create file packages/hsluv/hsluv.0.1.0/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/http-cookie/http-cookie.3.1.0/opam: No space left on device
error: unable to create file packages/http-cookie/http-cookie.4.2.0/opam: No space left on device
error: unable to create file packages/http-lwt-client/http-lwt-client.0.0.8/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-lwt-client/http-lwt-client.0.3.2/opam: No space left on device
error: unable to create file packages/http-multipart-formdata/http-multipart-formdata.1.0.0/opam: No space left on device
error: unable to create file packages/http-multipart-formdata/http-multipart-formdata.1.0.1/opam: No space left on device
error: unable to create file packages/http-multipart-formdata/http-multipart-formdata.1.1.0/opam: No space left on device
error: unable to create file packages/http/http.6.0.0~alpha2/opam: No space left on device
error: unable to create file packages/http/http.6.0.0~beta2/opam: No space left on device
error: unable to create file packages/http/http.6.2.1/opam: No space left on device
error: unable to create file packages/http_async/http_async.0.1.1/opam: No space left on device
error: unable to create file packages/httpaf-async/httpaf-async.0.2.0/opam: No space left on device
error: unable to create file packages/httpaf-async/httpaf-async.0.4.1/opam: No space left on device
error: unable to create file packages/httpaf-async/httpaf-async.0.5.0/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-lwt-unix/httpaf-lwt-unix.0.6.6/opam: No space left on device
error: unable to create file packages/httpaf_caged/httpaf_caged.1.0.0/opam: No space left on device
error: unable to create file packages/httpun-async/httpun-async.0.1.0/opam: No space left on device
error: unable to create file packages/httpun-mirage/httpun-mirage.0.1.0/opam: No space left on device
error: unable to create file packages/httpun-mirage/httpun-mirage.0.2.0/opam: No space left on device
error: unable to create file packages/httpun-types/httpun-types.0.1.0/opam: No space left on device
error: unable to create file packages/httpun-types/httpun-types.0.2.0/opam: No space left on device
error: unable to create file packages/httpun-ws-async/httpun-ws-async.0.1.0/opam: No space left on device
error: unable to create file packages/httpun-ws-async/httpun-ws-async.0.2.0/opam: No space left on device
error: unable to create file packages/hugin/hugin.1.0.0~alpha0/opam: No space left on device
error: unable to create file packages/hugin/hugin.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/huml-cli/huml-cli.0.2.0/opam: No space left on device
error: unable to create file packages/huml/huml.0.1.1/opam: No space left on device
error: unable to create file packages/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.6/opam: No space left on device
error: unable to create file packages/hyper/hyper.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/i3ipc/i3ipc.0.4/opam: No space left on device
error: unable to create file packages/icalendar/icalendar.0.1.11/opam: No space left on device
error: unable to create file packages/icalendar/icalendar.0.1.12/opam: No space left on device
error: unable to create file packages/icalendar/icalendar.0.1.13/opam: No space left on device
error: unable to create file packages/igvxml/igvxml.0.0.6/opam: No space left on device
fatal: cannot create directory at 'packages/incr_dom/incr_dom.v0.16.0': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:39.12: Job failed: Failed: Build failed