(lower-bound)

2026-01-09 21:46.07: New job: test ahrefs/ocannl https://github.com/ahrefs/ocannl.git#refs/heads/master (a84d65a7fa2f1a72d1f3373928d165b9a1387901) (linux-x86_64:(lower-bound))
Base: ocaml/opam:debian-13-ocaml-5.3@sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ahrefs/ocannl.git" -b "master" && cd "ocannl" && git reset --hard a84d65a7
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.3@sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9
# debian-13-5.3_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 2dee2fe30df966714e056f8af164fe0ed7648a63 || git fetch origin master) && git reset -q --hard 2dee2fe30df966714e056f8af164fe0ed7648a63 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 neural_nets_lib.opam arrayjit.opam ./
RUN opam pin add -yn neural_nets_lib.dev './' && \
opam pin add -yn arrayjit.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="angstrom.0.14.0 astring.0.8.5 backoff.0.1.0 base.v0.17.0 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.1.0 bigarray-compat.1.1.0 bigstringaf.0.9.0 biniou.1.2.2 camlp-streams.5.0.1 camlzip.1.11 cmdliner.1.3.0 cohttp.6.1.1 cohttp-eio.6.1.1 conf-libcurl.1 conf-libffi.2.0.0 conf-pkg-config.1.0 conf-sqlite3.1 conf-zlib.1 cppo.1.6.7 csexp.1.5.1 cstruct.6.0.1 csv.2.3 ctypes.0.23.0 ctypes-foreign.0.23.0 curl.0.10.0 domain-local-await.0.1.0 dune.3.18.2 dune-configurator.3.18.2 dune-private-libs.3.15.3 dune-site.3.15.3 dyn.3.15.3 easy-format.1.3.3 eio.0.12 eio_linux.0.12 eio_main.0.12 eio_posix.0.12 fieldslib.v0.17.0 fmt.0.9.0 hmap.0.8.1 http.6.1.1 integers.0.6.0 iomux.0.2 jane-street-headers.v0.17.0 jsonrpc.1.6.0 jst-config.v0.17.0 logs.0.7.0 lwt.5.7.0 lwt-dllist.1.0.0 mdx.2.5.0 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mtime.2.1.0 multicore-magic.2.3.1 notty-community.dev num.1.5 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-version.3.5.0 ocaml_intrinsics_kernel.v0.17.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.1 optint.0.3.0 ordering.3.15.3 parsexp.v0.17.0 pp.1.2.0 pprint.20230830 ppx_assert.v0.17.0 ppx_base.v0.17.0 ppx_cold.v0.17.0 ppx_compare.v0.17.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppx_enumerate.v0.17.0 ppx_expect.v0.17.3 ppx_fields_conv.v0.17.0 ppx_globalize.v0.17.2 ppx_hash.v0.17.0 ppx_here.v0.17.0 ppx_inline_test.v0.17.1 ppx_minidebug.dev ppx_optcomp.v0.17.1 ppx_sexp_conv.v0.17.1 ppx_string.v0.17.0 ppx_variants_conv.v0.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.3 printbox.0.12 printbox-ext-plot.0.12 printbox-html.0.12 printbox-md.0.12 printbox-text.0.12 psq.0.2.0 ptime.1.2.0 re.1.9.0 result.1.5 saturn_lockfree.0.5.0 seq.0.3 sexplib.v0.17.0 sexplib0.v0.17.0 sqlite3.5.0.1 stdio.v0.17.0 stdlib-shims.0.1.0 stdune.3.15.3 stringext.1.6.0 thread-local-storage.0.2 time_now.v0.17.0 topkg.1.0.8 tyxml.4.4.0 uri.4.0.0 uri-sexp.4.0.0 uring.0.5 uucp.14.0.0 uutf.1.0.3 variantslib.v0.17.0 yojson.1.5.0"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y neural_nets_lib.dev arrayjit.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2026-01-09 21:46.07: Using cache hint "ahrefs/ocannl-ocaml/opam:debian-13-ocaml-5.3@sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9-debian-13-5.3_opam-2.5-1c5bcc90084b57c577ec07841f2ffe69"
2026-01-09 21:46.07: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.3@sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9)
(comment debian-13-5.3_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 2dee2fe30df966714e056f8af164fe0ed7648a63 || git fetch origin master) && git reset -q --hard 2dee2fe30df966714e056f8af164fe0ed7648a63 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src neural_nets_lib.opam arrayjit.opam) (dst ./))
(run (network host)
(shell  "opam pin add -yn neural_nets_lib.dev './' && \
\nopam pin add -yn arrayjit.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "angstrom.0.14.0 astring.0.8.5 backoff.0.1.0 base.v0.17.0 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.1.0 bigarray-compat.1.1.0 bigstringaf.0.9.0 biniou.1.2.2 camlp-streams.5.0.1 camlzip.1.11 cmdliner.1.3.0 cohttp.6.1.1 cohttp-eio.6.1.1 conf-libcurl.1 conf-libffi.2.0.0 conf-pkg-config.1.0 conf-sqlite3.1 conf-zlib.1 cppo.1.6.7 csexp.1.5.1 cstruct.6.0.1 csv.2.3 ctypes.0.23.0 ctypes-foreign.0.23.0 curl.0.10.0 domain-local-await.0.1.0 dune.3.18.2 dune-configurator.3.18.2 dune-private-libs.3.15.3 dune-site.3.15.3 dyn.3.15.3 easy-format.1.3.3 eio.0.12 eio_linux.0.12 eio_main.0.12 eio_posix.0.12 fieldslib.v0.17.0 fmt.0.9.0 hmap.0.8.1 http.6.1.1 integers.0.6.0 iomux.0.2 jane-street-headers.v0.17.0 jsonrpc.1.6.0 jst-config.v0.17.0 logs.0.7.0 lwt.5.7.0 lwt-dllist.1.0.0 mdx.2.5.0 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mtime.2.1.0 multicore-magic.2.3.1 notty-community.dev num.1.5 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-version.3.5.0 ocaml_intrinsics_kernel.v0.17.0 ocamlbuild.0.14.3 ocamlfind.1.9.6 ocplib-endian.1.1 optint.0.3.0 ordering.3.15.3 parsexp.v0.17.0 pp.1.2.0 pprint.20230830 ppx_assert.v0.17.0 ppx_base.v0.17.0 ppx_cold.v0.17.0 ppx_compare.v0.17.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppx_enumerate.v0.17.0 ppx_expect.v0.17.3 ppx_fields_conv.v0.17.0 ppx_globalize.v0.17.2 ppx_hash.v0.17.0 ppx_here.v0.17.0 ppx_inline_test.v0.17.1 ppx_minidebug.dev ppx_optcomp.v0.17.1 ppx_sexp_conv.v0.17.1 ppx_string.v0.17.0 ppx_variants_conv.v0.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.3 printbox.0.12 printbox-ext-plot.0.12 printbox-html.0.12 printbox-md.0.12 printbox-text.0.12 psq.0.2.0 ptime.1.2.0 re.1.9.0 result.1.5 saturn_lockfree.0.5.0 seq.0.3 sexplib.v0.17.0 sexplib0.v0.17.0 sqlite3.5.0.1 stdio.v0.17.0 stdlib-shims.0.1.0 stdune.3.15.3 stringext.1.6.0 thread-local-storage.0.2 time_now.v0.17.0 topkg.1.0.8 tyxml.4.4.0 uri.4.0.0 uri-sexp.4.0.0 uring.0.5 uucp.14.0.0 uutf.1.0.3 variantslib.v0.17.0 yojson.1.5.0")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y neural_nets_lib.dev arrayjit.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2026-01-09 21:46.07: Waiting for resource in pool OCluster
2026-01-10 00:06.58: Waiting for worker…
2026-01-10 00:07.13: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
HEAD is now at a84d65a7 A bit of progress toward projection inference for Concat Cases which mimic Affine / Conv_input


(from ocaml/opam:debian-13-ocaml-5.3@sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.3@sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9' locally
docker.io/ocaml/opam@sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9: Pulling from ocaml/opam
2981f7e8980b: Already exists
9c63e1c4ba84: Already exists
02578b9c9f1b: Already exists
3801cb7ba5e6: Already exists
1c4cdedd39f1: Already exists
40f6006c5f5a: Already exists
c451a17216ec: Already exists
e4104b8f72ee: Already exists
7c7dbc5e7919: Already exists
aa82be714e7c: Already exists
922520f12384: Already exists
9bfea042cef8: Already exists
1244979f7c21: Already exists
7583a0e34f94: Already exists
14bef3f2665a: Already exists
3a4b42ce6cb5: Already exists
b0a08a900877: Already exists
b0a08a900877: Already exists
16ac87e68d60: Already exists
74ac6e8c9b82: Already exists
b41290a57dc5: Already exists
592e5bcb7159: Already exists
4f4fb700ef54: Already exists
1db0705661a3: Already exists
76bb8e35b9cc: Already exists
3bc9d98c3b49: Already exists
7096ef42e6c0: Already exists
cd0e70de8125: Already exists
23ffab57f98e: Already exists
b974353d8023: Already exists
c74fba566723: Already exists
5ad399846f45: Already exists
3e7203fa3980: Already exists
0b8915d2a92b: Already exists
e68c7a56c438: Already exists
9024d680a167: Already exists
3c7c73421b6e: Already exists
7134fa9b4278: Already exists
9d94fb523099: Already exists
20d06dbdae7e: Already exists
b9a45e537661: Already exists
a08a9a974983: Already exists
8924679c4512: Already exists
768c99fc4263: Already exists
215f2d760d2b: Pulling fs layer
7de9823e1d22: Pulling fs layer
84f9df68c39c: Pulling fs layer
4989e85de92f: Pulling fs layer
4989e85de92f: Waiting
7de9823e1d22: Download complete
84f9df68c39c: Verifying Checksum
84f9df68c39c: Download complete
4989e85de92f: Verifying Checksum
4989e85de92f: Download complete
215f2d760d2b: Verifying Checksum
215f2d760d2b: Download complete
215f2d760d2b: Pull complete
7de9823e1d22: Pull complete
84f9df68c39c: Pull complete
4989e85de92f: Pull complete
Digest: sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9
Status: Downloaded newer image for ocaml/opam@sha256:82862fdd2735789b1bfd7b572e93c7d8b36bb89223e583c9d778b90ebac71bd9
2026-01-10 00:07.16 ---> using "3c7396f7f2e012a60dc7c5964d5e4dd32d367437374fe9f1ba725dd799a085cd" from cache


/: (comment debian-13-5.3_opam-2.5)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-01-10 00:07.16 ---> using "f2d5cead8ed23a7e3169a32f2066306219aa6f0a04dc170590cf73310583490c" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [Y/n] y
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-01-10 00:07.16 ---> using "92e1f7fac5a148b82dc742d792f2792d6577571ddb7ed17b51b4ca93428baedc" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-90-generic
The OCaml toplevel, version 5.3.0
2.5.0
2026-01-10 00:07.16 ---> using "8c06cc6bc2cf4080d2c831bee38183dbad56a277e7487a207966708ccbcc6bbd" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-01-10 00:07.16 ---> using "facbfe7000ac855e61bf35934581c87a83d86de5d4db756294b8822a04a9703c" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 2dee2fe30df966714e056f8af164fe0ed7648a63 || git fetch origin master) && git reset -q --hard 2dee2fe30df966714e056f8af164fe0ed7648a63 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
ee48e882f0..a6b2f19780  master     -> origin/master
error: unable to create file packages/conduit-lwt/conduit-lwt.1.3.0/opam: No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.1.4.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.1.5.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.2.0.2/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.4.0.2/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.6.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.6.2.2/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.6.2.3/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.7.0.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.7.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-lwt/conduit-lwt.8.0.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-mirage/conduit-mirage.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-mirage/conduit-mirage.2.2.1/opam': No space left on device
error: unable to unlink old 'packages/conduit-mirage/conduit-mirage.6.2.2/opam': No space left on device
error: unable to unlink old 'packages/conduit-mirage/conduit-mirage.6.2.3/opam': No space left on device
error: unable to unlink old 'packages/conduit-mirage/conduit-mirage.7.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit-mirage/conduit-mirage.8.0.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.1.3.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.1.4.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.1.5.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.2.0.2/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.4.0.2/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.5.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.6.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.6.2.2/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.6.2.3/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.7.0.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.7.1.0/opam': No space left on device
error: unable to unlink old 'packages/conduit/conduit.8.0.0/opam': No space left on device
error: unable to unlink old 'packages/conex-mirage-crypto/conex-mirage-crypto.0.11.1/opam': No space left on device
error: unable to unlink old 'packages/conex-mirage-crypto/conex-mirage-crypto.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conex/conex.0.10.0/opam': No space left on device
error: unable to unlink old 'packages/conex/conex.0.10.1/opam': No space left on device
error: unable to unlink old 'packages/conex/conex.0.11.0/opam': No space left on device
error: unable to unlink old 'packages/conex/conex.0.11.1/opam': No space left on device
error: unable to unlink old 'packages/conex/conex.0.9.2/opam': No space left on device
error: unable to unlink old 'packages/conex/conex.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam': No space left on device
error: unable to unlink old 'packages/conf-aclocal/conf-aclocal.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-aclocal/conf-aclocal.2/opam': No space left on device
error: unable to unlink old 'packages/conf-adwaita-icon-theme/conf-adwaita-icon-theme.1/opam': No space left on device
error: unable to unlink old 'packages/conf-adwaita-icon-theme/conf-adwaita-icon-theme.2/opam': No space left on device
error: unable to unlink old 'packages/conf-age/conf-age.1/opam': No space left on device
error: unable to unlink old 'packages/conf-allegro5/conf-allegro5.1/opam': No space left on device
error: unable to unlink old 'packages/conf-alsa/conf-alsa.1/opam': No space left on device
error: unable to unlink old 'packages/conf-antic/conf-antic.1/opam': No space left on device
error: unable to unlink old 'packages/conf-ao/conf-ao.1/opam': No space left on device
error: unable to unlink old 'packages/conf-arb/conf-arb.1/opam': No space left on device
error: unable to unlink old 'packages/conf-asciidoc/conf-asciidoc.1/opam': No space left on device
error: unable to unlink old 'packages/conf-assimp/conf-assimp.1/opam': No space left on device
error: unable to unlink old 'packages/conf-autoconf/conf-autoconf.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-autoconf/conf-autoconf.0.2/opam': No space left on device
error: unable to unlink old 'packages/conf-automake/conf-automake.1/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1.1/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1.2/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1.3/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1.4/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1.5/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1.6/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1.7/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1.8/opam': No space left on device
error: unable to unlink old 'packages/conf-bap-llvm/conf-bap-llvm.1/opam': No space left on device
error: unable to unlink old 'packages/conf-bash/conf-bash.1/opam': No space left on device
error: unable to unlink old 'packages/conf-binaryen/conf-binaryen.1/opam': No space left on device
error: unable to unlink old 'packages/conf-binutils/conf-binutils.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-binutils/conf-binutils.0.2/opam': No space left on device
error: unable to unlink old 'packages/conf-binutils/conf-binutils.0.3/opam': No space left on device
error: unable to unlink old 'packages/conf-bison/conf-bison.1/opam': No space left on device
error: unable to unlink old 'packages/conf-bison/conf-bison.2/opam': No space left on device
error: unable to unlink old 'packages/conf-blas/conf-blas.1/opam': No space left on device
error: unable to unlink old 'packages/conf-bluetooth/conf-bluetooth.1/opam': No space left on device
error: unable to unlink old 'packages/conf-bmake/conf-bmake.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-boost/conf-boost.1/opam': No space left on device
error: unable to unlink old 'packages/conf-bpftool/conf-bpftool.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-brotli/conf-brotli.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-c++/conf-c++.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-cairo/conf-cairo.1/opam': No space left on device
error: unable to unlink old 'packages/conf-calcium/conf-calcium.1/opam': No space left on device
error: unable to unlink old 'packages/conf-capnproto/conf-capnproto.0/opam': No space left on device
error: unable to unlink old 'packages/conf-capnproto/conf-capnproto.1/opam': No space left on device
error: unable to unlink old 'packages/conf-capnproto/conf-capnproto.2/opam': No space left on device
error: unable to unlink old 'packages/conf-clang-format/conf-clang-format.1/opam': No space left on device
error: unable to unlink old 'packages/conf-clang/conf-clang.1/opam': No space left on device
error: unable to unlink old 'packages/conf-clang/conf-clang.2/opam': No space left on device
error: unable to unlink old 'packages/conf-cmake/conf-cmake.1/opam': No space left on device
error: unable to unlink old 'packages/conf-cosmopolitan/conf-cosmopolitan.1/opam': No space left on device
error: unable to unlink old 'packages/conf-cpio/conf-cpio.1/opam': No space left on device
error: unable to unlink old 'packages/conf-csdp/conf-csdp.1/opam': No space left on device
error: unable to unlink old 'packages/conf-cuda-config/conf-cuda-config.1/opam': No space left on device
error: unable to unlink old 'packages/conf-cuda/conf-cuda.1/opam': No space left on device
error: unable to unlink old 'packages/conf-dbm/conf-dbm.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-diffutils/conf-diffutils.1.1/opam': No space left on device
error: unable to unlink old 'packages/conf-diffutils/conf-diffutils.1/opam': No space left on device
error: unable to unlink old 'packages/conf-diffutils/conf-diffutils.2/opam': No space left on device
error: unable to unlink old 'packages/conf-dkml-cross-toolchain/conf-dkml-cross-toolchain.4.12.1/opam': No space left on device
error: unable to unlink old 'packages/conf-dpkg/conf-dpkg.1/opam': No space left on device
error: unable to unlink old 'packages/conf-dssi/conf-dssi.1/opam': No space left on device
error: unable to unlink old 'packages/conf-efl/conf-efl.1.8/opam': No space left on device
error: unable to unlink old 'packages/conf-emacs/conf-emacs.1/opam': No space left on device
error: unable to unlink old 'packages/conf-env-travis/conf-env-travis.1/opam': No space left on device
error: unable to unlink old 'packages/conf-expat/conf-expat.1/opam': No space left on device
error: unable to unlink old 'packages/conf-faad/conf-faad.1/opam': No space left on device
error: unable to unlink old 'packages/conf-fdkaac/conf-fdkaac.1/opam': No space left on device
error: unable to unlink old 'packages/conf-ffmpeg/conf-ffmpeg.1/opam': No space left on device
error: unable to unlink old 'packages/conf-fftw3/conf-fftw3.1/opam': No space left on device
error: unable to unlink old 'packages/conf-findutils/conf-findutils.1/opam': No space left on device
error: unable to unlink old 'packages/conf-flex/conf-flex.1/opam': No space left on device
error: unable to unlink old 'packages/conf-flex/conf-flex.2/opam': No space left on device
error: unable to unlink old 'packages/conf-flint/conf-flint.1/opam': No space left on device
error: unable to unlink old 'packages/conf-flint/conf-flint.3.0/opam': No space left on device
error: unable to unlink old 'packages/conf-freeglut/conf-freeglut.1/opam': No space left on device
error: unable to unlink old 'packages/conf-freetype/conf-freetype.1/opam': No space left on device
error: unable to unlink old 'packages/conf-frei0r/conf-frei0r.1/opam': No space left on device
error: unable to unlink old 'packages/conf-fswatch/conf-fswatch.11-0.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-fswatch/conf-fswatch.11-0.1.3/opam': No space left on device
error: unable to unlink old 'packages/conf-ftgl/conf-ftgl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-fts/conf-fts.1/opam': No space left on device
error: unable to unlink old 'packages/conf-g++/conf-g++.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-gcc/conf-gcc.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-gd/conf-gd.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gegl/conf-gegl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gfortran/conf-gfortran.0/opam': No space left on device
error: unable to unlink old 'packages/conf-ghostscript/conf-ghostscript.1/opam': No space left on device
error: unable to unlink old 'packages/conf-git/conf-git.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-git/conf-git.1.1/opam': No space left on device
error: unable to unlink old 'packages/conf-glade/conf-glade.2/opam': No space left on device
error: unable to unlink old 'packages/conf-gles2/conf-gles2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-glew/conf-glew.1/opam': No space left on device
error: unable to unlink old 'packages/conf-glfw3/conf-glfw3.1/opam': No space left on device
error: unable to unlink old 'packages/conf-glfw3/conf-glfw3.2/opam': No space left on device
error: unable to unlink old 'packages/conf-glib-2/conf-glib-2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-glpk/conf-glpk.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gmp-paths/conf-gmp-paths.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gmp-powm-sec/conf-gmp-powm-sec.4/opam': No space left on device
error: unable to unlink old 'packages/conf-gmp/conf-gmp.5/opam': No space left on device
error: unable to unlink old 'packages/conf-gnome-icon-theme3/conf-gnome-icon-theme3.0/opam': No space left on device
error: unable to unlink old 'packages/conf-gnomecanvas/conf-gnomecanvas.2/opam': No space left on device
error: unable to unlink old 'packages/conf-gnuplot/conf-gnuplot.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gnustep-base/conf-gnustep-base.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gnustep-gui/conf-gnustep-gui.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gnutls/conf-gnutls.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gobject-introspection/conf-gobject-introspection.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-goocanvas2/conf-goocanvas2.0/opam': No space left on device
error: unable to unlink old 'packages/conf-gpiod/conf-gpiod.1/opam': No space left on device
error: unable to unlink old 'packages/conf-graphviz/conf-graphviz.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gsl/conf-gsl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gsl/conf-gsl.2/opam': No space left on device
error: unable to unlink old 'packages/conf-gssapi/conf-gssapi.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gstreamer/conf-gstreamer.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gtk2/conf-gtk2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-gtk3/conf-gtk3.18/opam': No space left on device
error: unable to unlink old 'packages/conf-gtksourceview/conf-gtksourceview.2/opam': No space left on device
error: unable to unlink old 'packages/conf-gtksourceview3/conf-gtksourceview3.0+1/opam': No space left on device
error: unable to unlink old 'packages/conf-gtksourceview3/conf-gtksourceview3.0+2/opam': No space left on device
error: unable to unlink old 'packages/conf-gtksourceview3/conf-gtksourceview3.0/opam': No space left on device
error: unable to unlink old 'packages/conf-guile/conf-guile.1/opam': No space left on device
error: unable to unlink old 'packages/conf-haveged/conf-haveged.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-hg/conf-hg.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-hidapi/conf-hidapi.0/opam': No space left on device
error: unable to unlink old 'packages/conf-ida/conf-ida.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-ida/conf-ida.0.2/opam': No space left on device
error: unable to unlink old 'packages/conf-ida/conf-ida.0.3/opam': No space left on device
error: unable to unlink old 'packages/conf-jack/conf-jack.1/opam': No space left on device
error: unable to unlink old 'packages/conf-jq/conf-jq.1/opam': No space left on device
error: unable to unlink old 'packages/conf-ladspa/conf-ladspa.1/opam': No space left on device
error: unable to unlink old 'packages/conf-lame/conf-lame.1/opam': No space left on device
error: unable to unlink old 'packages/conf-lapack/conf-lapack.1/opam': No space left on device
error: unable to unlink old 'packages/conf-leveldb/conf-leveldb.1/opam': No space left on device
error: unable to unlink old 'packages/conf-leveldb/conf-leveldb.2/opam': No space left on device
error: unable to unlink old 'packages/conf-libMagickCore/conf-libMagickCore.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libX11/conf-libX11.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libXft/conf-libXft.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libargon2/conf-libargon2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libblake3/conf-libblake3.1.5.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libbpf/conf-libbpf.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-libbz2/conf-libbz2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.10/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.11/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.12/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.13/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.14/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.15/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.19/opam': No space left on device
error: unable to unlink old 'packages/conf-libclang/conf-libclang.21/opam': No space left on device
error: unable to unlink old 'packages/conf-libcorosync/conf-libcorosync.3/opam': No space left on device
error: unable to unlink old 'packages/conf-libcurl/conf-libcurl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libcurl/conf-libcurl.2/opam': No space left on device
error: unable to unlink old 'packages/conf-libdrm/conf-libdrm.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libdw/conf-libdw.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libelf/conf-libelf.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-libev/conf-libev.4-11/opam': No space left on device
error: unable to unlink old 'packages/conf-libev/conf-libev.4-12/opam': No space left on device
error: unable to unlink old 'packages/conf-libev/conf-libev.4-13/opam': No space left on device
error: unable to unlink old 'packages/conf-libevent/conf-libevent.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libffi/conf-libffi.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libffi/conf-libffi.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-libflac/conf-libflac.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libfontconfig/conf-libfontconfig.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libfuse/conf-libfuse.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libgccjit/conf-libgccjit.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libgif/conf-libgif.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libgl/conf-libgl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libglu/conf-libglu.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libgsasl/conf-libgsasl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libjpeg/conf-libjpeg.1/opam': No space left on device
error: unable to unlink old 'packages/conf-liblinear-tools/conf-liblinear-tools.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-liblo/conf-liblo.1/opam': No space left on device
error: unable to unlink old 'packages/conf-liblz4/conf-liblz4.1/opam': No space left on device
error: unable to unlink old 'packages/conf-liblzma/conf-liblzma.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libmagic/conf-libmagic.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libmaxminddb/conf-libmaxminddb.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libmd/conf-libmd.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-libmosquitto/conf-libmosquitto.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libmpg123/conf-libmpg123.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libnl3/conf-libnl3.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libobjc2/conf-libobjc2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libogg/conf-libogg.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libopus/conf-libopus.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libpcre/conf-libpcre.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libpcre/conf-libpcre.2/opam': No space left on device
error: unable to unlink old 'packages/conf-libpcre2-8/conf-libpcre2-8.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libpcre2-8/conf-libpcre2-8.2/opam': No space left on device
error: unable to unlink old 'packages/conf-libpng/conf-libpng.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libportmidi/conf-libportmidi.1/opam': No space left on device
error: unable to unlink old 'packages/conf-librsvg2/conf-librsvg2.0/opam': No space left on device
error: unable to unlink old 'packages/conf-libsamplerate/conf-libsamplerate.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libsamplerate/conf-libsamplerate.2/opam': No space left on device
error: unable to unlink old 'packages/conf-libseccomp/conf-libseccomp.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libsodium/conf-libsodium.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libspeex/conf-libspeex.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libssl/conf-libssl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libssl/conf-libssl.2/opam': No space left on device
error: unable to unlink old 'packages/conf-libssl/conf-libssl.3/opam': No space left on device
error: unable to unlink old 'packages/conf-libssl/conf-libssl.4/opam': No space left on device
error: unable to unlink old 'packages/conf-libsvm-tools/conf-libsvm-tools.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-libsvm/conf-libsvm.3/opam': No space left on device
error: unable to unlink old 'packages/conf-libtheora/conf-libtheora.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libtool/conf-libtool.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libudev/conf-libudev.1/opam': No space left on device
error: unable to unlink old 'packages/conf-liburing/conf-liburing.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-libuv/conf-libuv.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libvorbis/conf-libvorbis.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libwayland/conf-libwayland.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxcb-image/conf-libxcb-image.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxcb-keysyms/conf-libxcb-keysyms.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxcb-shm/conf-libxcb-shm.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxcb-xkb/conf-libxcb-xkb.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxcb/conf-libxcb.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxcursor/conf-libxcursor.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxi/conf-libxi.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxinerama/conf-libxinerama.1/opam': No space left on device
error: unable to unlink old 'packages/conf-libxrandr/conf-libxrandr.1/opam': No space left on device
error: unable to unlink old 'packages/conf-lilv/conf-lilv.1/opam': No space left on device
error: unable to unlink old 'packages/conf-linux-libc-dev/conf-linux-libc-dev.0/opam': No space left on device
error: unable to unlink old 'packages/conf-lld/conf-lld.1/opam': No space left on device
error: unable to unlink old 'packages/conf-lldb/conf-lldb.3.5/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm-shared/conf-llvm-shared.18/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm-shared/conf-llvm-shared.19/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm-static/conf-llvm-static.18/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm-static/conf-llvm-static.19/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.10.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.11.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.12.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.13.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.14.0.6/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.15/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.16/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.17/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.3.4/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.3.8/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.3.9/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.4.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.5.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.6.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.7.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.8.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-llvm/conf-llvm.9.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-lua/conf-lua.1/opam': No space left on device
error: unable to unlink old 'packages/conf-lz4/conf-lz4.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-m4/conf-m4.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mad/conf-mad.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mad/conf-mad.2/opam': No space left on device
error: unable to unlink old 'packages/conf-mariadb/conf-mariadb.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mariadb/conf-mariadb.2/opam': No space left on device
error: unable to unlink old 'packages/conf-mbedtls/conf-mbedtls.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mbedtls/conf-mbedtls.2/opam': No space left on device
error: unable to unlink old 'packages/conf-mecab/conf-mecab.0.996/opam': No space left on device
error: unable to unlink old 'packages/conf-mesa/conf-mesa.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-allegro5-i686/conf-mingw-w64-allegro5-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-allegro5-x86_64/conf-mingw-w64-allegro5-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-ao-i686/conf-mingw-w64-ao-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-ao-x86_64/conf-mingw-w64-ao-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-cairo-i686/conf-mingw-w64-cairo-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-cairo-x86_64/conf-mingw-w64-cairo-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-curl-i686/conf-mingw-w64-curl-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-curl-x86_64/conf-mingw-w64-curl-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-freeglut-i686/conf-mingw-w64-freeglut-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-freeglut-x86_64/conf-mingw-w64-freeglut-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-freetype-i686/conf-mingw-w64-freetype-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-freetype-x86_64/conf-mingw-w64-freetype-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-g++-i686/conf-mingw-w64-g++-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-g++-x86_64/conf-mingw-w64-g++-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gcc-i686/conf-mingw-w64-gcc-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gcc-x86_64/conf-mingw-w64-gcc-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-glade-i686/conf-mingw-w64-glade-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-glade-x86_64/conf-mingw-w64-glade-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gmp-i686/conf-mingw-w64-gmp-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gmp-x86_64/conf-mingw-w64-gmp-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gnomecanvas-i686/conf-mingw-w64-gnomecanvas-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gnomecanvas-x86_64/conf-mingw-w64-gnomecanvas-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gnutls-i686/conf-mingw-w64-gnutls-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gnutls-x86_64/conf-mingw-w64-gnutls-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gtk2-i686/conf-mingw-w64-gtk2-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gtk2-x86_64/conf-mingw-w64-gtk2-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gtk3-i686/conf-mingw-w64-gtk3-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gtk3-x86_64/conf-mingw-w64-gtk3-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gtksourceview3-i686/conf-mingw-w64-gtksourceview3-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-gtksourceview3-x86_64/conf-mingw-w64-gtksourceview3-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-libevent-i686/conf-mingw-w64-libevent-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-libevent-x86_64/conf-mingw-w64-libevent-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-libffi-i686/conf-mingw-w64-libffi-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-libffi-x86_64/conf-mingw-w64-libffi-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-liblz4-i686/conf-mingw-w64-liblz4-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-liblz4-x86_64/conf-mingw-w64-liblz4-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-mbedtls-x86_64/conf-mingw-w64-mbedtls-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-ncurses-i686/conf-mingw-w64-ncurses-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-ncurses-x86_64/conf-mingw-w64-ncurses-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-nettle-i686/conf-mingw-w64-nettle-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-nettle-x86_64/conf-mingw-w64-nettle-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-openssl-i686/conf-mingw-w64-openssl-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-openssl-x86_64/conf-mingw-w64-openssl-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-pcre-i686/conf-mingw-w64-pcre-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-pcre-x86_64/conf-mingw-w64-pcre-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-pcre2-i686/conf-mingw-w64-pcre2-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-pcre2-x86_64/conf-mingw-w64-pcre2-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-pkgconf-i686/conf-mingw-w64-pkgconf-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-pkgconf-x86_64/conf-mingw-w64-pkgconf-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-postgresql-i686/conf-mingw-w64-postgresql-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-postgresql-x86_64/conf-mingw-w64-postgresql-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-i686/conf-mingw-w64-sdl2-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-image-i686/conf-mingw-w64-sdl2-image-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-image-x86_64/conf-mingw-w64-sdl2-image-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-mixer-i686/conf-mingw-w64-sdl2-mixer-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-mixer-x86_64/conf-mingw-w64-sdl2-mixer-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-net-i686/conf-mingw-w64-sdl2-net-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-net-x86_64/conf-mingw-w64-sdl2-net-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-ttf-i686/conf-mingw-w64-sdl2-ttf-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-ttf-x86_64/conf-mingw-w64-sdl2-ttf-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sdl2-x86_64/conf-mingw-w64-sdl2-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sqlite3-i686/conf-mingw-w64-sqlite3-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-sqlite3-x86_64/conf-mingw-w64-sqlite3-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-zlib-i686/conf-mingw-w64-zlib-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-zlib-x86_64/conf-mingw-w64-zlib-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-zstd-i686/conf-mingw-w64-zstd-i686.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mingw-w64-zstd-x86_64/conf-mingw-w64-zstd-x86_64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mpfr-paths/conf-mpfr-paths.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mpfr/conf-mpfr.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mpfr/conf-mpfr.2/opam': No space left on device
error: unable to unlink old 'packages/conf-mpfr/conf-mpfr.3/opam': No space left on device
error: unable to unlink old 'packages/conf-mpi/conf-mpi.1/opam': No space left on device
error: unable to unlink old 'packages/conf-msvc32/conf-msvc32.1/opam': No space left on device
error: unable to unlink old 'packages/conf-msvc64/conf-msvc64.1/opam': No space left on device
error: unable to unlink old 'packages/conf-mysql/conf-mysql.1/opam': No space left on device
error: unable to unlink old 'packages/conf-nanomsg/conf-nanomsg.0/opam': No space left on device
error: unable to unlink old 'packages/conf-nauty/conf-nauty.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-ncurses/conf-ncurses.1/opam': No space left on device
error: unable to unlink old 'packages/conf-neko/conf-neko.1/opam': No space left on device
error: unable to unlink old 'packages/conf-netsnmp/conf-netsnmp.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-ninja/conf-ninja.1/opam': No space left on device
error: unable to unlink old 'packages/conf-nlopt/conf-nlopt.1/opam': No space left on device
error: unable to unlink old 'packages/conf-nmap/conf-nmap.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-npm/conf-npm.1/opam': No space left on device
error: unable to unlink old 'packages/conf-numa/conf-numa.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-ode/conf-ode.1/opam': No space left on device
error: unable to unlink old 'packages/conf-oniguruma/conf-oniguruma.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openbabel/conf-openbabel.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openblas-macOS-env/conf-openblas-macOS-env.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openblas/conf-openblas.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openblas/conf-openblas.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/conf-openblas/conf-openblas.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openblas/conf-openblas.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/conf-openblas/conf-openblas.0.2.3/opam': No space left on device
error: unable to unlink old 'packages/conf-opencc0/conf-opencc0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-opencc1/conf-opencc1.1/opam': No space left on device
error: unable to unlink old 'packages/conf-opencc1_1/conf-opencc1_1.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openimageio/conf-openimageio.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openjdk/conf-openjdk.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openssl/conf-openssl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-openssl/conf-openssl.2/opam': No space left on device
error: unable to unlink old 'packages/conf-pam/conf-pam.1/opam': No space left on device
error: unable to unlink old 'packages/conf-pandoc/conf-pandoc.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-pango/conf-pango.1/opam': No space left on device
error: unable to unlink old 'packages/conf-perl-ipc-system-simple/conf-perl-ipc-system-simple.1/opam': No space left on device
error: unable to unlink old 'packages/conf-perl-ipc-system-simple/conf-perl-ipc-system-simple.2/opam': No space left on device
error: unable to unlink old 'packages/conf-perl-ipc-system-simple/conf-perl-ipc-system-simple.3/opam': No space left on device
error: unable to unlink old 'packages/conf-perl-string-shellquote/conf-perl-string-shellquote.1/opam': No space left on device
error: unable to unlink old 'packages/conf-perl-string-shellquote/conf-perl-string-shellquote.2/opam': No space left on device
error: unable to unlink old 'packages/conf-perl-string-shellquote/conf-perl-string-shellquote.3/opam': No space left on device
error: unable to unlink old 'packages/conf-perl/conf-perl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-perl/conf-perl.2/opam': No space left on device
error: unable to unlink old 'packages/conf-pic-switch/conf-pic-switch.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-pixz/conf-pixz.1/opam': No space left on device
error: unable to unlink old 'packages/conf-pkg-config/conf-pkg-config.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-pkg-config/conf-pkg-config.1.1/opam': No space left on device
error: unable to unlink old 'packages/conf-pkg-config/conf-pkg-config.1.2/opam': No space left on device
error: unable to unlink old 'packages/conf-pkg-config/conf-pkg-config.1.3/opam': No space left on device
error: unable to unlink old 'packages/conf-pkg-config/conf-pkg-config.2/opam': No space left on device
error: unable to unlink old 'packages/conf-pkg-config/conf-pkg-config.3/opam': No space left on device
error: unable to unlink old 'packages/conf-pkg-config/conf-pkg-config.4/opam': No space left on device
error: unable to unlink old 'packages/conf-plplot/conf-plplot.1/opam': No space left on device
error: unable to unlink old 'packages/conf-portaudio/conf-portaudio.1/opam': No space left on device
error: unable to unlink old 'packages/conf-postgresql/conf-postgresql.1/opam': No space left on device
error: unable to unlink old 'packages/conf-postgresql/conf-postgresql.2/opam': No space left on device
error: unable to unlink old 'packages/conf-povray/conf-povray.1/opam': No space left on device
error: unable to unlink old 'packages/conf-ppl/conf-ppl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-protoc-dev/conf-protoc-dev.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-protoc/conf-protoc.0.9/opam': No space left on device
error: unable to unlink old 'packages/conf-protoc/conf-protoc.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-protoc/conf-protoc.4.4.0/opam': No space left on device
error: unable to unlink old 'packages/conf-pulseaudio/conf-pulseaudio.1/opam': No space left on device
error: unable to unlink old 'packages/conf-python-2-7-dev/conf-python-2-7-dev.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-python-2-7/conf-python-2-7.1.0/opam': No space left on device
error: unable to unlink old 'packages/conf-python-2-7/conf-python-2-7.1.1/opam': No space left on device
error: unable to unlink old 'packages/conf-python-2-7/conf-python-2-7.1.2/opam': No space left on device
error: unable to unlink old 'packages/conf-python-3-7/conf-python-3-7.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-python-3-dev/conf-python-3-dev.1/opam': No space left on device
error: unable to unlink old 'packages/conf-python-3/conf-python-3.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-python-3/conf-python-3.9.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-python3-pyparsing/conf-python3-pyparsing.1/opam': No space left on device
error: unable to unlink old 'packages/conf-python3-tomli/conf-python3-tomli.1/opam': No space left on device
error: unable to unlink old 'packages/conf-python3-yaml/conf-python3-yaml.1/opam': No space left on device
error: unable to unlink old 'packages/conf-qemu-img/conf-qemu-img.1/opam': No space left on device
error: unable to unlink old 'packages/conf-qt/conf-qt.5.2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-r-mathlib/conf-r-mathlib.1/opam': No space left on device
error: unable to unlink old 'packages/conf-r/conf-r.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-radare2/conf-radare2.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rdkit/conf-rdkit.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rdkit/conf-rdkit.1/opam': No space left on device
error: unable to unlink old 'packages/conf-readline/conf-readline.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rocksdb/conf-rocksdb.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rubberband/conf-rubberband.1/opam': No space left on device
error: unable to unlink old 'packages/conf-ruby/conf-ruby.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-rust-2018/conf-rust-2018.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rust-2021/conf-rust-2021.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rust-2024/conf-rust-2024.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rust-llvm/conf-rust-llvm.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rust-wasm/conf-rust-wasm.1/opam': No space left on device
error: unable to unlink old 'packages/conf-rust/conf-rust.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-samplerate/conf-samplerate.1/opam': No space left on device
error: unable to unlink old 'packages/conf-scdoc/conf-scdoc.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl-gfx/conf-sdl-gfx.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl-image/conf-sdl-image.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl-mixer/conf-sdl-mixer.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl-net/conf-sdl-net.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl-ttf/conf-sdl-ttf.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl2-image/conf-sdl2-image.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl2-mixer/conf-sdl2-mixer.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl2-net/conf-sdl2-net.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl2-ttf/conf-sdl2-ttf.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdl2/conf-sdl2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sdpa/conf-sdpa.1/opam': No space left on device
error: unable to unlink old 'packages/conf-secp256k1/conf-secp256k1.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/conf-secp256k1/conf-secp256k1.2/opam': No space left on device
error: unable to unlink old 'packages/conf-sfml2/conf-sfml2.1/opam': No space left on device
error: unable to unlink old 'packages/conf-shine/conf-shine.1/opam': No space left on device
error: unable to unlink old 'packages/conf-snappy/conf-snappy.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sndfile/conf-sndfile.1/opam': No space left on device
error: unable to unlink old 'packages/conf-soundtouch/conf-soundtouch.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sqlite3/conf-sqlite3.1/opam': No space left on device
error: unable to unlink old 'packages/conf-srt-gnutls/conf-srt-gnutls.1/opam': No space left on device
error: unable to unlink old 'packages/conf-srt-openssl/conf-srt-openssl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-srt/conf-srt.1/opam': No space left on device
error: unable to unlink old 'packages/conf-srt/conf-srt.2/opam': No space left on device
error: unable to unlink old 'packages/conf-sundials/conf-sundials.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sundials/conf-sundials.2/opam': No space left on device
error: unable to unlink old 'packages/conf-swi-prolog/conf-swi-prolog.1/opam': No space left on device
error: unable to unlink old 'packages/conf-sysinfo/conf-sysinfo.1/opam': No space left on device
error: unable to unlink old 'packages/conf-taglib/conf-taglib.1/opam': No space left on device
error: unable to unlink old 'packages/conf-taglib_c/conf-taglib_c.1/opam': No space left on device
error: unable to unlink old 'packages/conf-taglib_c/conf-taglib_c.2/opam': No space left on device
error: unable to unlink old 'packages/conf-tcl/conf-tcl.1/opam': No space left on device
error: unable to unlink old 'packages/conf-texlive/conf-texlive.1/opam': No space left on device
error: unable to unlink old 'packages/conf-texlive/conf-texlive.2/opam': No space left on device
error: unable to unlink old 'packages/conf-tidy/conf-tidy.1/opam': No space left on device
error: unable to unlink old 'packages/conf-time/conf-time.1/opam': No space left on device
error: unable to unlink old 'packages/conf-timeout/conf-timeout.1/opam': No space left on device
error: unable to unlink old 'packages/conf-tk/conf-tk.1/opam': No space left on device
error: unable to unlink old 'packages/conf-tree-sitter/conf-tree-sitter.1/opam': No space left on device
error: unable to unlink old 'packages/conf-trexio/conf-trexio.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-tzdata/conf-tzdata.1/opam': No space left on device
error: unable to unlink old 'packages/conf-unwind/conf-unwind.0/opam': No space left on device
error: unable to unlink old 'packages/conf-vim/conf-vim.1/opam': No space left on device
error: unable to unlink old 'packages/conf-vips/conf-vips.1/opam': No space left on device
error: unable to unlink old 'packages/conf-wayland-protocols/conf-wayland-protocols.1/opam': No space left on device
error: unable to unlink old 'packages/conf-wget/conf-wget.1/opam': No space left on device
error: unable to unlink old 'packages/conf-which/conf-which.1/opam': No space left on device
error: unable to unlink old 'packages/conf-wxwidgets/conf-wxwidgets.3.0/opam': No space left on device
error: unable to unlink old 'packages/conf-x86_64-linux-gnu-gcc/conf-x86_64-linux-gnu-gcc.1/opam': No space left on device
error: unable to unlink old 'packages/conf-xen/conf-xen.1/opam': No space left on device
error: unable to unlink old 'packages/conf-xkbcommon/conf-xkbcommon.1/opam': No space left on device
error: unable to unlink old 'packages/conf-xxhash/conf-xxhash.1/opam': No space left on device
error: unable to unlink old 'packages/conf-zig/conf-zig.1/opam': No space left on device
error: unable to unlink old 'packages/conf-zlib/conf-zlib.1/opam': No space left on device
error: unable to unlink old 'packages/conf-zmq/conf-zmq.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-zstd/conf-zstd.0.1/opam': No space left on device
error: unable to unlink old 'packages/conf-zstd/conf-zstd.1.3.8/opam': No space left on device
error: unable to unlink old 'packages/confero/confero.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/config-file/config-file.1.1/opam': No space left on device
error: unable to unlink old 'packages/config-file/config-file.1.2.1/opam': No space left on device
error: unable to unlink old 'packages/config-file/config-file.1.2.2/opam': No space left on device
error: unable to unlink old 'packages/config-file/config-file.1.2/opam': No space left on device
error: unable to unlink old 'packages/config/config.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/config/config.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/config/config.0.0.3/opam': No space left on device
error: unable to unlink old 'packages/configuration/configuration.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/configuration/configuration.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/configurator/configurator.v0.11.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.7.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.8.0/opam': No space left on device
error: unable to unlink old 'packages/conformist/conformist.0.8.1/opam': No space left on device
error: unable to unlink old 'packages/conjury/conjury.2.0.1/opam': No space left on device
error: unable to unlink old 'packages/conjury/conjury.2.0/opam': No space left on device
error: unable to unlink old 'packages/conjury/conjury.2.1.1/opam': No space left on device
error: unable to unlink old 'packages/conjury/conjury.2.1/opam': No space left on device
error: unable to unlink old 'packages/conjury/conjury.2.2/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.0.1/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.0/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.1/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.10/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.11/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.12/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.13.1/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.13/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.14/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.15/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.16/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.2/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.3/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.4/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.5.1/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.5/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.6.1/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.6/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.7/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.8/opam': No space left on device
error: unable to unlink old 'packages/containers-data/containers-data.3.9/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.0.1/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.0/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.1/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.10/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.11/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.12/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.2/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.3/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.4/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.5.1/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.5/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.6.1/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.6/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.7/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.8/opam': No space left on device
error: unable to unlink old 'packages/containers-thread/containers-thread.3.9/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.2.8.1/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.2.8/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.0.1/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.0/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.1/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.10/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.11/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.12/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.13.1/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.13/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.14/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.15/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.16/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.2/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.3/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.4/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.5.1/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.5/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.6.1/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.6/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.7/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.8/opam': No space left on device
error: unable to unlink old 'packages/containers/containers.3.9/opam': No space left on device
error: unable to unlink old 'packages/content_security_policy/content_security_policy.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/content_security_policy/content_security_policy.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/cookie/cookie.0.1.6/opam': No space left on device
error: unable to unlink old 'packages/cookie/cookie.0.1.8/opam': No space left on device
error: unable to unlink old 'packages/cookies/cookies.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/coq-catt-plugin/coq-catt-plugin.1.0/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.8.17.0/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.8.17.1/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.8.18.0/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.8.19.0/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.8.19.1/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.8.19.2/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.8.20.0/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.8.20.1/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.9.0.0/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.9.0.1/opam': No space left on device
error: unable to unlink old 'packages/coq-core/coq-core.9.1.0/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.1+v8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.2+v8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.3+v8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.4+v8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.5+8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.5.1+8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.6+8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.6.1+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.7+8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.7+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.7+8.18/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.8+8.16/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.8+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.8+8.18/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.8+8.19/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.9+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.9+8.18/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.1.9+8.19/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.0+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.0+8.18/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.0+8.19/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.0+8.20/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.2+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.2+8.18/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.2+8.19/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.2+8.20/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.3+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.3+8.18/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.3+8.19/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.3+8.20/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.3+9.0/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.4+8.20/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.4+9.0/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.4+9.1/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.5+8.20/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.5+9.0/opam': No space left on device
error: unable to unlink old 'packages/coq-lsp/coq-lsp.0.2.5+9.1/opam': No space left on device
error: unable to unlink old 'packages/coq-native/coq-native.1/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.2.1/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.4.1/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.5.1/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.5.2+4.12/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.5.2+4.13/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.12/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.13/opam': No space left on device
error: unable to unlink old 'packages/coq-of-ocaml/coq-of-ocaml.2.5.3+4.14/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.10.0+0.7.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.10.0+0.7.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.10.0+0.7.2/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.11.0+0.11.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.12.0+0.12.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.12.0+0.12.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.13.0+0.13.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.13.0+0.13.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.14.0+0.14.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.15.0+0.15.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.15.0+0.15.2/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.15.0+0.15.3/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.15.0+0.15.4/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.16.0+0.16.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.16.0+0.16.2/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.16.0+0.16.3/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.17.0+0.17.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.17.0+0.17.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.17.0+0.17.2/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.17.0+0.17.3/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.18.0+0.18.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.18.0+0.18.2/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.18.0+0.18.3/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.19.0+0.19.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.19.0+0.19.1/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.19.0+0.19.2/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.19.0+0.19.3/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.20.0+0.20.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.8.0+0.5.2/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.8.0+0.5.3/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.8.0+0.5.4/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.8.0+0.5.5/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.8.0+0.5.6/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.9.0+0.6.0/opam': No space left on device
error: unable to unlink old 'packages/coq-serapi/coq-serapi.8.9.0+0.6.1/opam': No space left on device
error: unable to unlink old 'packages/coq-shell/coq-shell.1/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.8.17.0/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.8.17.1/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.8.18.0/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.8.19.0/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.8.19.1/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.8.19.2/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.8.20.0/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.8.20.1/opam': No space left on device
error: unable to unlink old 'packages/coq-stdlib/coq-stdlib.9.0.0/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.2.0.1+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.2.1.0+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.2.1.1+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.2.1.1+8.18/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.2.2.0+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.2.2.0+8.20/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.3.0.0+8.17/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.3.0.0+8.18/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.3.0.0+8.19.1/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.3.0.0+8.20/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.3.0.0+9.0/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.3.1.0+9.0/opam': No space left on device
error: unable to unlink old 'packages/coq-waterproof/coq-waterproof.3.1.0+9.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.10.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.10.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.10.2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.11.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.11.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.11.2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.12.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.12.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.12.2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.13.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.13.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.13.2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.14.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.14.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.15.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.15.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.15.2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.16.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.16.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.17.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.17.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.18.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.19.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.19.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.19.2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.20.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.20.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.7.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.7.1+1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.7.1+2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.7.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.7.2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.8.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.8.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.8.2/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.9.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.8.9.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.9.0.0/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.9.0.1/opam': No space left on device
error: unable to unlink old 'packages/coq/coq.9.1.0/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.8.17.0/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.8.17.1/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.8.18.0/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.8.19.0/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.8.19.1/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.8.19.2/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.8.20.0/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.8.20.1/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.9.0.0/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.9.0.1/opam': No space left on device
error: unable to unlink old 'packages/coqide-server/coqide-server.9.1.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.10.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.10.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.10.2/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.11.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.11.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.11.2/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.12.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.12.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.12.2/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.13.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.13.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.13.2/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.14.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.14.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.15.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.15.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.15.2/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.16.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.16.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.17.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.17.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.18.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.19.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.19.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.19.2/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.20.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.20.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.7.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.7.2/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.8.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.8.1/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.8.2/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.9.0/opam': No space left on device
error: unable to unlink old 'packages/coqide/coqide.8.9.1/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-activity-indicator/cordova-plugin-activity-indicator.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-background-mode/cordova-plugin-background-mode.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-barcode-scanner/cordova-plugin-barcode-scanner.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-battery-status/cordova-plugin-battery-status.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-camera/cordova-plugin-camera.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-clipboard/cordova-plugin-clipboard.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-datepicker/cordova-plugin-datepicker.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-device-motion/cordova-plugin-device-motion.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-device-orientation/cordova-plugin-device-orientation.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-device/cordova-plugin-device.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-dialogs/cordova-plugin-dialogs.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-email-composer/cordova-plugin-email-composer.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-fcm/cordova-plugin-fcm.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-file-opener/cordova-plugin-file-opener.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-file-transfer/cordova-plugin-file-transfer.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-file/cordova-plugin-file.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-geolocation/cordova-plugin-geolocation.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-globalization/cordova-plugin-globalization.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-image-picker/cordova-plugin-image-picker.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-inappbrowser/cordova-plugin-inappbrowser.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-insomnia/cordova-plugin-insomnia.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-keyboard/cordova-plugin-keyboard.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-loading-spinner/cordova-plugin-loading-spinner.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-local-notifications/cordova-plugin-local-notifications.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-media-capture/cordova-plugin-media-capture.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-media/cordova-plugin-media.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-network-information/cordova-plugin-network-information.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-progress/cordova-plugin-progress.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1.1/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1.2/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-push-notifications/cordova-plugin-push-notifications.1.1/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-qrscanner/cordova-plugin-qrscanner.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-screen-orientation/cordova-plugin-screen-orientation.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-sim-card/cordova-plugin-sim-card.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-sms/cordova-plugin-sms.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-social-sharing/cordova-plugin-social-sharing.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-statusbar/cordova-plugin-statusbar.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-toast/cordova-plugin-toast.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-touch-id/cordova-plugin-touch-id.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-vibration/cordova-plugin-vibration.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova-plugin-videoplayer/cordova-plugin-videoplayer.1.0/opam': No space left on device
error: unable to unlink old 'packages/cordova/cordova.1.0/opam': No space left on device
error: unable to unlink old 'packages/core-and-more/core-and-more.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.12.2/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.12.3/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.12.4/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.15.1/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.16.1/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.16.2/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/core/core.v0.17.1/opam': No space left on device
error: unable to unlink old 'packages/core_bench/core_bench.v0.12.0/opam': No space left on device
error: unable to unlink old 'packages/core_bench/core_bench.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/core_bench/core_bench.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/core_bench/core_bench.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/core_bench/core_bench.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/core_bench/core_bench.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/core_compat/core_compat.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/core_extended/core_extended.v0.12.0/opam': No space left on device
error: unable to unlink old 'packages/core_extended/core_extended.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/core_extended/core_extended.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/core_extended/core_extended.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/core_extended/core_extended.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/core_extended/core_extended.v0.17.0/opam': No space lft on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.12.2/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.12.3/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.13.1/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.14.2/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/core_kernel/core_kernel.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/core_profiler/core_profiler.v0.12.0/opam': No space left on device
error: unable to unlink old 'packages/core_profiler/core_profiler.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/core_profiler/core_profiler.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/core_profiler/core_profiler.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/core_profiler/core_profiler.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/core_profiler/core_profiler.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/core_unix/core_unix.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/core_unix/core_unix.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/core_unix/core_unix.v0.15.1/opam': No space left on device
error: unable to unlink old 'packages/core_unix/core_unix.v0.15.2/opam': No space left on device
error: unable to unlink old 'packages/core_unix/core_unix.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/core_unix/core_unix.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/core_unix/core_unix.v0.17.1/opam': No space left on device
error: unable to unlink old 'packages/corecount/corecount.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/corosync/corosync.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/corosync/corosync.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/cosovo/cosovo.3/opam': No space left on device
error: unable to unlink old 'packages/cow/cow.2.0.1/opam': No space left on device
error: unable to unlink old 'packages/cow/cow.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/cow/cow.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/cow/cow.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/cow/cow.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/cowabloga/cowabloga.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/cowabloga/cowabloga.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/cowabloga/cowabloga.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/cpdf/cpdf.2.3/opam': No space left on device
error: unable to unlink old 'packages/cpdf/cpdf.2.4/opam': No space left on device
error: unable to unlink old 'packages/cpdf/cpdf.2.5/opam': No space left on device
error: unable to unlink old 'packages/cpdf/cpdf.2.6/opam': No space left on device
error: unable to unlink old 'packages/cpdf/cpdf.2.7.1/opam': No space left on device
error: unable to unlink old 'packages/cpdf/cpdf.2.7/opam': No space left on device
error: unable to unlink old 'packages/cpdf/cpdf.2.8.1/opam': No space left on device
error: unable to unlink old 'packages/cpdf/cpdf.2.8/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.10.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.10.2.1/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.11.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.12.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.12.1.2/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.12.2.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.3.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.4.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.5.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.6.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.7.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.8.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpm/cpm.9.0.0/opam': No space left on device
error: unable to unlink old 'packages/cppffigen/cppffigen.0.002/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.6.1/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.6.2/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.6.4/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.6.5/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.6.6/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.6.7/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.6.8/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.6.9/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.7.0/opam': No space left on device
error: unable to unlink old 'packages/cppo/cppo.1.8.0/opam': No space left on device
error: unable to unlink old 'packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.0/opam': No space left on device
error: unable to unlink old 'packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.6/opam': No space left on device
error: unable to unlink old 'packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.7/opam': No space left on device
error: unable to unlink old 'packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.8/opam': No space left on device
error: unable to unlink old 'packages/cppo_ocamlbuild/cppo_ocamlbuild.1.6.9/opam': No space left on device
error: unable to unlink old 'packages/cppo_ocamlbuild/cppo_ocamlbuild.1.7.0/opam': No space left on device
error: unable to unlink old 'packages/cppo_ocamlbuild/cppo_ocamlbuild.1.8.0/opam': No space left on device
error: unable to unlink old 'packages/cps_toolbox/cps_toolbox.0.1/opam': No space left on device
error: unable to unlink old 'packages/cps_toolbox/cps_toolbox.0.2/opam': No space left on device
error: unable to unlink old 'packages/cps_toolbox/cps_toolbox.0.3/opam': No space left on device
error: unable to unlink old 'packages/cpu/cpu.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/cpuid/cpuid.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/cpuid/cpuid.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/cpuid/cpuid.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/cpuid/cpuid.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/craml/craml.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/crc/crc.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/crc/crc.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/crc/crc.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/crc/crc.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/crdt-ml/crdt-ml.0.10.0/opam': No space left on device
error: unable to unlink old 'packages/crlibm/crlibm.0.1/opam': No space left on device
error: unable to unlink old 'packages/crlibm/crlibm.0.2/opam': No space left on device
error: unable to unlink old 'packages/crlibm/crlibm.0.3/opam': No space left on device
error: unable to unlink old 'packages/crlibm/crlibm.0.4/opam': No space left on device
error: unable to unlink old 'packages/crlibm/crlibm.0.5.1/opam': No space left on device
error: unable to unlink old 'packages/crlibm/crlibm.0.5/opam': No space left on device
error: unable to unlink old 'packages/crockford/crockford.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/crontab/crontab.0.1/opam': No space left on device
error: unable to unlink old 'packages/crowbar/crowbar.0.1/opam': No space left on device
error: unable to unlink old 'packages/crowbar/crowbar.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/crowbar/crowbar.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/crowbar/crowbar.0.2/opam': No space left on device
error: unable to unlink old 'packages/crs/crs.0.0.20250620/opam': No space left on device
error: unable to unlink old 'packages/crs/crs.0.0.20250705/opam': No space left on device
error: unable to unlink old 'packages/crs/crs.0.0.20250914/opam': No space left on device
error: unable to unlink old 'packages/crunch/crunch.3.2.0/opam': No space left on device
error: unable to unlink old 'packages/crunch/crunch.4.0.0/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.0.6.1/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.0.6.2/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.0.6.3/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.0.6.4/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.0.6.5/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.0.6.6/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.0.6.7/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.1.0.2/opam': No space left on device
error: unable to unlink old 'packages/cry/cry.1.0.3/opam': No space left on device
error: unable to unlink old 'packages/crypt/crypt.1.2/opam': No space left on device
error: unable to unlink old 'packages/crypt/crypt.1.3/opam': No space left on device
error: unable to unlink old 'packages/crypt/crypt.2.0/opam': No space left on device
error: unable to unlink old 'packages/crypt/crypt.2.1/opam': No space left on device
error: unable to unlink old 'packages/cryptodbm/cryptodbm.0.84.2/opam': No space left on device
error: unable to unlink old 'packages/cryptohash/cryptohash.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/cryptohash/cryptohash.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/cryptohash/cryptohash.0.1/opam': No space left on device
error: unable to unlink old 'packages/cryptokit/cryptokit.1.14/opam': No space left on device
error: unable to unlink old 'packages/cryptokit/cryptokit.1.16.1/opam': No space left on device
error: unable to unlink old 'packages/cryptokit/cryptokit.1.20/opam': No space left on device
fatal: cannot create directory at 'packages/cryptokit/cryptokit.1.21.1': No space left on device
"/usr/bin/env" "bash" "-c" "cd ~/opam-repository && (git cat-file -e 2dee2fe30df966714e056f8af164fe0ed7648a63 || git fetch origin master) && git reset -q --hard 2dee2fe30df966714e056f8af164fe0ed7648a63 && git log --no-decorate -n1 --oneline && opam update -u" failed with exit status 128
2026-01-10 00:07.20: Job failed: Failed: Build failed