Build:
- 0
2026-01-27 19:21.50: New job: test octez-protocol-compiler.19.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 octez-protocol-compiler.19.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" != 'octez-protocol-compiler.19.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 octez-protocol-compiler.19.1) || true
RUN opam reinstall --with-test --verbose octez-protocol-compiler.19.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" != 'octez-protocol-compiler.19.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.50: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.0.0-octez-protocol-compiler.19.1-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.50: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn mirage-runtime.4.0.0 4.0.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall mirage-runtime.4.0.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'mirage-runtime.4.0.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall octez-protocol-compiler.19.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\" != 'octez-protocol-compiler.19.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 octez-protocol-compiler.19.1) || true"))
(run (shell "opam reinstall --with-test --verbose octez-protocol-compiler.19.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\" != 'octez-protocol-compiler.19.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.50: Waiting for resource in pool OCluster
2026-01-27 19:38.41: Waiting for worker…
2026-01-27 19:39.47: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file .github/workflows/unlabel.yml: No space left on device
error: unable to create file COPYING: No space left on device
error: unable to create file README.md: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.17/opam: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.18/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.4/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.5/opam: No space left on device
error: unable to create file packages/DkSDKFFIOCaml_StdExport-linux_x86_64/DkSDKFFIOCaml_StdExport-linux_x86_64.1.0.0~1/opam: No space left on device
error: unable to create file packages/FPauth-core/FPauth-core.1.0.0/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.3.4.3-1/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.4.0.0/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.4/opam: No space left on device
error: unable to create file packages/ISO8601/ISO8601.0.2.5/opam: No space left on device
error: unable to create file packages/MlFront_Cache/MlFront_Cache.2.3.0/opam: No space left on device
error: unable to create file packages/MlFront_Cli/MlFront_Cli.2.1.4~prerel2/opam: No space left on device
error: unable to create file packages/MlFront_Cli/MlFront_Cli.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Manip/MlFront_Manip.2.3.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.2.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.2.1/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.3.2/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.4.0/opam: No space left on device
error: unable to create file packages/OSCADml/OSCADml.0.2.3/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.0.1.0/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.1/opam: No space left on device
error: unable to create file packages/Snowflake/Snowflake.0.02.01/opam: No space left on device
error: unable to create file packages/aarch64-esperanto/aarch64-esperanto.0.0.6/opam: No space left on device
error: unable to create file packages/abella/abella.2.0.2/opam: No space left on device
error: unable to create file packages/abella/abella.2.0.7/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.16.0/opam: No space left on device
error: unable to create file packages/accessor_base/accessor_base.v0.17.0/opam: No space left on device
error: unable to create file packages/accessor_core/accessor_core.v0.14.1/opam: No space left on device
error: unable to create file packages/aches-lwt/aches-lwt.1.0.0/opam: No space left on device
error: unable to create file packages/aches/aches.1.1.0/opam: No space left on device
error: unable to create file packages/activitypub/activitypub.0.1.0/opam: No space left on device
error: unable to create file packages/activitypub_gui/activitypub_gui.0.1.0/opam: No space left on device
error: unable to create file packages/adobe_font_metrics/adobe_font_metrics.1.0.0/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.1.0/opam: No space left on device
error: unable to create file packages/alba/alba.0.4.0/opam: No space left on device
error: unable to create file packages/alba/alba.0.4.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.5.0/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.5.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.6.1/opam: No space left on device
error: unable to create file packages/alcotest-lwt/alcotest-lwt.1.9.0/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.0.1.0/opam: No space left on device
error: unable to create file packages/algaeff/algaeff.0.2.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.1.1/opam: No space left on device
error: unable to create file packages/alice/alice.0.2.0/opam: No space left on device
error: unable to create file packages/alt-ergo-free/alt-ergo-free.2.0.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.3.3/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.4.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.4.1/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.6.1/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.6.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.1/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.4/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.3.0/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.6.0/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.0.95.2/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.3.1/opam: No space left on device
error: unable to create file packages/ambient-context/ambient-context.0.1.0/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.0.3/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.1.0/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.0.0/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.2.1.0/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.7.0/opam: No space left on device
error: unable to create file packages/angstrom-lwt-unix/angstrom-lwt-unix.0.10.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-unix/angstrom-unix.0.6.0/opam: No space left on device
error: unable to create file packages/angstrom-unix/angstrom-unix.0.8.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.12.1/opam: No space left on device
error: unable to create file packages/angstrom/angstrom.0.8.1/opam: No space left on device
error: unable to create file packages/ansicolor/ansicolor.0.5/opam: No space left on device
error: unable to create file packages/ansifmt/ansifmt.0.2.0/opam: No space left on device
error: unable to create file packages/ansifmt/ansifmt.1.0.0~pre2/opam: No space left on device
error: unable to create file packages/anycache/anycache.0.6.0/opam: No space left on device
error: unable to create file packages/ao/ao.0.2.0/opam: No space left on device
error: unable to create file packages/ao/ao.0.2.1/opam: No space left on device
error: unable to create file packages/apero-net/apero-net.0.4.7/opam: No space left on device
error: unable to create file packages/apero-time/apero-time.0.4.7/opam: No space left on device
error: unable to create file packages/apronext/apronext.1.0.2/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.12/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.13/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.1.0/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.11/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.14/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.16/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.2/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.5/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.6/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.5.2/opam: No space left on device
error: unable to create file packages/archi-lwt/archi-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/archi/archi.0.1.0/opam: No space left on device
error: unable to create file packages/arrakis/arrakis.1.0.0/opam: No space left on device
error: unable to create file packages/arrakis/arrakis.1.1.1/opam: No space left on device
error: unable to create file packages/arrayjit/arrayjit.0.6.0/opam: No space left on device
error: unable to create file packages/art/art.0.2.0/opam: No space left on device
error: unable to create file packages/art/art.0.3.0/opam: No space left on device
error: unable to create file packages/asai/asai.0.2.0/opam: No space left on device
error: unable to create file packages/asai/asai.0.3.0/opam: No space left on device
error: unable to create file packages/asak/asak.0.1/opam: No space left on device
error: unable to create file packages/ask-integrator/ask-integrator.0.2.0/opam: No space left on device
error: unable to create file packages/asl/asl.0.6/opam: No space left on device
error: unable to create file packages/asl/asl.0.8/opam: No space left on device
error: unable to create file packages/async-uri/async-uri.0.2/opam: No space left on device
error: unable to create file packages/async-uri/async-uri.0.4.0/opam: No space left on device
error: unable to create file packages/async/async.v0.12.0/opam: No space left on device
error: unable to create file packages/async/async.v0.17.0/opam: No space left on device
error: unable to create file packages/async_durable/async_durable.v0.12.0/opam: No space left on device
error: unable to create file packages/async_durable/async_durable.v0.13.0/opam: No space left on device
error: unable to create file packages/async_extra/async_extra.v0.12.0/opam: No space left on device
error: unable to create file packages/async_extra/async_extra.v0.13.0/opam: No space left on device
error: unable to create file packages/async_extra/async_extra.v0.14.0/opam: No space left on device
error: unable to create file packages/async_extra/async_extra.v0.15.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.12.0/opam: No space left on device
error: unable to create file packages/async_interactive/async_interactive.v0.15.0/opam: No space left on device
error: unable to create file packages/async_kernel/async_kernel.v0.12.0/opam: No space left on device
error: unable to create file packages/async_kernel/async_kernel.v0.13.0/opam: No space left on device
error: unable to create file packages/async_rpc_websocket/async_rpc_websocket.v0.15.0/opam: No space left on device
error: unable to create file packages/async_rpc_websocket/async_rpc_websocket.v0.16.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.15.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.16.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.12.0/opam: No space left on device
error: unable to create file packages/async_smtp/async_smtp.v0.13.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.12.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.14.0/opam: No space left on device
error: unable to create file packages/async_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/atacama/atacama.0.0.5/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.11.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.15.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.16.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.7.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.8.0/opam: No space left on device
error: unable to create file packages/atd/atd.2.9.1/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.13.0/opam: No space left on device
error: unable to create file packages/atdgen-codec-runtime/atdgen-codec-runtime.2.14.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.11.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.12.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.13.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.14.1/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.1.10.2/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.12.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.6.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.7.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.8.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.7.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.2.8.0/opam: No space left on device
error: unable to create file packages/atdpy/atdpy.3.0.1/opam: No space left on device
error: unable to create file packages/atds/atds.2.10.0/opam: No space left on device
error: unable to create file packages/atds/atds.2.8.0/opam: No space left on device
error: unable to create file packages/atdts/atdts.2.13.0/opam: No space left on device
error: unable to create file packages/atomic/atomic.0.1/opam: No space left on device
error: unable to create file packages/aws-async/aws-async.1.2/opam: No space left on device
error: unable to create file packages/aws-cloudformation/aws-cloudformation.0.1.0/opam: No space left on device
error: unable to create file packages/aws-lwt/aws-lwt.1.2/opam: No space left on device
error: unable to create file packages/aws-rds/aws-rds.1.2/opam: No space left on device
error: unable to create file packages/aws-route53/aws-route53.1.2/opam: No space left on device
error: unable to create file packages/aws-s3-lwt/aws-s3-lwt.4.5.1/opam: No space left on device
error: unable to create file packages/aws-s3-lwt/aws-s3-lwt.4.7.0/opam: No space left on device
error: unable to create file packages/aws-sdb/aws-sdb.1.2/opam: No space left on device
error: unable to create file packages/awsm-codegen/awsm-codegen.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/baby/baby.20241204/opam: No space left on device
error: unable to create file packages/backoff/backoff.0.1.0/opam: No space left on device
error: unable to create file packages/baguette_sharp/baguette_sharp.2.1.1/opam: No space left on device
error: unable to create file packages/baguette_sharp/baguette_sharp.2.2.1-1/opam: No space left on device
error: unable to create file packages/bam/bam.0.2/opam: No space left on device
error: unable to create file packages/bam/bam.0.3/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.4.0/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.4.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.3.0/opam: No space left on device
error: unable to create file packages/bap-bil/bap-bil.2.1.0/opam: No space left on device
error: unable to create file packages/bap-build/bap-build.2.3.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-byteweight-frontend/bap-byteweight-frontend.2.1.0/opam: No space left on device
error: unable to create file packages/bap-c/bap-c.2.4.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.2.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.5.0/opam: No space left on device
error: unable to create file packages/bap-demangle/bap-demangle.2.4.0/opam: No space left on device
error: unable to create file packages/bap-disassemble/bap-disassemble.2.2.0/opam: No space left on device
error: unable to create file packages/bap-disassemble/bap-disassemble.2.4.0/opam: No space left on device
error: unable to create file packages/bap-elementary/bap-elementary.2.2.0/opam: No space left on device
error: unable to create file packages/bap-elementary/bap-elementary.2.3.0/opam: No space left on device
error: unable to create file packages/bap-elementary/bap-elementary.2.4.0/opam: No space left on device
error: unable to create file packages/bap-frontc/bap-frontc.2.1.0/opam: No space left on device
error: unable to create file packages/bap-frontc/bap-frontc.2.2.0/opam: No space left on device
error: unable to create file packages/bap-ida-plugin/bap-ida-plugin.2.5.0/opam: No space left on device
error: unable to create file packages/bap-knowledge/bap-knowledge.2.3.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.3.0/opam: No space left on device
error: unable to create file packages/bap-mc/bap-mc.2.5.0/opam: No space left on device
error: unable to create file packages/bap-mips/bap-mips.2.4.0/opam: No space left on device
error: unable to create file packages/bap-mips/bap-mips.2.5.0/opam: No space left on device
error: unable to create file packages/bap-optimization/bap-optimization.2.4.0/opam: No space left on device
error: unable to create file packages/bap-phoenix/bap-phoenix.2.1.0/opam: No space left on device
error: unable to create file packages/bap-phoenix/bap-phoenix.2.2.0/opam: No space left on device
error: unable to create file packages/bap-powerpc/bap-powerpc.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-loader/bap-primus-loader.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-mark-visited/bap-primus-mark-visited.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-mark-visited/bap-primus-mark-visited.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-mark-visited/bap-primus-mark-visited.2.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-random/bap-primus-random.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-random/bap-primus-random.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-systems/bap-primus-systems.2.1.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-test/bap-primus-test.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-x86/bap-primus-x86.2.5.0/opam: No space left on device
error: unable to create file packages/bap-radare2/bap-radare2.2.5.0/opam: No space left on device
error: unable to create file packages/bap-raw/bap-raw.2.4.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.0.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.1.0/opam: No space left on device
error: unable to create file packages/bap-signatures/bap-signatures.1.2.0/opam: No space left on device
error: unable to create file packages/bap-specification/bap-specification.2.2.0/opam: No space left on device
error: unable to create file packages/bap-specification/bap-specification.2.3.0/opam: No space left on device
error: unable to create file packages/bap-specification/bap-specification.2.4.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-std/bap-std.2.5.0/opam: No space left on device
error: unable to create file packages/bap-strings/bap-strings.2.2.0/opam: No space left on device
error: unable to create file packages/bap-stub-resolver/bap-stub-resolver.2.1.0/opam: No space left on device
error: unable to create file packages/bap-stub-resolver/bap-stub-resolver.2.2.0/opam: No space left on device
error: unable to create file packages/bap-stub-resolver/bap-stub-resolver.2.3.0/opam: No space left on device
error: unable to create file packages/bap-taint-propagator/bap-taint-propagator.2.5.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.1.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.2.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.3.0/opam: No space left on device
error: unable to create file packages/bap-taint/bap-taint.2.5.0/opam: No space left on device
error: unable to create file packages/bap-thumb/bap-thumb.2.4.0/opam: No space left on device
error: unable to create file packages/bap/bap.2.1.0/opam: No space left on device
error: unable to create file packages/bap/bap.2.2.0/opam: No space left on device
error: unable to create file packages/bap/bap.2.4.0/opam: No space left on device
error: unable to create file packages/bare/bare.2.3.0/opam: No space left on device
error: unable to create file packages/bare_encoding/bare_encoding.0.3.1/opam: No space left on device
error: unable to create file packages/bare_encoding/bare_encoding.0.3/opam: No space left on device
error: unable to create file packages/base-nnp/base-nnp.base/opam: No space left on device
error: unable to create file packages/base-num/base-num.base/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.17.1/opam: No space left on device
error: unable to create file packages/base/base.v0.17.2/opam: No space left on device
error: unable to create file packages/base64/base64.2.2.0/opam: No space left on device
error: unable to create file packages/base64/base64.2.3.0/opam: No space left on device
error: unable to create file packages/base64/base64.3.0.0/opam: No space left on device
error: unable to create file packages/base_bigstring/base_bigstring.v0.14.0/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.16.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_async/bastet_async.0.1.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/batch_jaro_winkler/batch_jaro_winkler.0.1.1/opam: No space left on device
error: unable to create file packages/batsat/batsat.0.4/opam: No space left on device
error: unable to create file packages/bddrand/bddrand.2.71.10/opam: No space left on device
error: unable to create file packages/bddrand/bddrand.2.71.15/opam: No space left on device
error: unable to create file packages/bechamel-notty/bechamel-notty.0.3.0/opam: No space left on device
error: unable to create file packages/bechamel/bechamel.0.5.0/opam: No space left on device
error: unable to create file packages/beluga/beluga.0.8.1/opam: No space left on device
error: unable to create file packages/beluga/beluga.0.8.2/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/bidirectional_map/bidirectional_map.v0.17.0/opam: No space left on device
error: unable to create file packages/bigarray-compat/bigarray-compat.1.0.0/opam: No space left on device
error: unable to create file packages/bigarray-overlap/bigarray-overlap.0.2.0/opam: No space left on device
error: unable to create file packages/bigdecimal/bigdecimal.v0.15.0/opam: No space left on device
error: unable to create file packages/bignum/bignum.v0.17.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.6.1/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-display/bimage-display.0.3.0/opam: No space left on device
error: unable to create file packages/bimage-display/bimage-display.0.3.1/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.4.0/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.5.0/opam: No space left on device
error: unable to create file packages/bimage-io/bimage-io.0.6.0/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.4.0/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.1/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.2/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.3/opam: No space left on device
error: unable to create file packages/bin/bin.0.0.4/opam: No space left on device
error: unable to create file packages/bin_prot/bin_prot.v0.17.0/opam: No space left on device
error: unable to create file packages/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/binaryen.0.18.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.25.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.3.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.34.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.4.0/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.4.0/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.5.0.1/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.6.3/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.7.1/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.7.2/opam: No space left on device
error: unable to create file packages/bisect-summary/bisect-summary.0.3/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.1.3.1/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.1.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.4.1/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.5.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.8.1/opam: No space left on device
error: unable to create file packages/bitcoin/bitcoin.3.0/opam: No space left on device
error: unable to create file packages/bitcoinml/bitcoinml.0.4.1/opam: No space left on device
error: unable to create file packages/bitstring/bitstring.4.1.0/opam: No space left on device
error: unable to create file packages/bitstring/bitstring.5.0.0/opam: No space left on device
error: unable to create file packages/bitstring/bitstring.5.0.2/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.1.0/opam: No space left on device
error: unable to create file packages/bitvec/bitvec.2.4.0/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.0/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.1/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.6.1/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.7.0/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.8.0/opam: No space left on device
error: unable to create file packages/bitwuzla/bitwuzla.0.0.1/opam: No space left on device
error: unable to create file packages/bitwuzla/bitwuzla.1.0.0/opam: No space left on device
error: unable to create file packages/blake2/blake2.0.3/opam: No space left on device
error: unable to create file packages/bls12-381-gen/bls12-381-gen.0.4.2/opam: No space left on device
error: unable to create file packages/bls12-381-hash/bls12-381-hash.0.0.5/opam: No space left on device
error: unable to create file packages/bls12-381-hash/bls12-381-hash.1.0.0/opam: No space left on device
error: unable to create file packages/bls12-381-legacy/bls12-381-legacy.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381-signature/bls12-381-signature.0.0.1/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.0.5.0/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.1.0.0/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.1.1.0/opam: No space left on device
error: unable to create file packages/bls12-381-unix/bls12-381-unix.1.1.1/opam: No space left on device
error: unable to create file packages/bls12-381/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/bn128/bn128.0.1.2/opam: No space left on device
error: unable to create file packages/bn128/bn128.0.1.3/opam: No space left on device
error: unable to create file packages/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/bogue/bogue.20220730/opam: No space left on device
error: unable to create file packages/bogue/bogue.20221112/opam: No space left on device
error: unable to create file packages/bolt/bolt.1.3/opam: No space left on device
error: unable to create file packages/boltzgen/boltzgen.0.9.2/opam: No space left on device
error: unable to create file packages/boltzgen/boltzgen.0.9.5/opam: No space left on device
error: unable to create file packages/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/bonsai/bonsai.v0.14.0/opam: No space left on device
error: unable to create file packages/bracetax/bracetax.0.4/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/bson2/bson2.0.0.1/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/bst/bst.5.0.0/opam: No space left on device
error: unable to create file packages/bst/bst.6.0.0/opam: No space left on device
error: unable to create file packages/bst/bst.6.1.0/opam: No space left on device
error: unable to create file packages/bst/bst.7.0.0/opam: No space left on device
error: unable to create file packages/bwd/bwd.1.1.0/opam: No space left on device
error: unable to create file packages/bytearray/bytearray.1.0.3/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.114/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.115/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.117/opam: No space left on device
error: unable to create file packages/ca-certs/ca-certs.0.2.0/opam: No space left on device
error: unable to create file packages/ca-certs/ca-certs.0.2.3/opam: No space left on device
error: unable to create file packages/cachet-lwt/cachet-lwt.0.0.2/opam: No space left on device
error: unable to create file packages/cachet/cachet.0.0.2/opam: No space left on device
error: unable to create file packages/cairo2-pango/cairo2-pango.0.6.1/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.6.3/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.6.4/opam: No space left on device
error: unable to create file packages/caisar-ir/caisar-ir.0.2/opam: No space left on device
error: unable to create file packages/caisar/caisar.1.0/opam: No space left on device
error: unable to create file packages/caisar/caisar.2.0/opam: No space left on device
error: unable to create file packages/calcium/calcium.0.2.3/opam: No space left on device
error: unable to create file packages/calcium/calcium.0.3.1/opam: No space left on device
error: unable to create file packages/calculon-web/calculon-web.0.7/opam: No space left on device
error: unable to create file packages/calculon/calculon.0.3/opam: No space left on device
error: unable to create file packages/camelot/camelot.0.5/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.2.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.2/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.4.3/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.6.0/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.6.2/opam: No space left on device
error: unable to create file packages/camels/camels.0.0.3/opam: No space left on device
error: unable to create file packages/camelsnakekebab/camelsnakekebab.0.4/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.3/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.5/opam: No space left on device
error: unable to create file packages/camlix/camlix.0.1/opam: No space left on device
error: unable to create file packages/camlkit-base/camlkit-base.0.2.0/opam: No space left on device
error: unable to create file packages/camlkit/camlkit.0.1.1/opam: No space left on device
error: unable to create file packages/camllib/camllib.1.3.2/opam: No space left on device
error: unable to create file packages/camllib/camllib.1.3.3/opam: No space left on device
error: unable to create file packages/camlmix/camlmix.1.3.0/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02.0-1modular-implicits/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.03+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.04+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.04+system/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.07+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.07+system/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.09+system/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.12+system/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.13+1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.5.1/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.03.00/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.03.06/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.4/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.8/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/camyll/camyll.0.4.2/opam: No space left on device
error: unable to create file packages/caper/caper.0.9/opam: No space left on device
error: unable to create file packages/capnp/capnp.3.0.0/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/capnp/capnp.3.4.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.0.10.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.9.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-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.2.0/opam: No space left on device
error: unable to create file packages/caqti-driver-mariadb/caqti-driver-mariadb.1.9.0/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-pgx/caqti-driver-pgx.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-driver-postgresql/caqti-driver-postgresql.0.9.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.6.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.9.0/opam: No space left on device
error: unable to create file packages/caqti-dynload/caqti-dynload.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-eio/caqti-eio.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.1.6.0/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-miou/caqti-miou.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-mirage/caqti-mirage.2.1.1/opam: No space left on device
error: unable to create file packages/caqti-mirage/caqti-mirage.2.1.2/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.0.10.1/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.0.10.2/opam: No space left on device
error: unable to create file packages/caqti-type-calendar/caqti-type-calendar.0.11.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.0.11.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.2.1/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.2.3/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.4.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.5.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.8.0/opam: No space left on device
error: unable to create file packages/carton-git/carton-git.0.2.0/opam: No space left on device
error: unable to create file packages/carton-git/carton-git.0.4.3/opam: No space left on device
error: unable to create file packages/carton/carton.0.4.3/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/carton/carton.1.1.0/opam: No space left on device
error: unable to create file packages/carton/carton.1.2.0/opam: No space left on device
error: unable to create file packages/catala-format/catala-format.0.1.0/opam: No space left on device
error: unable to create file packages/catala-format/catala-format.0.1.1/opam: No space left on device
error: unable to create file packages/catala-lsp/catala-lsp.1.0.0~beta/opam: No space left on device
error: unable to create file packages/catapult-file/catapult-file.0.1/opam: No space left on device
error: unable to create file packages/catapult-sqlite/catapult-sqlite.0.1/opam: No space left on device
error: unable to create file packages/catapult-sqlite/catapult-sqlite.0.2/opam: No space left on device
error: unable to create file packages/catapult/catapult.0.1/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/cbor/cbor.0.3/opam: No space left on device
error: unable to create file packages/cbor/cbor.0.5/opam: No space left on device
error: unable to create file packages/cca/cca.0.1/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/ceph/ceph.20240106/opam: No space left on device
error: unable to create file packages/certify/certify.0.2/opam: No space left on device
error: unable to create file packages/cf-lwt/cf-lwt.0.3/opam: No space left on device
error: unable to create file packages/cf/cf.0.3/opam: No space left on device
error: unable to create file packages/cfg/cfg.2.3.1/opam: No space left on device
error: unable to create file packages/cfgen/cfgen.1.0/opam: No space left on device
error: unable to create file packages/cgi/cgi.0.10/opam: No space left on device
error: unable to create file packages/cgi/cgi.0.9/opam: No space left on device
error: unable to create file packages/chamelon/chamelon.0.0.10/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.2.0.0/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.2.1.1/opam: No space left on device
error: unable to create file packages/charrua-unix/charrua-unix.1.5.0/opam: No space left on device
error: unable to create file packages/charrua-unix/charrua-unix.2.0.0/opam: No space left on device
error: unable to create file packages/charset/charset.0.1.0/opam: No space left on device
error: unable to create file packages/charset/charset.0.2.0/opam: No space left on device
error: unable to create file packages/chase/chase.1.5/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.1.0/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.1.1/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.2.1/opam: No space left on device
error: unable to create file packages/checked_oint/checked_oint.0.4.0/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.3.2/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.4/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.20.1/opam: No space left on device
error: unable to create file packages/cid/cid.0.1.0/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.15.1/opam: No space left on device
error: unable to create file packages/clangml-transforms/clangml-transforms.0.24/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.6.0.2/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.6.0.5/opam: No space left on device
error: unable to create file packages/clangml/clangml.3.7.0.2/opam: No space left on device
error: unable to create file packages/clap/clap.0.2.0/opam: No space left on device
error: unable to create file packages/claudius/claudius.1.2.1/opam: No space left on device
error: unable to create file packages/clim-ppx/clim-ppx.0.3.0/opam: No space left on device
error: unable to create file packages/clim/clim.0.3.0/opam: No space left on device
error: unable to create file packages/cll/cll.0.1.0/opam: No space left on device
error: unable to create file packages/cloudi/cloudi.2.0.0/opam: No space left on device
error: unable to create file packages/cloudi/cloudi.2.0.1/opam: No space left on device
error: unable to create file packages/cmdliner-stdlib/cmdliner-stdlib.1.0.1/opam: No space left on device
error: unable to create file packages/cmdliner/cmdliner.1.0.4/opam: No space left on device
error: unable to create file packages/cmdliner/cmdliner.1.3.0/opam: No space left on device
error: unable to create file packages/cmdtui/cmdtui.0.4.3/opam: No space left on device
error: unable to create file packages/coap-core/coap-core.0.1.0/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/codicons/codicons.v0.17.0/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.2.1.1/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.6.0.0~alpha1/opam: No space left on device
error: unable to create file packages/cohttp-async/cohttp-async.6.0.0~beta2/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-lwt/cohttp-curl-lwt.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-curl-lwt/cohttp-curl-lwt.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-curl/cohttp-curl.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt-jsoo/cohttp-lwt-jsoo.2.5.8/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.2.5.8/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.4.0.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.1.0.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.0.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.0.0~alpha1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.0.0~beta2/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.6.2.1/opam: No space left on device
error: unable to create file packages/colibrics/colibrics.0.3.3/opam: No space left on device
error: unable to create file packages/colibrics/colibrics.0.4/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.11.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.3.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.8.1/opam: No space left on device
error: unable to create file packages/color/color.0.1.0/opam: No space left on device
error: unable to create file packages/color/color.0.2.0/opam: No space left on device
error: unable to create file packages/combinat/combinat.3.0/opam: No space left on device
error: unable to create file packages/combine/combine.0.6/opam: No space left on device
error: unable to create file packages/comby-kernel/comby-kernel.1.4.1/opam: No space left on device
error: unable to create file packages/commons/commons.1.8.0/opam: No space left on device
error: unable to create file packages/compsort/compsort.0.9.2/opam: No space left on device
error: unable to create file packages/conan-lwt/conan-lwt.0.0.4/opam: No space left on device
error: unable to create file packages/conan-unix/conan-unix.0.0.1/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.2.0.2/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.2.1.0/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.6.2.3/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.1.3.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.1.4.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.2.0.2/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.6.2.2/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.6.2.3/opam: No space left on device
error: unable to create file packages/conduit-mirage/conduit-mirage.7.1.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.8.0.0/opam: No space left on device
error: unable to create file packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam: No space left on device
error: unable to create file packages/conf-aclocal/conf-aclocal.1.0.0/opam: No space left on device
error: unable to create file packages/conf-aclocal/conf-aclocal.2/opam: No space left on device
error: unable to create file packages/conf-ao/conf-ao.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-c++/conf-c++.1.0/opam: No space left on device
error: unable to create file packages/conf-diffutils/conf-diffutils.1.1/opam: No space left on device
error: unable to create file packages/conf-dkml-cross-toolchain/conf-dkml-cross-toolchain.4.12.1/opam: No space left on device
error: unable to create file packages/conf-faad/conf-faad.1/opam: No space left on device
error: unable to create file packages/conf-fdkaac/conf-fdkaac.1/opam: No space left on device
error: unable to create file packages/conf-ffmpeg/conf-ffmpeg.1/opam: No space left on device
error: unable to create file packages/conf-fftw3/conf-fftw3.1/opam: No space left on device
error: unable to create file packages/conf-gnuplot/conf-gnuplot.0.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-gnutls/conf-gnutls.1/opam: No space left on device
error: unable to create file packages/conf-graphviz/conf-graphviz.0.1/opam: No space left on device
error: unable to create file packages/conf-gsl/conf-gsl.1/opam: No space left on device
error: unable to create file packages/conf-guile/conf-guile.1/opam: No space left on device
error: unable to create file packages/conf-ida/conf-ida.0.1/opam: No space left on device
error: unable to create file packages/conf-lapack/conf-lapack.1/opam: No space left on device
error: unable to create file packages/conf-leveldb/conf-leveldb.1/opam: No space left on device
error: unable to create file packages/conf-libX11/conf-libX11.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-libev/conf-libev.4-12/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-liblo/conf-liblo.1/opam: No space left on device
error: unable to create file packages/conf-libmaxminddb/conf-libmaxminddb.1/opam: No space left on device
error: unable to create file packages/conf-libpcre/conf-libpcre.2/opam: No space left on device
error: unable to create file packages/conf-libportmidi/conf-libportmidi.1/opam: No space left on device
error: unable to create file packages/conf-librsvg2/conf-librsvg2.0/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-libtool/conf-libtool.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-llvm/conf-llvm.13.0.0/opam: No space left on device
error: unable to create file packages/conf-lua/conf-lua.1/opam: No space left on device
error: unable to create file packages/conf-lz4/conf-lz4.1.0.0/opam: No space left on device
error: unable to create file packages/conf-mad/conf-mad.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-freeglut-x86_64/conf-mingw-w64-freeglut-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-freetype-i686/conf-mingw-w64-freetype-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gnomecanvas-i686/conf-mingw-w64-gnomecanvas-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gtk2-i686/conf-mingw-w64-gtk2-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-gtk3-i686/conf-mingw-w64-gtk3-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-mbedtls-x86_64/conf-mingw-w64-mbedtls-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pcre-x86_64/conf-mingw-w64-pcre-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-pkgconf-x86_64/conf-mingw-w64-pkgconf-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-msvc32/conf-msvc32.1/opam: No space left on device
error: unable to create file packages/conf-nanomsg/conf-nanomsg.0/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-ode/conf-ode.1/opam: No space left on device
error: unable to create file packages/conf-oniguruma/conf-oniguruma.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-pango/conf-pango.1/opam: No space left on device
error: unable to create file packages/conf-perl-ipc-system-simple/conf-perl-ipc-system-simple.1/opam: No space left on device
error: unable to create file packages/conf-perl-string-shellquote/conf-perl-string-shellquote.3/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.4/opam: No space left on device
error: unable to create file packages/conf-python-2-7-dev/conf-python-2-7-dev.1.0/opam: No space left on device
error: unable to create file packages/conf-qt/conf-qt.5.2.1/opam: No space left on device
error: unable to create file packages/conf-r/conf-r.1.0.0/opam: No space left on device
error: unable to create file packages/conf-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-ruby/conf-ruby.1.0.0/opam: No space left on device
error: unable to create file packages/conf-rust-2021/conf-rust-2021.1/opam: No space left on device
error: unable to create file packages/conf-rust-llvm/conf-rust-llvm.1/opam: No space left on device
error: unable to create file packages/conf-sdl-image/conf-sdl-image.1/opam: No space left on device
error: unable to create file packages/conf-sdl2-net/conf-sdl2-net.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.2/opam: No space left on device
error: unable to create file packages/conf-sfml2/conf-sfml2.1/opam: No space left on device
error: unable to create file packages/conf-sndfile/conf-sndfile.1/opam: No space left on device
error: unable to create file packages/conf-taglib_c/conf-taglib_c.2/opam: No space left on device
error: unable to create file packages/conf-time/conf-time.1/opam: No space left on device
error: unable to create file packages/conf-trexio/conf-trexio.0.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-wxwidgets/conf-wxwidgets.3.0/opam: No space left on device
error: unable to create file packages/conf-x86_64-linux-gnu-gcc/conf-x86_64-linux-gnu-gcc.1/opam: No space left on device
error: unable to create file packages/conf-xen/conf-xen.1/opam: No space left on device
error: unable to create file packages/conf-zstd/conf-zstd.0.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/opam: No space left on device
error: unable to create file packages/configuration/configuration.0.4.1/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.0.2/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.2.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.2.1/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.3.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.4.0/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/conjury/conjury.2.0/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.0.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.0/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.10/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.11/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.4/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/containers.2.8/opam: No space left on device
error: unable to create file packages/containers/containers.3.0/opam: No space left on device
error: unable to create file packages/containers/containers.3.13.1/opam: No space left on device
error: unable to create file packages/containers/containers.3.15/opam: No space left on device
error: unable to create file packages/content_security_policy/content_security_policy.v0.16.0/opam: No space left on device
error: unable to create file packages/coq-catt-plugin/coq-catt-plugin.1.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.2/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.4+v8.16/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.5+8.16/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.9+8.18/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.2+8.18/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.3+8.19/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.5+8.20/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.3+4.13/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.14.0+0.14.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.15.0+0.15.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.0/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.3/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.4/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.8.0+0.5.5/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.18.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.19.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.9.0.0/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.1.0+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.1.1+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.1.1+8.18/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.2.0+8.17/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.2.2.0+8.20/opam: No space left on device
error: unable to create file packages/coq-waterproof/coq-waterproof.3.0.0+9.0/opam: No space left on device
error: unable to create file packages/coq/coq.8.12.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.13.1/opam: No space left on device
error: unable to create file packages/coq/coq.8.19.0/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.7.1/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.19.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.11.2/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.13.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.13.2/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.17.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.18.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.20.1/opam: No space left on device
error: unable to create file packages/cordova-plugin-activity-indicator/cordova-plugin-activity-indicator.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-background-mode/cordova-plugin-background-mode.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-barcode-scanner/cordova-plugin-barcode-scanner.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-insomnia/cordova-plugin-insomnia.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1.1/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1.2/opam: No space left on device
error: unable to create file packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1/opam: No space left on device
error: unable to create file packages/core/core.v0.13.0/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/core.v0.17.1/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.13.1/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.14.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.14.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.0/opam: No space left on device
error: unable to create file packages/cow/cow.2.0.1/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.7/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.10.0.0/opam: No space left on device
error: unable to create file packages/cpm/cpm.10.2.1/opam: No space left on device
error: unable to create file packages/cppffigen/cppffigen.0.002/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.7.0/opam: No space left on device
error: unable to create file packages/cppo_ocamlbuild/cppo_ocamlbuild.1.8.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/crlibm/crlibm.0.4/opam: No space left on device
error: unable to create file packages/crlibm/crlibm.0.5.1/opam: No space left on device
error: unable to create file packages/crockford/crockford.1.0.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/crowbar/crowbar.0.2/opam: No space left on device
error: unable to create file packages/cry/cry.0.6.7/opam: No space left on device
error: unable to create file packages/cry/cry.1.0.0/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.2.1/opam: No space left on device
error: unable to create file packages/cryptohash/cryptohash.0.1.1/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.03pl1/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.04/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.06/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.07/opam: No space left on device
error: unable to create file packages/csexp-query/csexp-query.0.1.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.5.1.1/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.5.2.0/opam: No space left on device
error: unable to create file packages/csv-lwt/csv-lwt.2.2/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.15.0/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.15.1/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.16.0/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.17.0/opam: No space left on device
error: unable to create file packages/ctoxml/ctoxml.4.0.0/opam: No space left on device
error: unable to create file packages/ctoxml/ctoxml.4.1.0/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.21.1/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.22.0/opam: No space left on device
error: unable to create file packages/ctypes-foreign/ctypes-foreign.0.4.0/opam: No space left on device
error: unable to create file packages/ctypes-zarith/ctypes-zarith.0.1.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.11.3/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.11.4/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.12.1/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.13.1/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.22.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.8.0/opam: No space left on device
error: unable to create file packages/cubicle/cubicle.1.1.2/opam: No space left on device
error: unable to create file packages/cubicle/cubicle.1.2.0/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.1/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.2/opam: No space left on device
error: unable to create file packages/cue_sheet_maker/cue_sheet_maker.0.2.0-1/opam: No space left on device
error: unable to create file packages/cuid/cuid.0.2/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/current.0.7.3/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.6.2/opam: No space left on device
error: unable to create file packages/current_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_github/current_github.0.5/opam: No space left on device
error: unable to create file packages/current_gitlab/current_gitlab.0.6.2/opam: No space left on device
error: unable to create file packages/current_gitlab/current_gitlab.0.7.1/opam: No space left on device
error: unable to create file packages/current_gitlab/current_gitlab.0.7.3/opam: No space left on device
error: unable to create file packages/current_incr/current_incr.0.3/opam: No space left on device
error: unable to create file packages/current_slack/current_slack.0.7.1/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.10/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.11/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/curve-sampling/curve-sampling.0.2.1/opam: No space left on device
error: unable to create file packages/cvc5/cvc5.1.1.3~unreleased/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.4/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.5.3/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/datalog/datalog.0.1/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.4.1/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.4/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.5/opam: No space left on device
error: unable to create file packages/daypack-lib/daypack-lib.0.0.2/opam: No space left on device
error: unable to create file packages/dbase4/dbase4.0.2.0/opam: No space left on device
error: unable to create file packages/debian-formats/debian-formats.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/decimal/decimal.1.0.0/opam: No space left on device
error: unable to create file packages/decimal/decimal.1.0.1/opam: No space left on device
error: unable to create file packages/decoders-cbor/decoders-cbor.0.4.0/opam: No space left on device
error: unable to create file packages/decoders-jsonm/decoders-jsonm.0.5.0/opam: No space left on device
error: unable to create file packages/decoders-jsonm/decoders-jsonm.0.7.0/opam: No space left on device
error: unable to create file packages/decoders-msgpck/decoders-msgpck.0.5.0/opam: No space left on device
error: unable to create file packages/decoders-sexplib/decoders-sexplib.1.0.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.1.0.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.0.8.1/opam: No space left on device
error: unable to create file packages/dedukti/dedukti.2.7/opam: No space left on device
error: unable to create file packages/delimcc/delimcc.2018.03.16/opam: No space left on device
error: unable to create file packages/delimcc/delimcc.2023.06.17/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.3/opam: No space left on device
error: unable to create file packages/depext/depext.0.7/opam: No space left on device
error: unable to create file packages/depext/depext.0.8.1/opam: No space left on device
error: unable to create file packages/depext/depext.0.8/opam: No space left on device
error: unable to create file packages/depext/depext.transition/opam: No space left on device
error: unable to create file packages/depgraph/depgraph.0.1.0/opam: No space left on device
error: unable to create file packages/depyt/depyt.0.3.0/opam: No space left on device
error: unable to create file packages/deriving/deriving.0.8.1/opam: No space left on device
error: unable to create file packages/diet/diet.0.1/opam: No space left on device
error: unable to create file packages/diet/diet.0.2/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-core/diffast-core.0.1/opam: No space left on device
error: unable to create file packages/diffast-git-cli/diffast-git-cli.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing-cli/diffast-langs-cpp-parsing-cli.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp-spec/diffast-langs-cpp-spec.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-spec/diffast-langs-fortran-spec.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran-spec/diffast-langs-fortran-spec.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran/diffast-langs-fortran.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-java-parsing-cli/diffast-langs-java-parsing-cli.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-java/diffast-langs-java.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-misc/diffast-misc.0.3.6/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/directories/directories.0.4/opam: No space left on device
error: unable to create file packages/diskuvbox/diskuvbox.0.1.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.4.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.5.0/opam: No space left on device
error: unable to create file packages/distributed-lwt/distributed-lwt.0.1.0/opam: No space left on device
error: unable to create file packages/distributed-uwt/distributed-uwt.0.1.0/opam: No space left on device
error: unable to create file packages/dkim-bin/dkim-bin.0.9.0/opam: No space left on device
error: unable to create file packages/dkim/dkim.0.8.0/opam: No space left on device
error: unable to create file packages/dkim/dkim.0.9.0/opam: No space left on device
error: unable to create file packages/dkml-base-compiler/dkml-base-compiler.4.12.1~v1.0.0/opam: No space left on device
error: unable to create file packages/dkml-dune-dsl/dkml-dune-dsl.0.1.3/opam: No space left on device
error: unable to create file packages/dkml-dune-dsl/dkml-dune-dsl.0.1.4/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install-runner/dkml-install-runner.0.3.0/opam: No space left on device
error: unable to create file packages/dkml-option-vcpkg/dkml-option-vcpkg.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-workflows/dkml-workflows.1.1.0/opam: No space left on device
error: unable to create file packages/dmarc/dmarc.0.0.1/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.10.2.1/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.10.2.3/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.8.0.0/opam: No space left on device
error: unable to create file packages/dns-client-mirage/dns-client-mirage.10.2.1/opam: No space left on device
error: unable to create file packages/dns-client-mirage/dns-client-mirage.10.2.3/opam: No space left on device
error: unable to create file packages/dns-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-resolver/dns-resolver.10.2.0/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.8.0.0/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.9.1.0/opam: No space left on device
error: unable to create file packages/dns/dns.8.0.0/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.10.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/docker_hub/docker_hub.0.2.0/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.3/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.4/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/dockerfile/dockerfile.8.3.0/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.3.2/opam: No space left on device
error: unable to create file packages/dockerfile/dockerfile.8.3.3/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.3/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.5/opam: No space left on device
error: unable to create file packages/dokeysto/dokeysto.3.0.2/opam: No space left on device
error: unable to create file packages/dokeysto_camltc/dokeysto_camltc.3.0.2/opam: No space left on device
error: unable to create file packages/dokeysto_camltc/dokeysto_camltc.4.0.0/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/opam: No space left on device
error: unable to create file packages/dolmen/dolmen.0.5/opam: No space left on device
error: unable to create file packages/dolmen_loop/dolmen_loop.0.8/opam: No space left on device
error: unable to create file packages/dolmen_loop/dolmen_loop.0.9/opam: No space left on device
error: unable to create file packages/dolmen_model/dolmen_model.0.8/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/domain-name/domain-name.0.3.0/opam: No space left on device
error: unable to create file packages/domain-name/domain-name.0.4.1/opam: No space left on device
error: unable to create file packages/domain-name/domain-name.0.5.0/opam: No space left on device
error: unable to create file packages/domain_shims/domain_shims.0.1.0/opam: No space left on device
error: unable to create file packages/domainslib/domainslib.0.3.0/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.17.1-501/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.18-414/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.4.7.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.6-503/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.6-504/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.6.1-504/opam: No space left on device
error: unable to create file packages/dotenv/dotenv.0.0.1/opam: No space left on device
error: unable to create file packages/down/down.0.3.0/opam: No space left on device
error: unable to create file packages/down/down.0.4.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.2.1.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.0.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.0.1/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.3.6.2/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha2/opam: No space left on device
error: unable to create file packages/dream-livereload/dream-livereload.0.2.0/opam: No space left on device
error: unable to create file packages/dream-pure/dream-pure.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/dream-pure/dream-pure.1.0.0~alpha2/opam: No space left on device
error: unable to create file packages/drom/drom.0.8.0/opam: No space left on device
error: unable to create file packages/drom_lib/drom_lib.0.3.0/opam: No space left on device
error: unable to create file packages/dropbox_lwt_unix/dropbox_lwt_unix.0.2/opam: No space left on device
error: unable to create file packages/dryunit/dryunit.0.4.1/opam: No space left on device
error: unable to create file packages/dscheck/dscheck.0.4.0/opam: No space left on device
error: unable to create file packages/dscheck/dscheck.0.5.0/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.3/opam: No space left on device
error: unable to create file packages/dssi/dssi.0.1.4/opam: No space left on device
error: unable to create file packages/dtc-pb/dtc-pb.1.0/opam: No space left on device
error: unable to create file packages/dtoa/dtoa.0.1/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.4.6/opam: No space left on device
error: unable to create file packages/dual/dual.0.1.0/opam: No space left on device
error: unable to create file packages/duff/duff.0.1/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.19.0/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.19.0/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.19.1/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.20.0/opam: No space left on device
error: unable to create file packages/dune-build-info/dune-build-info.3.20.2/opam: No space left on device
error: unable to create file packages/dune-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.17.2/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.18.2/opam: No space left on device
error: unable to create file packages/dune-deps/dune-deps.1.2.1/opam: No space left on device
error: unable to create file packages/dune-deps/dune-deps.1.4.0/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.20.1/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.20.2/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.21.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.0.1.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.0.2.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.4.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.5.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.5.1/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.5.2/opam: No space left on device
error: unable to create file packages/dune-rpc/dune-rpc.3.19.1/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.5.1/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.3.18.2/opam: No space left on device
error: unable to create file packages/dune/dune.3.19.0/opam: No space left on device
error: unable to create file packages/dune/dune.3.20.0/opam: No space left on device
error: unable to create file packages/dunolint-lib/dunolint-lib.0.0.20250310/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.2/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.5/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.3.0/opam: No space left on device
error: unable to create file packages/dyntype/dyntype.0.9.0/opam: No space left on device
error: unable to create file packages/dypgen/dypgen.0.2.1/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.0.2/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.1.0/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.2/opam: No space left on device
error: unable to create file packages/echo/echo.0.0.4/opam: No space left on device
error: unable to create file packages/efl/efl.1.20.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.2.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.2.1/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.3.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.3.1/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.3.2/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.3.3/opam: No space left on device
error: unable to create file packages/eio-ssl/eio-ssl.0.2.0/opam: No space left on device
error: unable to create file packages/eio/eio.0.11/opam: No space left on device
error: unable to create file packages/eio/eio.0.5/opam: No space left on device
error: unable to create file packages/eio/eio.0.6/opam: No space left on device
error: unable to create file packages/eio/eio.0.7/opam: No space left on device
error: unable to create file packages/eio/eio.1.1/opam: No space left on device
error: unable to create file packages/eio/eio.1.3/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.0.8.1/opam: No space left on device
error: unable to create file packages/eio_linux/eio_linux.1.3/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.12/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.13/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.14/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.0.15/opam: No space left on device
error: unable to create file packages/eio_posix/eio_posix.1.0/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.0.5/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.1.0/opam: No space left on device
error: unable to create file packages/electrod/electrod.0.4.1/opam: No space left on device
error: unable to create file packages/elina/elina.1.0/opam: No space left on device
error: unable to create file packages/elina/elina.1.3/opam: No space left on device
error: unable to create file packages/eliom/eliom.10.0.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.11.1.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.10.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.12.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.9.3/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/elpi/elpi.3.2.0/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.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/email_message/email_message.v0.15.0/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.4/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.5.1/opam: No space left on device
error: unable to create file packages/emile/emile.0.1/opam: No space left on device
error: unable to create file packages/emile/emile.0.2/opam: No space left on device
error: unable to create file packages/emoji/emoji.1.0.0/opam: No space left on device
error: unable to create file packages/encore/encore.0.4/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.6/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.7/opam: No space left on device
error: unable to create file packages/equinoxe/equinoxe.0.1.0/opam: No space left on device
error: unable to create file packages/equinoxe/equinoxe.0.2.0/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.3/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/exenum/exenum.0.7/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/exenum/exenum.0.86/opam: No space left on device
error: unable to create file packages/expect_test_helpers_kernel/expect_test_helpers_kernel.v0.13.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.1.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-manifest/extism-manifest.1.4.0/opam: No space left on device
error: unable to create file packages/extism/extism.0.4.0/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.7.7/opam: No space left on device
error: unable to create file packages/extlib/extlib.1.7.9/opam: No space left on device
error: unable to create file packages/extprot/extprot.1.6.0/opam: No space left on device
error: unable to create file packages/extprot/extprot.1.7.0/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.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.2.0.0/opam: No space left on device
error: unable to create file packages/ez_api/ez_api.2.1.0/opam: No space left on device
error: unable to create file packages/ez_cmdliner/ez_cmdliner.0.1.1/opam: No space left on device
error: unable to create file packages/ez_dune_describe/ez_dune_describe.0.1/opam: No space left on device
error: unable to create file packages/ez_file/ez_file.0.1.2/opam: No space left on device
error: unable to create file packages/ez_file/ez_file.0.3.0/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.1/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.2.1/opam: No space left on device
error: unable to create file packages/ezcurl-lwt/ezcurl-lwt.0.3/opam: No space left on device
error: unable to create file packages/ezjs_recaptcha/ezjs_recaptcha.0.1/opam: No space left on device
error: unable to create file packages/ezjs_timeline/ezjs_timeline.0.1.1/opam: No space left on device
error: unable to create file packages/ezjs_timeline/ezjs_timeline.0.1/opam: No space left on device
error: unable to create file packages/ezjsonm-lwt/ezjsonm-lwt.1.3.0/opam: No space left on device
error: unable to create file packages/ezjsonm/ezjsonm.0.5.0/opam: No space left on device
error: unable to create file packages/ezjsonm/ezjsonm.1.2.0/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.2/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.6.1/opam: No space left on device
error: unable to create file packages/ezresto-directory/ezresto-directory.0.6/opam: No space left on device
error: unable to create file packages/ezsqlite/ezsqlite.0.4.2/opam: No space left on device
error: unable to create file packages/faad/faad.0.4.0/opam: No space left on device
error: unable to create file packages/faad/faad.0.5.1/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.5.0/opam: No space left on device
error: unable to create file packages/faraday-lwt-unix/faraday-lwt-unix.0.6.0/opam: No space left on device
error: unable to create file packages/faraday-lwt-unix/faraday-lwt-unix.0.6.1/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.5.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.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/farith/farith.0.1/opam: No space left on device
error: unable to create file packages/fasmifra/fasmifra.1.0.0/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.15.0/opam: No space left on device
error: unable to create file packages/fd-send-recv/fd-send-recv.1.0.5/opam: No space left on device
error: unable to create file packages/fd-send-recv/fd-send-recv.2.0.2/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/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-sig/ff-sig.0.6.1/opam: No space left on device
error: unable to create file packages/ff/ff.0.2.2/opam: No space left on device
error: unable to create file packages/ff/ff.0.6.2/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.4/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.2.4/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.1.3/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.9/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.2.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.2.4/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.4/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.1.5/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.11/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.2/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.6/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.1.1/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.0.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.2/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.3/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.8/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.9/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.3/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/fieldslib/fieldslib.v0.12.0/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/fieldslib/fieldslib.v0.16.0/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.3/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.4/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.6/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/fix/fix.20130611/opam: No space left on device
error: unable to create file packages/fix/fix.20200131/opam: No space left on device
error: unable to create file packages/fix/fix.20211231/opam: No space left on device
error: unable to create file packages/fix/fix.20220121/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.38/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.39/opam: No space left on device
error: unable to create file packages/flexdll/flexdll.0.40/opam: No space left on device
error: unable to create file packages/flint/flint.0.3/opam: No space left on device
error: unable to create file packages/flux/flux.0.0.1~beta1/opam: No space left on device
error: unable to create file packages/fluxt/fluxt.0.0.1~beta2/opam: No space left on device
error: unable to create file packages/fm-simplex-plugin/fm-simplex-plugin.1.01/opam: No space left on device
error: unable to create file packages/fm-simplex-plugin/fm-simplex-plugin.1.30/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.1/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.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_browser/fmlib_browser.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_browser/fmlib_browser.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib_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.6.2/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.4.0/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.0/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.1/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.11/opam: No space left on device
error: unable to create file packages/fmlib_js/fmlib_js.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.4.0/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.5.3/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.5.8/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.5.9/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.6.0/opam: No space left on device
error: unable to create file packages/fmlib_parse/fmlib_parse.0.6.1/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.3.0/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.5.7/opam: No space left on device
error: unable to create file packages/fmlib_pretty/fmlib_pretty.0.6.1/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.5.0/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.6.0/opam: No space left on device
error: unable to create file packages/fmlib_std/fmlib_std.0.6.1/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/forester/forester.2.4.1/opam: No space left on device
error: unable to create file packages/forester/forester.2.4/opam: No space left on device
error: unable to create file packages/forester/forester.2.5.1/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.3.0.0/opam: No space left on device
error: unable to create file packages/forester/forester.3.1.0/opam: No space left on device
error: unable to create file packages/forester/forester.4.0.0/opam: No space left on device
error: unable to create file packages/forester/forester.4.0.1/opam: No space left on device
error: unable to create file packages/fpath/fpath.0.7.3/opam: No space left on device
error: unable to create file packages/frama-c-lannotate/frama-c-lannotate.0.1/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-metacsl/frama-c-metacsl.0.10~beta/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.2/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.3/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.5~beta/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.6/opam: No space left on device
error: unable to create file packages/frama-c-metacsl/frama-c-metacsl.0.7/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.20.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.23.1/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.24.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.32.0/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/fred/fred.0.1.0/opam: No space left on device
error: unable to create file packages/frei0r/frei0r.0.1.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/fsml/fsml.0.3.0/opam: No space left on device
error: unable to create file packages/fstar/fstar.2021.06.06/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-runtime/functoria-runtime.4.0.0~beta3/opam: No space left on device
error: unable to create file packages/functory/functory.0.6/opam: No space left on device
error: unable to create file packages/funfields/funfields.0.02/opam: No space left on device
error: unable to create file packages/fuseau/fuseau.0.1/opam: No space left on device
error: unable to create file packages/fuzzy_compare/fuzzy_compare.2.0.1/opam: No space left on device
error: unable to create file packages/fuzzy_match/fuzzy_match.v0.15.0/opam: No space left on device
error: unable to create file packages/gammu/gammu.0.9.3/opam: No space left on device
error: unable to create file packages/gammu/gammu.0.9.4/opam: No space left on device
error: unable to create file packages/gapi-ocaml/gapi-ocaml.0.4.6/opam: No space left on device
error: unable to create file packages/gapi-ocaml/gapi-ocaml.0.4.7/opam: No space left on device
error: unable to create file packages/gapi-ocaml/gapi-ocaml.0.4.8/opam: No space left on device
error: unable to create file packages/gd/gd.1.0a5/opam: No space left on device
error: unable to create file packages/gen/gen.0.5/opam: No space left on device
error: unable to create file packages/gen/gen.1.0/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.1.4/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.1.5/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.1.6/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/gendarme.0.4.0/opam: No space left on device
error: unable to create file packages/genlet/genlet.201406/opam: No space left on device
error: unable to create file packages/genprint/genprint.0.3/opam: No space left on device
error: unable to create file packages/genprint/genprint.0.4/opam: No space left on device
error: unable to create file packages/geojson/geojson.0.1.0/opam: No space left on device
error: unable to create file packages/geojson/geojson.0.1.1/opam: No space left on device
fatal: cannot create directory at 'packages/geojson/geojson.0.2.0': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:39.51: Job failed: Failed: Build failed