Build:
- 1
- 0
2026-01-27 19:21.48: New job: test tidy_email_sendgrid.0.0.1 with mirage-runtime.4.0.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29297/head (bec96dd4b29b0e3eb148af9966895e70442e68e2)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29297/head" && git reset --hard bec96dd4
git fetch origin master
git merge --no-edit 88150787b3c9df767fd8dadf5d416641f8ee58f8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn mirage-runtime.4.0.0 4.0.0
RUN opam reinstall mirage-runtime.4.0.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'mirage-runtime.4.0.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall tidy_email_sendgrid.0.0.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'tidy_email_sendgrid.0.0.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test tidy_email_sendgrid.0.0.1) || true
RUN opam reinstall --with-test --verbose tidy_email_sendgrid.0.0.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'tidy_email_sendgrid.0.0.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-27 19:21.48: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.0.0-tidy_email_sendgrid.0.0.1-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.48: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn mirage-runtime.4.0.0 4.0.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mirage-runtime.4.0.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mirage-runtime.4.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall tidy_email_sendgrid.0.0.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'tidy_email_sendgrid.0.0.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test tidy_email_sendgrid.0.0.1) || true"))
(run (shell "opam reinstall --with-test --verbose tidy_email_sendgrid.0.0.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'tidy_email_sendgrid.0.0.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-27 19:21.48: Waiting for resource in pool OCluster
2026-01-27 19:35.38: Waiting for worker…
2026-01-27 19:36.25: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file COPYING: 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-solver/0install-solver.2.17/opam: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.18/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.1/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.2/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8/opam: No space left on device
error: unable to create file packages/BetterErrors/BetterErrors.0.0.1/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/DAGaml/DAGaml.0.01/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/FrontC/FrontC.3.4.1/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.0/opam: No space left on device
error: unable to create file packages/General/General.0.7.0/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.03.01/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.04/opam: No space left on device
error: unable to create file packages/GuaCaml/GuaCaml.0.05/opam: No space left on device
error: unable to create file packages/MlFront_Config/MlFront_Config.2.4.2.30/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/OCADml/OCADml.0.5.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.6.0/opam: No space left on device
error: unable to create file packages/OCanren-ppx/OCanren-ppx.0.2.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.1/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.2.2.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.3.0.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.3.0.1/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.4.1.1/opam: No space left on device
error: unable to create file packages/aacplus/aacplus.0.2.2/opam: No space left on device
error: unable to create file packages/accessor/accessor.v0.14.0/opam: No space left on device
error: unable to create file packages/accessor/accessor.v0.14.1/opam: No space left on device
error: unable to create file packages/accessor/accessor.v0.15.0/opam: No space left on device
error: unable to create file packages/accessor_base/accessor_base.v0.14.0/opam: No space left on device
error: unable to create file packages/aches/aches.1.0.0/opam: No space left on device
error: unable to create file packages/aches/aches.1.1.0/opam: No space left on device
error: unable to create file packages/adelfa/adelfa.0.1/opam: No space left on device
error: unable to create file packages/adobe_font_metrics/adobe_font_metrics.1.0.0/opam: No space left on device
error: unable to create file packages/ahrocksdb/ahrocksdb.0.2.0/opam: No space left on device
error: unable to create file packages/ahrocksdb/ahrocksdb.0.2.1/opam: No space left on device
error: unable to create file packages/alba/alba.0.4.4/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/albatross/albatross.2.6.2/opam: No space left on device
error: unable to create file packages/alcotest-async/alcotest-async.1.5.0/opam: No space left on device
error: unable to create file packages/alcotest-async/alcotest-async.1.7.0/opam: No space left on device
error: unable to create file packages/alcotest-async/alcotest-async.1.9.1/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.8.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.1.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.2.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.3.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.4.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.4.2/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.6.2/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.3.0/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.2/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.4/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.0/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.2/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.4.1/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.5.2/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.5.3/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.5.4/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/amqp-client-lwt/amqp-client-lwt.2.1.0/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.0.0/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.0.1/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.0.2/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.0.3/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.16.0/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.11.1/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.11.2/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.15.0/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.16.1/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.13.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.14.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.15.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.10.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.11.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.11.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.8.0/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.9.0/opam: No space left on device
error: unable to create file packages/ansi-parse/ansi-parse.0.4.0/opam: No space left on device
error: unable to create file packages/ansi/ansi.0.5.0/opam: No space left on device
error: unable to create file packages/ansi/ansi.0.6.0/opam: No space left on device
error: unable to create file packages/antic/antic.0.3.2/opam: No space left on device
error: unable to create file packages/antic/antic.0.4.0/opam: No space left on device
error: unable to create file packages/anycache/anycache.0.6.0/opam: No space left on device
error: unable to create file packages/anycache/anycache.0.7.4/opam: No space left on device
error: unable to create file packages/ao/ao.0.2.4/opam: No space left on device
error: unable to create file packages/apero-net/apero-net.0.4.7/opam: No space left on device
error: unable to create file packages/apron/apron.20151015/opam: No space left on device
error: unable to create file packages/apron/apron.20160108/opam: No space left on device
error: unable to create file packages/apron/apron.20160125/opam: No space left on device
error: unable to create file packages/arb/arb.0.3.1/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/arch-x86_64/arch-x86_64.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.0.0/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.1.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.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.5.2/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.5.3/opam: No space left on device
error: unable to create file packages/argon2/argon2.1.0.1/opam: No space left on device
error: unable to create file packages/art/art.0.1.0/opam: No space left on device
error: unable to create file packages/art/art.0.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/ascend/ascend.0.1.1/opam: No space left on device
error: unable to create file packages/ascend/ascend.0.1.2/opam: No space left on device
error: unable to create file packages/ascii85/ascii85.0.2/opam: No space left on device
error: unable to create file packages/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/async.v0.15.0/opam: No space left on device
error: unable to create file packages/async/async.v0.16.0/opam: No space left on device
error: unable to create file packages/async_extra/async_extra.v0.13.0/opam: No space left on device
error: unable to create file packages/async_extra/async_extra.v0.14.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.16.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.17.0/opam: No space left on device
error: unable to create file packages/async_interactive/async_interactive.v0.12.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_js/async_js.v0.14.0/opam: No space left on device
error: unable to create file packages/async_js/async_js.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_kernel/async_rpc_kernel.v0.16.0/opam: No space left on device
error: unable to create file packages/async_sendfile/async_sendfile.v0.15.0/opam: No space left on device
error: unable to create file packages/async_sendfile/async_sendfile.v0.16.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.15.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.16.0/opam: No space left on device
error: unable to create file packages/async_ssl/async_ssl.v0.17.0/opam: No space left on device
error: unable to create file packages/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_websocket/async_websocket.v0.13.0/opam: No space left on device
error: unable to create file packages/async_websocket/async_websocket.v0.13.1/opam: No space left on device
error: unable to create file packages/atacama/atacama.0.0.4/opam: No space left on device
error: unable to create file packages/atd/atd.1.2.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.2.1/opam: No space left on device
error: unable to create file packages/atd/atd.2.0.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/atd/atd.2.4.1/opam: No space left on device
error: unable to create file packages/atd/atd.2.5.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.6.0/opam: No space left on device
error: unable to create file packages/atdd/atdd.2.13.0/opam: No space left on device
error: unable to create file packages/atdd/atdd.2.14.0/opam: No space left on device
error: unable to create file packages/atdd/atdd.2.14.1/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.0.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.10.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.2.1/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.13.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.14.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.14.1/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.2.8.0/opam: No space left on device
error: unable to create file packages/atds/atds.2.9.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.5.2/opam: No space left on device
error: unable to create file packages/awa/awa.0.0.5/opam: No space left on device
error: unable to create file packages/awa/awa.0.1.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.2.0/opam: No space left on device
error: unable to create file packages/awa/awa.0.4.0/opam: No space left on device
error: unable to create file packages/aws-autoscaling/aws-autoscaling.1.2/opam: No space left on device
error: unable to create file packages/aws-cloudformation/aws-cloudformation.0.1.0/opam: No space left on device
error: unable to create file packages/aws-cloudformation/aws-cloudformation.1.2/opam: No space left on device
error: unable to create file packages/aws-elasticache/aws-elasticache.1.2/opam: No space left on device
error: unable to create file packages/aws-elasticloadbalancing/aws-elasticloadbalancing.0.1.0/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.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-ssm/aws-ssm.1.2/opam: No space left on device
error: unable to create file packages/aws-sts/aws-sts.0.1.0/opam: No space left on device
error: unable to create file packages/azblob-async/azblob-async.0.1.0/opam: No space left on device
error: unable to create file packages/azblob/azblob.0.1.0/opam: No space left on device
error: unable to create file packages/azure-cosmos-db/azure-cosmos-db.0.2.0/opam: No space left on device
error: unable to create file packages/b0/b0.0.0.6/opam: No space left on device
error: unable to create file packages/babel/babel.v0.17.0/opam: No space left on device
error: unable to create file packages/balancer/balancer.1.0/opam: No space left on device
error: unable to create file packages/bam/bam.0.1/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.5.0/opam: No space left on device
error: unable to create file packages/bap-api/bap-api.2.1.0/opam: No space left on device
error: unable to create file packages/bap-api/bap-api.2.2.0/opam: No space left on device
error: unable to create file packages/bap-arm/bap-arm.2.4.0/opam: No space left on device
error: unable to create file packages/bap-beagle-strings/bap-beagle-strings.2.3.0/opam: No space left on device
error: unable to create file packages/bap-beagle-strings/bap-beagle-strings.2.4.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-build/bap-build.2.4.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.1.0/opam: No space left on device
error: unable to create file packages/bap-bundle/bap-bundle.2.2.0/opam: No space left on device
error: unable to create file packages/bap-byteweight/bap-byteweight.2.3.0/opam: No space left on device
error: unable to create file packages/bap-cache/bap-cache.2.1.0/opam: No space left on device
error: unable to create file packages/bap-cache/bap-cache.2.3.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.5.0/opam: No space left on device
error: unable to create file packages/bap-core/bap-core.2.4.0/opam: No space left on device
error: unable to create file packages/bap-dependencies/bap-dependencies.2.5.0/opam: No space left on device
error: unable to create file packages/bap-dump-symbols/bap-dump-symbols.2.2.0/opam: No space left on device
error: unable to create file packages/bap-dwarf/bap-dwarf.2.1.0/opam: No space left on device
error: unable to create file packages/bap-emacs-goodies/bap-emacs-goodies.0.1/opam: No space left on device
error: unable to create file packages/bap-frontc/bap-frontc.2.5.0/opam: No space left on device
error: unable to create file packages/bap-frontend/bap-frontend.2.1.0/opam: No space left on device
error: unable to create file packages/bap-ghidra/bap-ghidra.2.4.0/opam: No space left on device
error: unable to create file packages/bap-ida-plugin/bap-ida-plugin.2.4.0/opam: No space left on device
error: unable to create file packages/bap-ida/bap-ida.2.3.0/opam: No space left on device
error: unable to create file packages/bap-llvm/bap-llvm.2.1.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.1.0/opam: No space left on device
error: unable to create file packages/bap-microx/bap-microx.2.5.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-piqi/bap-piqi.2.1.0/opam: No space left on device
error: unable to create file packages/bap-piqi/bap-piqi.2.2.0/opam: No space left on device
error: unable to create file packages/bap-powerpc/bap-powerpc.2.2.0/opam: No space left on device
error: unable to create file packages/bap-powerpc/bap-powerpc.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-dictionary/bap-primus-dictionary.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-limit/bap-primus-limit.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-lisp/bap-primus-lisp.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-lisp/bap-primus-lisp.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-random/bap-primus-random.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-region/bap-primus-region.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-region/bap-primus-region.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-systems/bap-primus-systems.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-test/bap-primus-test.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-test/bap-primus-test.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-track-visited/bap-primus-track-visited.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-track-visited/bap-primus-track-visited.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.4.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-run/bap-run.2.2.0/opam: No space left on device
error: unable to create file packages/bap-run/bap-run.2.3.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.0.0/opam: No space left on device
error: unable to create file packages/bap-ssa/bap-ssa.2.1.0/opam: No space left on device
error: unable to create file packages/bap-symbol-reader/bap-symbol-reader.2.2.0/opam: No space left on device
error: unable to create file packages/bap-trace/bap-trace.2.1.0/opam: No space left on device
error: unable to create file packages/bap-trace/bap-trace.2.2.0/opam: No space left on device
error: unable to create file packages/bap-warn-unused/bap-warn-unused.2.5.0/opam: No space left on device
error: unable to create file packages/bap-x86/bap-x86.2.1.0/opam: No space left on device
error: unable to create file packages/bare/bare.2.4.0/opam: No space left on device
error: unable to create file packages/bare_encoding/bare_encoding.0.2/opam: No space left on device
error: unable to create file packages/base-bytes/base-bytes.backport/opam: No space left on device
error: unable to create file packages/base/base.v0.12.2/opam: No space left on device
error: unable to create file packages/base/base.v0.13.0/opam: No space left on device
error: unable to create file packages/base/base.v0.14.0/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/base64/base64.3.1.0/opam: No space left on device
error: unable to create file packages/base64/base64.3.2.0/opam: No space left on device
error: unable to create file packages/base64/base64.3.4.0/opam: No space left on device
error: unable to create file packages/base64/base64.3.5.0/opam: No space left on device
error: unable to create file packages/base64/base64.3.5.2/opam: No space left on device
error: unable to create file packages/base_bigstring/base_bigstring.v0.13.0/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.17.1/opam: No space left on device
error: unable to create file packages/base_trie/base_trie.v0.16.0/opam: No space left on device
error: unable to create file packages/bastet_lwt/bastet_lwt.0.1.0/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.11.0/opam: No space left on device
error: unable to create file packages/bech32/bech32.0.1/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.3.0/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.1.0/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.2.0/opam: No space left on device
error: unable to create file packages/bechamel-perf/bechamel-perf.0.4.0/opam: No space left on device
error: unable to create file packages/beluga/beluga.1.1/opam: No space left on device
error: unable to create file packages/benchmark/benchmark.1.4/opam: No space left on device
error: unable to create file packages/benchpress/benchpress.0.1/opam: No space left on device
error: unable to create file packages/bencode/bencode.0.1/opam: No space left on device
error: unable to create file packages/bencode/bencode.1.0.0/opam: No space left on device
error: unable to create file packages/bencode/bencode.1.0.2/opam: No space left on device
error: unable to create file packages/bibfmt/bibfmt.0.9.0/opam: No space left on device
error: unable to create file packages/bibtex2html/bibtex2html.1.99-1/opam: No space left on device
error: unable to create file packages/bibtex2html/bibtex2html.1.99/opam: No space left on device
error: unable to create file packages/bigarray-overlap/bigarray-overlap.0.2.1/opam: No space left on device
error: unable to create file packages/bigdecimal/bigdecimal.v0.16.0/opam: No space left on device
error: unable to create file packages/bigdecimal/bigdecimal.v0.17.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.3.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.7.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.4.0/opam: No space left on device
error: unable to create file packages/bimage-sdl/bimage-sdl.0.2.1/opam: No space left on device
error: unable to create file packages/bimage-unix/bimage-unix.0.1.1/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.1.2/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.3.1/opam: No space left on device
error: unable to create file packages/bin_prot/bin_prot.v0.14.0/opam: No space left on device
error: unable to create file packages/bin_prot/bin_prot.v0.15.0/opam: No space left on device
error: unable to create file packages/bin_tree/bin_tree.0.1/opam: No space left on device
error: unable to create file packages/binary_tree/binary_tree.1.0/opam: No space left on device
error: unable to create file packages/binaryen-bin/binaryen-bin.119/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.15.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.16.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.17.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.17.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.18.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.19.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.9.1/opam: No space left on device
error: unable to create file packages/binaryen_dsl/binaryen_dsl.0.7/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/bindlib/bindlib.5.0.0/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.6.0.0/opam: No space left on device
error: unable to create file packages/biniou/biniou.1.1.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.4.1/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.5.0/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.6.0/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.1.2/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.2.1/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.3.0/opam: No space left on device
error: unable to create file packages/bip32/bip32.0.1/opam: No space left on device
error: unable to create file packages/bip32/bip32.0.2/opam: No space left on device
error: unable to create file packages/bisect-summary/bisect-summary.0.3/opam: No space left on device
error: unable to create file packages/bisect_ppx-ocamlbuild/bisect_ppx-ocamlbuild.1.0.0/opam: No space left on device
error: unable to create file packages/bisect_ppx-ocamlbuild/bisect_ppx-ocamlbuild.1.0.1/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.1.4.2/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/bistro-bio/bistro-bio.0.6.0/opam: No space left on device
error: unable to create file packages/bistro/bistro.0.5.0/opam: No space left on device
error: unable to create file packages/bitcoin-ocurl/bitcoin-ocurl.3.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/bitvec-binprot/bitvec-binprot.2.3.0/opam: No space left on device
error: unable to create file packages/bitvec-sexp/bitvec-sexp.2.3.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.3.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.6.1/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.8.0/opam: No space left on device
error: unable to create file packages/bjack/bjack.0.1.6/opam: No space left on device
error: unable to create file packages/blake2/blake2.0.1/opam: No space left on device
error: unable to create file packages/blake3/blake3.0.3/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.0.4.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.3.15/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.4.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.1.0.0/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.1.0.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.19.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.20.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.3.0.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-tutorials/bogue-tutorials.0.1.0/opam: No space left on device
error: unable to create file packages/bogue-tutorials/bogue-tutorials.0.2.0/opam: No space left on device
error: unable to create file packages/boltzgen/boltzgen.0.9/opam: No space left on device
error: unable to create file packages/bonsai/bonsai.v0.13.0/opam: No space left on device
error: unable to create file packages/box/box.1.2.0/opam: No space left on device
error: unable to create file packages/bpf/bpf.0.1/opam: No space left on device
error: unable to create file packages/brisk-reconciler/brisk-reconciler.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/brr-lwd/brr-lwd.0.3/opam: No space left on device
error: unable to create file packages/brr-lwd/brr-lwd.0.4/opam: No space left on device
error: unable to create file packages/brr/brr.0.0.7/opam: No space left on device
error: unable to create file packages/brr/brr.0.0.8/opam: No space left on device
error: unable to create file packages/bsdowl/bsdowl.2.2/opam: No space left on device
error: unable to create file packages/bst/bst.3.0.0/opam: No space left on device
error: unable to create file packages/bstr/bstr.0.0.4/opam: No space left on device
error: unable to create file packages/buffer-pool/buffer-pool.0.2/opam: No space left on device
error: unable to create file packages/bwd/bwd.2.2.0/opam: No space left on device
error: unable to create file packages/bytearray/bytearray.1.0.0/opam: No space left on device
error: unable to create file packages/bytearray/bytearray.1.0.1/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.103/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.118/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.83/opam: No space left on device
error: unable to create file packages/cairn/cairn.2.1/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-pango/cairo2-pango.0.6/opam: No space left on device
error: unable to create file packages/caisar-ir/caisar-ir.0.2/opam: No space left on device
error: unable to create file packages/caisar-nnet/caisar-nnet.0.1/opam: No space left on device
error: unable to create file packages/caisar-onnx/caisar-onnx.0.1/opam: No space left on device
error: unable to create file packages/calculon-redis-lib/calculon-redis-lib.0.5/opam: No space left on device
error: unable to create file packages/calculon-redis/calculon-redis.0.5/opam: No space left on device
error: unable to create file packages/calculon-redis/calculon-redis.0.6/opam: No space left on device
error: unable to create file packages/calculon-web/calculon-web.0.6/opam: No space left on device
error: unable to create file packages/calendar/calendar.1.10/opam: No space left on device
error: unable to create file packages/calendar/calendar.2.04/opam: No space left on device
error: unable to create file packages/calipso/calipso.4.0.0/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.3.0/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.4.0/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/camels/camels.0.0.4/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.0/opam: No space left on device
error: unable to create file packages/camlkit-base/camlkit-base.0.3.0/opam: No space left on device
error: unable to create file packages/camlkit-gui/camlkit-gui.0.1.1/opam: No space left on device
error: unable to create file packages/camlkit-gui/camlkit-gui.0.2.0/opam: No space left on device
error: unable to create file packages/camlkit-gui/camlkit-gui.0.2.1/opam: No space left on device
error: unable to create file packages/camlon/camlon.3.1.0/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+7/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.11+1/opam: No space left on device
error: unable to create file packages/camlp5-buildscripts/camlp5-buildscripts.0.06/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.00.02/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.00.04/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.2.1/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.3/opam: No space left on device
error: unable to create file packages/camltc/camltc.0.9.7.0/opam: No space left on device
error: unable to create file packages/camltc/camltc.0.9.8/opam: No space left on device
error: unable to create file packages/camlzip/camlzip.1.07/opam: No space left on device
error: unable to create file packages/camlzip/camlzip.1.11/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.4.2/opam: No space left on device
error: unable to create file packages/camyll/camyll.0.4.4/opam: No space left on device
error: unable to create file packages/canary/canary.0.0.1/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.4/opam: No space left on device
error: unable to create file packages/capnp/capnp.3.3.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-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.0.0/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.1.0/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.2.2.4/opam: No space left on device
error: unable to create file packages/caqti-driver-pgx/caqti-driver-pgx.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.0.10.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.0.10.1/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-eio/caqti-eio.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.2.2.4/opam: No space left on device
error: unable to create file packages/caqti-mirage/caqti-mirage.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.2.0.1/opam: No space left on device
error: unable to create file packages/caqti/caqti.0.10.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.0.10.2/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.7.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.9.0/opam: No space left on device
error: unable to create file packages/carton-git-lwt/carton-git-lwt.1.0.0/opam: No space left on device
error: unable to create file packages/carton-git-lwt/carton-git-lwt.1.1.0/opam: No space left on device
error: unable to create file packages/carton-lwt/carton-lwt.1.1.0/opam: No space left on device
error: unable to create file packages/carton/carton.0.7.2/opam: No space left on device
error: unable to create file packages/catala-lsp/catala-lsp.1.0.0/opam: No space left on device
error: unable to create file packages/catapult-daemon/catapult-daemon.0.2/opam: No space left on device
error: unable to create file packages/catapult-file/catapult-file.0.1.1/opam: No space left on device
error: unable to create file packages/catapult/catapult.0.2/opam: No space left on device
error: unable to create file packages/cb-check/cb-check.0.1/opam: No space left on device
error: unable to create file packages/cca/cca.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.5/opam: No space left on device
error: unable to create file packages/cdb/cdb.1.0.1/opam: No space left on device
error: unable to create file packages/cdrom/cdrom.0.9.1/opam: No space left on device
error: unable to create file packages/cf/cf.0.3/opam: No space left on device
error: unable to create file packages/cf/cf.0.4/opam: No space left on device
error: unable to create file packages/cfml/cfml.20220102/opam: No space left on device
error: unable to create file packages/chamelon-unix/chamelon-unix.0.0.10/opam: No space left on device
error: unable to create file packages/chamelon-unix/chamelon-unix.0.0.7/opam: No space left on device
error: unable to create file packages/chamo/chamo.4.0/opam: No space left on device
error: unable to create file packages/chamo/chamo.4.2.0/opam: No space left on device
error: unable to create file packages/charrua-server/charrua-server.2.0.0/opam: No space left on device
error: unable to create file packages/charrua-server/charrua-server.2.1.0/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/charrua.2.0.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/chase/chase.1.4/opam: No space left on device
error: unable to create file packages/chase/chase.1.5/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.6.0/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.1.0.0/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.2.1/opam: No space left on device
error: unable to create file packages/choice/choice.0.1/opam: No space left on device
error: unable to create file packages/choice/choice.0.2/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.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.11.0/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.12.0/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.12.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.5.0.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.5.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.6.0.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.9.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.0.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.0.1/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.3.0/opam: No space left on device
error: unable to create file packages/class_group_vdf/class_group_vdf.0.0.3/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.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/cmdlang-stdlib-runner/cmdlang-stdlib-runner.0.0.9/opam: No space left on device
error: unable to create file packages/cmdlang-to-base/cmdlang-to-base.0.0.10/opam: No space left on device
error: unable to create file packages/cmdlang-to-climate/cmdlang-to-climate.0.0.9/opam: No space left on device
error: unable to create file packages/cmdlang-to-cmdliner/cmdlang-to-cmdliner.0.0.10/opam: No space left on device
error: unable to create file packages/cmitomli/cmitomli.1.0.0/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.0.9/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/codept/codept.0.12.0/opam: No space left on device
error: unable to create file packages/codept/codept.0.12.1/opam: No space left on device
error: unable to create file packages/codept/codept.0.12.2/opam: No space left on device
error: unable to create file packages/cohttp-bench/cohttp-bench.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-bench/cohttp-bench.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-curl-async/cohttp-curl-async.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-curl-async/cohttp-curl-async.6.1.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-lwt-unix/cohttp-lwt-unix.2.1.3/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.0.0~beta2/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.1.2.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.2.1.3/opam: No space left on device
error: unable to create file packages/cohttp-mirage/cohttp-mirage.6.0.0/opam: No space left on device
error: unable to create file packages/cohttp-mirage/cohttp-mirage.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-server-lwt-unix/cohttp-server-lwt-unix.6.0.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.2.5.2-1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.2.5.8/opam: No space left on device
error: unable to create file packages/cohttp_async_websocket/cohttp_async_websocket.v0.16.0/opam: No space left on device
error: unable to create file packages/colibri2/colibri2.0.3.3/opam: No space left on device
error: unable to create file packages/colibri2/colibri2.0.4/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.12.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.8.1/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.9.0/opam: No space left on device
error: unable to create file packages/combine/combine.0.6/opam: No space left on device
error: unable to create file packages/comby-semantic/comby-semantic.1.7.0/opam: No space left on device
error: unable to create file packages/comby/comby.1.2.2/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/conan-unix/conan-unix.0.0.4/opam: No space left on device
error: unable to create file packages/conan-unix/conan-unix.0.0.6/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.1/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.2.0.2/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.2.2.2/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.2.3.0/opam: No space left on device
error: unable to create file packages/conduit-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/conex/conex.0.11.0/opam: No space left on device
error: unable to create file packages/conf-arb/conf-arb.1/opam: No space left on device
error: unable to create file packages/conf-assimp/conf-assimp.1/opam: No space left on device
error: unable to create file packages/conf-automake/conf-automake.1/opam: No space left on device
error: unable to create file packages/conf-bap-llvm/conf-bap-llvm.1/opam: No space left on device
error: unable to create file packages/conf-bmake/conf-bmake.1.0/opam: No space left on device
error: unable to create file packages/conf-bpftool/conf-bpftool.0.1.0/opam: No space left on device
error: unable to create file packages/conf-brotli/conf-brotli.0.0.1/opam: No space left on device
error: unable to create file packages/conf-capnproto/conf-capnproto.2/opam: No space left on device
error: unable to create file packages/conf-clang-format/conf-clang-format.1/opam: No space left on device
error: unable to create file packages/conf-cmake/conf-cmake.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-env-travis/conf-env-travis.1/opam: No space left on device
error: unable to create file packages/conf-expat/conf-expat.1/opam: No space left on device
error: unable to create file packages/conf-flint/conf-flint.3.0/opam: No space left on device
error: unable to create file packages/conf-freeglut/conf-freeglut.1/opam: No space left on device
error: unable to create file packages/conf-freetype/conf-freetype.1/opam: No space left on device
error: unable to create file packages/conf-gfortran/conf-gfortran.0/opam: No space left on device
error: unable to create file packages/conf-git/conf-git.1.1/opam: No space left on device
error: unable to create file packages/conf-gmp/conf-gmp.5/opam: No space left on device
error: unable to create file packages/conf-gnomecanvas/conf-gnomecanvas.2/opam: No space left on device
error: unable to create file packages/conf-gnustep-base/conf-gnustep-base.1/opam: No space left on device
error: unable to create file packages/conf-gnustep-gui/conf-gnustep-gui.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+2/opam: No space left on device
error: unable to create file packages/conf-haveged/conf-haveged.1.0.0/opam: No space left on device
error: unable to create file packages/conf-ida/conf-ida.0.1/opam: No space left on device
error: unable to create file packages/conf-jack/conf-jack.1/opam: No space left on device
error: unable to create file packages/conf-libbpf/conf-libbpf.0.1.0/opam: No space left on device
error: unable to create file packages/conf-libbz2/conf-libbz2.1/opam: No space left on device
error: unable to create file packages/conf-libclang/conf-libclang.1.0.0/opam: No space left on device
error: unable to create file packages/conf-libclang/conf-libclang.12/opam: No space left on device
error: unable to create file packages/conf-libelf/conf-libelf.1.0.0/opam: No space left on device
error: unable to create file packages/conf-libfontconfig/conf-libfontconfig.1/opam: No space left on device
error: unable to create file packages/conf-libgif/conf-libgif.1/opam: No space left on device
error: unable to create file packages/conf-libgl/conf-libgl.1/opam: No space left on device
error: unable to create file packages/conf-libglu/conf-libglu.1/opam: No space left on device
error: unable to create file packages/conf-libgsasl/conf-libgsasl.1/opam: No space left on device
error: unable to create file packages/conf-libmpg123/conf-libmpg123.1/opam: No space left on device
error: unable to create file packages/conf-libopus/conf-libopus.1/opam: No space left on device
error: unable to create file packages/conf-libpng/conf-libpng.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-libspeex/conf-libspeex.1/opam: No space left on device
error: unable to create file packages/conf-libssl/conf-libssl.4/opam: No space left on device
error: unable to create file packages/conf-libsvm/conf-libsvm.3/opam: No space left on device
error: unable to create file packages/conf-libudev/conf-libudev.1/opam: No space left on device
error: unable to create file packages/conf-liburing/conf-liburing.0.1.0/opam: No space left on device
error: unable to create file packages/conf-libvorbis/conf-libvorbis.1/opam: No space left on device
error: unable to create file packages/conf-libxcb-shm/conf-libxcb-shm.1/opam: No space left on device
error: unable to create file packages/conf-libxi/conf-libxi.1/opam: No space left on device
error: unable to create file packages/conf-linux-libc-dev/conf-linux-libc-dev.0/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.15/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.17/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-cairo-x86_64/conf-mingw-w64-cairo-x86_64.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++-i686/conf-mingw-w64-g++-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gnutls-i686/conf-mingw-w64-gnutls-i686.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-gtksourceview3-i686/conf-mingw-w64-gtksourceview3-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gtksourceview3-x86_64/conf-mingw-w64-gtksourceview3-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pcre-i686/conf-mingw-w64-pcre-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-net-i686/conf-mingw-w64-sdl2-net-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-zstd-x86_64/conf-mingw-w64-zstd-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mpfr-paths/conf-mpfr-paths.1/opam: No space left on device
error: unable to create file packages/conf-mpfr/conf-mpfr.2/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-ncurses/conf-ncurses.1/opam: No space left on device
error: unable to create file packages/conf-neko/conf-neko.1/opam: No space left on device
error: unable to create file packages/conf-netsnmp/conf-netsnmp.1.0.0/opam: No space left on device
error: unable to create file packages/conf-nlopt/conf-nlopt.1/opam: No space left on device
error: unable to create file packages/conf-nmap/conf-nmap.1.0.0/opam: No space left on device
error: unable to create file packages/conf-opencc0/conf-opencc0.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-openssl/conf-openssl.1/opam: No space left on device
error: unable to create file packages/conf-pixz/conf-pixz.1/opam: No space left on device
error: unable to create file packages/conf-pkg-config/conf-pkg-config.1.0/opam: No space left on device
error: unable to create file packages/conf-python-3-7/conf-python-3-7.1.0.0/opam: No space left on device
error: unable to create file packages/conf-python-3-dev/conf-python-3-dev.1/opam: No space left on device
error: unable to create file packages/conf-python-3/conf-python-3.9.0.0/opam: No space left on device
error: unable to create file packages/conf-python3-pyparsing/conf-python3-pyparsing.1/opam: No space left on device
error: unable to create file packages/conf-rdkit/conf-rdkit.1/opam: No space left on device
error: unable to create file packages/conf-rocksdb/conf-rocksdb.1/opam: No space left on device
error: unable to create file packages/conf-rubberband/conf-rubberband.1/opam: No space left on device
error: unable to create file packages/conf-rust-wasm/conf-rust-wasm.1/opam: No space left on device
error: unable to create file packages/conf-rust/conf-rust.0.1/opam: No space left on device
error: unable to create file packages/conf-sdpa/conf-sdpa.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-shine/conf-shine.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-tzdata/conf-tzdata.1/opam: No space left on device
error: unable to create file packages/conf-unwind/conf-unwind.0/opam: No space left on device
error: unable to create file packages/conf-vim/conf-vim.1/opam: No space left on device
error: unable to create file packages/confero/confero.0.1.1/opam: No space left on device
error: unable to create file packages/config-file/config-file.1.1/opam: No space left on device
error: unable to create file packages/config-file/config-file.1.2.1/opam: No space left on device
error: unable to create file packages/config-file/config-file.1.2.2/opam: No space left on device
error: unable to create file packages/config-file/config-file.1.2/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.8.1/opam: No space left on device
error: unable to create file packages/conjury/conjury.2.0.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.0.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.13.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.13/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.17/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.2/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.3/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.8/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.5/opam: No space left on device
error: unable to create file packages/content_security_policy/content_security_policy.v0.17.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.19.0/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.19.1/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.8.19.2/opam: No space left on device
error: unable to create file packages/coq-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.8+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.1.9+8.19/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.2+8.19/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.3+8.17/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.3+8.20/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.3+9.0/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.4.1/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.0/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.2+4.12/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.12/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.13/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.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.17.0+0.17.2/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.19.0+0.19.1/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-serapi/coq-serapi.8.9.0+0.6.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.19.2/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.3.0.0+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.3.0.0+8.18/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.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.11.2/opam: No space left on device
error: unable to create file packages/coq/coq.8.12.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.13.2/opam: No space left on device
error: unable to create file packages/coq/coq.8.7.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.9.1/opam: No space left on device
error: unable to create file packages/coq/coq.9.0.0/opam: No space left on device
error: unable to create file packages/coq/coq.9.0.1/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.17.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.10.2/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.11.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.7.2/opam: No space left on device
error: unable to create file packages/cordova-plugin-camera/cordova-plugin-camera.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-device-orientation/cordova-plugin-device-orientation.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-fcm/cordova-plugin-fcm.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-media-capture/cordova-plugin-media-capture.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-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/core/core.v0.17.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_extended/core_extended.v0.12.0/opam: No space left on device
error: unable to create file packages/core_extended/core_extended.v0.13.0/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.17.0/opam: No space left on device
error: unable to create file packages/core_profiler/core_profiler.v0.12.0/opam: No space left on device
error: unable to create file packages/core_profiler/core_profiler.v0.16.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.14.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.0.1/opam: No space left on device
error: unable to create file packages/cow/cow.2.2.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.3.0/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.6/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.7.1/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.8/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.12.0.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.12.1.2/opam: No space left on device
error: unable to create file packages/cpm/cpm.3.0.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.9.0.0/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.7/opam: No space left on device
error: unable to create file packages/cpu/cpu.2.0.0/opam: No space left on device
error: unable to create file packages/cpuid/cpuid.0.1.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/crc/crc.2.2.0/opam: No space left on device
error: unable to create file packages/crontab/crontab.0.1/opam: No space left on device
error: unable to create file packages/crowbar/crowbar.0.1/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.1.0.3/opam: No space left on device
error: unable to create file packages/crypt/crypt.1.2/opam: No space left on device
error: unable to create file packages/crypt/crypt.1.3/opam: No space left on device
error: unable to create file packages/crypt/crypt.2.1/opam: No space left on device
error: unable to create file packages/cryptodbm/cryptodbm.0.84.2/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.09/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.10/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.11/opam: No space left on device
error: unable to create file packages/csdp/csdp.6.2.0/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.1.0/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.2.0/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.3.2/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.4.0/opam: No space left on device
error: unable to create file packages/css-parser/css-parser.0.2.4/opam: No space left on device
error: unable to create file packages/css/css.0.2.0/opam: No space left on device
error: unable to create file packages/css/css.0.3.0/opam: No space left on device
error: unable to create file packages/cstruct-async/cstruct-async.6.2.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.6.2.0/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/cstruct.3.7.0/opam: No space left on device
error: unable to create file packages/cstruct/cstruct.5.2.0/opam: No space left on device
error: unable to create file packages/cstruct/cstruct.6.0.0/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.14.0/opam: No space left on device
error: unable to create file packages/ctoxml/ctoxml.4.0.0/opam: No space left on device
error: unable to create file packages/ctypes-build/ctypes-build.0.0.2/opam: No space left on device
error: unable to create file packages/ctypes-zarith/ctypes-zarith.0.1.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.14.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_stubs_js/ctypes_stubs_js.0.1/opam: No space left on device
error: unable to create file packages/cubicle/cubicle.1.1.2/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.1/opam: No space left on device
error: unable to create file packages/cudd/cudd.0.1.3/opam: No space left on device
error: unable to create file packages/cudf/cudf.0.10/opam: No space left on device
error: unable to create file packages/cumulus/cumulus.0.0.1/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-albatross-deployer/current-albatross-deployer.1.0.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.6.2/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.5/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.7.1/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.7.2/opam: No space left on device
error: unable to create file packages/current_git/current_git.0.7.1/opam: No space left on device
error: unable to create file packages/current_github/current_github.0.5/opam: No space left on device
error: unable to create file packages/current_github/current_github.0.6.2/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.1/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.2.1/opam: No space left on device
error: unable to create file packages/current_ocluster/current_ocluster.0.3.0/opam: No space left on device
error: unable to create file packages/current_rpc/current_rpc.0.6.2/opam: No space left on device
error: unable to create file packages/current_slack/current_slack.0.7.3/opam: No space left on device
error: unable to create file packages/current_ssh/current_ssh.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.3/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.4/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/curve-sampling/curve-sampling.0.1/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.3/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.0/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/datakit-server.0.12.0/opam: No space left on device
error: unable to create file packages/datakit-server/datakit-server.0.12.3/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.1/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.2/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.3.1/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.3/opam: No space left on device
error: unable to create file packages/dbf/dbf.0.1.1/opam: No space left on device
error: unable to create file packages/decimal/decimal.0.3.0/opam: No space left on device
error: unable to create file packages/decimal/decimal.0.3.1/opam: No space left on device
error: unable to create file packages/decimal/decimal.0.4.0/opam: No space left on device
error: unable to create file packages/decoders-bencode/decoders-bencode.0.5.0/opam: No space left on device
error: unable to create file packages/decoders-bencode/decoders-bencode.0.6.0/opam: No space left on device
error: unable to create file packages/decoders-bencode/decoders-bencode.1.0.0/opam: No space left on device
error: unable to create file packages/decoders-cbor/decoders-cbor.0.3.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.2.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.4.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.6.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.7.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.0.3.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.5.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.0.8/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.4.3/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.5.1/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/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.6/opam: No space left on device
error: unable to create file packages/depext/depext.0.7/opam: No space left on device
error: unable to create file packages/depext/depext.0.9.0/opam: No space left on device
error: unable to create file packages/depext/depext.0.9.1/opam: No space left on device
error: unable to create file packages/depext/depext.1.0.0/opam: No space left on device
error: unable to create file packages/depext/depext.1.0.1/opam: No space left on device
error: unable to create file packages/depext/depext.1.0.3/opam: No space left on device
error: unable to create file packages/devkit/devkit.0.6/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-cli/diffast-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-cli/diffast-cli.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-cli/diffast-cli.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-core/diffast-core.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-etc/diffast-etc.0.1/opam: No space left on device
error: unable to create file packages/diffast-etc/diffast-etc.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-etc/diffast-etc.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing-cli/diffast-langs-cpp-parsing-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp/diffast-langs-cpp.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-parsing/diffast-langs-fortran-parsing.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-java-parsing/diffast-langs-java-parsing.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-java-spec/diffast-langs-java-spec.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-python-parsing-cli/diffast-langs-python-parsing-cli.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog/diffast-langs-verilog.0.1.1/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/diffast/diffast.0.3.5.1/opam: No space left on device
error: unable to create file packages/digestif/digestif.0.6.1/opam: No space left on device
error: unable to create file packages/digestif/digestif.0.9.0/opam: No space left on device
error: unable to create file packages/dirsift/dirsift.0.0.3/opam: No space left on device
error: unable to create file packages/diskuvbox/diskuvbox.0.1.0/opam: No space left on device
error: unable to create file packages/diskuvbox/diskuvbox.0.2.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.4.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/dkim.0.8.0/opam: No space left on device
error: unable to create file packages/dkml-base-compiler/dkml-base-compiler.4.12.1~v1.0.0/opam: No space left on device
error: unable to create file packages/dkml-base-compiler/dkml-base-compiler.4.12.1~v1.0.2~prerel7/opam: No space left on device
error: unable to create file packages/dkml-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-dune-dsl/dkml-dune-dsl.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.2.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.3.0/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.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-install-runner/dkml-install-runner.0.3.1/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.4.0/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.5.2/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.5.3/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.4.0/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/dlist/dlist.0.1.0/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.3/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.8.0.0/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.7.0.3/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.9.1.0/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/dns-client.4.4.1/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.9.1.0/opam: No space left on device
error: unable to create file packages/dns-forward-lwt-unix/dns-forward-lwt-unix.0.9.0/opam: No space left on device
error: unable to create file packages/dns-forward/dns-forward.0.10.0/opam: No space left on device
error: unable to create file packages/dns-forward/dns-forward.0.9.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.1.0/opam: No space left on device
error: unable to create file packages/dns-tsig/dns-tsig.9.1.0/opam: No space left on device
error: unable to create file packages/dns/dns.1.1.1/opam: No space left on device
error: unable to create file packages/dns/dns.10.1.0/opam: No space left on device
error: unable to create file packages/dns/dns.10.2.0/opam: No space left on device
error: unable to create file packages/dns/dns.10.2.1/opam: No space left on device
error: unable to create file packages/dns/dns.10.2.2/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.10.2.2/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.10.2.3/opam: No space left on device
error: unable to create file packages/docfd/docfd.0.5.8/opam: No space left on device
error: unable to create file packages/docker-api/docker-api.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.2/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.2.8/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.1/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.2/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.1.0/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.1/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.2/opam: No space left on device
error: unable to create file packages/doi2bib/doi2bib.0.7.7/opam: No space left on device
error: unable to create file packages/doi2bib/doi2bib.0.7.9/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.2.0.0/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.3.0.1/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.10/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.4.1/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.10/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.5/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.8.1/opam: No space left on device
error: unable to create file packages/dolmen_loop/dolmen_loop.0.8.1/opam: No space left on device
error: unable to create file packages/dolmen_lsp/dolmen_lsp.0.5/opam: No space left on device
error: unable to create file packages/dolmen_model/dolmen_model.0.9/opam: No space left on device
error: unable to create file packages/dolog/dolog.2.0/opam: No space left on device
error: unable to create file packages/dolog/dolog.4.0.0/opam: No space left on device
error: unable to create file packages/dolog/dolog.6.0.0/opam: No space left on device
error: unable to create file packages/domain-local-timeout/domain-local-timeout.1.0.1/opam: No space left on device
error: unable to create file packages/domain-name/domain-name.0.2.1/opam: No space left on device
error: unable to create file packages/dose3/dose3.5.0.1-1/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/dose3/dose3.6.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.17.1-501/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.7.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.3-502/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.4.2~5.4preview/opam: No space left on device
error: unable to create file packages/dream-cli/dream-cli.0.2.0/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.0.0.3/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.3.11.2/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha3/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha4/opam: No space left on device
error: unable to create file packages/dream-serve/dream-serve.1.0.0/opam: No space left on device
error: unable to create file packages/dream-serve/dream-serve.1.0.1/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.1/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.4/opam: No space left on device
error: unable to create file packages/dtoa/dtoa.0.3.1/opam: No space left on device
error: unable to create file packages/dtoa/dtoa.0.3.2/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.3.0/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.3.2/opam: No space left on device
error: unable to create file packages/duff/duff.0.2/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.13.1/opam: No space left on device
error: unable to create file packages/dune-cargo-build/dune-cargo-build.0.1.0/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.13.1/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.15.3/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.20.0/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.20.1/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-expand/dune-expand.0.0.1/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.15.3/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.19.0/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.17.2/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.2.0.0/opam: No space left on device
error: unable to create file packages/dune-rpc-lwt/dune-rpc-lwt.3.15.3/opam: No space left on device
error: unable to create file packages/dune-rpc-lwt/dune-rpc-lwt.3.17.2/opam: No space left on device
error: unable to create file packages/dune-rpc-lwt/dune-rpc-lwt.3.19.0/opam: No space left on device
error: unable to create file packages/dune-site/dune-site.3.20.2/opam: No space left on device
error: unable to create file packages/dune/dune.1.11.4/opam: No space left on device
error: unable to create file packages/dune/dune.2.6.1/opam: No space left on device
error: unable to create file packages/dune/dune.2.7.1/opam: No space left on device
error: unable to create file packages/dune/dune.3.10.0/opam: No space left on device
error: unable to create file packages/dune/dune.3.12.1/opam: No space left on device
error: unable to create file packages/dune/dune.3.21.0/opam: No space left on device
error: unable to create file packages/dune_deps_extra/dune_deps_extra.0.1/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.7.0/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.7.3/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.0/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.19.1/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.20.0/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.21.0/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.6.1/opam: No space left on device
error: unable to create file packages/dyntype/dyntype.0.9.0/opam: No space left on device
error: unable to create file packages/earley/earley.1.0.2/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/earley/earley.3.0.0/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.0.0/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.0.1/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.2/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.3/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.4/opam: No space left on device
error: unable to create file packages/ecaml/ecaml.v0.13.0/opam: No space left on device
error: unable to create file packages/echo/echo.0.0.4/opam: No space left on device
error: unable to create file packages/echo/echo.0.0.5/opam: No space left on device
error: unable to create file packages/edn/edn.0.1.6-1-gff9db95/opam: No space left on device
error: unable to create file packages/edn/edn.0.2.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.1.2/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.1.6/opam: No space left on device
error: unable to create file packages/eio-ssl/eio-ssl.0.3.0/opam: No space left on device
error: unable to create file packages/eio-trace/eio-trace.0.1/opam: No space left on device
error: unable to create file packages/eio/eio.0.10/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.15/opam: No space left on device
error: unable to create file packages/eio/eio.0.3/opam: No space left on device
error: unable to create file packages/eio/eio.0.4/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_linux/eio_linux.0.1/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.0.10/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.0.2/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.1.0/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.1.1/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.1.3/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.0.10/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.1.1/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.1.2/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.2.3/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.3.2/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.4.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.10.0.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.10.1.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.10.1.2/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.12.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.8.6.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.8.8.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.8.9.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.9.0.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.9.3.0/opam: No space left on device
error: unable to create file packages/elm_core/elm_core.0.1.7/opam: No space left on device
error: unable to create file packages/elpi/elpi.1.18.2/opam: No space left on device
error: unable to create file packages/elpi/elpi.1.19.6/opam: No space left on device
error: unable to create file packages/elpi/elpi.1.20.0/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.4/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.3.1/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.8/opam: No space left on device
error: unable to create file packages/emile/emile.0.2/opam: No space left on device
error: unable to create file packages/emile/emile.0.4/opam: No space left on device
error: unable to create file packages/emile/emile.0.5/opam: No space left on device
error: unable to create file packages/eprover/eprover.2.6/opam: No space left on device
error: unable to create file packages/eqaf-cstruct/eqaf-cstruct.0.10/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.1/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.10/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.3/opam: No space left on device
error: unable to create file packages/equinoxe/equinoxe.0.1.0/opam: No space left on device
error: unable to create file packages/errpy/errpy.0.0.10/opam: No space left on device
error: unable to create file packages/errpy/errpy.0.0.9/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.2/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.3/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.4/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.5/opam: No space left on device
error: unable to create file packages/esperanto/esperanto.0.0.1/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/exenum/exenum.0.84/opam: No space left on device
error: unable to create file packages/expect_test_helpers_async/expect_test_helpers_async.v0.14.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_async/expect_test_helpers_async.v0.15.0/opam: No space left on device
error: unable to create file packages/expect_test_helpers_async/expect_test_helpers_async.v0.17.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.0.4.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.2.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/extism.1.1.0/opam: No space left on device
error: unable to create file packages/extism/extism.1.2.0/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.7.0/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.1.5/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.1.6/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.2.0/opam: No space left on device
error: unable to create file packages/ez_api/ez_api.0.1.0/opam: No space left on device
error: unable to create file packages/ez_api/ez_api.1.0.0/opam: No space left on device
error: unable to create file packages/ez_cmdliner/ez_cmdliner.0.4.3/opam: No space left on device
error: unable to create file packages/ez_config/ez_config.0.2.0/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.2.0/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.2.3/opam: No space left on device
error: unable to create file packages/ezcurl/ezcurl.0.2.3/opam: No space left on device
error: unable to create file packages/ezcurl/ezcurl.0.3/opam: No space left on device
error: unable to create file packages/ezdl/ezdl.2.71.10/opam: No space left on device
error: unable to create file packages/ezjs_blockies/ezjs_blockies.0.1/opam: No space left on device
error: unable to create file packages/ezjs_cytoscape/ezjs_cytoscape.0.1/opam: No space left on device
error: unable to create file packages/ezjs_d3pie/ezjs_d3pie.0.1/opam: No space left on device
error: unable to create file packages/ezjs_extension/ezjs_extension.0.1/opam: No space left on device
error: unable to create file packages/ezjs_extension/ezjs_extension.0.2/opam: No space left on device
error: unable to create file packages/ezjsonm-encoding/ezjsonm-encoding.2.0.0/opam: No space left on device
error: unable to create file packages/ezjsonm-lwt/ezjsonm-lwt.1.1.0/opam: No space left on device
error: unable to create file packages/ezresto/ezresto.0.6/opam: No space left on device
error: unable to create file packages/ezsqlite/ezsqlite.0.2/opam: No space left on device
error: unable to create file packages/fadecider/fadecider.0.7/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.3.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.4.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.6.1/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.3.0/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/faraday.0.6.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.7.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.7.2/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.7.3/opam: No space left on device
error: unable to create file packages/farfadet/farfadet.0.3/opam: No space left on device
error: unable to create file packages/farmhash/farmhash.0.3/opam: No space left on device
error: unable to create file packages/farmhash/farmhash.0.4/opam: No space left on device
error: unable to create file packages/feather/feather.0.1.0/opam: No space left on device
error: unable to create file packages/feather/feather.0.3.0/opam: No space left on device
error: unable to create file packages/feather_async/feather_async.0.1.0/opam: No space left on device
error: unable to create file packages/feather_async/feather_async.0.3.0/opam: No space left on device
error: unable to create file packages/febusy/febusy.0.0.0/opam: No space left on device
error: unable to create file packages/fehu/fehu.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/fehu/fehu.1.0.0~alpha2/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/ffmpeg-av/ffmpeg-av.1.1.6/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.2.5/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.2.6/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.0.0~beta2/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.10/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.1.2/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.7/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-avfilter/ffmpeg-avfilter.1.1.3/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.4/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.1.2/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.1.4/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.1.5/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.1.2/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.2.1/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.4.0/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.4.2/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.2.4/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.2.5/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.2.6/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.2.0/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.6.1/opam: No space left on device
error: unable to create file packages/fieldslib/fieldslib.v0.14.0/opam: No space left on device
error: unable to create file packages/fieldslib/fieldslib.v0.15.0/opam: No space left on device
error: unable to create file packages/file-rewriter/file-rewriter.0.0.3/opam: No space left on device
error: unable to create file packages/file_path/file_path.v0.15.0/opam: No space left on device
error: unable to create file packages/findlib_top/findlib_top.v0.10.0/opam: No space left on device
error: unable to create file packages/findlib_top/findlib_top.v0.11.0/opam: No space left on device
error: unable to create file packages/fit/fit.1.0.1/opam: No space left on device
error: unable to create file packages/fit/fit.1.0.2/opam: No space left on device
error: unable to create file packages/fit/fit.1.0.3/opam: No space left on device
error: unable to create file packages/fit/fit.1.1.0/opam: No space left on device
error: unable to create file packages/fix/fix.20201120/opam: No space left on device
error: unable to create file packages/fix/fix.20220121/opam: No space left on device
error: unable to create file packages/fix/fix.20250428/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/flexdll/flexdll.0.43/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.44/opam: No space left on device
error: unable to create file packages/flint/flint.0.1.5/opam: No space left on device
error: unable to create file packages/flint/flint.0.2.3/opam: No space left on device
error: unable to create file packages/float_option/float_option.0.0.2/opam: No space left on device
error: unable to create file packages/fm-simplex-plugin/fm-simplex-plugin.1.01/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.2/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.3/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/fmlib.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.6/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.7/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.8/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.9/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.6.0/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.6/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.5.9/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.6.2/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.8.0/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.8.6/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.8.8/opam: No space left on device
error: unable to create file packages/fontforge-of-ocaml/fontforge-of-ocaml.1.1.0/opam: No space left on device
error: unable to create file packages/forester/forester.2.0/opam: No space left on device
error: unable to create file packages/forester/forester.2.5/opam: No space left on device
error: unable to create file packages/forester/forester.4.0.0/opam: No space left on device
error: unable to create file packages/forester/forester.5.0/opam: No space left on device
error: unable to create file packages/format/format.0.1/opam: No space left on device
error: unable to create file packages/frama-c-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/opam: No space left on device
error: unable to create file packages/frama-c-luncov/frama-c-luncov.0.1/opam: No space left on device
error: unable to create file packages/frama-c-luncov/frama-c-luncov.0.2.1/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.10~beta/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.19.1/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-clang/frama-clang.0.0.14/opam: No space left on device
error: unable to create file packages/frama-clang/frama-clang.0.0.15/opam: No space left on device
error: unable to create file packages/frama-clang/frama-clang.0.0.17/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/frenetic/frenetic.5.0.5/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/fswatch/fswatch.11-0.1.0/opam: No space left on device
error: unable to create file packages/fswatch/fswatch.11-0.1.1/opam: No space left on device
error: unable to create file packages/functoria-runtime/functoria-runtime.4.0.0/opam: No space left on device
error: unable to create file packages/functoria/functoria.4.0.0/opam: No space left on device
error: unable to create file packages/fzf/fzf.v0.15.0/opam: No space left on device
error: unable to create file packages/fzf/fzf.v0.17.0/opam: No space left on device
error: unable to create file packages/gappa/gappa.1.6.0/opam: No space left on device
error: unable to create file packages/gavl/gavl.0.1.5/opam: No space left on device
error: unable to create file packages/gbddml/gbddml.2.71.10/opam: No space left on device
error: unable to create file packages/gd/gd.1.1/opam: No space left on device
error: unable to create file packages/gemini/gemini.0.2.0/opam: No space left on device
error: unable to create file packages/gemini/gemini.0.3.0/opam: No space left on device
error: unable to create file packages/gen/gen.0.5.1/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/gendarme-ezjsonm/gendarme-ezjsonm.0.4.0/opam: No space left on device
error: unable to create file packages/gendarme-json/gendarme-json.0.2.0/opam: No space left on device
error: unable to create file packages/gendarme-json/gendarme-json.0.3.0/opam: No space left on device
error: unable to create file packages/genspio/genspio.0.0.1/opam: No space left on device
error: unable to create file packages/geoml/geoml.0.1/opam: No space left on device
error: unable to create file packages/get_line/get_line.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/get_line/get_line.4.0.1/opam: No space left on device
error: unable to create file packages/gettext-stub/gettext-stub.0.4.1/opam: No space left on device
error: unable to create file packages/gettext-stub/gettext-stub.0.4.2/opam: No space left on device
error: unable to create file packages/gettext-stub/gettext-stub.0.5.0/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.3.8/opam: No space left on device
error: unable to create file packages/git-kv/git-kv.0.1.3/opam: No space left on device
error: unable to create file packages/git-kv/git-kv.0.2.0/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.17.0/opam: No space left on device
error: unable to create file packages/git-split/git-split.0.0.2/opam: No space left on device
error: unable to create file packages/git-split/git-split.0.0.3/opam: No space left on device
error: unable to create file packages/github-hooks/github-hooks.0.4.0/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.0.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.3.1/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.2/opam: No space left on device
error: unable to create file packages/gitlab-jsoo/gitlab-jsoo.0.1.0/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-unix/gitlab-unix.0.1.3/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.4/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.6/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.7/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-1/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1/opam: No space left on device
error: unable to create file packages/globlon/globlon.1.0/opam: No space left on device
error: unable to create file packages/gluon/gluon.0.0.9/opam: No space left on device
error: unable to create file packages/gluten-async/gluten-async.0.2.1/opam: No space left on device
error: unable to create file packages/gluten-async/gluten-async.0.4.0/opam: No space left on device
error: unable to create file packages/gluten-async/gluten-async.0.5.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-lwt-unix/gluten-lwt-unix.0.2.0/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.4.1/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.3.0/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.5.2/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-mirage/gluten-mirage.0.5.0/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/gmp/gmp.6.2.1-1/opam: No space left on device
error: unable to create file packages/gmp/gmp.6.2.1-2/opam: No space left on device
error: unable to create file packages/gnuplot/gnuplot.0.5.3/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.2.0.0/opam: No space left on device
error: unable to create file packages/goblint-cil/goblint-cil.2.0.1/opam: No space left on device
error: unable to create file packages/goblint/goblint.2.0.1/opam: No space left on device
error: unable to create file packages/gopcaml-mode/gopcaml-mode.0.0.6/opam: No space left on device
error: unable to create file packages/gospel/gospel.0.1.0/opam: No space left on device
error: unable to create file packages/gpx/gpx.1.0.1/opam: No space left on device
error: unable to create file packages/gpx/gpx.1.1.1/opam: No space left on device
error: unable to create file packages/gr/gr.0.0.1/opam: No space left on device
error: unable to create file packages/grain_dypgen/grain_dypgen.0.1/opam: No space left on device
error: unable to create file packages/graphlib/graphlib.2.4.0/opam: No space left on device
error: unable to create file packages/graphql-async/graphql-async.0.1.0/opam: No space left on device
error: unable to create file packages/graphql-async/graphql-async.0.13.0/opam: No space left on device
error: unable to create file packages/graphql-async/graphql-async.0.14.0/opam: No space left on device
error: unable to create file packages/graphql-async/graphql-async.0.8.0/opam: No space left on device
error: unable to create file packages/graphql-cohttp/graphql-cohttp.0.9.0/opam: No space left on device
error: unable to create file packages/graphql-lwt/graphql-lwt.0.13.0/opam: No space left on device
error: unable to create file packages/graphql-lwt/graphql-lwt.0.14.0/opam: No space left on device
error: unable to create file packages/graphql-lwt/graphql-lwt.0.6.0/opam: No space left on device
error: unable to create file packages/graphql-lwt/graphql-lwt.0.9.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.11.0/opam: No space left on device
error: unable to create file packages/graphql_parser/graphql_parser.0.5.0/opam: No space left on device
error: unable to create file packages/graphql_parser/graphql_parser.0.7.0/opam: No space left on device
error: unable to create file packages/graphv_webgl_impl/graphv_webgl_impl.0.1.1/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.10/opam: No space left on device
error: unable to create file packages/grenier/grenier.0.11/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/grpc-async/grpc-async.0.1.0/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.24.0/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.24.2/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.24.3/opam: No space left on device
error: unable to create file packages/gsl/gsl.1.25.0/opam: No space left on device
error: unable to create file packages/guardian/guardian.0.1.0/opam: No space left on device
error: unable to create file packages/gufo/gufo.0.1.2/opam: No space left on device
error: unable to create file packages/guile/guile.1.0/opam: No space left on device
error: unable to create file packages/gxl-light/gxl-light.1.0/opam: No space left on device
error: unable to create file packages/h1-lwt-unix/h1-lwt-unix.1.0.0/opam: No space left on device
error: unable to create file packages/h1-lwt-unix/h1-lwt-unix.1.1.0/opam: No space left on device
error: unable to create file packages/h2-eio/h2-eio.0.10.0/opam: No space left on device
error: unable to create file packages/h2-eio/h2-eio.0.11.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.11.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-unix/h2-lwt-unix.0.4.0/opam: No space left on device
error: unable to create file packages/h2-lwt-unix/h2-lwt-unix.0.5.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.6.0/opam: No space left on device
error: unable to create file packages/h2-lwt/h2-lwt.0.8.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.8.0/opam: No space left on device
error: unable to create file packages/h2-mirage/h2-mirage.0.9.0/opam: No space left on device
error: unable to create file packages/h2/h2.0.9.0/opam: No space left on device
error: unable to create file packages/hack_parallel/hack_parallel.1.0.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.4.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.4.2/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.4.4/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.6.0/opam: No space left on device
error: unable to create file packages/hacl-star-raw/hacl-star-raw.0.7.2/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.1.1/opam: No space left on device
error: unable to create file packages/hacl-star/hacl-star.0.6.1/opam: No space left on device
error: unable to create file packages/hacl_x25519/hacl_x25519.0.2.2/opam: No space left on device
error: unable to create file packages/hamt/hamt.1.0.0/opam: No space left on device
error: unable to create file packages/happy-eyeballs-mirage/happy-eyeballs-mirage.1.2.2/opam: No space left on device
error: unable to create file packages/happy-eyeballs-mirage/happy-eyeballs-mirage.2.0.1/opam: No space left on device
error: unable to create file packages/happy-eyeballs/happy-eyeballs.0.0.7/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.15.0/opam: No space left on device
error: unable to create file packages/hardcaml/hardcaml.v0.17.1/opam: No space left on device
error: unable to create file packages/hardcaml_handshake/hardcaml_handshake.v0.16.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_waveterm/hardcaml_waveterm.v0.13.0/opam: No space left on device
error: unable to create file packages/hardcaml_xilinx_reports/hardcaml_xilinx_reports.v0.17.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/haxe/haxe.4.1.1/opam: No space left on device
error: unable to create file packages/hc/hc.0.2/opam: No space left on device
error: unable to create file packages/hc/hc.0.3/opam: No space left on device
error: unable to create file packages/hc/hc.0.4/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.42-beta.3/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.52/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.54/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.56.1/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.56.2/opam: No space left on device
error: unable to create file packages/herdtools7/herdtools7.7.56.3/opam: No space left on device
error: unable to create file packages/hex_encode/hex_encode.v0.15.0/opam: No space left on device
error: unable to create file packages/hidapi/hidapi.1.1.1/opam: No space left on device
error: unable to create file packages/hidapi/hidapi.1.1/opam: No space left on device
error: unable to create file packages/higher_kinded/higher_kinded.v0.17.0/opam: No space left on device
error: unable to create file packages/highlexer/highlexer.0.1/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.1/opam: No space left on device
error: unable to create file packages/higlo/higlo.0.4/opam: No space left on device
error: unable to create file packages/hilite/hilite.0.2.0/opam: No space left on device
error: unable to create file packages/hilite/hilite.0.4.0/opam: No space left on device
error: unable to create file packages/hilite/hilite.0.5.0/opam: No space left on device
error: unable to create file packages/hkdf/hkdf.1.0.4/opam: No space left on device
fatal: cannot create directory at 'packages/hl_yaml': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:36.38: Job failed: Failed: Build failed