opensuse-15.6-5.4_opam-2.5

2026-01-09 21:44.42: New job: test ahrefs/atd https://github.com/ahrefs/atd.git#refs/heads/martin/dune-upgrade (6ab8c20c1fbf36297b890cdd1bebd1fc1034d2f7) (linux-x86_64:opensuse-15.6-5.4_opam-2.5)
Base: ocaml/opam:opensuse-15.6-ocaml-5.4@sha256:c4e3a777029c998ef8d41665142a0ce51b594026b5ddab6e9d25b834469fd7f0
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ahrefs/atd.git" -b "martin/dune-upgrade" && cd "atd" && git reset --hard 6ab8c20c
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:opensuse-15.6-ocaml-5.4@sha256:c4e3a777029c998ef8d41665142a0ce51b594026b5ddab6e9d25b834469fd7f0
# opensuse-15.6-5.4_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 c65fcb116531ae66ad3316b265e233443ef25044 || git fetch origin master) && git reset -q --hard c65fcb116531ae66ad3316b265e233443ef25044 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 atdts.opam atds.opam atdpy.opam atdj.opam atdgen.opam atdgen-runtime.opam atdgen-codec-runtime.opam atdd.opam atdcpp.opam atd.opam ./
RUN opam pin add -yn atdts.dev './' && \
opam pin add -yn atds.dev './' && \
opam pin add -yn atdpy.dev './' && \
opam pin add -yn atdj.dev './' && \
opam pin add -yn atdgen.dev './' && \
opam pin add -yn atdgen-runtime.dev './' && \
opam pin add -yn atdgen-codec-runtime.dev './' && \
opam pin add -yn atdd.dev './' && \
opam pin add -yn atdcpp.dev './' && \
opam pin add -yn atd.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base biniou.1.2.2 camlp-streams.5.0.1 cmdliner.2.1.0 conf-python-3.9.0.0 dune.3.20.2 easy-format.1.3.4 fmt.0.11.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 re.1.14.0 stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4 yojson.3.0.0"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y atdts.dev atds.dev atdpy.dev atdj.dev atdgen.dev atdgen-runtime.dev atdgen-codec-runtime.dev atdd.dev atdcpp.dev atd.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:44.42: Using cache hint "ahrefs/atd-ocaml/opam:opensuse-15.6-ocaml-5.4@sha256:c4e3a777029c998ef8d41665142a0ce51b594026b5ddab6e9d25b834469fd7f0-opensuse-15.6-5.4_opam-2.5-24fc6da6085715b3719f569d8e6392a4"
2026-01-09 21:44.42: Using OBuilder spec:
((from ocaml/opam:opensuse-15.6-ocaml-5.4@sha256:c4e3a777029c998ef8d41665142a0ce51b594026b5ddab6e9d25b834469fd7f0)
(comment opensuse-15.6-5.4_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 c65fcb116531ae66ad3316b265e233443ef25044 || git fetch origin master) && git reset -q --hard c65fcb116531ae66ad3316b265e233443ef25044 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src atdts.opam atds.opam atdpy.opam atdj.opam atdgen.opam atdgen-runtime.opam atdgen-codec-runtime.opam atdd.opam atdcpp.opam atd.opam)
(dst ./))
(run (network host)
(shell  "opam pin add -yn atdts.dev './' && \
\nopam pin add -yn atds.dev './' && \
\nopam pin add -yn atdpy.dev './' && \
\nopam pin add -yn atdj.dev './' && \
\nopam pin add -yn atdgen.dev './' && \
\nopam pin add -yn atdgen-runtime.dev './' && \
\nopam pin add -yn atdgen-codec-runtime.dev './' && \
\nopam pin add -yn atdd.dev './' && \
\nopam pin add -yn atdcpp.dev './' && \
\nopam pin add -yn atd.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base biniou.1.2.2 camlp-streams.5.0.1 cmdliner.2.1.0 conf-python-3.9.0.0 dune.3.20.2 easy-format.1.3.4 fmt.0.11.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 re.1.14.0 stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4 yojson.3.0.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 atdts.dev atds.dev atdpy.dev atdj.dev atdgen.dev atdgen-runtime.dev atdgen-codec-runtime.dev atdd.dev atdcpp.dev atd.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:44.42: Waiting for resource in pool OCluster
2026-01-09 23:07.25: Waiting for worker…
2026-01-09 23:07.42: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
HEAD is now at 6ab8c20 Fix new warnings


(from ocaml/opam:opensuse-15.6-ocaml-5.4@sha256:c4e3a777029c998ef8d41665142a0ce51b594026b5ddab6e9d25b834469fd7f0)
2026-01-09 23:07.43 ---> using "0218de18969439ffcdb6f3fbb60b9bdebf3e80510bdc84953e0409f79b153185" from cache


/: (comment opensuse-15.6-5.4_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-09 23:07.43 ---> using "262e3a09eb5cdce03c7e3db46ddeac88c2611d350cc75d9f8ca6979f849c4d25" 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-09 23:07.43 ---> using "a89bc7e4c999d952135c9bd17a20a342b5b9a9ee17fc7f5ab9b3de45d17d8078" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-90-generic
The OCaml toplevel, version 5.4.0
2.5.0
2026-01-09 23:07.43 ---> using "7b4ce7942ed2fdd9e15a9d03b91e43a5522567f314c4c8fea01924c37148d228" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-01-09 23:07.43 ---> using "2fb76fd219b180ac84f2322a001196a56516880e20c6fa7f9ff98db2f7bd6768" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e c65fcb116531ae66ad3316b265e233443ef25044 || git fetch origin master) && git reset -q --hard c65fcb116531ae66ad3316b265e233443ef25044 && 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 unlink old 'packages/atdgen/atdgen.2.9.1/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.1.13.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.10.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.11.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.12.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.13.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.14.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.14.1/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.15.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.16.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.2.1/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.3.3/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.4.1/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.6.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.7.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.8.0/opam': No space left on device
error: unable to unlink old 'packages/atdj/atdj.2.9.1/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.10.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.11.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.12.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.13.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.14.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.14.1/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.15.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.16.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.3.3/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.4.1/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.6.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.7.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.8.0/opam': No space left on device
error: unable to unlink old 'packages/atdpy/atdpy.2.9.1/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.10.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.11.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.12.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.13.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.14.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.14.1/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.15.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.16.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.2.1/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.3.3/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.4.1/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.6.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.7.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.8.0/opam': No space left on device
error: unable to unlink old 'packages/atds/atds.2.9.1/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.10.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.11.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.12.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.13.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.14.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.14.1/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.15.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.16.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.6.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.7.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.8.0/opam': No space left on device
error: unable to unlink old 'packages/atdts/atdts.2.9.1/opam': No space left on device
error: unable to unlink old 'packages/atomic/atomic.0.1/opam': No space left on device
error: unable to unlink old 'packages/atomic/atomic.base/opam': No space left on device
error: unable to unlink old 'packages/augeas/augeas.0.6/opam': No space left on device
error: unable to unlink old 'packages/autofonce/autofonce.0.8/opam': No space left on device
error: unable to unlink old 'packages/autofonce_config/autofonce_config.0.8/opam': No space left on device
error: unable to unlink old 'packages/autofonce_core/autofonce_core.0.8/opam': No space left on device
error: unable to unlink old 'packages/autofonce_lib/autofonce_lib.0.8/opam': No space left on device
error: unable to unlink old 'packages/autofonce_m4/autofonce_m4.0.8/opam': No space left on device
error: unable to unlink old 'packages/autofonce_misc/autofonce_misc.0.8/opam': No space left on device
error: unable to unlink old 'packages/autofonce_patch/autofonce_patch.0.8/opam': No space left on device
error: unable to unlink old 'packages/autofonce_share/autofonce_share.0.8/opam': No space left on device
error: unable to unlink old 'packages/avro-compiler/avro-compiler.0.1/opam': No space left on device
error: unable to unlink old 'packages/avro-simple/avro-simple.0.1/opam': No space left on device
error: unable to unlink old 'packages/avro/avro.0.1/opam': No space left on device
error: unable to unlink old 'packages/awa-mirage/awa-mirage.0.0.5/opam': No space left on device
error: unable to unlink old 'packages/awa-mirage/awa-mirage.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/awa-mirage/awa-mirage.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/awa-mirage/awa-mirage.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/awa-mirage/awa-mirage.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/awa-mirage/awa-mirage.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/awa-mirage/awa-mirage.0.5.2/opam': No space left on device
error: unable to unlink old 'packages/awa/awa.0.0.5/opam': No space left on device
error: unable to unlink old 'packages/awa/awa.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/awa/awa.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/awa/awa.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/awa/awa.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/awa/awa.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/awa/awa.0.5.2/opam': No space left on device
error: unable to unlink old 'packages/aws-async/aws-async.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-autoscaling/aws-autoscaling.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/aws-autoscaling/aws-autoscaling.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-cloudformation/aws-cloudformation.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/aws-cloudformation/aws-cloudformation.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-cloudtrail/aws-cloudtrail.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/aws-cloudtrail/aws-cloudtrail.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-cloudwatch/aws-cloudwatch.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-config/aws-config.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/aws-ec2/aws-ec2.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/aws-ec2/aws-ec2.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-elasticache/aws-elasticache.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-elasticloadbalancing/aws-elasticloadbalancing.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/aws-elasticloadbalancing/aws-elasticloadbalancing.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-lwt/aws-lwt.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-rds/aws-rds.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-route53/aws-route53.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.2.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.3.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.4.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.4.1/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.5.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.5.1/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.6.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.7.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.8.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-async/aws-s3-async.4.8.1/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.2.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.3.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.4.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.4.1/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.5.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.5.1/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.6.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.7.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.8.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3-lwt/aws-s3-lwt.4.8.1/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.2.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.3.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.4.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.4.1/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.5.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.5.1/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.6.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.7.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.8.0/opam': No space left on device
error: unable to unlink old 'packages/aws-s3/aws-s3.4.8.1/opam': No space left on device
error: unable to unlink old 'packages/aws-sdb/aws-sdb.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/aws-sdb/aws-sdb.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-sqs/aws-sqs.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-ssm/aws-ssm.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/aws-ssm/aws-ssm.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws-sts/aws-sts.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/aws-sts/aws-sts.1.2/opam': No space left on device
error: unable to unlink old 'packages/aws/aws.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/aws/aws.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/aws/aws.1.0.2/opam': No space left on device
error: unable to unlink old 'packages/aws/aws.1.2/opam': No space left on device
error: unable to unlink old 'packages/awsm-async/awsm-async.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/awsm-codegen/awsm-codegen.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/awsm-lwt/awsm-lwt.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/awsm/awsm.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/azblob-async/azblob-async.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/azblob/azblob.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.1.3/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.1.4/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.1.5/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.1.6/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.2.3/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.2.4/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/azure-cosmos-db/azure-cosmos-db.0.3.2/opam': No space left on device
error: unable to unlink old 'packages/b0/b0.0.0.5/opam': No space left on device
error: unable to unlink old 'packages/b0/b0.0.0.6/opam': No space left on device
error: unable to unlink old 'packages/babel/babel.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/babel/babel.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/baby/baby.20240619/opam': No space left on device
error: unable to unlink old 'packages/baby/baby.20241204/opam': No space left on device
error: unable to unlink old 'packages/backoff/backoff.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/backoff/backoff.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/bag/bag.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/baguette_sharp/baguette_sharp.2.0.4/opam': No space left on device
error: unable to unlink old 'packages/baguette_sharp/baguette_sharp.2.1.1/opam': No space left on device
error: unable to unlink old 'packages/baguette_sharp/baguette_sharp.2.2.1-1/opam': No space left on device
error: unable to unlink old 'packages/baguette_sharp/baguette_sharp.2.2.1/opam': No space left on device
error: unable to unlink old 'packages/balancer/balancer.1.0/opam': No space left on device
error: unable to unlink old 'packages/bam-ppx/bam-ppx.0.2/opam': No space left on device
error: unable to unlink old 'packages/bam-ppx/bam-ppx.0.3/opam': No space left on device
error: unable to unlink old 'packages/bam-ppx/bam-ppx.0.4/opam': No space left on device
error: unable to unlink old 'packages/bam/bam.0.1/opam': No space left on device
error: unable to unlink old 'packages/bam/bam.0.2/opam': No space left on device
error: unable to unlink old 'packages/bam/bam.0.3/opam': No space left on device
error: unable to unlink old 'packages/bam/bam.0.4/opam': No space left on device
error: unable to unlink old 'packages/bap-abi/bap-abi.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-abi/bap-abi.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-abi/bap-abi.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-abi/bap-abi.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-abi/bap-abi.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-analyze/bap-analyze.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-analyze/bap-analyze.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-analyze/bap-analyze.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-analyze/bap-analyze.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-api/bap-api.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-api/bap-api.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-api/bap-api.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-api/bap-api.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-api/bap-api.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-arm/bap-arm.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-arm/bap-arm.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-arm/bap-arm.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-arm/bap-arm.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-arm/bap-arm.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle-strings/bap-beagle-strings.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle-strings/bap-beagle-strings.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle-strings/bap-beagle-strings.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle-strings/bap-beagle-strings.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle/bap-beagle.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle/bap-beagle.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle/bap-beagle.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle/bap-beagle.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-beagle/bap-beagle.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bil/bap-bil.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bil/bap-bil.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bil/bap-bil.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bil/bap-bil.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bil/bap-bil.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-build/bap-build.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-build/bap-build.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-build/bap-build.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-build/bap-build.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-build/bap-build.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bundle/bap-bundle.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bundle/bap-bundle.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bundle/bap-bundle.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bundle/bap-bundle.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-bundle/bap-bundle.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight-frontend/bap-byteweight-frontend.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight-frontend/bap-byteweight-frontend.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight-frontend/bap-byteweight-frontend.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight-frontend/bap-byteweight-frontend.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight-frontend/bap-byteweight-frontend.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight/bap-byteweight.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight/bap-byteweight.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight/bap-byteweight.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight/bap-byteweight.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-byteweight/bap-byteweight.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-c/bap-c.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-c/bap-c.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-c/bap-c.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-c/bap-c.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-c/bap-c.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cache/bap-cache.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cache/bap-cache.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cache/bap-cache.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cache/bap-cache.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cache/bap-cache.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callgraph-collator/bap-callgraph-collator.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callgraph-collator/bap-callgraph-collator.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callgraph-collator/bap-callgraph-collator.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callgraph-collator/bap-callgraph-collator.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callsites/bap-callsites.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callsites/bap-callsites.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callsites/bap-callsites.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callsites/bap-callsites.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-callsites/bap-callsites.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-constant-tracker/bap-constant-tracker.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-constant-tracker/bap-constant-tracker.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-constant-tracker/bap-constant-tracker.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-constant-tracker/bap-constant-tracker.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-constant-tracker/bap-constant-tracker.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-core-theory/bap-core-theory.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-core-theory/bap-core-theory.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-core-theory/bap-core-theory.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-core-theory/bap-core-theory.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-core-theory/bap-core-theory.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-core/bap-core.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-core/bap-core.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cxxfilt/bap-cxxfilt.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cxxfilt/bap-cxxfilt.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cxxfilt/bap-cxxfilt.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cxxfilt/bap-cxxfilt.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-cxxfilt/bap-cxxfilt.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-demangle/bap-demangle.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-demangle/bap-demangle.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-demangle/bap-demangle.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-demangle/bap-demangle.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-demangle/bap-demangle.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dependencies/bap-dependencies.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dependencies/bap-dependencies.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dependencies/bap-dependencies.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-disassemble/bap-disassemble.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-disassemble/bap-disassemble.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-disassemble/bap-disassemble.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-disassemble/bap-disassemble.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-disassemble/bap-disassemble.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dump-symbols/bap-dump-symbols.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dump-symbols/bap-dump-symbols.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dump-symbols/bap-dump-symbols.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dump-symbols/bap-dump-symbols.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dump-symbols/bap-dump-symbols.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dwarf/bap-dwarf.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dwarf/bap-dwarf.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dwarf/bap-dwarf.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dwarf/bap-dwarf.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-dwarf/bap-dwarf.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elementary/bap-elementary.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elementary/bap-elementary.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elementary/bap-elementary.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elementary/bap-elementary.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elementary/bap-elementary.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elf/bap-elf.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elf/bap-elf.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elf/bap-elf.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elf/bap-elf.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-elf/bap-elf.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-emacs-dot/bap-emacs-dot.0.1/opam': No space left on device
error: unable to unlink old 'packages/bap-emacs-goodies/bap-emacs-goodies.0.1/opam': No space left on device
error: unable to unlink old 'packages/bap-emacs-mode/bap-emacs-mode.0.1/opam': No space left on device
error: unable to unlink old 'packages/bap-extra/bap-extra.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-extra/bap-extra.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-flatten/bap-flatten.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-flatten/bap-flatten.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frames/bap-frames.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontc/bap-frontc.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontc/bap-frontc.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontc/bap-frontc.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontc/bap-frontc.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontc/bap-frontc.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontend/bap-frontend.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontend/bap-frontend.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontend/bap-frontend.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontend/bap-frontend.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-frontend/bap-frontend.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-fsi-benchmark/bap-fsi-benchmark.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-fsi-benchmark/bap-fsi-benchmark.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-future/bap-future.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-future/bap-future.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-future/bap-future.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-future/bap-future.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-future/bap-future.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ghidra/bap-ghidra.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ghidra/bap-ghidra.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-glibc-runtime/bap-glibc-runtime.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-glibc-runtime/bap-glibc-runtime.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-glibc-runtime/bap-glibc-runtime.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-glibc-runtime/bap-glibc-runtime.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-glibc-runtime/bap-glibc-runtime.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida-plugin/bap-ida-plugin.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida-plugin/bap-ida-plugin.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida-plugin/bap-ida-plugin.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida-plugin/bap-ida-plugin.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida-plugin/bap-ida-plugin.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida-python/bap-ida-python.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida-python/bap-ida-python.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida-python/bap-ida-python.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida/bap-ida.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida/bap-ida.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ida/bap-ida.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-knowledge/bap-knowledge.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-knowledge/bap-knowledge.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-knowledge/bap-knowledge.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-knowledge/bap-knowledge.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-knowledge/bap-knowledge.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-llvm/bap-llvm.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-llvm/bap-llvm.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-llvm/bap-llvm.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-llvm/bap-llvm.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-llvm/bap-llvm.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-main/bap-main.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-main/bap-main.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-main/bap-main.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-main/bap-main.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-main/bap-main.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mc/bap-mc.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mc/bap-mc.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mc/bap-mc.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mc/bap-mc.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mc/bap-mc.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-microx/bap-microx.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-microx/bap-microx.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-microx/bap-microx.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-microx/bap-microx.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-microx/bap-microx.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mips/bap-mips.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mips/bap-mips.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mips/bap-mips.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mips/bap-mips.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-mips/bap-mips.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-objdump/bap-objdump.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-objdump/bap-objdump.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-objdump/bap-objdump.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-objdump/bap-objdump.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-objdump/bap-objdump.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-optimization/bap-optimization.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-optimization/bap-optimization.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-optimization/bap-optimization.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-optimization/bap-optimization.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-optimization/bap-optimization.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-patterns/bap-patterns.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-patterns/bap-patterns.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-phoenix/bap-phoenix.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-phoenix/bap-phoenix.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-phoenix/bap-phoenix.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-phoenix/bap-phoenix.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-phoenix/bap-phoenix.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-piqi/bap-piqi.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-piqi/bap-piqi.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-piqi/bap-piqi.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-piqi/bap-piqi.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-piqi/bap-piqi.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-plugins/bap-plugins.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-plugins/bap-plugins.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-plugins/bap-plugins.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-plugins/bap-plugins.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-plugins/bap-plugins.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-powerpc/bap-powerpc.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-powerpc/bap-powerpc.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-powerpc/bap-powerpc.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-powerpc/bap-powerpc.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-powerpc/bap-powerpc.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-dictionary/bap-primus-dictionary.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-dictionary/bap-primus-dictionary.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-dictionary/bap-primus-dictionary.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-dictionary/bap-primus-dictionary.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-dictionary/bap-primus-dictionary.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-limit/bap-primus-limit.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-limit/bap-primus-limit.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-limit/bap-primus-limit.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-limit/bap-primus-limit.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-lisp/bap-primus-lisp.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-lisp/bap-primus-lisp.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-lisp/bap-primus-lisp.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-lisp/bap-primus-lisp.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-lisp/bap-primus-lisp.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-loader/bap-primus-loader.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-loader/bap-primus-loader.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-loader/bap-primus-loader.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-loader/bap-primus-loader.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-mark-visited/bap-primus-mark-visited.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-mark-visited/bap-primus-mark-visited.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-mark-visited/bap-primus-mark-visited.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-mark-visited/bap-primus-mark-visited.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-powerpc/bap-primus-powerpc.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-powerpc/bap-primus-powerpc.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-powerpc/bap-primus-powerpc.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-powerpc/bap-primus-powerpc.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-powerpc/bap-primus-powerpc.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-print/bap-primus-print.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-print/bap-primus-print.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-print/bap-primus-print.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-print/bap-primus-print.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-promiscuous/bap-primus-promiscuous.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-promiscuous/bap-primus-promiscuous.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-promiscuous/bap-primus-promiscuous.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-promiscuous/bap-primus-promiscuous.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-random/bap-primus-random.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-random/bap-primus-random.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-random/bap-primus-random.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-random/bap-primus-random.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-random/bap-primus-random.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-region/bap-primus-region.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-region/bap-primus-region.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-region/bap-primus-region.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-region/bap-primus-region.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-region/bap-primus-region.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-support/bap-primus-support.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-support/bap-primus-support.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-support/bap-primus-support.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-support/bap-primus-support.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-support/bap-primus-support.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-systems/bap-primus-systems.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-systems/bap-primus-systems.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-systems/bap-primus-systems.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-systems/bap-primus-systems.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-systems/bap-primus-systems.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-taint/bap-primus-taint.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-taint/bap-primus-taint.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-taint/bap-primus-taint.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-taint/bap-primus-taint.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-test/bap-primus-test.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-test/bap-primus-test.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-test/bap-primus-test.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-test/bap-primus-test.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-test/bap-primus-test.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-track-visited/bap-primus-track-visited.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-track-visited/bap-primus-track-visited.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-track-visited/bap-primus-track-visited.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-track-visited/bap-primus-track-visited.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-x86/bap-primus-x86.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-x86/bap-primus-x86.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-x86/bap-primus-x86.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-x86/bap-primus-x86.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus-x86/bap-primus-x86.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus/bap-primus.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus/bap-primus.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus/bap-primus.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus/bap-primus.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-primus/bap-primus.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-print/bap-print.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-print/bap-print.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-print/bap-print.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-print/bap-print.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-print/bap-print.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-radare2/bap-radare2.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-radare2/bap-radare2.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-radare2/bap-radare2.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-radare2/bap-radare2.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-raw/bap-raw.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-raw/bap-raw.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-raw/bap-raw.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-raw/bap-raw.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-raw/bap-raw.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe-command/bap-recipe-command.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe-command/bap-recipe-command.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe-command/bap-recipe-command.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe-command/bap-recipe-command.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe-command/bap-recipe-command.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe/bap-recipe.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe/bap-recipe.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe/bap-recipe.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe/bap-recipe.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-recipe/bap-recipe.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relation/bap-relation.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relation/bap-relation.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relation/bap-relation.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relation/bap-relation.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relocatable/bap-relocatable.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relocatable/bap-relocatable.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relocatable/bap-relocatable.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relocatable/bap-relocatable.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-relocatable/bap-relocatable.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-report/bap-report.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-report/bap-report.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-report/bap-report.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-report/bap-report.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-report/bap-report.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-riscv/bap-riscv.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-riscv/bap-riscv.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-riscv/bap-riscv.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-run/bap-run.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-run/bap-run.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-run/bap-run.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-run/bap-run.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-run/bap-run.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.1.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.1.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.1.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.1.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.1.6.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-signatures/bap-signatures.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-specification/bap-specification.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-specification/bap-specification.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-specification/bap-specification.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-specification/bap-specification.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ssa/bap-ssa.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ssa/bap-ssa.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ssa/bap-ssa.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ssa/bap-ssa.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-ssa/bap-ssa.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-std/bap-std.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-std/bap-std.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-std/bap-std.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-std/bap-std.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-std/bap-std.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-strings/bap-strings.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-strings/bap-strings.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-strings/bap-strings.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-strings/bap-strings.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-strings/bap-strings.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-stub-resolver/bap-stub-resolver.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-stub-resolver/bap-stub-resolver.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-stub-resolver/bap-stub-resolver.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-stub-resolver/bap-stub-resolver.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-stub-resolver/bap-stub-resolver.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-symbol-reader/bap-symbol-reader.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-symbol-reader/bap-symbol-reader.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-symbol-reader/bap-symbol-reader.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-symbol-reader/bap-symbol-reader.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-symbol-reader/bap-symbol-reader.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-systemz/bap-systemz.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-systemz/bap-systemz.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-systemz/bap-systemz.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-systemz/bap-systemz.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint-propagator/bap-taint-propagator.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint-propagator/bap-taint-propagator.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint-propagator/bap-taint-propagator.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint-propagator/bap-taint-propagator.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint-propagator/bap-taint-propagator.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint/bap-taint.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint/bap-taint.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint/bap-taint.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint/bap-taint.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-taint/bap-taint.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-term-mapper/bap-term-mapper.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-term-mapper/bap-term-mapper.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-term-mapper/bap-term-mapper.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-term-mapper/bap-term-mapper.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-term-mapper/bap-term-mapper.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-thumb/bap-thumb.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-thumb/bap-thumb.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-thumb/bap-thumb.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-thumb/bap-thumb.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-toplevel/bap-toplevel.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-toplevel/bap-toplevel.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trace/bap-trace.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trace/bap-trace.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trace/bap-trace.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trace/bap-trace.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trace/bap-trace.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-traces/bap-traces.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-traces/bap-traces.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-traces/bap-traces.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-traces/bap-traces.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-traces/bap-traces.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trivial-condition-form/bap-trivial-condition-form.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trivial-condition-form/bap-trivial-condition-form.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trivial-condition-form/bap-trivial-condition-form.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trivial-condition-form/bap-trivial-condition-form.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-trivial-condition-form/bap-trivial-condition-form.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-veri/bap-veri.0.2.5/opam': No space left on device
error: unable to unlink old 'packages/bap-warn-unused/bap-warn-unused.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-warn-unused/bap-warn-unused.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-warn-unused/bap-warn-unused.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-warn-unused/bap-warn-unused.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-warn-unused/bap-warn-unused.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap-x86/bap-x86.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap-x86/bap-x86.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap-x86/bap-x86.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap-x86/bap-x86.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap-x86/bap-x86.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bap/bap.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bap/bap.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bap/bap.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bap/bap.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bap/bap.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bare/bare.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bare/bare.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bare/bare.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bare/bare.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bare/bare.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bare_encoding/bare_encoding.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/bare_encoding/bare_encoding.0.1/opam': No space left on device
error: unable to unlink old 'packages/bare_encoding/bare_encoding.0.2/opam': No space left on device
error: unable to unlink old 'packages/bare_encoding/bare_encoding.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/bare_encoding/bare_encoding.0.3/opam': No space left on device
error: unable to unlink old 'packages/bark/bark.0.1.3/opam': No space left on device
error: unable to unlink old 'packages/bark/bark.0.1.4/opam': No space left on device
error: unable to unlink old 'packages/base-bigarray/base-bigarray.base/opam': No space left on device
error: unable to unlink old 'packages/base-bytes/base-bytes.backport/opam': No space left on device
error: unable to unlink old 'packages/base-bytes/base-bytes.base/opam': No space left on device
error: unable to unlink old 'packages/base-domains/base-domains.base/opam': No space left on device
error: unable to unlink old 'packages/base-effects/base-effects.base/opam': No space left on device
error: unable to unlink old 'packages/base-flambda2/base-flambda2.base/opam': No space left on device
error: unable to unlink old 'packages/base-implicits/base-implicits.base/opam': No space left on device
error: unable to unlink old 'packages/base-metaocaml-ocamlfind/base-metaocaml-ocamlfind.base/opam': No space left on device
error: unable to unlink old 'packages/base-native-int63/base-native-int63.0.1/opam': No space left on device
error: unable to unlink old 'packages/base-nnp/base-nnp.base/opam': No space left on device
error: unable to unlink old 'packages/base-num/base-num.base/opam': No space left on device
error: unable to unlink old 'packages/base-ocamlbuild/base-ocamlbuild.base/opam': No space left on device
error: unable to unlink old 'packages/base-threads/base-threads.base/opam': No space left on device
error: unable to unlink old 'packages/base-unix/base-unix.base/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.12.2/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.13.1/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.13.2/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.14.2/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.14.3/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.15.1/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.16.1/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.16.2/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.16.3/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.16.4/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.17.1/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.17.2/opam': No space left on device
error: unable to unlink old 'packages/base/base.v0.17.3/opam': No space left on device
error: unable to unlink old 'packages/base32/base32.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/base58/base58.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/base58/base58.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.2.1.2/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.3.0.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.3.1.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.3.2.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.3.3.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.3.4.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.3.5.0/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.3.5.1/opam': No space left on device
error: unable to unlink old 'packages/base64/base64.3.5.2/opam': No space left on device
error: unable to unlink old 'packages/base_bigstring/base_bigstring.v0.12.0/opam': No space left on device
error: unable to unlink old 'packages/base_bigstring/base_bigstring.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/base_bigstring/base_bigstring.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/base_bigstring/base_bigstring.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/base_bigstring/base_bigstring.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/base_bigstring/base_bigstring.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.12.0/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.12.1/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/base_quickcheck/base_quickcheck.v0.17.1/opam': No space left on device
error: unable to unlink old 'packages/base_trie/base_trie.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/base_trie/base_trie.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/bastet/bastet.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/bastet/bastet.1.2.0/opam': No space left on device
error: unable to unlink old 'packages/bastet/bastet.1.2.4/opam': No space left on device
error: unable to unlink old 'packages/bastet/bastet.1.2.5/opam': No space left on device
error: unable to unlink old 'packages/bastet/bastet.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/bastet_async/bastet_async.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bastet_lwt/bastet_lwt.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/batch_jaro_winkler/batch_jaro_winkler.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/batch_jaro_winkler/batch_jaro_winkler.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/batsat/batsat.0.4/opam': No space left on device
error: unable to unlink old 'packages/batsat/batsat.0.5/opam': No space left on device
error: unable to unlink old 'packages/batsat/batsat.0.6/opam': No space left on device
error: unable to unlink old 'packages/batsat/batsat.0.7/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.2.10.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.2.11.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.0.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.1.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.10.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.2.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.3.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.4.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.5.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.5.1/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.6.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.7.1/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.7.2/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.8.0/opam': No space left on device
error: unable to unlink old 'packages/batteries/batteries.3.9.0/opam': No space left on device
error: unable to unlink old 'packages/bdd/bdd.0.3/opam': No space left on device
error: unable to unlink old 'packages/bdd/bdd.0.5/opam': No space left on device
error: unable to unlink old 'packages/bddapron/bddapron.2.3.2/opam': No space left on device
error: unable to unlink old 'packages/bddapron/bddapron.2.3.3/opam': No space left on device
error: unable to unlink old 'packages/bddrand/bddrand.2.71.10/opam': No space left on device
error: unable to unlink old 'packages/bddrand/bddrand.2.71.15/opam': No space left on device
error: unable to unlink old 'packages/bear/bear.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/bech32/bech32.0.1/opam': No space left on device
error: unable to unlink old 'packages/bechamel-js/bechamel-js.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-js/bechamel-js.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-js/bechamel-js.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-js/bechamel-js.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-js/bechamel-js.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-notty/bechamel-notty.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-notty/bechamel-notty.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-notty/bechamel-notty.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-notty/bechamel-notty.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-notty/bechamel-notty.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-perf/bechamel-perf.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-perf/bechamel-perf.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-perf/bechamel-perf.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-perf/bechamel-perf.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel-perf/bechamel-perf.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel/bechamel.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel/bechamel.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel/bechamel.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel/bechamel.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bechamel/bechamel.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/beluga/beluga.0.8.1/opam': No space left on device
error: unable to unlink old 'packages/beluga/beluga.0.8.2/opam': No space left on device
error: unable to unlink old 'packages/beluga/beluga.1.0/opam': No space left on device
error: unable to unlink old 'packages/beluga/beluga.1.1.1/opam': No space left on device
error: unable to unlink old 'packages/beluga/beluga.1.1.2/opam': No space left on device
error: unable to unlink old 'packages/beluga/beluga.1.1.3/opam': No space left on device
error: unable to unlink old 'packages/beluga/beluga.1.1/opam': No space left on device
error: unable to unlink old 'packages/benchmark/benchmark.1.4/opam': No space left on device
error: unable to unlink old 'packages/benchmark/benchmark.1.5/opam': No space left on device
error: unable to unlink old 'packages/benchmark/benchmark.1.6/opam': No space left on device
error: unable to unlink old 'packages/benchmark/benchmark.1.7/opam': No space left on device
error: unable to unlink old 'packages/benchpress-server/benchpress-server.0.1/opam': No space left on device
error: unable to unlink old 'packages/benchpress/benchpress.0.1/opam': No space left on device
error: unable to unlink old 'packages/bencode/bencode.0.1/opam': No space left on device
error: unable to unlink old 'packages/bencode/bencode.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bencode/bencode.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/bencode/bencode.1.0.2/opam': No space left on device
error: unable to unlink old 'packages/bencode/bencode.2.0/opam': No space left on device
error: unable to unlink old 'packages/bentov/bentov.1/opam': No space left on device
error: unable to unlink old 'packages/bestline/bestline.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/bheap/bheap.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bheap/bheap.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/bibfmt/bibfmt.0.7.6/opam': No space left on device
error: unable to unlink old 'packages/bibfmt/bibfmt.0.7.7/opam': No space left on device
error: unable to unlink old 'packages/bibfmt/bibfmt.0.7.9/opam': No space left on device
error: unable to unlink old 'packages/bibfmt/bibfmt.0.9.0/opam': No space left on device
error: unable to unlink old 'packages/bibtex2html/bibtex2html.1.99-1/opam': No space left on device
error: unable to unlink old 'packages/bibtex2html/bibtex2html.1.99/opam': No space left on device
error: unable to unlink old 'packages/bidirectional_map/bidirectional_map.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/bidirectional_map/bidirectional_map.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/bigarray-compat/bigarray-compat.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bigarray-compat/bigarray-compat.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/bigarray-overlap/bigarray-overlap.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bigarray-overlap/bigarray-overlap.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bigarray-overlap/bigarray-overlap.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/bigdecimal/bigdecimal.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/bigdecimal/bigdecimal.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/bigdecimal/bigdecimal.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/bignum/bignum.v0.12.0/opam': No space left on device
error: unable to unlink old 'packages/bignum/bignum.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/bignum/bignum.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/bignum/bignum.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/bignum/bignum.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/bignum/bignum.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/bigstring-unix/bigstring-unix.0.3/opam': No space left on device
error: unable to unlink old 'packages/bigstring/bigstring.0.2/opam': No space left on device
error: unable to unlink old 'packages/bigstring/bigstring.0.3/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.10.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.5.2/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.5.3/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.6.1/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.7.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.8.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.9.0/opam': No space left on device
error: unable to unlink old 'packages/bigstringaf/bigstringaf.0.9.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-display/bimage-display.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-display/bimage-display.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-display/bimage-display.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-display/bimage-display.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-display/bimage-display.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-gtk/bimage-gtk.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-gtk/bimage-gtk.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/bimage-gtk/bimage-gtk.0.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-gtk/bimage-gtk.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-io/bimage-io.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-io/bimage-io.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-io/bimage-io.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-io/bimage-io.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-io/bimage-io.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-lwt/bimage-lwt.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-lwt/bimage-lwt.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-lwt/bimage-lwt.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-sdl/bimage-sdl.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-sdl/bimage-sdl.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/bimage-sdl/bimage-sdl.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bimage-unix/bimage-unix.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.1/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bimage/bimage.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bimap/bimap.20201231/opam': No space left on device
error: unable to unlink old 'packages/bin/bin.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/bin/bin.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/bin/bin.0.0.3/opam': No space left on device
error: unable to unlink old 'packages/bin_prot/bin_prot.v0.12.0/opam': No space left on device
error: unable to unlink old 'packages/bin_prot/bin_prot.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/bin_prot/bin_prot.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/bin_prot/bin_prot.v0.14.1/opam': No space left on device
error: unable to unlink old 'packages/bin_prot/bin_prot.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/bin_prot/bin_prot.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/bin_prot/bin_prot.v0.17.0-1/opam': No space left on device
error: unable to unlink old 'packages/bin_prot/bin_prot.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/bin_tree/bin_tree.0.1/opam': No space left on device
error: unable to unlink old 'packages/binary_tree/binary_tree.1.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen-bin/binaryen-bin.119/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.10.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.11.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.11.1/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.11.2/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.12.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.12.1/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.13.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.14.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.14.1/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.15.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.16.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.17.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.17.1/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.18.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.19.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.2.2/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.2.3/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.20.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.20.1/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.21.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.22.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.23.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.24.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.25.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.26.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.27.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.28.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.29.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.30.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.31.0/opam': No space lft on device
error: unable to unlink old 'packages/binaryen/binaryen.0.32.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.33.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.34.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.7.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.8.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.8.1/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.9.0/opam': No space left on device
error: unable to unlink old 'packages/binaryen/binaryen.0.9.1/opam': No space left on device
error: unable to unlink old 'packages/binaryen_dsl/binaryen_dsl.0.7/opam': No space left on device
error: unable to unlink old 'packages/binbin/binbin.0.01/opam': No space left on device
error: unable to unlink old 'packages/bindlib/bindlib.4.0.2/opam': No space left on device
error: unable to unlink old 'packages/bindlib/bindlib.4.0.3/opam': No space left on device
error: unable to unlink old 'packages/bindlib/bindlib.4.0.4/opam': No space left on device
error: unable to unlink old 'packages/bindlib/bindlib.4.0.5/opam': No space left on device
error: unable to unlink old 'packages/bindlib/bindlib.4.0/opam': No space left on device
error: unable to unlink old 'packages/bindlib/bindlib.5.0.0/opam': No space left on device
error: unable to unlink old 'packages/bindlib/bindlib.5.0.1/opam': No space left on device
error: unable to unlink old 'packages/bindlib/bindlib.6.0.0/opam': No space left on device
error: unable to unlink old 'packages/biniou/biniou.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/biniou/biniou.1.2.0/opam': No space left on device
error: unable to unlink old 'packages/biniou/biniou.1.2.1/opam': No space left on device
error: unable to unlink old 'packages/biniou/biniou.1.2.2/opam': No space left on device
error: unable to unlink old 'packages/binning/binning.0.0.0/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.10.0/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.10.1/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.6.1/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.6.2/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.6.3/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.7.1/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.7.2/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.7.3/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.7.4/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.8.0/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.8.1/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.8.2/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.9.0/opam': No space left on device
error: unable to unlink old 'packages/binsec/binsec.0.9.1/opam': No space left on device
error: unable to unlink old 'packages/bio_io/bio_io.0.1.1/opam': No space left on device
error: unable to unlink old 'packages/bio_io/bio_io.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/bio_io/bio_io.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/bio_io/bio_io.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bio_io/bio_io.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bio_io/bio_io.0.5.1/opam': No space left on device
error: unable to unlink old 'packages/bio_io/bio_io.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bio_io/bio_io.0.7.0/opam': No space left on device
error: unable to unlink old 'packages/biocaml/biocaml.0.10.0/opam': No space left on device
error: unable to unlink old 'packages/biocaml/biocaml.0.10.1/opam': No space left on device
error: unable to unlink old 'packages/biocaml/biocaml.0.11.0/opam': No space left on device
error: unable to unlink old 'packages/biocaml/biocaml.0.11.1/opam': No space left on device
error: unable to unlink old 'packages/biocaml/biocaml.0.11.2/opam': No space left on device
error: unable to unlink old 'packages/biotk/biotk.0.0.0/opam': No space left on device
error: unable to unlink old 'packages/biotk/biotk.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/biotk/biotk.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/biotk/biotk.0.3/opam': No space left on device
error: unable to unlink old 'packages/bip32/bip32.0.1/opam': No space left on device
error: unable to unlink old 'packages/bip32/bip32.0.2/opam': No space left on device
error: unable to unlink old 'packages/bisect-summary/bisect-summary.0.3/opam': No space left on device
error: unable to unlink old 'packages/bisect/bisect.1.3.1/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx-ocamlbuild/bisect_ppx-ocamlbuild.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx-ocamlbuild/bisect_ppx-ocamlbuild.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.1.3.1/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.1.3.2/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.1.3.3/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.1.3.4/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.1.4.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.1.4.1/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.1.4.2/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.4.1/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.6.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.7.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.7.1/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.8.0/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.8.1/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.8.2/opam': No space left on device
error: unable to unlink old 'packages/bisect_ppx/bisect_ppx.2.8.3/opam': No space left on device
error: unable to unlink old 'packages/bistro-bio/bistro-bio.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bistro/bistro.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bistro/bistro.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bitcoin-cohttp-async/bitcoin-cohttp-async.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitcoin-cohttp-lwt/bitcoin-cohttp-lwt.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitcoin-ocurl/bitcoin-ocurl.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitcoin/bitcoin.2.0/opam': No space left on device
error: unable to unlink old 'packages/bitcoin/bitcoin.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitcoinml/bitcoinml.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/bitgenerators/bitgenerators.v0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitlib/bitlib.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitmasks/bitmasks.1.2.0/opam': No space left on device
error: unable to unlink old 'packages/bitmasks/bitmasks.1.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitmasks/bitmasks.1.4.0/opam': No space left on device
error: unable to unlink old 'packages/bitmasks/bitmasks.1.5.0/opam': No space left on device
error: unable to unlink old 'packages/bitpack_serializer/bitpack_serializer.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.3.0.0/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.3.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.3.1.1/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.4.0.0/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.4.0.1/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.4.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.5.0.0/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.5.0.1/opam': No space left on device
error: unable to unlink old 'packages/bitstring/bitstring.5.0.2/opam': No space left on device
error: unable to unlink old 'packages/bitv/bitv.1.3/opam': No space left on device
error: unable to unlink old 'packages/bitv/bitv.1.4/opam': No space left on device
error: unable to unlink old 'packages/bitv/bitv.1.5/opam': No space left on device
error: unable to unlink old 'packages/bitv/bitv.1.6/opam': No space left on device
error: unable to unlink old 'packages/bitv/bitv.2.0/opam': No space left on device
error: unable to unlink old 'packages/bitv/bitv.2.1/opam': No space left on device
error: unable to unlink old 'packages/bitvec-binprot/bitvec-binprot.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-binprot/bitvec-binprot.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-binprot/bitvec-binprot.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-binprot/bitvec-binprot.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-binprot/bitvec-binprot.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-order/bitvec-order.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-order/bitvec-order.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-order/bitvec-order.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-order/bitvec-order.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-order/bitvec-order.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-sexp/bitvec-sexp.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-sexp/bitvec-sexp.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-sexp/bitvec-sexp.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-sexp/bitvec-sexp.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec-sexp/bitvec-sexp.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec/bitvec.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec/bitvec.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec/bitvec.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec/bitvec.2.4.0/opam': No space left on device
error: unable to unlink old 'packages/bitvec/bitvec.2.5.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-bin/bitwuzla-bin.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-c/bitwuzla-c.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-c/bitwuzla-c.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-c/bitwuzla-c.1.0.2/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-c/bitwuzla-c.1.0.3/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-c/bitwuzla-c.1.0.4/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-c/bitwuzla-c.1.0.5/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.6.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.6.1/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.7.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.8.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla-cxx/bitwuzla-cxx.0.8.2/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla/bitwuzla.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla/bitwuzla.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla/bitwuzla.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla/bitwuzla.1.0.2/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla/bitwuzla.1.0.3/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla/bitwuzla.1.0.4/opam': No space left on device
error: unable to unlink old 'packages/bitwuzla/bitwuzla.1.0.5/opam': No space left on device
error: unable to unlink old 'packages/bjack/bjack.0.1.4/opam': No space left on device
error: unable to unlink old 'packages/bjack/bjack.0.1.5/opam': No space left on device
error: unable to unlink old 'packages/bjack/bjack.0.1.6/opam': No space left on device
error: unable to unlink old 'packages/blake2/blake2.0.1/opam': No space left on device
error: unable to unlink old 'packages/blake2/blake2.0.2/opam': No space left on device
error: unable to unlink old 'packages/blake2/blake2.0.3/opam': No space left on device
error: unable to unlink old 'packages/blake3/blake3.0.1/opam': No space left on device
error: unable to unlink old 'packages/blake3/blake3.0.2/opam': No space left on device
error: unable to unlink old 'packages/blake3/blake3.0.3/opam': No space left on device
error: unable to unlink old 'packages/bloomf/bloomf.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bloomf/bloomf.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-gen/bls12-381-gen.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-gen/bls12-381-gen.0.4.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-gen/bls12-381-gen.0.4.3/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-gen/bls12-381-gen.0.4.4/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-gen/bls12-381-gen.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-hash/bls12-381-hash.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-hash/bls12-381-hash.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-hash/bls12-381-hash.0.0.3/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-hash/bls12-381-hash.0.0.4/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-hash/bls12-381-hash.0.0.5/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-hash/bls12-381-hash.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-js-gen/bls12-381-js-gen.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-js-gen/bls12-381-js-gen.0.4.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-js-gen/bls12-381-js-gen.0.4.3/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-js-gen/bls12-381-js-gen.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-js/bls12-381-js.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-js/bls12-381-js.0.4.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-js/bls12-381-js.0.4.3/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-js/bls12-381-js.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-legacy/bls12-381-legacy.0.4.3/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-legacy/bls12-381-legacy.0.4.4/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-signature/bls12-381-signature.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-signature/bls12-381-signature.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.0.4.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.0.4.3/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.1.0.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.1.1.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381-unix/bls12-381-unix.2.0.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.0.3.14/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.0.3.15/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.0.4.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.0.4.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.0.4.3/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.0.5.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.1.0.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.1.1.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.18.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.18.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.19.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.19.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.2.0.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.20.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.3.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.3.0.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.3.0.2/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.3.0.3/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.4.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.5.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.6.0.0/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.6.0.1/opam': No space left on device
error: unable to unlink old 'packages/bls12-381/bls12-381.6.1.0/opam': No space left on device
error: unable to unlink old 'packages/blurhash/blurhash.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bn128/bn128.0.1.2/opam': No space left on device
error: unable to unlink old 'packages/bn128/bn128.0.1.3/opam': No space left on device
error: unable to unlink old 'packages/bnfgen/bnfgen.4.0.0/opam': No space left on device
error: unable to unlink old 'packages/bogue-tutorials/bogue-tutorials.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bogue-tutorials/bogue-tutorials.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20210514/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20210917/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20220101/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20220115/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20220314/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20220730/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20221002/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20221112/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20231209/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20240225/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20240928/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20241212/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20250224/opam': No space left on device
error: unable to unlink old 'packages/bogue/bogue.20250815/opam': No space left on device
error: unable to unlink old 'packages/bolt/bolt.1.3/opam': No space left on device
error: unable to unlink old 'packages/boltzgen/boltzgen.0.9.2/opam': No space left on device
error: unable to unlink old 'packages/boltzgen/boltzgen.0.9.3/opam': No space left on device
error: unable to unlink old 'packages/boltzgen/boltzgen.0.9.5/opam': No space left on device
error: unable to unlink old 'packages/boltzgen/boltzgen.0.9/opam': No space left on device
error: unable to unlink old 'packages/bonsai/bonsai.v0.13.0/opam': No space left on device
error: unable to unlink old 'packages/bonsai/bonsai.v0.14.0/opam': No space left on device
error: unable to unlink old 'packages/bonsai/bonsai.v0.15.0/opam': No space left on device
error: unable to unlink old 'packages/bonsai/bonsai.v0.15.1/opam': No space left on device
error: unable to unlink old 'packages/bonsai/bonsai.v0.16.0/opam': No space left on device
error: unable to unlink old 'packages/bonsai/bonsai.v0.17.0/opam': No space left on device
error: unable to unlink old 'packages/bookaml/bookaml.2.1/opam': No space left on device
error: unable to unlink old 'packages/bookaml/bookaml.4.0/opam': No space left on device
error: unable to unlink old 'packages/bos/bos.0.1.4/opam': No space left on device
error: unable to unlink old 'packages/bos/bos.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bos/bos.0.2.1/opam': No space left on device
error: unable to unlink old 'packages/boulangerie/boulangerie.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/box/box.1.2.0/opam': No space left on device
error: unable to unlink old 'packages/bpf/bpf.0.1/opam': No space left on device
error: unable to unlink old 'packages/bpf/bpf.0.2/opam': No space left on device
error: unable to unlink old 'packages/bracetax/bracetax.0.4/opam': No space left on device
error: unable to unlink old 'packages/brisk-reconciler/brisk-reconciler.1.0.0~alpha1/opam': No space left on device
error: unable to unlink old 'packages/broken/broken.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/broken/broken.0.4.2/opam': No space left on device
error: unable to unlink old 'packages/brotli/brotli.1.2.0/opam': No space left on device
error: unable to unlink old 'packages/brotli/brotli.1.2.1/opam': No space left on device
error: unable to unlink old 'packages/brotli/brotli.1.2.2/opam': No space left on device
error: unable to unlink old 'packages/brotli/brotli.1.3.0/opam': No space left on device
error: unable to unlink old 'packages/brozip/brozip.1.0/opam': No space left on device
error: unable to unlink old 'packages/brozip/brozip.1.1/opam': No space left on device
error: unable to unlink old 'packages/brr-lwd/brr-lwd.0.2/opam': No space left on device
error: unable to unlink old 'packages/brr-lwd/brr-lwd.0.3/opam': No space left on device
error: unable to unlink old 'packages/brr-lwd/brr-lwd.0.4/opam': No space left on device
error: unable to unlink old 'packages/brr/brr.0.0.7/opam': No space left on device
error: unable to unlink old 'packages/brr/brr.0.0.8/opam': No space left on device
error: unable to unlink old 'packages/bsdowl/bsdowl.2.2/opam': No space left on device
error: unable to unlink old 'packages/bsdowl/bsdowl.3.0.0-20150401/opam': No space left on device
error: unable to unlink old 'packages/bsdowl/bsdowl.3.0.0-20150830/opam': No space left on device
error: unable to unlink old 'packages/bson2/bson2.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/bst/bst.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/bst/bst.3.0.0/opam': No space left on device
error: unable to unlink old 'packages/bst/bst.5.0.0/opam': No space left on device
error: unable to unlink old 'packages/bst/bst.6.0.0/opam': No space left on device
error: unable to unlink old 'packages/bst/bst.6.1.0/opam': No space left on device
error: unable to unlink old 'packages/bst/bst.7.0.0/opam': No space left on device
error: unable to unlink old 'packages/bst/bst.7.0.1/opam': No space left on device
error: unable to unlink old 'packages/bst/bst.7.1.0/opam': No space left on device
error: unable to unlink old 'packages/bstr/bstr.0.0.1/opam': No space left on device
error: unable to unlink old 'packages/bstr/bstr.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/bstr/bstr.0.0.3/opam': No space left on device
error: unable to unlink old 'packages/buffer-pool/buffer-pool.0.2/opam': No space left on device
error: unable to unlink old 'packages/build_path_prefix_map/build_path_prefix_map.0.2/opam': No space left on device
error: unable to unlink old 'packages/build_path_prefix_map/build_path_prefix_map.0.3/opam': No space left on device
error: unable to unlink old 'packages/builder-web/builder-web.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/builder-web/builder-web.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/builder/builder.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/builder/builder.0.3.2/opam': No space left on device
error: unable to unlink old 'packages/builder/builder.0.4.0/opam': No space left on device
error: unable to unlink old 'packages/bun/bun.0.3.1/opam': No space left on device
error: unable to unlink old 'packages/bun/bun.0.3.2/opam': No space left on device
error: unable to unlink old 'packages/bun/bun.0.3.3/opam': No space left on device
error: unable to unlink old 'packages/bun/bun.0.3.4/opam': No space left on device
error: unable to unlink old 'packages/bun/bun.0.3/opam': No space left on device
error: unable to unlink old 'packages/bwd/bwd.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bwd/bwd.1.1.0/opam': No space left on device
error: unable to unlink old 'packages/bwd/bwd.1.2.0/opam': No space left on device
error: unable to unlink old 'packages/bwd/bwd.2.0.0/opam': No space left on device
error: unable to unlink old 'packages/bwd/bwd.2.1.0/opam': No space left on device
error: unable to unlink old 'packages/bwd/bwd.2.2.0/opam': No space left on device
error: unable to unlink old 'packages/bwd/bwd.2.3.0/opam': No space left on device
error: unable to unlink old 'packages/bwrap/bwrap.0.1/opam': No space left on device
error: unable to unlink old 'packages/bytearray/bytearray.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/bytearray/bytearray.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/bytearray/bytearray.1.0.2/opam': No space left on device
error: unable to unlink old 'packages/bytearray/bytearray.1.0.3/opam': No space left on device
error: unable to unlink old 'packages/bytebuffer/bytebuffer.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/bytepdf/bytepdf.0.1/opam': No space left on device
error: unable to unlink old 'packages/bytesrw/bytesrw.0.1.0/opam': No space left on device
error: unable to unlink old 'packages/bytesrw/bytesrw.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/bytesrw/bytesrw.0.3.0/opam': No space left on device
error: unable to unlink old 'packages/bytestring/bytestring.0.0.8/opam': No space left on device
error: unable to unlink old 'packages/bz2/bz2.0.8.0/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.101-1/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.101/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.103/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.104/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.107/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.108-1/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.108/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.113.1/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.114/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.115/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.117/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.118/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.57/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.59/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.60/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.63.1/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.63/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.64.0.1/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.64/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.66/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.71.0.1/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.71/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.74/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.77/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.80/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.83/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.86/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.89.1/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.92/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.95/opam': No space left on device
error: unable to unlink old 'packages/ca-certs-nss/ca-certs-nss.3.98/opam': No space left on device
error: unable to unlink old 'packages/ca-certs/ca-certs.0.2.0/opam': No space left on device
error: unable to unlink old 'packages/ca-certs/ca-certs.0.2.3/opam': No space left on device
error: unable to unlink old 'packages/ca-certs/ca-certs.1.0.1/opam': No space left on device
error: unable to unlink old 'packages/cachet-lwt/cachet-lwt.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/cachet-lwt/cachet-lwt.0.0.3/opam': No space left on device
error: unable to unlink old 'packages/cachet-solo5/cachet-solo5.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/cachet-solo5/cachet-solo5.0.0.3/opam': No space left on device
error: unable to unlink old 'packages/cachet/cachet.0.0.2/opam': No space left on device
error: unable to unlink old 'packages/cachet/cachet.0.0.3/opam': No space left on device
error: unable to unlink old 'packages/cactus/cactus.1.0.0/opam': No space left on device
error: unable to unlink old 'packages/cairn/cairn.1.0/opam': No space left on device
error: unable to unlink old 'packages/cairn/cairn.2.0/opam': No space left on device
fatal: cannot create directory at 'packages/cairn/cairn.2.1': No space left on device
"/usr/bin/env" "bash" "-c" "cd ~/opam-repository && (git cat-file -e c65fcb116531ae66ad3316b265e233443ef25044 || git fetch origin master) && git reset -q --hard c65fcb116531ae66ad3316b265e233443ef25044 && git log --no-decorate -n1 --oneline && opam update -u" failed with exit status 128
2026-01-09 23:07.45: Job failed: Failed: Build failed