Build:
- 0
2023-09-14 19:33.16: New job: Build Dockerfile.deploy using linux-x86_64 in
[https://github.com/ocaml/v2.ocaml.org.git#refs/heads/master (e762fb4dd80477e13c96b0a384d0777cd6b927fd)]
2023-09-14 19:33.16: Using cache hint "https://github.com/ocaml/v2.ocaml.org.git-Dockerfile.deploy"
2023-09-14 19:33.16: Waiting for resource in pool OCluster
2023-09-14 19:33.16: Waiting for worker…
2023-09-14 19:34.40: Got resource from pool OCluster
Building on phoebe.caelum.ci.dev
Updating files: 22% (2562/11581)
Updating files: 23% (2664/11581)
Updating files: 24% (2780/11581)
Updating files: 25% (2896/11581)
Updating files: 26% (3012/11581)
Updating files: 27% (3127/11581)
Updating files: 28% (3243/11581)
Updating files: 29% (3359/11581)
Updating files: 30% (3475/11581)
Updating files: 31% (3591/11581)
Updating files: 32% (3706/11581)
Updating files: 33% (3822/11581)
Updating files: 34% (3938/11581)
Updating files: 35% (4054/11581)
Updating files: 36% (4170/11581)
Updating files: 37% (4285/11581)
Updating files: 38% (4401/11581)
Updating files: 39% (4517/11581)
Updating files: 40% (4633/11581)
Updating files: 41% (4749/11581)
Updating files: 42% (4865/11581)
Updating files: 43% (4980/11581)
Updating files: 44% (5096/11581)
Updating files: 45% (5212/11581)
Updating files: 46% (5328/11581)
Updating files: 47% (5444/11581)
Updating files: 48% (5559/11581)
Updating files: 49% (5675/11581)
Updating files: 50% (5791/11581)
Updating files: 51% (5907/11581)
Updating files: 52% (6023/11581)
Updating files: 53% (6138/11581)
Updating files: 54% (6254/11581)
Updating files: 55% (6370/11581)
Updating files: 56% (6486/11581)
Updating files: 57% (6602/11581)
Updating files: 58% (6717/11581)
Updating files: 59% (6833/11581)
Updating files: 60% (6949/11581)
Updating files: 61% (7065/11581)
Updating files: 62% (7181/11581)
Updating files: 63% (7297/11581)
Updating files: 64% (7412/11581)
Updating files: 65% (7528/11581)
Updating files: 66% (7644/11581)
Updating files: 67% (7760/11581)
Updating files: 68% (7876/11581)
Updating files: 69% (7991/11581)
Updating files: 70% (8107/11581)
Updating files: 71% (8223/11581)
Updating files: 72% (8339/11581)
Updating files: 73% (8455/11581)
Updating files: 74% (8570/11581)
Updating files: 75% (8686/11581)
Updating files: 76% (8802/11581)
Updating files: 77% (8918/11581)
Updating files: 77% (8958/11581)
Updating files: 78% (9034/11581)
Updating files: 79% (9149/11581)
Updating files: 80% (9265/11581)
Updating files: 81% (9381/11581)
Updating files: 82% (9497/11581)
Updating files: 83% (9613/11581)
Updating files: 84% (9729/11581)
Updating files: 85% (9844/11581)
Updating files: 86% (9960/11581)
Updating files: 87% (10076/11581)
Updating files: 88% (10192/11581)
Updating files: 89% (10308/11581)
Updating files: 90% (10423/11581)
Updating files: 91% (10539/11581)
Updating files: 92% (10655/11581)
Updating files: 93% (10771/11581)
Updating files: 94% (10887/11581)
Updating files: 95% (11002/11581)
Updating files: 96% (11118/11581)
Updating files: 97% (11234/11581)
Updating files: 98% (11350/11581)
Updating files: 99% (11466/11581)
Updating files: 100% (11581/11581)
Updating files: 100% (11581/11581), done.
HEAD is now at d2fd4eb1 OCaml 5.1 manual: binary artifacts
HEAD is now at e762fb4d OCaml 5.1 manual (#1635)
Sending build context to Docker daemon 847.8MB
Step 1/15 : FROM ocaml/opam:debian-10-ocaml-4.10 as build
debian-10-ocaml-4.10: Pulling from ocaml/opam
Digest: sha256:6b78720ff73c672e45d49d6422e8bcc41f3ef8e8e73c8d9b64262a62fb79b11c
Status: Image is up to date for ocaml/opam:debian-10-ocaml-4.10
---> dd3f734d3ad9
Step 2/15 : RUN git -C /home/opam/opam-repository pull origin master && git -C /home/opam/opam-repository checkout 08309af060417fac7143e968e41b9e67e80ba674 && opam update -u -y
---> Running in bbc8b9a77f99
From https://github.com/ocaml/opam-repository
* branch master -> FETCH_HEAD
57e2bdd752..ba4042236f master -> origin/master
Updating 57e2bdd752..ba4042236f
Fast-forward
packages/SZXX/SZXX.4.0.1/opam | 40 ++++++
packages/acpc/acpc.1.0/opam | 2 +-
packages/acpc/acpc.1.1.1/opam | 2 +-
packages/acpc/acpc.1.1/opam | 2 +-
packages/acpc/acpc.1.2.1/opam | 2 +-
packages/acpc/acpc.1.2.2/opam | 2 +-
packages/acpc/acpc.1.2.3/opam | 2 +-
packages/acpc/acpc.1.2/opam | 2 +-
packages/albatross/albatross.1.0.1/opam | 8 +-
packages/albatross/albatross.1.1.0/opam | 8 +-
packages/albatross/albatross.1.1.1/opam | 8 +-
packages/albatross/albatross.1.2.0/opam | 8 +-
packages/albatross/albatross.1.3.0/opam | 8 +-
packages/albatross/albatross.1.3.1/opam | 8 +-
packages/albatross/albatross.1.4.0/opam | 8 +-
packages/albatross/albatross.1.4.1/opam | 8 +-
packages/albatross/albatross.1.4.2/opam | 8 +-
packages/albatross/albatross.1.4.3/opam | 8 +-
packages/albatross/albatross.1.5.0/opam | 8 +-
packages/albatross/albatross.1.5.1/opam | 8 +-
packages/albatross/albatross.1.5.2/opam | 8 +-
packages/albatross/albatross.1.5.3/opam | 8 +-
packages/albatross/albatross.1.5.4/opam | 8 +-
packages/albatross/albatross.1.5.5/opam | 8 +-
packages/albatross/albatross.2.0.0/opam | 8 +-
packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam | 67 ++++++++++
.../alt-ergo-parsers/alt-ergo-parsers.2.5.0/opam | 56 +++++++++
.../alt-ergo-plugin-ab-why3.2.5.0/opam | 46 +++++++
packages/alt-ergo/alt-ergo.2.5.0/opam | 58 +++++++++
.../azure-cosmos-db/azure-cosmos-db.0.2.3/opam | 40 ++++++
packages/bare_encoding/bare_encoding.0.3.1/opam | 38 ++++++
packages/beluga/beluga.1.1.1/opam | 55 ++++++++
packages/bio_io/bio_io.0.7.0/opam | 47 +++++++
packages/blurhash/blurhash.0.1.0/opam | 40 ++++++
packages/builder-web/builder-web.0.1.0/opam | 10 +-
packages/builder/builder.0.1.0/opam | 10 +-
packages/builder/builder.0.1.1/opam | 10 +-
packages/builder/builder.0.1.2/opam | 10 +-
packages/builder/builder.0.2.0/opam | 10 +-
packages/builder/builder.0.3.0/opam | 10 +-
packages/builder/builder.0.3.1/opam | 10 +-
packages/builder/builder.0.3.2/opam | 8 +-
packages/caldav/caldav.0.1.0/opam | 12 +-
packages/caldav/caldav.0.1.1/opam | 12 +-
packages/caldav/caldav.0.2.0/opam | 12 +-
packages/caldav/caldav.0.2.1/opam | 12 +-
.../camlp5-buildscripts.0.03/opam | 1 +
packages/camlp5/camlp5.8.02.01/opam | 61 +++++++++
packages/conan-cli/conan-cli.0.0.5/opam | 49 ++++++++
packages/conan-database/conan-database.0.0.5/opam | 33 +++++
packages/conan-lwt/conan-lwt.0.0.5/opam | 39 ++++++
packages/conan-unix/conan-unix.0.0.5/opam | 38 ++++++
packages/conan/conan.0.0.5/opam | 48 +++++++
packages/conf-autoconf/conf-autoconf.0.1/opam | 1 +
packages/conf-cairo/conf-cairo.1/opam | 1 +
packages/conf-gcc/conf-gcc.1.0/opam | 1 +
packages/conf-graphviz/conf-graphviz.0.1/opam | 1 +
packages/conf-gtk3/conf-gtk3.18/opam | 1 +
.../conf-gtksourceview3/conf-gtksourceview3.0/opam | 3 +-
packages/conf-libX11/conf-libX11.1/opam | 1 +
packages/conf-readline/conf-readline.1/opam | 22 ++++
packages/conf-unwind/conf-unwind.0/opam | 2 +-
packages/conf-vim/conf-vim.1/opam | 1 +
packages/conf-wget/conf-wget.1/opam | 1 +
packages/conf-zlib/conf-zlib.1/opam | 1 +
packages/coq-core/coq-core.8.18.0/opam | 68 ++++++++++
packages/coq-stdlib/coq-stdlib.8.18.0/opam | 62 +++++++++
packages/coq/coq.8.18.0/opam | 49 ++++++++
packages/coqide-server/coqide-server.8.18.0/opam | 46 +++++++
packages/coqide/coqide.8.18.0/opam | 50 ++++++++
packages/cpm/cpm.1.0.0/opam | 2 +-
packages/cpm/cpm.2.0.0/opam | 2 +-
packages/cpm/cpm.3.0.0/opam | 2 +-
packages/daft/daft.0.0.2/opam | 2 +-
packages/daft/daft.0.0.3/opam | 2 +-
packages/dns-certify/dns-certify.4.0.0/opam | 2 +-
packages/dns-certify/dns-certify.4.1.0/opam | 2 +-
packages/dns-certify/dns-certify.4.2.0/opam | 2 +-
packages/dns-certify/dns-certify.4.3.0/opam | 2 +-
packages/dns-certify/dns-certify.4.3.1/opam | 2 +-
packages/dns-certify/dns-certify.4.4.0/opam | 2 +-
packages/dns-certify/dns-certify.4.4.1/opam | 2 +-
packages/dns-certify/dns-certify.4.5.0/opam | 2 +-
packages/dns-certify/dns-certify.4.6.0/opam | 2 +-
packages/dns-certify/dns-certify.4.6.1/opam | 2 +-
packages/dns-certify/dns-certify.4.6.2/opam | 2 +-
packages/dns-certify/dns-certify.4.6.3/opam | 2 +-
packages/dns-certify/dns-certify.5.0.0/opam | 2 +-
packages/dns-certify/dns-certify.5.0.1/opam | 2 +-
packages/dns-certify/dns-certify.6.0.0/opam | 2 +-
packages/dns-certify/dns-certify.6.0.1/opam | 2 +-
packages/dns-certify/dns-certify.6.0.2/opam | 2 +-
packages/dns-certify/dns-certify.6.1.0/opam | 2 +-
packages/dns-certify/dns-certify.6.1.1/opam | 2 +-
packages/dns-certify/dns-certify.6.1.2/opam | 2 +-
packages/dns-certify/dns-certify.6.1.3/opam | 2 +-
packages/dns-certify/dns-certify.6.1.4/opam | 2 +-
packages/dns-certify/dns-certify.6.2.0/opam | 2 +-
packages/dns-certify/dns-certify.6.2.1/opam | 2 +-
packages/dns-certify/dns-certify.6.2.2/opam | 2 +-
packages/dns-certify/dns-certify.6.3.0/opam | 2 +-
packages/dns-certify/dns-certify.6.4.0/opam | 2 +-
packages/dns-certify/dns-certify.6.4.1/opam | 2 +-
packages/dns-certify/dns-certify.7.0.0/opam | 2 +-
packages/dns-certify/dns-certify.7.0.1/opam | 2 +-
packages/dns-certify/dns-certify.7.0.2/opam | 2 +-
packages/dns-certify/dns-certify.7.0.3/opam | 2 +-
packages/dns-cli/dns-cli.4.0.0/opam | 2 +-
packages/dns-cli/dns-cli.4.1.0/opam | 2 +-
packages/dns-cli/dns-cli.4.2.0/opam | 2 +-
packages/dns-cli/dns-cli.4.3.0/opam | 2 +-
packages/dns-cli/dns-cli.4.3.1/opam | 2 +-
packages/dns-cli/dns-cli.4.4.0/opam | 2 +-
packages/dns-cli/dns-cli.4.4.1/opam | 2 +-
packages/dns-cli/dns-cli.4.5.0/opam | 2 +-
packages/dns-cli/dns-cli.4.6.0/opam | 2 +-
packages/dns-cli/dns-cli.4.6.1/opam | 2 +-
packages/dns-cli/dns-cli.4.6.2/opam | 2 +-
packages/dns-cli/dns-cli.4.6.3/opam | 2 +-
packages/dns-cli/dns-cli.5.0.0/opam | 2 +-
packages/dns-cli/dns-cli.5.0.1/opam | 2 +-
packages/dns-cli/dns-cli.6.0.0/opam | 2 +-
packages/dns-cli/dns-cli.6.0.1/opam | 2 +-
packages/dns-cli/dns-cli.6.0.2/opam | 2 +-
packages/dns-cli/dns-cli.6.1.0/opam | 2 +-
packages/dns-cli/dns-cli.6.1.1/opam | 2 +-
packages/dns-cli/dns-cli.6.1.2/opam | 2 +-
packages/dns-cli/dns-cli.6.1.3/opam | 2 +-
packages/dns-cli/dns-cli.6.1.4/opam | 2 +-
packages/dns-cli/dns-cli.6.2.0/opam | 2 +-
packages/dns-cli/dns-cli.6.2.1/opam | 2 +-
packages/dns-cli/dns-cli.6.2.2/opam | 2 +-
packages/dns-cli/dns-cli.6.3.0/opam | 2 +-
packages/dns-cli/dns-cli.6.4.0/opam | 2 +-
packages/dns-cli/dns-cli.6.4.1/opam | 2 +-
packages/dns-cli/dns-cli.7.0.0/opam | 2 +-
packages/dns-cli/dns-cli.7.0.1/opam | 2 +-
packages/dns-cli/dns-cli.7.0.2/opam | 2 +-
packages/dns-cli/dns-cli.7.0.3/opam | 2 +-
packages/dns-client-lwt/dns-client-lwt.7.0.0/opam | 2 +-
packages/dns-client-lwt/dns-client-lwt.7.0.1/opam | 2 +-
packages/dns-client-lwt/dns-client-lwt.7.0.2/opam | 2 +-
packages/dns-client-lwt/dns-client-lwt.7.0.3/opam | 2 +-
.../dns-client-mirage/dns-client-mirage.7.0.0/opam | 2 +-
.../dns-client-mirage/dns-client-mirage.7.0.1/opam | 2 +-
.../dns-client-mirage/dns-client-mirage.7.0.2/opam | 2 +-
.../dns-client-mirage/dns-client-mirage.7.0.3/opam | 2 +-
packages/dns-client/dns-client.4.0.0/opam | 2 +-
packages/dns-client/dns-client.4.1.0/opam | 2 +-
packages/dns-client/dns-client.4.2.0/opam | 2 +-
packages/dns-client/dns-client.4.3.0/opam | 2 +-
packages/dns-client/dns-client.4.3.1/opam | 2 +-
packages/dns-client/dns-client.4.4.0/opam | 2 +-
packages/dns-client/dns-client.4.4.1/opam | 2 +-
packages/dns-client/dns-client.4.5.0/opam | 2 +-
packages/dns-client/dns-client.4.6.0/opam | 2 +-
packages/dns-client/dns-client.4.6.1/opam | 2 +-
packages/dns-client/dns-client.4.6.2/opam | 2 +-
packages/dns-client/dns-client.4.6.3/opam | 2 +-
packages/dns-client/dns-client.5.0.0/opam | 2 +-
packages/dns-client/dns-client.5.0.1/opam | 2 +-
packages/dns-client/dns-client.6.0.0/opam | 2 +-
packages/dns-client/dns-client.6.0.1/opam | 2 +-
packages/dns-client/dns-client.6.0.2/opam | 2 +-
packages/dns-client/dns-client.6.1.0/opam | 2 +-
packages/dns-client/dns-client.6.1.1/opam | 2 +-
packages/dns-client/dns-client.6.1.2/opam | 2 +-
packages/dns-client/dns-client.6.1.3/opam | 2 +-
packages/dns-client/dns-client.6.1.4/opam | 2 +-
packages/dns-client/dns-client.6.2.0/opam | 2 +-
packages/dns-client/dns-client.6.2.1/opam | 2 +-
packages/dns-client/dns-client.6.2.2/opam | 2 +-
packages/dns-client/dns-client.6.3.0/opam | 2 +-
packages/dns-client/dns-client.6.4.0/opam | 2 +-
packages/dns-client/dns-client.6.4.1/opam | 2 +-
packages/dns-client/dns-client.7.0.0/opam | 2 +-
packages/dns-client/dns-client.7.0.1/opam | 2 +-
packages/dns-client/dns-client.7.0.2/opam | 2 +-
packages/dns-client/dns-client.7.0.3/opam | 2 +-
packages/dns-mirage/dns-mirage.4.0.0/opam | 2 +-
packages/dns-mirage/dns-mirage.4.1.0/opam | 2 +-
packages/dns-mirage/dns-mirage.4.2.0/opam | 2 +-
packages/dns-mirage/dns-mirage.4.3.0/opam | 2 +-
packages/dns-mirage/dns-mirage.4.3.1/opam | 2 +-
packages/dns-mirage/dns-mirage.4.4.0/opam | 2 +-
packages/dns-mirage/dns-mirage.4.4.1/opam | 2 +-
packages/dns-mirage/dns-mirage.4.5.0/opam | 2 +-
packages/dns-mirage/dns-mirage.4.6.0/opam | 2 +-
packages/dns-mirage/dns-mirage.4.6.1/opam | 2 +-
packages/dns-mirage/dns-mirage.4.6.2/opam | 2 +-
packages/dns-mirage/dns-mirage.4.6.3/opam | 2 +-
packages/dns-mirage/dns-mirage.5.0.0/opam | 2 +-
packages/dns-mirage/dns-mirage.5.0.1/opam | 2 +-
packages/dns-mirage/dns-mirage.6.0.0/opam | 2 +-
packages/dns-mirage/dns-mirage.6.0.1/opam | 2 +-
packages/dns-mirage/dns-mirage.6.0.2/opam | 2 +-
packages/dns-mirage/dns-mirage.6.1.0/opam | 2 +-
packages/dns-mirage/dns-mirage.6.1.1/opam | 2 +-
packages/dns-mirage/dns-mirage.6.1.2/opam | 2 +-
packages/dns-mirage/dns-mirage.6.1.3/opam | 2 +-
packages/dns-mirage/dns-mirage.6.1.4/opam | 2 +-
packages/dns-mirage/dns-mirage.6.2.0/opam | 2 +-
packages/dns-mirage/dns-mirage.6.2.1/opam | 2 +-
packages/dns-mirage/dns-mirage.6.2.2/opam | 2 +-
packages/dns-mirage/dns-mirage.6.3.0/opam | 2 +-
packages/dns-mirage/dns-mirage.6.4.0/opam | 2 +-
packages/dns-mirage/dns-mirage.6.4.1/opam | 2 +-
packages/dns-mirage/dns-mirage.7.0.0/opam | 2 +-
packages/dns-mirage/dns-mirage.7.0.1/opam | 2 +-
packages/dns-mirage/dns-mirage.7.0.2/opam | 2 +-
packages/dns-mirage/dns-mirage.7.0.3/opam | 2 +-
packages/dns-resolver/dns-resolver.4.0.0/opam | 2 +-
packages/dns-resolver/dns-resolver.4.1.0/opam | 2 +-
packages/dns-resolver/dns-resolver.4.2.0/opam | 2 +-
packages/dns-resolver/dns-resolver.4.3.0/opam | 2 +-
packages/dns-resolver/dns-resolver.4.3.1/opam | 2 +-
packages/dns-resolver/dns-resolver.4.4.0/opam | 2 +-
packages/dns-resolver/dns-resolver.4.4.1/opam | 2 +-
packages/dns-resolver/dns-resolver.4.5.0/opam | 2 +-
packages/dns-resolver/dns-resolver.4.6.0/opam | 2 +-
packages/dns-resolver/dns-resolver.4.6.1/opam | 2 +-
packages/dns-resolver/dns-resolver.4.6.2/opam | 2 +-
packages/dns-resolver/dns-resolver.4.6.3/opam | 2 +-
packages/dns-resolver/dns-resolver.5.0.0/opam | 2 +-
packages/dns-resolver/dns-resolver.5.0.1/opam | 2 +-
packages/dns-resolver/dns-resolver.6.0.0/opam | 2 +-
packages/dns-resolver/dns-resolver.6.0.1/opam | 2 +-
packages/dns-resolver/dns-resolver.6.0.2/opam | 2 +-
packages/dns-resolver/dns-resolver.6.1.0/opam | 2 +-
packages/dns-resolver/dns-resolver.6.1.1/opam | 2 +-
packages/dns-resolver/dns-resolver.6.1.2/opam | 2 +-
packages/dns-resolver/dns-resolver.6.1.3/opam | 2 +-
packages/dns-resolver/dns-resolver.6.1.4/opam | 2 +-
packages/dns-resolver/dns-resolver.6.2.0/opam | 2 +-
packages/dns-resolver/dns-resolver.6.2.1/opam | 2 +-
packages/dns-resolver/dns-resolver.6.2.2/opam | 2 +-
packages/dns-resolver/dns-resolver.6.3.0/opam | 2 +-
packages/dns-resolver/dns-resolver.6.4.0/opam | 2 +-
packages/dns-resolver/dns-resolver.6.4.1/opam | 2 +-
packages/dns-resolver/dns-resolver.7.0.0/opam | 2 +-
packages/dns-resolver/dns-resolver.7.0.1/opam | 2 +-
packages/dns-resolver/dns-resolver.7.0.2/opam | 2 +-
packages/dns-resolver/dns-resolver.7.0.3/opam | 2 +-
packages/dns-server/dns-server.4.0.0/opam | 2 +-
packages/dns-server/dns-server.4.1.0/opam | 2 +-
packages/dns-server/dns-server.4.2.0/opam | 2 +-
packages/dns-server/dns-server.4.3.0/opam | 2 +-
packages/dns-server/dns-server.4.3.1/opam | 2 +-
packages/dns-server/dns-server.4.4.0/opam | 2 +-
packages/dns-server/dns-server.4.4.1/opam | 2 +-
packages/dns-server/dns-server.4.5.0/opam | 2 +-
packages/dns-server/dns-server.4.6.0/opam | 2 +-
packages/dns-server/dns-server.4.6.1/opam | 2 +-
packages/dns-server/dns-server.4.6.2/opam | 2 +-
packages/dns-server/dns-server.4.6.3/opam | 2 +-
packages/dns-server/dns-server.5.0.0/opam | 2 +-
packages/dns-server/dns-server.5.0.1/opam | 2 +-
packages/dns-server/dns-server.6.0.0/opam | 2 +-
packages/dns-server/dns-server.6.0.1/opam | 2 +-
packages/dns-server/dns-server.6.0.2/opam | 2 +-
packages/dns-server/dns-server.6.1.0/opam | 2 +-
packages/dns-server/dns-server.6.1.1/opam | 2 +-
packages/dns-server/dns-server.6.1.2/opam | 2 +-
packages/dns-server/dns-server.6.1.3/opam | 2 +-
packages/dns-server/dns-server.6.1.4/opam | 2 +-
packages/dns-server/dns-server.6.2.0/opam | 2 +-
packages/dns-server/dns-server.6.2.1/opam | 2 +-
packages/dns-server/dns-server.6.2.2/opam | 2 +-
packages/dns-server/dns-server.6.3.0/opam | 2 +-
packages/dns-server/dns-server.6.4.0/opam | 2 +-
packages/dns-server/dns-server.6.4.1/opam | 2 +-
packages/dns-server/dns-server.7.0.0/opam | 2 +-
packages/dns-server/dns-server.7.0.1/opam | 2 +-
packages/dns-server/dns-server.7.0.2/opam | 2 +-
packages/dns-server/dns-server.7.0.3/opam | 2 +-
packages/dns-stub/dns-stub.4.4.0/opam | 2 +-
packages/dns-stub/dns-stub.4.4.1/opam | 2 +-
packages/dns-stub/dns-stub.4.5.0/opam | 2 +-
packages/dns-stub/dns-stub.4.6.0/opam | 2 +-
packages/dns-stub/dns-stub.4.6.1/opam | 2 +-
packages/dns-stub/dns-stub.4.6.2/opam | 2 +-
packages/dns-stub/dns-stub.4.6.3/opam | 2 +-
packages/dns-stub/dns-stub.5.0.0/opam | 2 +-
packages/dns-stub/dns-stub.5.0.1/opam | 2 +-
packages/dns-stub/dns-stub.6.0.0/opam | 2 +-
packages/dns-stub/dns-stub.6.0.1/opam | 2 +-
packages/dns-stub/dns-stub.6.0.2/opam | 2 +-
packages/dns-stub/dns-stub.6.1.0/opam | 2 +-
packages/dns-stub/dns-stub.6.1.1/opam | 2 +-
packages/dns-stub/dns-stub.6.1.2/opam | 2 +-
packages/dns-stub/dns-stub.6.1.3/opam | 2 +-
packages/dns-stub/dns-stub.6.1.4/opam | 2 +-
packages/dns-stub/dns-stub.6.2.0/opam | 2 +-
packages/dns-stub/dns-stub.6.2.1/opam | 2 +-
packages/dns-stub/dns-stub.6.2.2/opam | 2 +-
packages/dns-stub/dns-stub.6.3.0/opam | 2 +-
packages/dns-stub/dns-stub.6.4.0/opam | 2 +-
packages/dns-stub/dns-stub.6.4.1/opam | 2 +-
packages/dns-stub/dns-stub.7.0.0/opam | 2 +-
packages/dns-stub/dns-stub.7.0.1/opam | 2 +-
packages/dns-stub/dns-stub.7.0.2/opam | 2 +-
packages/dns-stub/dns-stub.7.0.3/opam | 2 +-
packages/dns-tsig/dns-tsig.4.0.0/opam | 2 +-
packages/dns-tsig/dns-tsig.4.1.0/opam | 2 +-
packages/dns-tsig/dns-tsig.4.2.0/opam | 2 +-
packages/dns-tsig/dns-tsig.4.3.0/opam | 2 +-
packages/dns-tsig/dns-tsig.4.3.1/opam | 2 +-
packages/dns-tsig/dns-tsig.4.4.0/opam | 2 +-
packages/dns-tsig/dns-tsig.4.4.1/opam | 2 +-
packages/dns-tsig/dns-tsig.4.5.0/opam | 2 +-
packages/dns-tsig/dns-tsig.4.6.0/opam | 2 +-
packages/dns-tsig/dns-tsig.4.6.1/opam | 2 +-
packages/dns-tsig/dns-tsig.4.6.2/opam | 2 +-
packages/dns-tsig/dns-tsig.4.6.3/opam | 2 +-
packages/dns-tsig/dns-tsig.5.0.0/opam | 2 +-
packages/dns-tsig/dns-tsig.5.0.1/opam | 2 +-
packages/dns-tsig/dns-tsig.6.0.0/opam | 2 +-
packages/dns-tsig/dns-tsig.6.0.1/opam | 2 +-
packages/dns-tsig/dns-tsig.6.0.2/opam | 2 +-
packages/dns-tsig/dns-tsig.6.1.0/opam | 2 +-
packages/dns-tsig/dns-tsig.6.1.1/opam | 2 +-
packages/dns-tsig/dns-tsig.6.1.2/opam | 2 +-
packages/dns-tsig/dns-tsig.6.1.3/opam | 2 +-
packages/dns-tsig/dns-tsig.6.1.4/opam | 2 +-
packages/dns-tsig/dns-tsig.6.2.0/opam | 2 +-
packages/dns-tsig/dns-tsig.6.2.1/opam | 2 +-
packages/dns-tsig/dns-tsig.6.2.2/opam | 2 +-
packages/dns-tsig/dns-tsig.6.3.0/opam | 2 +-
packages/dns-tsig/dns-tsig.6.4.0/opam | 2 +-
packages/dns-tsig/dns-tsig.6.4.1/opam | 2 +-
packages/dns-tsig/dns-tsig.7.0.0/opam | 2 +-
packages/dns-tsig/dns-tsig.7.0.1/opam | 2 +-
packages/dns-tsig/dns-tsig.7.0.2/opam | 2 +-
packages/dns-tsig/dns-tsig.7.0.3/opam | 2 +-
packages/dns/dns.4.0.0/opam | 2 +-
packages/dns/dns.4.1.0/opam | 2 +-
packages/dns/dns.4.2.0/opam | 2 +-
packages/dns/dns.4.3.0/opam | 2 +-
packages/dns/dns.4.3.1/opam | 2 +-
packages/dns/dns.4.4.0/opam | 2 +-
packages/dns/dns.4.4.1/opam | 2 +-
packages/dns/dns.4.5.0/opam | 2 +-
packages/dns/dns.4.6.0/opam | 2 +-
packages/dns/dns.4.6.1/opam | 2 +-
packages/dns/dns.4.6.2/opam | 2 +-
packages/dns/dns.4.6.3/opam | 2 +-
packages/dns/dns.5.0.0/opam | 2 +-
packages/dns/dns.5.0.1/opam | 2 +-
packages/dns/dns.6.0.0/opam | 2 +-
packages/dns/dns.6.0.1/opam | 2 +-
packages/dns/dns.6.0.2/opam | 2 +-
packages/dns/dns.6.1.0/opam | 2 +-
packages/dns/dns.6.1.1/opam | 2 +-
packages/dns/dns.6.1.2/opam | 2 +-
packages/dns/dns.6.1.3/opam | 2 +-
packages/dns/dns.6.1.4/opam | 2 +-
packages/dns/dns.6.2.0/opam | 2 +-
packages/dns/dns.6.2.1/opam | 2 +-
packages/dns/dns.6.2.2/opam | 2 +-
packages/dns/dns.6.3.0/opam | 2 +-
packages/dns/dns.6.4.0/opam | 2 +-
packages/dns/dns.6.4.1/opam | 2 +-
packages/dns/dns.7.0.0/opam | 2 +-
packages/dns/dns.7.0.1/opam | 2 +-
packages/dns/dns.7.0.2/opam | 2 +-
packages/dns/dns.7.0.3/opam | 2 +-
packages/dnssec/dnssec.6.2.0/opam | 2 +-
packages/dnssec/dnssec.6.2.1/opam | 2 +-
packages/dnssec/dnssec.6.2.2/opam | 2 +-
packages/dnssec/dnssec.6.3.0/opam | 2 +-
packages/dnssec/dnssec.6.4.0/opam | 2 +-
packages/dnssec/dnssec.6.4.1/opam | 2 +-
packages/dnssec/dnssec.7.0.0/opam | 2 +-
packages/dnssec/dnssec.7.0.1/opam | 2 +-
packages/dnssec/dnssec.7.0.2/opam | 2 +-
packages/dnssec/dnssec.7.0.3/opam | 2 +-
packages/dune-compiledb/dune-compiledb.0.4.0/opam | 42 +++++++
packages/flac/flac.0.5.0/opam | 42 +++++++
packages/frama-c/frama-c.24.0/opam | 1 +
packages/frama-c/frama-c.25.0/opam | 1 +
packages/frama-c/frama-c.25.0~beta/opam | 1 +
packages/frama-c/frama-c.26.0/opam | 1 +
packages/frama-c/frama-c.26.0~beta/opam | 1 +
packages/frama-c/frama-c.26.1/opam | 1 +
packages/frama-c/frama-c.27.0/opam | 1 +
packages/frama-c/frama-c.27.0~beta/opam | 1 +
packages/frama-c/frama-c.27.1/opam | 1 +
packages/get_line/get_line.1.0.0/opam | 2 +-
packages/get_line/get_line.2.1.0/opam | 2 +-
packages/get_line/get_line.2.1.1/opam | 2 +-
packages/get_line/get_line.3.0.0/opam | 2 +-
packages/git-kv/git-kv.0.0.1/opam | 8 +-
packages/git-kv/git-kv.0.0.2/opam | 8 +-
packages/git-kv/git-kv.0.0.3/opam | 8 +-
packages/goblint-cil/goblint-cil.2.0.2/opam | 74 +++++++++++
...deprecated-File.exists-in-update_suite.rb.patch | 39 ++++++
packages/goblint/goblint.2.0.0/opam | 5 +-
...deprecated-File.exists-in-update_suite.rb.patch | 39 ++++++
packages/goblint/goblint.2.0.1/opam | 5 +-
...deprecated-File.exists-in-update_suite.rb.patch | 39 ++++++
packages/goblint/goblint.2.1.0/opam | 5 +-
.../happy-eyeballs-lwt.0.0.1/opam | 8 +-
.../happy-eyeballs-lwt.0.0.2/opam | 8 +-
.../happy-eyeballs-lwt.0.0.3/opam | 8 +-
.../happy-eyeballs-lwt.0.0.4/opam | 8 +-
.../happy-eyeballs-lwt.0.0.5/opam | 8 +-
.../happy-eyeballs-lwt.0.0.6/opam | 10 +-
.../happy-eyeballs-lwt.0.0.7/opam | 10 +-
.../happy-eyeballs-lwt.0.0.8/opam | 10 +-
.../happy-eyeballs-lwt.0.1.0/opam | 10 +-
.../happy-eyeballs-lwt.0.1.1/opam | 10 +-
.../happy-eyeballs-lwt.0.1.2/opam | 10 +-
.../happy-eyeballs-lwt.0.1.3/opam | 10 +-
.../happy-eyeballs-lwt.0.2.0/opam | 10 +-
.../happy-eyeballs-lwt.0.3.0/opam | 10 +-
.../happy-eyeballs-lwt.0.3.1/opam | 10 +-
.../happy-eyeballs-lwt.0.4.0/opam | 10 +-
.../happy-eyeballs-lwt.0.5.0/opam | 10 +-
.../happy-eyeballs-lwt.0.6.0/opam | 10 +-
.../happy-eyeballs-mirage.0.0.1/opam | 8 +-
.../happy-eyeballs-mirage.0.0.2/opam | 8 +-
.../happy-eyeballs-mirage.0.0.3/opam | 8 +-
.../happy-eyeballs-mirage.0.0.4/opam | 8 +-
.../happy-eyeballs-mirage.0.0.5/opam | 8 +-
.../happy-eyeballs-mirage.0.0.6/opam | 10 +-
.../happy-eyeballs-mirage.0.0.7/opam | 10 +-
.../happy-eyeballs-mirage.0.0.8/opam | 10 +-
.../happy-eyeballs-mirage.0.1.0/opam | 10 +-
.../happy-eyeballs-mirage.0.1.1/opam | 10 +-
.../happy-eyeballs-mirage.0.1.2/opam | 10 +-
.../happy-eyeballs-mirage.0.1.3/opam | 10 +-
.../happy-eyeballs-mirage.0.2.0/opam | 10 +-
.../happy-eyeballs-mirage.0.3.0/opam | 10 +-
.../happy-eyeballs-mirage.0.3.1/opam | 10 +-
.../happy-eyeballs-mirage.0.4.0/opam | 10 +-
.../happy-eyeballs-mirage.0.5.0/opam | 10 +-
.../happy-eyeballs-mirage.0.6.0/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.0.1/opam | 8 +-
packages/happy-eyeballs/happy-eyeballs.0.0.2/opam | 8 +-
packages/happy-eyeballs/happy-eyeballs.0.0.3/opam | 8 +-
packages/happy-eyeballs/happy-eyeballs.0.0.4/opam | 8 +-
packages/happy-eyeballs/happy-eyeballs.0.0.5/opam | 8 +-
packages/happy-eyeballs/happy-eyeballs.0.0.6/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.0.7/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.0.8/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.1.0/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.1.1/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.1.2/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.1.3/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.2.0/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.3.0/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.3.1/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.4.0/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.5.0/opam | 10 +-
packages/happy-eyeballs/happy-eyeballs.0.6.0/opam | 10 +-
.../http-lwt-client/http-lwt-client.0.0.1/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.0.2/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.0.3/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.0.4/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.0.5/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.0.6/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.0.7/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.0.8/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.1.0/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.2.0/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.2.1/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.2.2/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.2.3/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.2.4/opam | 8 +-
.../http-lwt-client/http-lwt-client.0.2.5/opam | 8 +-
.../http-mirage-client.0.0.1/opam | 8 +-
.../http-mirage-client.0.0.2/opam | 8 +-
.../http-mirage-client.0.0.3/opam | 8 +-
.../http-mirage-client.0.0.4/opam | 8 +-
.../http-mirage-client.0.0.5/opam | 8 +-
packages/icalendar/icalendar.0.1.0/opam | 10 +-
packages/icalendar/icalendar.0.1.1/opam | 10 +-
packages/icalendar/icalendar.0.1.2/opam | 10 +-
packages/icalendar/icalendar.0.1.3/opam | 10 +-
packages/icalendar/icalendar.0.1.4/opam | 10 +-
packages/icalendar/icalendar.0.1.5/opam | 10 +-
packages/icalendar/icalendar.0.1.6/opam | 10 +-
packages/icalendar/icalendar.0.1.7/opam | 10 +-
.../lintcstubs-arity/lintcstubs-arity.0.2.2/opam | 41 ++++++
.../lintcstubs-arity/lintcstubs-arity.0.4.1/opam | 41 ++++++
packages/lintcstubs-gen/lintcstubs-gen.0.4.7/opam | 44 +++++++
packages/lintcstubs/lintcstubs.0.4.7/opam | 47 +++++++
.../liquidsoap-core/liquidsoap-core.2.2.0/opam | 2 +-
.../liquidsoap-core/liquidsoap-core.2.2.1/opam | 139 +++++++++++++++++++++
packages/liquidsoap-js/liquidsoap-js.2.2.1/opam | 44 +++++++
.../liquidsoap-lang/liquidsoap-lang.2.2.1/opam | 42 +++++++
.../liquidsoap-libs-extra.2.2.1/opam | 39 ++++++
.../liquidsoap-libs/liquidsoap-libs.2.2.1/opam | 38 ++++++
.../liquidsoap-mode/liquidsoap-mode.2.2.1/opam | 47 +++++++
packages/liquidsoap/liquidsoap.2.2.1/opam | 73 +++++++++++
packages/lucid/lucid.0.1.5/opam | 2 +-
packages/lun/lun.0.0.1/opam | 10 +-
packages/lz4/lz4.1.3.0/opam | 33 +++++
packages/melange/melange.1.0.0/opam | 2 +-
packages/miou/miou.0.0.1~beta1/opam | 4 +-
.../mirage-monitoring/mirage-monitoring.0.0.1/opam | 10 +-
.../mirage-monitoring/mirage-monitoring.0.0.2/opam | 10 +-
.../mirage-monitoring/mirage-monitoring.0.0.3/opam | 10 +-
.../mirage-monitoring/mirage-monitoring.0.0.4/opam | 10 +-
packages/not-ocamlfind/not-ocamlfind.0.11/opam | 37 ++++++
.../files/ocaml-base-compiler.install | 1 +
.../ocaml-base-compiler.5.1.0/opam | 47 +++++++
packages/ocaml-src/ocaml-src.5.1.0/files/META | 1 +
packages/ocaml-src/ocaml-src.5.1.0/opam | 17 +++
.../files/gen_ocaml_config.ml.in | 43 +++++++
packages/ocaml-system/ocaml-system.5.1.0/opam | 22 ++++
.../files/ocaml-variants.install | 1 +
.../ocaml-variants.5.1.0+options/opam | 86 +++++++++++++
.../ocaml-variants/ocaml-variants.5.1.0+trunk/opam | 79 +-----------
.../files/ocaml-variants.install | 1 +
.../ocaml-variants.5.1.0~rc3+tsan/opam | 84 +++++++++++++
.../ocaml-variants/ocaml-variants.5.1.1+trunk/opam | 84 +++++++++++++
packages/ocaml/ocaml.5.1.1/opam | 36 ++++++
packages/oneffs/oneffs.0.1.0/opam | 6 +-
packages/opam-graph/opam-graph.0.1.1/opam | 8 +-
packages/opam-monorepo/opam-monorepo.0.4.0/opam | 36 ++++++
packages/pa_ppx/pa_ppx.0.14/opam | 74 +++++++++++
packages/pa_ppx_hashcons/pa_ppx_hashcons.0.11/opam | 42 +++++++
packages/pa_ppx_migrate/pa_ppx_migrate.0.11/opam | 45 +++++++
.../pa_ppx_parsetree/pa_ppx_parsetree.0.01/opam | 43 +++++++
.../pa_ppx_quotation2extension.0.01/opam | 2 +-
packages/pa_ppx_regexp/pa_ppx_regexp.0.01/opam | 2 +-
packages/pa_ppx_regexp/pa_ppx_regexp.0.02/opam | 44 +++++++
packages/pa_ppx_static/pa_ppx_static.0.02/opam | 42 +++++++
packages/pa_ppx_unique/pa_ppx_unique.0.11/opam | 39 ++++++
packages/pb-plugin/pb-plugin.1.0.0/opam | 2 +-
packages/pcre2/pcre2.7.5.2/opam | 43 +++++++
packages/pf-qubes/pf-qubes.0.1.0/opam | 12 +-
packages/pf-qubes/pf-qubes.0.1.1/opam | 12 +-
packages/ppx_lun/ppx_lun.0.0.1/opam | 8 +-
packages/ppx_yojson/ppx_yojson.1.3.0/opam | 41 ++++++
.../prbnmcn-dagger-gsl.0.0.4/opam | 36 ++++++
.../prbnmcn-dagger-stats.0.0.4/opam | 38 ++++++
.../prbnmcn-dagger-test.0.0.4/opam | 43 +++++++
packages/prbnmcn-dagger/prbnmcn-dagger.0.0.4/opam | 42 +++++++
.../reason-react-ppx/reason-react-ppx.0.12.0/opam | 46 +++++++
packages/reason-react/reason-react.0.11.0/opam | 2 +-
packages/reason-react/reason-react.0.12.0/opam | 55 ++++++++
packages/reason/reason.3.10.0/opam | 51 ++++++++
packages/rosa/rosa.0.2.0/opam | 4 +-
packages/rtop/rtop.3.10.0/opam | 44 +++++++
packages/semver/semver.0.2.1/opam | 32 +++++
packages/simlog/simlog.0.0.3/opam | 2 +-
packages/solo5-elftool/solo5-elftool.0.1.0/opam | 10 +-
packages/solo5-elftool/solo5-elftool.0.2.0/opam | 10 +-
packages/solo5-elftool/solo5-elftool.0.3.0/opam | 10 +-
packages/solo5-elftool/solo5-elftool.0.3.1/opam | 10 +-
packages/tar-eio/tar-eio.2.6.0/opam | 46 +++++++
packages/tar-mirage/tar-mirage.2.6.0/opam | 61 +++++++++
packages/tar-unix/tar-unix.2.6.0/opam | 48 +++++++
packages/tar/tar.2.6.0/opam | 49 ++++++++
packages/u2f/u2f.0.1.0/opam | 10 +-
packages/u2f/u2f.0.1.1/opam | 10 +-
packages/u2f/u2f.0.1.2/opam | 10 +-
packages/webauthn/webauthn.0.1.0/opam | 10 +-
560 files changed, 4424 insertions(+), 1019 deletions(-)
create mode 100644 packages/SZXX/SZXX.4.0.1/opam
create mode 100644 packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam
create mode 100644 packages/alt-ergo-parsers/alt-ergo-parsers.2.5.0/opam
create mode 100644 packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.0/opam
create mode 100644 packages/alt-ergo/alt-ergo.2.5.0/opam
create mode 100644 packages/azure-cosmos-db/azure-cosmos-db.0.2.3/opam
create mode 100644 packages/bare_encoding/bare_encoding.0.3.1/opam
create mode 100644 packages/beluga/beluga.1.1.1/opam
create mode 100644 packages/bio_io/bio_io.0.7.0/opam
create mode 100644 packages/blurhash/blurhash.0.1.0/opam
create mode 100644 packages/camlp5/camlp5.8.02.01/opam
create mode 100644 packages/conan-cli/conan-cli.0.0.5/opam
create mode 100644 packages/conan-database/conan-database.0.0.5/opam
create mode 100644 packages/conan-lwt/conan-lwt.0.0.5/opam
create mode 100644 packages/conan-unix/conan-unix.0.0.5/opam
create mode 100644 packages/conan/conan.0.0.5/opam
create mode 100644 packages/conf-readline/conf-readline.1/opam
create mode 100644 packages/coq-core/coq-core.8.18.0/opam
create mode 100644 packages/coq-stdlib/coq-stdlib.8.18.0/opam
create mode 100644 packages/coq/coq.8.18.0/opam
create mode 100644 packages/coqide-server/coqide-server.8.18.0/opam
create mode 100644 packages/coqide/coqide.8.18.0/opam
create mode 100644 packages/dune-compiledb/dune-compiledb.0.4.0/opam
create mode 100644 packages/flac/flac.0.5.0/opam
create mode 100644 packages/goblint-cil/goblint-cil.2.0.2/opam
create mode 100644 packages/goblint/goblint.2.0.0/files/0001-Fix-deprecated-File.exists-in-update_suite.rb.patch
create mode 100644 packages/goblint/goblint.2.0.1/files/0001-Fix-deprecated-File.exists-in-update_suite.rb.patch
create mode 100644 packages/goblint/goblint.2.1.0/files/0001-Fix-deprecated-File.exists-in-update_suite.rb.patch
create mode 100644 packages/lintcstubs-arity/lintcstubs-arity.0.2.2/opam
create mode 100644 packages/lintcstubs-arity/lintcstubs-arity.0.4.1/opam
create mode 100644 packages/lintcstubs-gen/lintcstubs-gen.0.4.7/opam
create mode 100644 packages/lintcstubs/lintcstubs.0.4.7/opam
create mode 100644 packages/liquidsoap-core/liquidsoap-core.2.2.1/opam
create mode 100644 packages/liquidsoap-js/liquidsoap-js.2.2.1/opam
create mode 100644 packages/liquidsoap-lang/liquidsoap-lang.2.2.1/opam
create mode 100644 packages/liquidsoap-libs-extra/liquidsoap-libs-extra.2.2.1/opam
create mode 100644 packages/liquidsoap-libs/liquidsoap-libs.2.2.1/opam
create mode 100644 packages/liquidsoap-mode/liquidsoap-mode.2.2.1/opam
create mode 100644 packages/liquidsoap/liquidsoap.2.2.1/opam
create mode 100644 packages/lz4/lz4.1.3.0/opam
create mode 100644 packages/not-ocamlfind/not-ocamlfind.0.11/opam
create mode 100644 packages/ocaml-base-compiler/ocaml-base-compiler.5.1.0/files/ocaml-base-compiler.install
create mode 100644 packages/ocaml-base-compiler/ocaml-base-compiler.5.1.0/opam
create mode 100644 packages/ocaml-src/ocaml-src.5.1.0/files/META
create mode 100644 packages/ocaml-src/ocaml-src.5.1.0/opam
create mode 100644 packages/ocaml-system/ocaml-system.5.1.0/files/gen_ocaml_config.ml.in
create mode 100644 packages/ocaml-system/ocaml-system.5.1.0/opam
create mode 100644 packages/ocaml-variants/ocaml-variants.5.1.0+options/files/ocaml-variants.install
create mode 100644 packages/ocaml-variants/ocaml-variants.5.1.0+options/opam
create mode 100644 packages/ocaml-variants/ocaml-variants.5.1.0~rc3+tsan/files/ocaml-variants.install
create mode 100644 packages/ocaml-variants/ocaml-variants.5.1.0~rc3+tsan/opam
create mode 100644 packages/ocaml-variants/ocaml-variants.5.1.1+trunk/opam
create mode 100644 packages/ocaml/ocaml.5.1.1/opam
create mode 100644 packages/opam-monorepo/opam-monorepo.0.4.0/opam
create mode 100644 packages/pa_ppx/pa_ppx.0.14/opam
create mode 100644 packages/pa_ppx_hashcons/pa_ppx_hashcons.0.11/opam
create mode 100644 packages/pa_ppx_migrate/pa_ppx_migrate.0.11/opam
create mode 100644 packages/pa_ppx_parsetree/pa_ppx_parsetree.0.01/opam
create mode 100644 packages/pa_ppx_regexp/pa_ppx_regexp.0.02/opam
create mode 100644 packages/pa_ppx_static/pa_ppx_static.0.02/opam
create mode 100644 packages/pa_ppx_unique/pa_ppx_unique.0.11/opam
create mode 100644 packages/pcre2/pcre2.7.5.2/opam
create mode 100644 packages/ppx_yojson/ppx_yojson.1.3.0/opam
create mode 100644 packages/prbnmcn-dagger-gsl/prbnmcn-dagger-gsl.0.0.4/opam
create mode 100644 packages/prbnmcn-dagger-stats/prbnmcn-dagger-stats.0.0.4/opam
create mode 100644 packages/prbnmcn-dagger-test/prbnmcn-dagger-test.0.0.4/opam
create mode 100644 packages/prbnmcn-dagger/prbnmcn-dagger.0.0.4/opam
create mode 100644 packages/reason-react-ppx/reason-react-ppx.0.12.0/opam
create mode 100644 packages/reason-react/reason-react.0.12.0/opam
create mode 100644 packages/reason/reason.3.10.0/opam
create mode 100644 packages/rtop/rtop.3.10.0/opam
create mode 100644 packages/semver/semver.0.2.1/opam
create mode 100644 packages/tar-eio/tar-eio.2.6.0/opam
create mode 100644 packages/tar-mirage/tar-mirage.2.6.0/opam
create mode 100644 packages/tar-unix/tar-unix.2.6.0/opam
create mode 100644 packages/tar/tar.2.6.0/opam
Note: checking out '08309af060417fac7143e968e41b9e67e80ba674'.
You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.
If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:
git checkout -b <new-branch-name>
HEAD is now at 08309af060 Merge pull request #21056 from smondet/smondet-zarith-js-conflict
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
The following actions will be performed:
- recompile ocaml-base-compiler 4.10.2* [upstream changes]
- recompile ocaml-config 1 [uses ocaml-base-compiler]
- recompile ocaml 4.10.2 [uses ocaml-base-compiler]
- downgrade opam-depext 1.2.1-1 to 1.2.1 [upstream changes]
===== 3 to recompile | 1 to downgrade =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-base-compiler.4.10.2] found in cache
[opam-depext.1.2.1] found in cache
[ERROR] The sources of the following couldn't be obtained, aborting:
- ocaml-base-compiler.4.10.2: Bad checksum
The command '/bin/sh -c git -C /home/opam/opam-repository pull origin master && git -C /home/opam/opam-repository checkout 08309af060417fac7143e968e41b9e67e80ba674 && opam update -u -y' returned a non-zero code: 40
docker-build failed with exit-code 40
2023-09-14 19:38.41: Job failed: Failed: Build failed