2026-01-27 19:21.39: New job: test ca-certs-nss.3.59 with mirage-runtime.4.7.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.7.0 4.7.0
RUN opam reinstall mirage-runtime.4.7.0; \
    res=$?; \
    test "$res" != 31 && exit "$res"; \
    export OPAMCLI=2.0; \
    build_dir=$(opam var prefix)/.opam-switch/build; \
    failed=$(ls "$build_dir"); \
    partial_fails=""; \
    for pkg in $failed; do \
    if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
    echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
    fi; \
    test "$pkg" != 'mirage-runtime.4.7.0' && partial_fails="$partial_fails $pkg"; \
    done; \
    test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
    exit 1
RUN opam reinstall ca-certs-nss.3.59; \
    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" != 'ca-certs-nss.3.59' && 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 ca-certs-nss.3.59) || true
RUN opam reinstall --with-test --verbose ca-certs-nss.3.59; \
    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" != 'ca-certs-nss.3.59' && 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.39: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:b77f64f7a162903a6fb8a0d50071a7eb7a4a9bc4421699c19d2ab9050981c012-mirage-runtime.4.7.0-ca-certs-nss.3.59-bec96dd4b29b0e3eb148af9966895e70442e68e2"
2026-01-27 19:21.39: 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.7.0 4.7.0"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall mirage-runtime.4.7.0;\
             \n        res=$?;\
             \n        test \"$res\" != 31 && exit \"$res\";\
             \n        export OPAMCLI=2.0;\
             \n        build_dir=$(opam var prefix)/.opam-switch/build;\
             \n        failed=$(ls \"$build_dir\");\
             \n        partial_fails=\"\";\
             \n        for pkg in $failed; do\
             \n          if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
             \n            echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
             \n          fi;\
             \n          test \"$pkg\" != 'mirage-runtime.4.7.0' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall ca-certs-nss.3.59;\
             \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\" != 'ca-certs-nss.3.59' && 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 ca-certs-nss.3.59) || true"))
 (run (shell  "opam reinstall --with-test --verbose ca-certs-nss.3.59;\
             \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\" != 'ca-certs-nss.3.59' && 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.39: Waiting for resource in pool OCluster
2026-01-27 19:35.15: Waiting for worker…
2026-01-27 19:35.50: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
error: unable to create file governance/README.md: No space left on device
error: unable to create file packages/0install-gtk/0install-gtk.2.17/opam: No space left on device
error: unable to create file packages/0install-solver/0install-solver.2.17/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.7/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8.5/opam: No space left on device
error: unable to create file packages/ANSITerminal/ANSITerminal.0.8/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.3.4.1/opam: No space left on device
error: unable to create file packages/FrontC/FrontC.3.4.2/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.0/opam: No space left on device
error: unable to create file packages/GT/GT.0.5.1/opam: No space left on device
error: unable to create file packages/ISO3166/ISO3166.0.1.0/opam: No space left on device
error: unable to create file packages/ISO8601/ISO8601.0.2.2/opam: No space left on device
error: unable to create file packages/ISO8601/ISO8601.0.2.3/opam: No space left on device
error: unable to create file packages/MlFront_Cache/MlFront_Cache.2.3.1/opam: No space left on device
error: unable to create file packages/MlFront_Cache/MlFront_Cache.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Exec/MlFront_Exec.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Signify/MlFront_Signify.2.4.2.30/opam: No space left on device
error: unable to create file packages/MlFront_Thunk/MlFront_Thunk.2.4.2.30/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.1.2/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.2.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.5.0/opam: No space left on device
error: unable to create file packages/OCADml/OCADml.0.6.0/opam: No space left on device
error: unable to create file packages/OCanren/OCanren.0.3.0/opam: No space left on device
error: unable to create file packages/OSCADml/OSCADml.0.1.1/opam: No space left on device
error: unable to create file packages/OSCADml/OSCADml.0.2.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.3.0.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.4.1.0/opam: No space left on device
error: unable to create file packages/SZXX/SZXX.4.1.1/opam: No space left on device
error: unable to create file packages/abstract_algebra/abstract_algebra.v0.15.0/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_async/accessor_async.v0.14.0/opam: No space left on device
error: unable to create file packages/accessor_async/accessor_async.v0.14.1/opam: No space left on device
error: unable to create file packages/accessor_async/accessor_async.v0.15.0/opam: No space left on device
error: unable to create file packages/aches/aches.1.0.0/opam: No space left on device
error: unable to create file packages/aches/aches.1.1.0/opam: No space left on device
error: unable to create file packages/acp4/acp4.1.0.1/opam: No space left on device
error: unable to create file packages/acp4/acp4.1.1.0/opam: No space left on device
error: unable to create file packages/acpc/acpc.1.1.1/opam: No space left on device
error: unable to create file packages/ago/ago.0.1/opam: No space left on device
error: unable to create file packages/ago/ago.0.4/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.2.2/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.3.0/opam: No space left on device
error: unable to create file packages/aifad/aifad.2.3.1/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.5.0/opam: No space left on device
error: unable to create file packages/albatross/albatross.2.6.0/opam: No space left on device
error: unable to create file packages/alcotest/alcotest.1.8.0/opam: No space left on device
error: unable to create file packages/alg_structs/alg_structs.0.1.3/opam: No space left on device
error: unable to create file packages/alg_structs_qcheck/alg_structs_qcheck.0.1.3/opam: No space left on device
error: unable to create file packages/alice/alice.0.2.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.3.0/opam: No space left on device
error: unable to create file packages/alice/alice.0.4.0/opam: No space left on device
error: unable to create file packages/allegro5/allegro5.0.1/opam: No space left on device
error: unable to create file packages/allegro5/allegro5.0.2/opam: No space left on device
error: unable to create file packages/alonzo/alonzo.0.4.0/opam: No space left on device
error: unable to create file packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.5.2/opam: No space left on device
error: unable to create file packages/alt-ergo-parsers/alt-ergo-parsers.2.6.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.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.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.3/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.0/opam: No space left on device
error: unable to create file packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.1/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.0.95.2/opam: No space left on device
error: unable to create file packages/alt-ergo/alt-ergo.2.0.0/opam: No space left on device
error: unable to create file packages/altgr-ergo/altgr-ergo.2.3.0/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/amqp-client-async/amqp-client-async.2.1.0/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.2.0/opam: No space left on device
error: unable to create file packages/amqp-client-async/amqp-client-async.2.2.1/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.0.6/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.1.2/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.1.3/opam: No space left on device
error: unable to create file packages/amqp-client/amqp-client.1.1.4/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/angstrom-async/angstrom-async.0.11.0/opam: No space left on device
error: unable to create file packages/angstrom-async/angstrom-async.0.8.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/angstrom.0.14.0/opam: No space left on device
error: unable to create file packages/antic/antic.0.3/opam: No space left on device
error: unable to create file packages/ao/ao.0.2.4/opam: No space left on device
error: unable to create file packages/api-watch/api-watch.0.1.1/opam: No space left on device
error: unable to create file packages/apron/apron.20150820/opam: No space left on device
error: unable to create file packages/apron/apron.v0.9.15/opam: No space left on device
error: unable to create file packages/apronext/apronext.1.0.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.0.1.9/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.0.0/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.1.0/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.1.1/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.6/opam: No space left on device
error: unable to create file packages/archetype/archetype.1.2.7/opam: No space left on device
error: unable to create file packages/archsat/archsat.1.1/opam: No space left on device
error: unable to create file packages/areas-and-adversaries/areas-and-adversaries.1.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.4.0/opam: No space left on device
error: unable to create file packages/ascend/ascend.0.1.0/opam: No space left on device
error: unable to create file packages/ascend/ascend.0.1.2-1/opam: No space left on device
error: unable to create file packages/asli/asli.0.1/opam: No space left on device
error: unable to create file packages/asli/asli.0.2.0/opam: No space left on device
error: unable to create file packages/astring/astring.0.8.5/opam: No space left on device
error: unable to create file packages/async-uri/async-uri.0.2.1/opam: No space left on device
error: unable to create file packages/async/async.v0.14.0/opam: No space left on device
error: unable to create file packages/async/async.v0.16.0/opam: No space left on device
error: unable to create file packages/async_durable/async_durable.v0.13.0/opam: No space left on device
error: unable to create file packages/async_durable/async_durable.v0.14.0/opam: No space left on device
error: unable to create file packages/async_find/async_find.v0.12.0/opam: No space left on device
error: unable to create file packages/async_find/async_find.v0.13.0/opam: No space left on device
error: unable to create file packages/async_inotify/async_inotify.v0.17.0/opam: No space left on device
error: unable to create file packages/async_interactive/async_interactive.v0.14.0/opam: No space left on device
error: unable to create file packages/async_kernel/async_kernel.v0.16.0/opam: No space left on device
error: unable to create file packages/async_sendfile/async_sendfile.v0.16.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.12.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.13.0/opam: No space left on device
error: unable to create file packages/async_shell/async_shell.v0.14.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_smtp/async_smtp.v0.16.0/opam: No space left on device
error: unable to create file packages/async_ssl/async_ssl.v0.12.0/opam: No space left on device
error: unable to create file packages/async_ssl/async_ssl.v0.13.0/opam: No space left on device
error: unable to create file packages/async_udp/async_udp.v0.16.0/opam: No space left on device
error: unable to create file packages/async_unix/async_unix.v0.14.0/opam: No space left on device
error: unable to create file packages/async_unix/async_unix.v0.15.0/opam: No space left on device
error: unable to create file packages/async_websocket/async_websocket.v0.16.0/opam: No space left on device
error: unable to create file packages/atd/atd.1.0.2/opam: No space left on device
error: unable to create file packages/atd/atd.2.14.0/opam: No space left on device
error: unable to create file packages/atd/atd.3.0.1/opam: No space left on device
error: unable to create file packages/atd2cconv/atd2cconv.0.0.0/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.3.3/opam: No space left on device
error: unable to create file packages/atdgen-runtime/atdgen-runtime.2.6.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.10.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.12.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.13.0/opam: No space left on device
error: unable to create file packages/atdgen/atdgen.2.14.1/opam: No space left on device
error: unable to create file packages/atdj/atdj.1.13.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.0.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.10.0/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.13.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.14.1/opam: No space left on device
error: unable to create file packages/atdj/atdj.2.6.0/opam: No space left on device
error: unable to create file packages/atdj/atdj.3.0.1/opam: No space left on device
error: unable to create file packages/atds/atds.2.14.1/opam: No space left on device
error: unable to create file packages/atds/atds.2.16.0/opam: No space left on device
error: unable to create file packages/atdts/atdts.2.6.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/awa/awa.0.5.2/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.4.1/opam: No space left on device
error: unable to create file packages/aws-s3-async/aws-s3-async.4.5.0/opam: No space left on device
error: unable to create file packages/aws-s3-lwt/aws-s3-lwt.4.8.0/opam: No space left on device
error: unable to create file packages/aws-s3-lwt/aws-s3-lwt.4.8.1/opam: No space left on device
error: unable to create file packages/aws-sts/aws-sts.0.1.0/opam: No space left on device
error: unable to create file packages/awsm/awsm.0.1.0/opam: No space left on device
error: unable to create file packages/azure-cosmos-db/azure-cosmos-db.0.2.0/opam: No space left on device
error: unable to create file packages/bam-ppx/bam-ppx.0.4/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.2.0/opam: No space left on device
error: unable to create file packages/bap-abi/bap-abi.2.3.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.1.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.2.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.3.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.4.0/opam: No space left on device
error: unable to create file packages/bap-beagle/bap-beagle.2.5.0/opam: No space left on device
error: unable to create file packages/bap-bil/bap-bil.2.3.0/opam: No space left on device
error: unable to create file packages/bap-byteweight/bap-byteweight.2.1.0/opam: No space left on device
error: unable to create file packages/bap-byteweight/bap-byteweight.2.2.0/opam: No space left on device
error: unable to create file packages/bap-cache/bap-cache.2.5.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.2.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.3.0/opam: No space left on device
error: unable to create file packages/bap-callgraph-collator/bap-callgraph-collator.2.4.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.2.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.3.0/opam: No space left on device
error: unable to create file packages/bap-core-theory/bap-core-theory.2.4.0/opam: No space left on device
error: unable to create file packages/bap-cxxfilt/bap-cxxfilt.2.5.0/opam: No space left on device
error: unable to create file packages/bap-demangle/bap-demangle.2.5.0/opam: No space left on device
error: unable to create file packages/bap-dependencies/bap-dependencies.2.3.0/opam: No space left on device
error: unable to create file packages/bap-emacs-mode/bap-emacs-mode.0.1/opam: No space left on device
error: unable to create file packages/bap-extra/bap-extra.2.4.0/opam: No space left on device
error: unable to create file packages/bap-frontend/bap-frontend.2.3.0/opam: No space left on device
error: unable to create file packages/bap-frontend/bap-frontend.2.5.0/opam: No space left on device
error: unable to create file packages/bap-fsi-benchmark/bap-fsi-benchmark.2.2.0/opam: No space left on device
error: unable to create file packages/bap-ida-plugin/bap-ida-plugin.2.1.0/opam: No space left on device
error: unable to create file packages/bap-llvm/bap-llvm.2.5.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.1.0/opam: No space left on device
error: unable to create file packages/bap-main/bap-main.2.2.0/opam: No space left on device
error: unable to create file packages/bap-mc/bap-mc.2.5.0/opam: No space left on device
error: unable to create file packages/bap-microx/bap-microx.2.2.0/opam: No space left on device
error: unable to create file packages/bap-patterns/bap-patterns.2.4.0/opam: No space left on device
error: unable to create file packages/bap-piqi/bap-piqi.2.2.0/opam: No space left on device
error: unable to create file packages/bap-plugins/bap-plugins.2.1.0/opam: No space left on device
error: unable to create file packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-lisp/bap-primus-lisp.2.3.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.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-promiscuous/bap-primus-promiscuous.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-promiscuous/bap-primus-promiscuous.2.4.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.4.0/opam: No space left on device
error: unable to create file packages/bap-primus-region/bap-primus-region.2.2.0/opam: No space left on device
error: unable to create file packages/bap-primus-test/bap-primus-test.2.3.0/opam: No space left on device
error: unable to create file packages/bap-primus-track-visited/bap-primus-track-visited.2.5.0/opam: No space left on device
error: unable to create file packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.3.0/opam: No space left on device
error: unable to create file packages/bap-recipe-command/bap-recipe-command.2.4.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.1.0/opam: No space left on device
error: unable to create file packages/bap-recipe/bap-recipe.2.3.0/opam: No space left on device
error: unable to create file packages/bap-riscv/bap-riscv.2.3.0/opam: No space left on device
error: unable to create file packages/bap-specification/bap-specification.2.5.0/opam: No space left on device
error: unable to create file packages/bap-std/bap-std.2.4.0/opam: No space left on device
error: unable to create file packages/bap-strings/bap-strings.2.5.0/opam: No space left on device
error: unable to create file packages/bap-systemz/bap-systemz.2.2.0/opam: No space left on device
error: unable to create file packages/bap-trace/bap-trace.2.5.0/opam: No space left on device
error: unable to create file packages/bap-traces/bap-traces.2.2.0/opam: No space left on device
error: unable to create file packages/bap-traces/bap-traces.2.3.0/opam: No space left on device
error: unable to create file packages/bap-x86/bap-x86.2.1.0/opam: No space left on device
error: unable to create file packages/bap-x86/bap-x86.2.4.0/opam: No space left on device
error: unable to create file packages/bap-x86/bap-x86.2.5.0/opam: No space left on device
error: unable to create file packages/base-bigarray/base-bigarray.base/opam: No space left on device
error: unable to create file packages/base-bytes/base-bytes.backport/opam: No space left on device
error: unable to create file packages/base-bytes/base-bytes.base/opam: No space left on device
error: unable to create file packages/base-native-int63/base-native-int63.0.1/opam: No space left on device
error: unable to create file packages/base/base.v0.14.1/opam: No space left on device
error: unable to create file packages/base/base.v0.17.3/opam: No space left on device
error: unable to create file packages/base64/base64.3.1.0/opam: No space left on device
error: unable to create file packages/base_quickcheck/base_quickcheck.v0.12.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/batsat/batsat.0.5/opam: No space left on device
error: unable to create file packages/batsat/batsat.0.6/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.3.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.4.0/opam: No space left on device
error: unable to create file packages/batteries/batteries.3.5.0/opam: No space left on device
error: unable to create file packages/bechamel-js/bechamel-js.0.3.0/opam: No space left on device
error: unable to create file packages/bechamel-js/bechamel-js.0.4.0/opam: No space left on device
error: unable to create file packages/bechamel/bechamel.0.3.0/opam: No space left on device
error: unable to create file packages/bechamel/bechamel.0.4.0/opam: No space left on device
error: unable to create file packages/beluga/beluga.1.1/opam: No space left on device
error: unable to create file packages/benchmark/benchmark.1.4/opam: No space left on device
error: unable to create file packages/benchmark/benchmark.1.6/opam: No space left on device
error: unable to create file packages/bencode/bencode.2.0/opam: No space left on device
error: unable to create file packages/bentov/bentov.1/opam: No space left on device
error: unable to create file packages/bigarray-overlap/bigarray-overlap.0.1.0/opam: No space left on device
error: unable to create file packages/bigstring/bigstring.0.2/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.3.0/opam: No space left on device
error: unable to create file packages/bigstringaf/bigstringaf.0.6.0/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.1/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.2.1/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.3.0/opam: No space left on device
error: unable to create file packages/bimage/bimage.0.5.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.11.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.11.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.18.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.19.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.2.1/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.8.0/opam: No space left on device
error: unable to create file packages/binaryen/binaryen.0.8.1/opam: No space left on device
error: unable to create file packages/bindlib/bindlib.4.0.4/opam: No space left on device
error: unable to create file packages/biniou/biniou.1.2.2/opam: No space left on device
error: unable to create file packages/binsec/binsec.0.6.1/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.1.2/opam: No space left on device
error: unable to create file packages/bio_io/bio_io.0.4.0/opam: No space left on device
error: unable to create file packages/biotk/biotk.0.0.0/opam: No space left on device
error: unable to create file packages/biotk/biotk.0.1.0/opam: No space left on device
error: unable to create file packages/biotk/biotk.0.2.0/opam: No space left on device
error: unable to create file packages/biotk/biotk.0.3/opam: No space left on device
error: unable to create file packages/bisect_ppx-ocamlbuild/bisect_ppx-ocamlbuild.1.0.0/opam: No space left on device
error: unable to create file packages/bisect_ppx/bisect_ppx.2.3.0/opam: No space left on device
error: unable to create file packages/bistro/bistro.0.5.0/opam: No space left on device
error: unable to create file packages/bitcoin/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.0.1/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.3/opam: No space left on device
error: unable to create file packages/bitwuzla-c/bitwuzla-c.1.0.4/opam: No space left on device
error: unable to create file packages/bitwuzla-cxx/bitwuzla-cxx.0.8.2/opam: No space left on device
error: unable to create file packages/blake2/blake2.0.2/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-hash/bls12-381-hash.0.0.4/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/bls12-381.0.4.2/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.0.4.3/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.2.0.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.20.1/opam: No space left on device
error: unable to create file packages/bls12-381/bls12-381.3.0.0/opam: No space left on device
error: unable to create file packages/bogue-tutorials/bogue-tutorials.0.1.0/opam: No space left on device
error: unable to create file packages/bogue-tutorials/bogue-tutorials.0.2.0/opam: No space left on device
error: unable to create file packages/boltzgen/boltzgen.0.9.5/opam: No space left on device
error: unable to create file packages/bonsai/bonsai.v0.15.1/opam: No space left on device
error: unable to create file packages/bonsai/bonsai.v0.16.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/brr-lwd/brr-lwd.0.2/opam: No space left on device
error: unable to create file packages/brr-lwd/brr-lwd.0.3/opam: No space left on device
error: unable to create file packages/brr-lwd/brr-lwd.0.4/opam: No space left on device
error: unable to create file packages/brr/brr.0.0.7/opam: No space left on device
error: unable to create file packages/bst/bst.7.0.0/opam: No space left on device
error: unable to create file packages/builder/builder.0.3.0/opam: No space left on device
error: unable to create file packages/bytesrw/bytesrw.0.1.0/opam: No space left on device
error: unable to create file packages/bytesrw/bytesrw.0.2.0/opam: No space left on device
error: unable to create file packages/bytesrw/bytesrw.0.3.0/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.80/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.86/opam: No space left on device
error: unable to create file packages/ca-certs-nss/ca-certs-nss.3.98/opam: No space left on device
error: unable to create file packages/cachet/cachet.0.0.4/opam: No space left on device
error: unable to create file packages/cairn/cairn.1.0/opam: No space left on device
error: unable to create file packages/cairo2-pango/cairo2-pango.0.6.4/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.0.5/opam: No space left on device
error: unable to create file packages/cairo2/cairo2.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/caisar-ir/caisar-ir.0.2/opam: No space left on device
error: unable to create file packages/calcium/calcium.0.1.5/opam: No space left on device
error: unable to create file packages/calcium/calcium.0.2.3/opam: No space left on device
error: unable to create file packages/calcium/calcium.0.4.0/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/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.6.2/opam: No space left on device
error: unable to create file packages/camelot/camelot.1.7.0/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/camlbz2/camlbz2.0.6.0/opam: No space left on device
error: unable to create file packages/camlidl/camlidl.1.13/opam: No space left on device
error: unable to create file packages/camlimages/camlimages.5.0.0/opam: No space left on device
error: unable to create file packages/camlon/camlon.3.0.0/opam: No space left on device
error: unable to create file packages/camlp-streams/camlp-streams.5.0.1/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02+7/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.02.0-1modular-implicits/opam: No space left on device
error: unable to create file packages/camlp4/camlp4.4.14+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/camlp4/camlp4.5.2/opam: No space left on device
error: unable to create file packages/camlp5-buildscripts/camlp5-buildscripts.0.06/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.7.14/opam: No space left on device
error: unable to create file packages/camlp5/camlp5.8.00.04/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.4/opam: No space left on device
error: unable to create file packages/camlpdf/camlpdf.2.7.1/opam: No space left on device
error: unable to create file packages/camlzip/camlzip.1.11/opam: No space left on device
error: unable to create file packages/camomile/camomile.0.8.7/opam: No space left on device
error: unable to create file packages/capnp-rpc-unix/capnp-rpc-unix.1.2.2/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.6.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.7.0/opam: No space left on device
error: unable to create file packages/caqti-async/caqti-async.1.9.0/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.0.10.1/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.0.11.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.8.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.1.9.0/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.2.0.1/opam: No space left on device
error: unable to create file packages/caqti-driver-sqlite3/caqti-driver-sqlite3.2.2.4/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.1.7.0/opam: No space left on device
error: unable to create file packages/caqti-lwt/caqti-lwt.1.8.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.8.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.1.9.0/opam: No space left on device
error: unable to create file packages/caqti/caqti.2.0.1/opam: No space left on device
error: unable to create file packages/carton-git-lwt/carton-git-lwt.1.1.0/opam: No space left on device
error: unable to create file packages/carton-lwt/carton-lwt.1.2.0/opam: No space left on device
error: unable to create file packages/carton-miou-unix/carton-miou-unix.1.1.0/opam: No space left on device
error: unable to create file packages/castore/castore.0.0.2/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/catapult-daemon/catapult-daemon.0.2/opam: No space left on device
error: unable to create file packages/catapult-file/catapult-file.0.1.1/opam: No space left on device
error: unable to create file packages/catapult-sqlite/catapult-sqlite.0.1.1/opam: No space left on device
error: unable to create file packages/cca/cca.0.2/opam: No space left on device
error: unable to create file packages/cconv/cconv.0.3.1/opam: No space left on device
error: unable to create file packages/cconv/cconv.0.3/opam: No space left on device
error: unable to create file packages/cconv/cconv.0.5/opam: No space left on device
error: unable to create file packages/cfg/cfg.2.1.0/opam: No space left on device
error: unable to create file packages/cfg/cfg.2.2.1/opam: No space left on device
error: unable to create file packages/cfstream/cfstream.1.3.2/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/chacha/chacha.1.0.0/opam: No space left on device
error: unable to create file packages/chamelon/chamelon.0.0.8/opam: No space left on device
error: unable to create file packages/charrua-client/charrua-client.2.1.0/opam: No space left on device
error: unable to create file packages/charrua/charrua.1.5.0/opam: No space left on device
error: unable to create file packages/charrua/charrua.1.6.0/opam: No space left on device
error: unable to create file packages/chartjs/chartjs.0.2.2/opam: No space left on device
error: unable to create file packages/chase/chase.1.2/opam: No space left on device
error: unable to create file packages/checkseum/checkseum.0.0.9/opam: No space left on device
error: unable to create file packages/chess_com_api/chess_com_api.1.0.0/opam: No space left on device
error: unable to create file packages/chess_com_api/chess_com_api.1.0.1/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.19.1/opam: No space left on device
error: unable to create file packages/chrome-trace/chrome-trace.3.20.1/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.13.0/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.14.0/opam: No space left on device
error: unable to create file packages/cinaps/cinaps.v0.15.0/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-transforms/clangml-transforms.0.25/opam: No space left on device
error: unable to create file packages/clangml-transforms/clangml-transforms.0.26/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.4.0/opam: No space left on device
error: unable to create file packages/clangml/clangml.4.6.0/opam: No space left on device
error: unable to create file packages/class_group_vdf/class_group_vdf.0.0.3/opam: No space left on device
error: unable to create file packages/climate/climate.0.2.0/opam: No space left on device
error: unable to create file packages/climate/climate.0.6.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/cll/cll.0.2.0/opam: No space left on device
error: unable to create file packages/clz/clz.0.1.0/opam: No space left on device
error: unable to create file packages/cmdlang-cmdliner-err-runner/cmdlang-cmdliner-err-runner.0.0.16/opam: No space left on device
error: unable to create file packages/cmdlang-to-climate/cmdlang-to-climate.0.0.10/opam: No space left on device
error: unable to create file packages/cmdlang-to-climate/cmdlang-to-climate.0.0.9/opam: No space left on device
error: unable to create file packages/cmdlang/cmdlang.0.0.10/opam: No space left on device
error: unable to create file packages/cmdtui-lambda-term/cmdtui-lambda-term.0.4.3/opam: No space left on device
error: unable to create file packages/coap/coap.0.1.0/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.0.8/opam: No space left on device
error: unable to create file packages/coccinelle/coccinelle.1.0.9/opam: No space left on device
error: unable to create file packages/cohttp-curl-async/cohttp-curl-async.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-curl-async/cohttp-curl-async.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-curl-async/cohttp-curl-async.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.0.0~alpha2/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.0.0~beta2/opam: No space left on device
error: unable to create file packages/cohttp-eio/cohttp-eio.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.1.0/opam: No space left on device
error: unable to create file packages/cohttp-lwt-unix/cohttp-lwt-unix.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.6.1.1/opam: No space left on device
error: unable to create file packages/cohttp-lwt/cohttp-lwt.6.2.1/opam: No space left on device
error: unable to create file packages/cohttp/cohttp.1.0.0/opam: No space left on device
error: unable to create file packages/coin/coin.0.1.2/opam: No space left on device
error: unable to create file packages/coin/coin.0.1.3/opam: No space left on device
error: unable to create file packages/coin/coin.0.1.4/opam: No space left on device
error: unable to create file packages/colibri2/colibri2.0.3.3/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.3.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.4.0/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.4.1/opam: No space left on device
error: unable to create file packages/colombe/colombe.0.8.0/opam: No space left on device
error: unable to create file packages/command_rpc/command_rpc.v0.13.0/opam: No space left on device
error: unable to create file packages/conan-cli/conan-cli.0.0.5/opam: No space left on device
error: unable to create file packages/conan-cli/conan-cli.0.0.6/opam: No space left on device
error: unable to create file packages/conan-database/conan-database.0.0.1/opam: No space left on device
error: unable to create file packages/conan-database/conan-database.0.0.2/opam: No space left on device
error: unable to create file packages/conan-database/conan-database.0.0.3/opam: No space left on device
error: unable to create file packages/conan/conan.0.0.6/opam: No space left on device
error: unable to create file packages/conduit-async/conduit-async.6.2.3/opam: No space left on device
error: unable to create file packages/conduit-lwt-unix/conduit-lwt-unix.7.0.0/opam: No space left on device
error: unable to create file packages/conduit-lwt/conduit-lwt.7.1.0/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.1.4.0/opam: No space left on device
error: unable to create file packages/conduit/conduit.2.0.2/opam: No space left on device
error: unable to create file packages/conduit/conduit.2.3.0/opam: No space left on device
error: unable to create file packages/conex/conex.0.9.2/opam: No space left on device
error: unable to create file packages/conf-automake/conf-automake.1/opam: No space left on device
error: unable to create file packages/conf-bap-llvm/conf-bap-llvm.1.7/opam: No space left on device
error: unable to create file packages/conf-binaryen/conf-binaryen.1/opam: No space left on device
error: unable to create file packages/conf-binutils/conf-binutils.0.1/opam: No space left on device
error: unable to create file packages/conf-bpftool/conf-bpftool.0.1.0/opam: No space left on device
error: unable to create file packages/conf-brotli/conf-brotli.0.0.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-cairo/conf-cairo.1/opam: No space left on device
error: unable to create file packages/conf-cuda-config/conf-cuda-config.1/opam: No space left on device
error: unable to create file packages/conf-cuda/conf-cuda.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-flint/conf-flint.3.0/opam: No space left on device
error: unable to create file packages/conf-freeglut/conf-freeglut.1/opam: No space left on device
error: unable to create file packages/conf-gfortran/conf-gfortran.0/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-base/conf-gnustep-base.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-libdw/conf-libdw.1/opam: No space left on device
error: unable to create file packages/conf-libelf/conf-libelf.1.0.0/opam: No space left on device
error: unable to create file packages/conf-libgccjit/conf-libgccjit.1/opam: No space left on device
error: unable to create file packages/conf-libgif/conf-libgif.1/opam: No space left on device
error: unable to create file packages/conf-libmpg123/conf-libmpg123.1/opam: No space left on device
error: unable to create file packages/conf-libnl3/conf-libnl3.1/opam: No space left on device
error: unable to create file packages/conf-libssl/conf-libssl.1/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-libxcb-image/conf-libxcb-image.1/opam: No space left on device
error: unable to create file packages/conf-llvm-shared/conf-llvm-shared.18/opam: No space left on device
error: unable to create file packages/conf-llvm-shared/conf-llvm-shared.19/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.3.9/opam: No space left on device
error: unable to create file packages/conf-llvm/conf-llvm.4.0.0/opam: No space left on device
error: unable to create file packages/conf-mbedtls/conf-mbedtls.2/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-cairo-x86_64/conf-mingw-w64-cairo-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-glade-i686/conf-mingw-w64-glade-i686.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-glade-x86_64/conf-mingw-w64-glade-x86_64.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-openssl-x86_64/conf-mingw-w64-openssl-x86_64.1/opam: No space left on device
error: unable to create file packages/conf-mingw-w64-sdl2-image-i686/conf-mingw-w64-sdl2-image-i686.1/opam: No space left on device
error: unable to create file packages/conf-mpfr/conf-mpfr.1/opam: No space left on device
error: unable to create file packages/conf-mpi/conf-mpi.1/opam: No space left on device
error: unable to create file packages/conf-msvc64/conf-msvc64.1/opam: No space left on device
error: unable to create file packages/conf-neko/conf-neko.1/opam: No space left on device
error: unable to create file packages/conf-openblas/conf-openblas.0.2.2/opam: No space left on device
error: unable to create file packages/conf-opencc0/conf-opencc0.1/opam: No space left on device
error: unable to create file packages/conf-pam/conf-pam.1/opam: No space left on device
error: unable to create file packages/conf-pandoc/conf-pandoc.0.1/opam: No space left on device
error: unable to create file packages/conf-pango/conf-pango.1/opam: No space left on device
error: unable to create file packages/conf-perl-string-shellquote/conf-perl-string-shellquote.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-ppl/conf-ppl.1/opam: No space left on device
error: unable to create file packages/conf-python-3-dev/conf-python-3-dev.1/opam: No space left on device
error: unable to create file packages/conf-python-3/conf-python-3.1.0.0/opam: No space left on device
error: unable to create file packages/conf-python3-pyparsing/conf-python3-pyparsing.1/opam: No space left on device
error: unable to create file packages/conf-r/conf-r.1.0.0/opam: No space left on device
error: unable to create file packages/conf-rubberband/conf-rubberband.1/opam: No space left on device
error: unable to create file packages/conf-scdoc/conf-scdoc.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-ttf/conf-sdl2-ttf.1/opam: No space left on device
error: unable to create file packages/conf-sdl2/conf-sdl2.1/opam: No space left on device
error: unable to create file packages/conf-tidy/conf-tidy.1/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-wxwidgets/conf-wxwidgets.3.0/opam: No space left on device
error: unable to create file packages/conf-xen/conf-xen.1/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.1.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.2.0/opam: No space left on device
error: unable to create file packages/conformist/conformist.0.8.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.1/opam: No space left on device
error: unable to create file packages/containers-data/containers-data.3.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.12/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.1/opam: No space left on device
error: unable to create file packages/containers-thread/containers-thread.3.10/opam: No space left on device
error: unable to create file packages/containers/containers.3.11/opam: No space left on device
error: unable to create file packages/containers/containers.3.12/opam: No space left on device
error: unable to create file packages/containers/containers.3.15/opam: No space left on device
error: unable to create file packages/cookie/cookie.0.1.8/opam: No space left on device
error: unable to create file packages/cookies/cookies.1.0.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.17.1/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.9.0.1/opam: No space left on device
error: unable to create file packages/coq-core/coq-core.9.1.0/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.1.8+8.19/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.0+8.17/opam: No space left on device
error: unable to create file packages/coq-lsp/coq-lsp.0.2.0+8.18/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.2.1/opam: No space left on device
error: unable to create file packages/coq-of-ocaml/coq-of-ocaml.2.3.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.13.0+0.13.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.16.0+0.16.2/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.18.0+0.18.2/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.19.0+0.19.0/opam: No space left on device
error: unable to create file packages/coq-serapi/coq-serapi.8.20.0+0.20.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.19.0/opam: No space left on device
error: unable to create file packages/coq-stdlib/coq-stdlib.8.19.1/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.18/opam: No space left on device
error: unable to create file packages/coq/coq.8.10.2/opam: No space left on device
error: unable to create file packages/coq/coq.9.0.0/opam: No space left on device
error: unable to create file packages/coq/coq.9.0.1/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.17.0/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.8.20.1/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.9.0.0/opam: No space left on device
error: unable to create file packages/coqide-server/coqide-server.9.1.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.10.0/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.11.2/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.19.1/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.19.2/opam: No space left on device
error: unable to create file packages/coqide/coqide.8.7.1/opam: No space left on device
error: unable to create file packages/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-camera/cordova-plugin-camera.1.0/opam: No space left on device
error: unable to create file packages/cordova-plugin-file-transfer/cordova-plugin-file-transfer.1.0/opam: No space left on device
error: unable to create file packages/core/core.v0.12.3/opam: No space left on device
error: unable to create file packages/core/core.v0.12.4/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.14.1/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.14.2/opam: No space left on device
error: unable to create file packages/core_kernel/core_kernel.v0.15.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.15.2/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.16.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.17.0/opam: No space left on device
error: unable to create file packages/core_unix/core_unix.v0.17.1/opam: No space left on device
error: unable to create file packages/corecount/corecount.1.0.0/opam: No space left on device
error: unable to create file packages/cowabloga/cowabloga.0.5.0/opam: No space left on device
error: unable to create file packages/cpdf/cpdf.2.3/opam: No space left on device
error: unable to create file packages/cpm/cpm.3.0.0/opam: No space left on device
error: unable to create file packages/cppo/cppo.1.6.9/opam: No space left on device
error: unable to create file packages/cpuid/cpuid.0.1.0/opam: No space left on device
error: unable to create file packages/cpuid/cpuid.0.1.2/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/crunch/crunch.3.2.0/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/cryptohash/cryptohash.0.1.1/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.10/opam: No space left on device
error: unable to create file packages/cryptoverif/cryptoverif.2.11/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.2.3/opam: No space left on device
error: unable to create file packages/csexp/csexp.1.3.1/opam: No space left on device
error: unable to create file packages/css/css.0.4.0/opam: No space left on device
error: unable to create file packages/cstruct-async/cstruct-async.6.2.0/opam: No space left on device
error: unable to create file packages/cstruct-lwt/cstruct-lwt.3.3.0/opam: No space left on device
error: unable to create file packages/cstruct-sexp/cstruct-sexp.5.2.0/opam: No space left on device
error: unable to create file packages/cstruct-sexp/cstruct-sexp.6.0.1/opam: No space left on device
error: unable to create file packages/cstruct-unix/cstruct-unix.6.0.1/opam: No space left on device
error: unable to create file packages/cstruct/cstruct.6.0.0/opam: No space left on device
error: unable to create file packages/csv/csv.1.5/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.13.0/opam: No space left on device
error: unable to create file packages/csvfields/csvfields.v0.14.0/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/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.20.0/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.20.1/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.20.2/opam: No space left on device
error: unable to create file packages/ctypes/ctypes.0.21.1/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/cudajit/cudajit.0.5.0/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.0/opam: No space left on device
error: unable to create file packages/cudajit/cudajit.0.7.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.1/opam: No space left on device
error: unable to create file packages/curly/curly.0.3.0/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.6.2/opam: No space left on device
error: unable to create file packages/current_docker/current_docker.0.7.3/opam: No space left on device
error: unable to create file packages/current_examples/current_examples.0.5/opam: No space left on device
error: unable to create file packages/current_incr/current_incr.0.4/opam: No space left on device
error: unable to create file packages/current_incr/current_incr.0.5/opam: No space left on device
error: unable to create file packages/current_rpc/current_rpc.0.5/opam: No space left on device
error: unable to create file packages/current_rpc/current_rpc.0.6.2/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.3/opam: No space left on device
error: unable to create file packages/curses/curses.1.0.6/opam: No space left on device
error: unable to create file packages/cviode/cviode.0.0.4/opam: No space left on device
error: unable to create file packages/daft/daft.0.0.3/opam: No space left on device
error: unable to create file packages/daft/daft.0.0.4/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.0/opam: No space left on device
error: unable to create file packages/dap/dap.1.0.6/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.1.1/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.1/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.6/opam: No space left on device
error: unable to create file packages/data-encoding/data-encoding.0.7.1/opam: No space left on device
error: unable to create file packages/datakit-server-9p/datakit-server-9p.1.0.0/opam: No space left on device
error: unable to create file packages/datalog/datalog.0.3.1/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.2/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.3/opam: No space left on device
error: unable to create file packages/dates_calc/dates_calc.0.0.5/opam: No space left on device
error: unable to create file packages/daypack-lib/daypack-lib.0.0.5/opam: No space left on device
error: unable to create file packages/daypack-lib/daypack-lib.0.0.6/opam: No space left on device
error: unable to create file packages/dead_code_analyzer/dead_code_analyzer.1.0.0/opam: No space left on device
error: unable to create file packages/decimal/decimal.1.0.2/opam: No space left on device
error: unable to create file packages/decoders-cbor/decoders-cbor.1.0.0/opam: No space left on device
error: unable to create file packages/decoders-ezjsonm/decoders-ezjsonm.0.1.0/opam: No space left on device
error: unable to create file packages/decoders-ezxmlm/decoders-ezxmlm.1.0.0/opam: No space left on device
error: unable to create file packages/decoders-jsonm/decoders-jsonm.0.4.0/opam: No space left on device
error: unable to create file packages/decoders-yojson/decoders-yojson.0.2.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.0.7.0/opam: No space left on device
error: unable to create file packages/decoders/decoders.1.0.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.0.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.3.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.4.0/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.4.2/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.5.1/opam: No space left on device
error: unable to create file packages/decompress/decompress.1.5.2/opam: No space left on device
error: unable to create file packages/dedent/dedent.v0.17.0/opam: No space left on device
error: unable to create file packages/dedukti/dedukti.2.6.0/opam: No space left on device
error: unable to create file packages/dedukti/dedukti.2.7/opam: No space left on device
error: unable to create file packages/depext/depext.0.4/opam: No space left on device
error: unable to create file packages/depext/depext.1.0.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/devkit/devkit.1.0/opam: No space left on device
error: unable to create file packages/devkit/devkit.1.2/opam: No space left on device
error: unable to create file packages/devkit/devkit.1.20210120/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.2/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-api/diffast-api.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-git-cli/diffast-git-cli.0.2/opam: No space left on device
error: unable to create file packages/diffast-git-cli/diffast-git-cli.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-git/diffast-git.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-git/diffast-git.0.1/opam: No space left on device
error: unable to create file packages/diffast-langs-cpp/diffast-langs-cpp.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran/diffast-langs-fortran.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-fortran/diffast-langs-fortran.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-java-parsing-cli/diffast-langs-java-parsing-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-python-parsing-cli/diffast-langs-python-parsing-cli.0.1.1/opam: No space left on device
error: unable to create file packages/diffast-langs-python-parsing-cli/diffast-langs-python-parsing-cli.0.3.6/opam: No space left on device
error: unable to create file packages/diffast-langs-python-spec/diffast-langs-python-spec.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.2/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.3.5.1/opam: No space left on device
error: unable to create file packages/diffast-langs-verilog/diffast-langs-verilog.0.3.6/opam: No space left on device
error: unable to create file packages/directories/directories.0.2/opam: No space left on device
error: unable to create file packages/directories/directories.0.5/opam: No space left on device
error: unable to create file packages/directories/directories.0.6/opam: No space left on device
error: unable to create file packages/dirsp-ps2ocaml/dirsp-ps2ocaml.0.1.0/opam: No space left on device
error: unable to create file packages/diskuvbox/diskuvbox.0.1.0/opam: No space left on device
error: unable to create file packages/diskuvbox/diskuvbox.0.1.1/opam: No space left on device
error: unable to create file packages/diskuvbox/diskuvbox.0.1.2/opam: No space left on device
error: unable to create file packages/disml/disml.0.2.5/opam: No space left on device
error: unable to create file packages/dispatch-js/dispatch-js.0.5.0/opam: No space left on device
error: unable to create file packages/dispatch/dispatch.0.1.0/opam: No space left on device
error: unable to create file packages/dkim-mirage/dkim-mirage.0.6.0/opam: No space left on device
error: unable to create file packages/dkim/dkim.0.6.0/opam: No space left on device
error: unable to create file packages/dkml-compiler-env/dkml-compiler-env.1.0.2~prerel7/opam: No space left on device
error: unable to create file packages/dkml-component-offline-ocamlrun/dkml-component-offline-ocamlrun.4.12.1~v1.0.2/opam: No space left on device
error: unable to create file packages/dkml-component-xx-console/dkml-component-xx-console.0.1.1/opam: No space left on device
error: unable to create file packages/dkml-dune-dsl-show/dkml-dune-dsl-show.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-dune-dsl-show/dkml-dune-dsl-show.0.1.3/opam: No space left on device
error: unable to create file packages/dkml-install-installer/dkml-install-installer.0.5.2/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.1.0/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.3.1/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.4.0/opam: No space left on device
error: unable to create file packages/dkml-install/dkml-install.0.5.2/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/dlist/dlist.0.0.3/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-certify/dns-certify.10.2.2/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.10.2.3/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.8.0.0/opam: No space left on device
error: unable to create file packages/dns-certify/dns-certify.9.1.0/opam: No space left on device
error: unable to create file packages/dns-cli/dns-cli.10.1.0/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.10.2.0/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.10.2.1/opam: No space left on device
error: unable to create file packages/dns-client-lwt/dns-client-lwt.10.2.2/opam: No space left on device
error: unable to create file packages/dns-client/dns-client.10.2.2/opam: No space left on device
error: unable to create file packages/dns-lwt/dns-lwt.1.1.3/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.10.2.3/opam: No space left on device
error: unable to create file packages/dns-resolver/dns-resolver.8.0.0/opam: No space left on device
error: unable to create file packages/dns-server/dns-server.10.1.0/opam: No space left on device
error: unable to create file packages/dns-server/dns-server.10.2.3/opam: No space left on device
error: unable to create file packages/dns/dns.7.0.3/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/dns/dns.9.1.0/opam: No space left on device
error: unable to create file packages/dnssd/dnssd.0.5.0/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.10.2.3/opam: No space left on device
error: unable to create file packages/dnssec/dnssec.8.0.0/opam: No space left on device
error: unable to create file packages/docfd/docfd.2.1.0/opam: No space left on device
error: unable to create file packages/docfd/docfd.2.2.0/opam: No space left on device
error: unable to create file packages/docfd/docfd.3.0.0/opam: No space left on device
error: unable to create file packages/docker-api/docker-api.0.1/opam: No space left on device
error: unable to create file packages/docker-api/docker-api.0.2.1/opam: No space left on device
error: unable to create file packages/docker-api/docker-api.0.2.2/opam: No space left on device
error: unable to create file packages/dockerfile-cmd/dockerfile-cmd.8.3.0/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.2.8/opam: No space left on device
error: unable to create file packages/docteur/docteur.0.0.1/opam: No space left on device
error: unable to create file packages/doculib/doculib.1.3.3/opam: No space left on device
error: unable to create file packages/doculib/doculib.1.3.4/opam: No space left on device
error: unable to create file packages/dokeysto_camltc/dokeysto_camltc.4.0.2/opam: No space left on device
error: unable to create file packages/dokeysto_lz4/dokeysto_lz4.2.0.0/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.10/opam: No space left on device
error: unable to create file packages/dolmen_bin/dolmen_bin.0.9/opam: No space left on device
error: unable to create file packages/dolmen_loop/dolmen_loop.0.7/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_lsp/dolmen_lsp.0.6/opam: No space left on device
error: unable to create file packages/dolmen_model/dolmen_model.0.9/opam: No space left on device
error: unable to create file packages/dolmen_type/dolmen_type.0.10/opam: No space left on device
error: unable to create file packages/dolmen_type/dolmen_type.0.5/opam: No space left on device
error: unable to create file packages/dolog/dolog.1.1/opam: No space left on device
error: unable to create file packages/domain-local-await/domain-local-await.0.1.0/opam: No space left on device
error: unable to create file packages/domain-local-await/domain-local-await.0.2.0/opam: No space left on device
error: unable to create file packages/domain-local-await/domain-local-await.1.0.0/opam: No space left on device
error: unable to create file packages/domain-local-await/domain-local-await.1.0.1/opam: No space left on device
error: unable to create file packages/domainpc/domainpc.0.1/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/domainslib/domainslib.0.3.1/opam: No space left on device
error: unable to create file packages/dot-merlin-reader/dot-merlin-reader.5.4.1-503/opam: No space left on device
error: unable to create file packages/down/down.0.0.4/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/dream-accept/dream-accept.0.1.0/opam: No space left on device
error: unable to create file packages/dream-cli/dream-cli.0.1.0/opam: No space left on device
error: unable to create file packages/dream-cli/dream-cli.0.2.0/opam: No space left on device
error: unable to create file packages/dream-html/dream-html.1.2.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.6.0/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-html/dream-html.3.9.5/opam: No space left on device
error: unable to create file packages/dream-httpaf/dream-httpaf.1.0.0~alpha4/opam: No space left on device
error: unable to create file packages/dream-pure/dream-pure.1.0.0~alpha1/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha3/opam: No space left on device
error: unable to create file packages/dream/dream.1.0.0~alpha4/opam: No space left on device
error: unable to create file packages/drom/drom.0.6.1/opam: No space left on device
error: unable to create file packages/drom/drom.0.8.0/opam: No space left on device
error: unable to create file packages/drom_lib/drom_lib.0.8.0/opam: No space left on device
error: unable to create file packages/drom_toml/drom_toml.0.8.0/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.3.0/opam: No space left on device
error: unable to create file packages/dtools/dtools.0.4.6/opam: No space left on device
error: unable to create file packages/duff/duff.0.2/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.19.1/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.20.0/opam: No space left on device
error: unable to create file packages/dune-action-plugin/dune-action-plugin.3.20.1/opam: No space left on device
error: unable to create file packages/dune-compiledb/dune-compiledb.0.4.0/opam: No space left on device
error: unable to create file packages/dune-compiledb/dune-compiledb.0.5.0/opam: No space left on device
error: unable to create file packages/dune-compiledb/dune-compiledb.0.6.0/opam: No space left on device
error: unable to create file packages/dune-configurator/dune-configurator.3.13.1/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.17.2/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.19.0/opam: No space left on device
error: unable to create file packages/dune-glob/dune-glob.3.19.1/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.2.5.1/opam: No space left on device
error: unable to create file packages/dune-private-libs/dune-private-libs.3.17.2/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.1.0/opam: No space left on device
error: unable to create file packages/dune-release/dune-release.1.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.17.2/opam: No space left on device
error: unable to create file packages/dune-rpc/dune-rpc.3.19.0/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.9.3/opam: No space left on device
error: unable to create file packages/dune/dune.3.10.0/opam: No space left on device
error: unable to create file packages/dune/dune.3.19.1/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/dune/dune.3.20.2/opam: No space left on device
error: unable to create file packages/dune/dune.3.21.0/opam: No space left on device
error: unable to create file packages/dunolint-lib-base/dunolint-lib-base.0.0.20251006/opam: No space left on device
error: unable to create file packages/dunolint-lib/dunolint-lib.0.0.20250310/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.2/opam: No space left on device
error: unable to create file packages/duppy/duppy.0.9.3/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.17.2/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.6.0/opam: No space left on device
error: unable to create file packages/dyn/dyn.3.6.1/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.0.0/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.0.1/opam: No space left on device
error: unable to create file packages/earlybird/earlybird.1.0.2/opam: No space left on device
error: unable to create file packages/easy-format/easy-format.1.3.0/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.5/opam: No space left on device
error: unable to create file packages/easy_logging/easy_logging.0.6.0/opam: No space left on device
error: unable to create file packages/ecaml/ecaml.v0.17.0/opam: No space left on device
error: unable to create file packages/echo/echo.0.0.4/opam: No space left on device
error: unable to create file packages/echo/echo.0.0.5/opam: No space left on device
error: unable to create file packages/efl/efl.1.17.0/opam: No space left on device
error: unable to create file packages/efl/efl.1.18.0/opam: No space left on device
error: unable to create file packages/efl/efl.1.19.0/opam: No space left on device
error: unable to create file packages/eigen/eigen.0.1.0/opam: No space left on device
error: unable to create file packages/eio-ssl/eio-ssl.0.1.0/opam: No space left on device
error: unable to create file packages/eio-ssl/eio-ssl.0.1.1/opam: No space left on device
error: unable to create file packages/eio/eio.0.12/opam: No space left on device
error: unable to create file packages/eio/eio.0.13/opam: No space left on device
error: unable to create file packages/eio/eio.0.14/opam: No space left on device
error: unable to create file packages/eio/eio.1.2/opam: No space left on device
error: unable to create file packages/eio/eio.1.3/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.0.9/opam: No space left on device
error: unable to create file packages/eio_main/eio_main.1.1/opam: No space left on device
error: unable to create file packages/eio_windows/eio_windows.0.12/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.1.0/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.1.1/opam: No space left on device
error: unable to create file packages/elasticsearch-cli/elasticsearch-cli.1.2/opam: No space left on device
error: unable to create file packages/electrumAnalyzer/electrumAnalyzer.0.3.5-2/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/eliom/eliom.11.0.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.11.0.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.12.1/opam: No space left on device
error: unable to create file packages/eliom/eliom.6.8.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.8.6.0/opam: No space left on device
error: unable to create file packages/eliom/eliom.9.4.0/opam: No space left on device
error: unable to create file packages/elm_core/elm_core.0.1.7/opam: No space left on device
error: unable to create file packages/elm_playground/elm_playground.0.1.7/opam: No space left on device
error: unable to create file packages/elm_playground_web/elm_playground_web.0.1.7/opam: No space left on device
error: unable to create file packages/elpi/elpi.2.0.7/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.0.1/opam: No space left on device
error: unable to create file packages/elpi/elpi.3.4.5/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.2/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.3.1/opam: No space left on device
error: unable to create file packages/embedded_ocaml_templates/embedded_ocaml_templates.0.4/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.3/opam: No space left on device
error: unable to create file packages/emile/emile.0.4/opam: No space left on device
error: unable to create file packages/env_config/env_config.v0.17.0/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.1/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.10/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.2/opam: No space left on device
error: unable to create file packages/eqaf/eqaf.0.3/opam: No space left on device
error: unable to create file packages/errpy/errpy.0.0.10/opam: No space left on device
error: unable to create file packages/errpy/errpy.0.0.7/opam: No space left on device
error: unable to create file packages/esperanto-cosmopolitan/esperanto-cosmopolitan.0.0.1/opam: No space left on device
error: unable to create file packages/esperanto/esperanto.0.0.3/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/exit/exit.0.0.1/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.0.3.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.0.4.0/opam: No space left on device
error: unable to create file packages/extism-manifest/extism-manifest.1.0.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/extism.1.3.0/opam: No space left on device
error: unable to create file packages/extism/extism.1.4.0/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.1.5/opam: No space left on device
error: unable to create file packages/extunix/extunix.0.3.2/opam: No space left on device
error: unable to create file packages/ez_cmdliner/ez_cmdliner.0.4.3/opam: No space left on device
error: unable to create file packages/ez_subst/ez_subst.0.1.0/opam: No space left on device
error: unable to create file packages/ez_subst/ez_subst.0.2.0/opam: No space left on device
error: unable to create file packages/ezjs_blockies/ezjs_blockies.0.1/opam: No space left on device
error: unable to create file packages/ezjs_cytoscape/ezjs_cytoscape.0.1/opam: No space left on device
error: unable to create file packages/ezjs_fetch/ezjs_fetch.0.2/opam: No space left on device
error: unable to create file packages/ezjs_min/ezjs_min.0.3.0/opam: No space left on device
error: unable to create file packages/ezjsonm-encoding/ezjsonm-encoding.2.1.0/opam: No space left on device
error: unable to create file packages/ezjsonm-lwt/ezjsonm-lwt.1.1.0/opam: No space left on device
error: unable to create file packages/ezjsonm-lwt/ezjsonm-lwt.1.2.0/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/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.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/faraday-async/faraday-async.0.4.0/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.6.1/opam: No space left on device
error: unable to create file packages/faraday-async/faraday-async.0.7.1/opam: No space left on device
error: unable to create file packages/faraday-lwt/faraday-lwt.0.7.1/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.7.0/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.7.3/opam: No space left on device
error: unable to create file packages/faraday/faraday.0.8.1/opam: No space left on device
error: unable to create file packages/fat-filesystem/fat-filesystem.0.15.1/opam: No space left on device
error: unable to create file packages/fd-send-recv/fd-send-recv.1.0.5/opam: No space left on device
error: unable to create file packages/fdkaac/fdkaac.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/ffmpeg-av/ffmpeg-av.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.2.7/opam: No space left on device
error: unable to create file packages/ffmpeg-av/ffmpeg-av.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avcodec/ffmpeg-avcodec.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.0.1/opam: No space left on device
error: unable to create file packages/ffmpeg-avdevice/ffmpeg-avdevice.1.1.0/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.2.5/opam: No space left on device
error: unable to create file packages/ffmpeg-avfilter/ffmpeg-avfilter.1.2.6/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.1.7/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.5/opam: No space left on device
error: unable to create file packages/ffmpeg-avutil/ffmpeg-avutil.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg-swresample/ffmpeg-swresample.1.2.8/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.0.0/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.0.0~beta1/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.0.0~rc1/opam: No space left on device
error: unable to create file packages/ffmpeg-swscale/ffmpeg-swscale.1.0.1/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.0.0~beta2/opam: No space left on device
error: unable to create file packages/ffmpeg/ffmpeg.1.1.1/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.2.5/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.1/opam: No space left on device
error: unable to create file packages/fftw3/fftw3.0.8.2/opam: No space left on device
error: unable to create file packages/fiber/fiber.3.6.1/opam: No space left on device
error: unable to create file packages/fieldslib/fieldslib.v0.15.0/opam: No space left on device
error: unable to create file packages/file-rewriter/file-rewriter.0.0.3/opam: No space left on device
error: unable to create file packages/file_path/file_path.v0.15.0/opam: No space left on device
error: unable to create file packages/file_path/file_path.v0.16.0/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.0/opam: No space left on device
error: unable to create file packages/fileutils/fileutils.0.6.1/opam: No space left on device
error: unable to create file packages/fit/fit.1.0.2/opam: No space left on device
error: unable to create file packages/fit/fit.1.3.2/opam: No space left on device
error: unable to create file packages/fix/fix.20130611/opam: No space left on device
error: unable to create file packages/fix/fix.20181206/opam: No space left on device
error: unable to create file packages/fix/fix.20211231/opam: No space left on device
error: unable to create file packages/flac/flac.1.0.0/opam: No space left on device
error: unable to create file packages/flatunionfind/flatunionfind.20241210/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.1.0/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.4/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.5/opam: No space left on device
error: unable to create file packages/fmlib/fmlib.0.5.7/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.6/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.2/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/fmt/fmt.0.8.8/opam: No space left on device
error: unable to create file packages/fmt/fmt.0.9.0/opam: No space left on device
error: unable to create file packages/forester/forester.2.1/opam: No space left on device
error: unable to create file packages/fpath-base/fpath-base.0.3.1/opam: No space left on device
error: unable to create file packages/fpath-base/fpath-base.0.4.0/opam: No space left on device
error: unable to create file packages/fpath-sexp0/fpath-sexp0.0.3.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-luncov/frama-c-luncov.0.2.1/opam: No space left on device
error: unable to create file packages/frama-c-luncov/frama-c-luncov.0.2/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.20.0/opam: No space left on device
error: unable to create file packages/frama-c/frama-c.31.0/opam: No space left on device
error: unable to create file packages/frama-clang/frama-clang.0.0.14/opam: No space left on device
error: unable to create file packages/frama-clang/frama-clang.0.0.16/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.4.1/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.5.1/opam: No space left on device
error: unable to create file packages/freetds/freetds.0.6/opam: No space left on device
error: unable to create file packages/fsml/fsml.0.3.0/opam: No space left on device
error: unable to create file packages/fstar/fstar.2025.02.17/opam: No space left on device
error: unable to create file packages/fstar/fstar.2025.03.25/opam: No space left on device
error: unable to create file packages/fun-postgresql/fun-postgresql.0.2.3/opam: No space left on device
error: unable to create file packages/fun-sqlite/fun-sqlite.0.2.3/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/fuzzy_match/fuzzy_match.v0.17.0/opam: No space left on device
error: unable to create file packages/fzf/fzf.v0.17.0/opam: No space left on device
error: unable to create file packages/gadelac/gadelac.0.6.1/opam: No space left on device
error: unable to create file packages/gadelac/gadelac.0.6/opam: No space left on device
error: unable to create file packages/gd/gd.1.1/opam: No space left on device
error: unable to create file packages/gemini/gemini.0.1/opam: No space left on device
error: unable to create file packages/gen/gen.1.1/opam: No space left on device
error: unable to create file packages/gen_js_api/gen_js_api.1.0.6/opam: No space left on device
error: unable to create file packages/gendarme-json/gendarme-json.0.4.0/opam: No space left on device
error: unable to create file packages/gendarme-toml/gendarme-toml.0.3.0/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/genspio/genspio.0.0.2/opam: No space left on device
error: unable to create file packages/genspir/genspir.0.1/opam: No space left on device
error: unable to create file packages/genspir/genspir.1.0.0/opam: No space left on device
error: unable to create file packages/get_line/get_line.2.1.1/opam: No space left on device
error: unable to create file packages/get_line/get_line.4.0.0/opam: No space left on device
error: unable to create file packages/getopts/getopts.0.3.2/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.3.8/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.4.2/opam: No space left on device
error: unable to create file packages/gettext/gettext.0.5.0/opam: No space left on device
error: unable to create file packages/gg/gg.1.0.0/opam: No space left on device
error: unable to create file packages/git-kv/git-kv.0.1.3/opam: No space left on device
error: unable to create file packages/git-mirage/git-mirage.3.15.0/opam: No space left on device
error: unable to create file packages/git-mirage/git-mirage.3.18.0/opam: No space left on device
error: unable to create file packages/git-net/git-net.0.2.0/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.15.0/opam: No space left on device
error: unable to create file packages/git-paf/git-paf.3.18.0/opam: No space left on device
error: unable to create file packages/git-unix/git-unix.3.2.0/opam: No space left on device
error: unable to create file packages/git/git.2.1.3/opam: No space left on device
error: unable to create file packages/git/git.3.16.1/opam: No space left on device
error: unable to create file packages/git/git.3.6.0/opam: No space left on device
error: unable to create file packages/github-data/github-data.4.4.0/opam: No space left on device
error: unable to create file packages/github-hooks-unix/github-hooks-unix.0.5.0/opam: No space left on device
error: unable to create file packages/github-jsoo/github-jsoo.3.0.1/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.0.0/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.1/opam: No space left on device
error: unable to create file packages/github-unix/github-unix.4.3.2/opam: No space left on device
error: unable to create file packages/github/github.4.3.0/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.1/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.4/opam: No space left on device
error: unable to create file packages/gitlab-unix/gitlab-unix.0.1.5/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.0/opam: No space left on device
error: unable to create file packages/gitlab/gitlab.0.1.3/opam: No space left on device
error: unable to create file packages/gitlab_pipeline_notifier/gitlab_pipeline_notifier.0.1/opam: No space left on device
error: unable to create file packages/gles3/gles3.20160307.alpha/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1-3/opam: No space left on device
error: unable to create file packages/glfw-ocaml/glfw-ocaml.3.2.1~rc1/opam: No space left on device
error: unable to create file packages/globlon/globlon.1.0/opam: No space left on device
error: unable to create file packages/glpk/glpk.0.1.6/opam: No space left on device
error: unable to create file packages/gluten-async/gluten-async.0.3.0/opam: No space left on device
error: unable to create file packages/gluten-eio/gluten-eio.0.4.1/opam: No space left on device
error: unable to create file packages/gluten-eio/gluten-eio.0.5.1/opam: No space left on device
error: unable to create file packages/gluten-lwt-unix/gluten-lwt-unix.0.2.1/opam: No space left on device
error: unable to create file packages/gluten-lwt/gluten-lwt.0.4.0/opam: No space left on device
error: unable to create file packages/gluten-mirage/gluten-mirage.0.5.2/opam: No space left on device
error: unable to create file packages/gluten/gluten.0.5.2/opam: No space left on device
error: unable to create file packages/gmp/gmp.6.2.1-5/opam: No space left on device
error: unable to create file packages/gmp/gmp.6.3.0/opam: No space left on device
error: unable to create file packages/gnuplot/gnuplot.0.5.3/opam: No space left on device
fatal: cannot create directory at 'packages/gobject-introspection': No space left on device
git-reset failed with exit-code 128
2026-01-27 19:36.06: Job failed: Failed: Build failed