Build:
  1. 0
2025-10-07 10:59.12: New job: docker build {
                                             "commit": "d3a5462fcdf55331114629cff6b7d184f704ebe7",
                                             "dockerfile": {
                                               "file": "Dockerfile"
                                             },
                                             "docker_context": null,
                                             "squash": false,
                                             "buildx": false,
                                             "build_args": [
                                               "--build-arg", "TARGET=hvt",
                                               "--build-arg",
                                               "EXTRA_FLAGS=--tls=true --metrics --separate-networks"
                                             ],
                                             "path": null
                                           }
2025-10-07 10:59.12: Checking out commit d3a5462f. To reproduce:
                       git clone --recursive "https://github.com/mirage/mirage-www.git" && cd "mirage-www" && git fetch origin "refs/pull/855/head" && git reset --hard d3a5462f
2025-10-07 10:59.12: Exec: "cp" "-a" "--" "/var/lib/ocurrent/var/git/mirage-www.git-c1609aad5612d6b73e1c5be1a480108ce3363f2b7727366290103fad03b019f2/.git" 
                           "/tmp/git-checkout13a0d04d"
2025-10-07 10:59.12: Exec: "git" "-C" "/tmp/git-checkout13a0d04d" "submodule" 
                           "deinit" "--force" "--all"
could not create empty submodule directory data/wiki/files/mirage-skeletonSubmodule 'data/wiki/files/mirage-skeleton' (https://github.com/mirage/mirage-skeleton) unregistered for path 'data/wiki/files/mirage-skeleton'
2025-10-07 10:59.12: Exec: "git" "-C" "/tmp/git-checkout13a0d04d" "reset" 
                           "--hard" "-q" "d3a5462fcdf55331114629cff6b7d184f704ebe7"
2025-10-07 10:59.12: Exec: "git" "-c" "protocol.file.allow=always" "-C" 
                           "/tmp/git-checkout13a0d04d" "submodule" "update" 
                           "--recursive" "--init" "--no-fetch"
Submodule 'data/wiki/files/mirage-skeleton' (https://github.com/mirage/mirage-skeleton) registered for path 'data/wiki/files/mirage-skeleton'
Submodule path 'data/wiki/files/mirage-skeleton': checked out '25ee67cc764c0aee317b4071aeb320c285a318df'
2025-10-07 10:59.12: Exec: "docker" "build" "--pull" "--build-arg" "TARGET=hvt" 
                           "--build-arg" "EXTRA_FLAGS=--tls=true --metrics --separate-networks" 
                           "-f" "/tmp/git-checkout13a0d04d/Dockerfile" 
                           "--iidfile" "/tmp/git-checkout13a0d04d/docker-iid" 
                           "--" "/tmp/git-checkout13a0d04d"
#0 building with "default" instance using docker driver

#1 [internal] load build definition from Dockerfile
#1 transferring dockerfile: 949B done
#1 DONE 0.1s

#2 [internal] load metadata for docker.io/ocaml/opam:debian-12-ocaml-4.14
#2 DONE 1.2s

#3 [internal] load .dockerignore
#3 transferring context: 64B done
#3 DONE 0.0s

#4 [ 1/16] FROM docker.io/ocaml/opam:debian-12-ocaml-4.14@sha256:b4cdbebb61d9458528302186980672de1f5e38e1cb01f91a926b6634fa78d37a
#4 resolve docker.io/ocaml/opam:debian-12-ocaml-4.14@sha256:b4cdbebb61d9458528302186980672de1f5e38e1cb01f91a926b6634fa78d37a 0.0s done
#4 sha256:b786a9e5ffb6b3c5d03eea422e4f244bda797092df901a1b90037f8c1caa8df8 0B / 700B 0.1s
#4 sha256:b4cdbebb61d9458528302186980672de1f5e38e1cb01f91a926b6634fa78d37a 2.00kB / 2.00kB done
#4 sha256:e774f94090eb5c6bf5c3230dfadf72cd8cb30e85db2a23258aab36cb3c3c1b1d 1.37kB / 1.37kB done
#4 sha256:e501429f4684262422d3144c78ad5ba48fe2561936eb0b2d29bd93d149613abe 9.80kB / 9.80kB done
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 0B / 520.03MB 0.1s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 0B / 200.52MB 0.1s
#4 ...

#5 [internal] load build context
#5 transferring context: 25.69MB 0.3s done
#5 DONE 0.4s

#4 [ 1/16] FROM docker.io/ocaml/opam:debian-12-ocaml-4.14@sha256:b4cdbebb61d9458528302186980672de1f5e38e1cb01f91a926b6634fa78d37a
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 32.51MB / 520.03MB 0.5s
#4 sha256:b786a9e5ffb6b3c5d03eea422e4f244bda797092df901a1b90037f8c1caa8df8 700B / 700B 0.7s done
#4 sha256:3d7a1ccb445b8f6dd5d617a75f22880d622c8c1b7105b044053f5ed74fdc6d6e 0B / 259.33kB 0.7s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 66.06MB / 520.03MB 0.8s
#4 sha256:3d7a1ccb445b8f6dd5d617a75f22880d622c8c1b7105b044053f5ed74fdc6d6e 259.33kB / 259.33kB 0.8s done
#4 sha256:f4e078ec562eb5aa9e8a6e93474f1b53a9da1a2dd5107a92fbfe932626ca1997 423B / 423B 1.0s done
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 95.42MB / 520.03MB 1.1s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 13.63MB / 200.52MB 1.3s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 128.97MB / 520.03MB 1.6s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 29.36MB / 200.52MB 1.6s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 45.09MB / 200.52MB 1.9s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 161.48MB / 520.03MB 2.1s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 65.01MB / 200.52MB 2.3s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 193.99MB / 520.03MB 2.6s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 79.69MB / 200.52MB 2.6s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 222.30MB / 520.03MB 3.0s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 96.47MB / 200.52MB 3.0s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 111.15MB / 200.52MB 3.3s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 255.85MB / 520.03MB 3.5s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 125.83MB / 200.52MB 3.6s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 137.36MB / 200.52MB 3.8s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 287.31MB / 520.03MB 4.0s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 147.85MB / 200.52MB 4.0s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 158.33MB / 200.52MB 4.2s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 168.82MB / 200.52MB 4.4s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 318.77MB / 520.03MB 4.5s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 184.55MB / 200.52MB 4.7s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 195.04MB / 200.52MB 4.9s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 360.71MB / 520.03MB 5.1s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 395.31MB / 520.03MB 5.4s
#4 sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 200.52MB / 200.52MB 5.4s done
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 429.92MB / 520.03MB 5.7s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 464.52MB / 520.03MB 6.0s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 499.12MB / 520.03MB 6.3s
#4 sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 520.03MB / 520.03MB 8.0s done
#4 extracting sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2
#4 extracting sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 5.7s
#4 extracting sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 12.3s
#4 extracting sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 17.3s
#4 extracting sha256:6ea5ae785a1dc6ae8a2f0f505d3beb0ac7c202f6c9042e3445ca1b965c4cd2a2 20.2s done
#4 extracting sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d
#4 extracting sha256:c1c4216733b109586dbf8c180fb8f632c58ce0fac1ea587854fc33e9dc245d7d 2.9s done
#4 extracting sha256:b786a9e5ffb6b3c5d03eea422e4f244bda797092df901a1b90037f8c1caa8df8
#4 extracting sha256:b786a9e5ffb6b3c5d03eea422e4f244bda797092df901a1b90037f8c1caa8df8 done
#4 extracting sha256:3d7a1ccb445b8f6dd5d617a75f22880d622c8c1b7105b044053f5ed74fdc6d6e 0.0s done
#4 extracting sha256:f4e078ec562eb5aa9e8a6e93474f1b53a9da1a2dd5107a92fbfe932626ca1997 done
#4 DONE 33.2s

#6 [ 2/16] RUN sudo apt-get update && sudo apt-get install autoconf automake -y --no-install-recommends
#6 0.320 Hit:1 http://deb.debian.org/debian bookworm InRelease
#6 0.320 Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
#6 0.320 Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
#6 0.491 Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [281 kB]
#6 0.540 Fetched 384 kB in 0s (1636 kB/s)
#6 0.540 Reading package lists...
#6 0.941 Reading package lists...
#6 1.335 Building dependency tree...
#6 1.428 Reading state information...
#6 1.537 The following additional packages will be installed:
#6 1.538   autotools-dev m4
#6 1.539 Suggested packages:
#6 1.539   autoconf-archive gnu-standards autoconf-doc libtool gettext m4-doc
#6 1.560 The following NEW packages will be installed:
#6 1.561   autoconf automake autotools-dev m4
#6 1.577 0 upgraded, 4 newly installed, 0 to remove and 3 not upgraded.
#6 1.577 Need to get 1494 kB of archives.
#6 1.577 After this operation, 4778 kB of additional disk space will be used.
#6 1.577 Get:1 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB]
#6 1.585 Get:2 http://deb.debian.org/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB]
#6 1.588 Get:3 http://deb.debian.org/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB]
#6 1.589 Get:4 http://deb.debian.org/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB]
#6 1.702 debconf: delaying package configuration, since apt-utils is not installed
#6 1.734 Fetched 1494 kB in 0s (52.1 MB/s)
#6 1.754 Selecting previously unselected package m4.
#6 1.754 (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18753 files and directories currently installed.)
#6 1.763 Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ...
#6 1.766 Unpacking m4 (1.4.19-3) ...
#6 1.821 Selecting previously unselected package autoconf.
#6 1.827 Preparing to unpack .../autoconf_2.71-3_all.deb ...
#6 1.832 Unpacking autoconf (2.71-3) ...
#6 1.911 Selecting previously unselected package autotools-dev.
#6 1.914 Preparing to unpack .../autotools-dev_20220109.1_all.deb ...
#6 1.917 Unpacking autotools-dev (20220109.1) ...
#6 1.963 Selecting previously unselected package automake.
#6 1.970 Preparing to unpack .../automake_1%3a1.16.5-1.3_all.deb ...
#6 1.977 Unpacking automake (1:1.16.5-1.3) ...
#6 2.079 Setting up m4 (1.4.19-3) ...
#6 2.091 Setting up autotools-dev (20220109.1) ...
#6 2.102 Setting up autoconf (2.71-3) ...
#6 2.117 Setting up automake (1:1.16.5-1.3) ...
#6 2.130 update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
#6 DONE 10.2s

#7 [ 3/16] RUN mkdir -p /home/opam/www/mirage
#7 DONE 0.4s

#8 [ 4/16] WORKDIR /home/opam/www
#8 DONE 0.1s

#9 [ 5/16] RUN sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam
#9 DONE 0.4s

#10 [ 6/16] RUN cd ~/opam-repository && git pull origin master && git reset --hard cf409d95af00ff822422bd76b657ed213b661401
#10 2.752 From https://github.com/ocaml/opam-repository
#10 2.752  * branch                  master     -> FETCH_HEAD
#10 2.768    bcac5d1731..9167a26f75  master     -> origin/master
#10 3.488 Updating bcac5d1731..9167a26f75
#10 3.488 Fast-forward
#10 3.517  .github/workflows/windows.yml                      |  22 +++-
#10 3.517  governance/policies/archiving.md                   |   6 +-
#10 3.517  packages/TCSLib/TCSLib.0.5/opam                    |   5 +
#10 3.517  packages/alcotest-async/alcotest-async.1.9.1/opam  |  49 ++++++++
#10 3.517  packages/alcotest-js/alcotest-js.1.9.1/opam        |  45 ++++++++
#10 3.517  packages/alcotest-lwt/alcotest-lwt.1.9.1/opam      |  45 ++++++++
#10 3.517  .../alcotest-mirage/alcotest-mirage.1.9.1/opam     |  47 ++++++++
#10 3.517  packages/alcotest/alcotest.1.0.1/opam              |   2 +-
#10 3.517  packages/alcotest/alcotest.1.5.0/opam              |   2 +-
#10 3.517  packages/alcotest/alcotest.1.7.0/opam              |   1 +
#10 3.517  packages/alcotest/alcotest.1.8.0/opam              |   1 +
#10 3.517  packages/alcotest/alcotest.1.9.0/opam              |   1 +
#10 3.517  packages/alcotest/alcotest.1.9.1/opam              |  60 ++++++++++
#10 3.517  packages/archsat/archsat.1.1/opam                  |   2 +-
#10 3.517  packages/awa/awa.0.0.5/opam                        |   2 +-
#10 3.517  packages/awa/awa.0.1.0/opam                        |   2 +-
#10 3.517  .../azure-cosmos-db/azure-cosmos-db.0.3.1/opam     |  40 +++++++
#10 3.517  packages/b0/b0.0.0.6/opam                          |  59 ++++++++++
#10 3.517  packages/bap-main/bap-main.2.2.0/opam              |   2 +-
#10 3.517  packages/bap-main/bap-main.2.3.0/opam              |   2 +-
#10 3.517  packages/bap-main/bap-main.2.4.0/opam              |   2 +-
#10 3.517  packages/bap-main/bap-main.2.5.0/opam              |   2 +-
#10 3.517  packages/base64/base64.3.5.2/opam                  |  39 +++++++
#10 3.517  packages/benchpress/benchpress.0.1/opam            |   2 +-
#10 3.517  packages/bimage-lwt/bimage-lwt.0.3.0/opam          |   2 +-
#10 3.517  packages/bimage-lwt/bimage-lwt.0.3.1/opam          |   2 +-
#10 3.517  packages/bimage-lwt/bimage-lwt.0.4.0/opam          |   2 +-
#10 3.517  packages/bytepdf/bytepdf.0.1/opam                  |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.57/opam       |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.59/opam       |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.60/opam       |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.63.1/opam     |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.63/opam       |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.64.0.1/opam   |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.64/opam       |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.66/opam       |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.71.0.1/opam   |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.71/opam       |   2 +-
#10 3.517  packages/ca-certs-nss/ca-certs-nss.3.74/opam       |   2 +-
#10 3.517  packages/caisar/caisar.0.1/opam                    |   2 +-
#10 3.517  packages/camels/camels.0.0.3/opam                  |   2 +-
#10 3.517  packages/camels/camels.0.0.4/opam                  |   2 +-
#10 3.517  packages/camyll/camyll.0.4.0/opam                  |   2 +-
#10 3.517  packages/capnp-rpc-unix/capnp-rpc-unix.1.2.2/opam  |   2 +-
#10 3.517  packages/capnp-rpc-unix/capnp-rpc-unix.1.2.3/opam  |   2 +-
#10 3.517  packages/capnp-rpc-unix/capnp-rpc-unix.1.2.4/opam  |   2 +-
#10 3.517  packages/capnp-rpc-unix/capnp-rpc-unix.2.1/opam    |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.0.11.0/opam           |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.1.0.0/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.1.2.0/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.1.3.0/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.1.6.0/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.1.7.0/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.1.8.0/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.1.9.0/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.2.0.1/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.2.1.1/opam            |   2 +-
#10 3.517  packages/caqti-lwt/caqti-lwt.2.2.4/opam            |   2 +-
#10 3.517  packages/catala/catala.1.0.0~alpha/opam            |  86 ++++++++++++++
#10 3.517  packages/certify/certify.0.3.0/opam                |   2 +-
#10 3.517  packages/certify/certify.0.3.1/opam                |   2 +-
#10 3.517  packages/certify/certify.0.3.2/opam                |   2 +-
#10 3.517  packages/certify/certify.0.3.3/opam                |   2 +-
#10 3.517  packages/charrua-client/charrua-client.2.1.1/opam  |  54 +++++++++
#10 3.517  packages/charrua-server/charrua-server.2.1.1/opam  |  56 +++++++++
#10 3.517  packages/charrua-unix/charrua-unix.1.5.0/opam      |   2 +-
#10 3.517  packages/charrua-unix/charrua-unix.2.1.1/opam      |  44 +++++++
#10 3.517  packages/charrua/charrua.2.1.1/opam                |  56 +++++++++
#10 3.517  packages/checkseum/checkseum.0.0.3/opam            |   2 +-
#10 3.517  packages/claudius/claudius.1.2.1/opam              |  59 ++++++++++
#10 3.517  packages/climate/climate.0.8.4/opam                |  37 ++++++
#10 3.517  .../cmdlang-cmdliner-err-runner.0.0.16/opam        |  64 +++++++++++
#10 3.517  .../cmdlang-stdlib-runner.0.0.10/opam              |  53 +++++++++
#10 3.517  .../cmdlang-to-base/cmdlang-to-base.0.0.10/opam    |  57 +++++++++
#10 3.517  .../cmdlang-to-climate.0.0.10/opam                 |  50 ++++++++
#10 3.517  .../cmdlang-to-cmdliner.0.0.10/opam                |  50 ++++++++
#10 3.517  packages/cmdlang/cmdlang.0.0.10/opam               |  54 +++++++++
#10 3.517  packages/cmdliner/cmdliner.2.0.0/opam              |  56 +++++++++
#10 3.517  .../cohttp-lwt-unix/cohttp-lwt-unix.1.2.0/opam     |   2 +-
#10 3.517  .../cohttp-lwt-unix/cohttp-lwt-unix.2.1.3/opam     |   2 +-
#10 3.517  .../cohttp-lwt-unix/cohttp-lwt-unix.4.0.0/opam     |   2 +-
#10 3.517  .../cohttp-lwt-unix/cohttp-lwt-unix.4.1.2/opam     |   2 +-
#10 3.517  .../cohttp-lwt-unix/cohttp-lwt-unix.5.1.0/opam     |   2 +-
#10 3.517  .../cohttp-lwt-unix/cohttp-lwt-unix.5.3.0/opam     |   2 +-
#10 3.517  packages/colibri2/colibri2.0.3.3/opam              |   2 +-
#10 3.517  packages/colibri2/colibri2.0.4/opam                |   2 +-
#10 3.517  packages/colibrics/colibrics.0.3.3/opam            |   2 +-
#10 3.517  packages/colibrics/colibrics.0.4/opam              |   2 +-
#10 3.517  packages/conex/conex.0.10.0/opam                   |   2 +-
#10 3.517  packages/conex/conex.0.10.1/opam                   |   2 +-
#10 3.517  packages/conex/conex.0.11.0/opam                   |   2 +-
#10 3.517  packages/conex/conex.0.11.1/opam                   |   2 +-
#10 3.517  packages/conex/conex.0.9.2/opam                    |   2 +-
#10 3.517  packages/conf-binaryen/conf-binaryen.1/opam        |  34 ++++++
#10 3.517  .../conf-gmp-powm-sec/conf-gmp-powm-sec.1/opam     |   2 +-
#10 3.517  packages/conf-gmp/conf-gmp.1/opam                  |   2 +-
#10 3.517  .../conf-gtksourceview3.0+2/opam                   |  12 +-
#10 3.517  .../conf-mingw-w64-gtksourceview3-i686.1/opam      |  19 +++
#10 3.517  .../conf-mingw-w64-gtksourceview3-x86_64.1/opam    |  19 +++
#10 3.517  packages/conf-vips/conf-vips.1/opam                |  25 ++++
#10 3.517  packages/coq-lsp/coq-lsp.0.2.4+8.20/opam           |  81 +++++++++++++
#10 3.517  packages/coq-lsp/coq-lsp.0.2.4+9.0/opam            |  82 +++++++++++++
#10 3.517  packages/coq-serapi/coq-serapi.8.13.0+0.13.0/opam  |   2 +-
#10 3.517  packages/coq-serapi/coq-serapi.8.13.0+0.13.1/opam  |   2 +-
#10 3.517  packages/coq-serapi/coq-serapi.8.14.0+0.14.0/opam  |   2 +-
#10 3.517  packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam  |   2 +-
#10 3.517  packages/coq-serapi/coq-serapi.8.15.0+0.15.1/opam  |   2 +-
#10 3.517  .../coq-waterproof/coq-waterproof.2.0.1+8.17/opam  |   4 +-
#10 3.517  .../coq-waterproof/coq-waterproof.2.1.0+8.17/opam  |   4 +-
#10 3.517  .../coq-waterproof/coq-waterproof.2.1.1+8.17/opam  |   4 +-
#10 3.517  .../coq-waterproof/coq-waterproof.2.1.1+8.18/opam  |   4 +-
#10 3.517  .../coq-waterproof/coq-waterproof.2.2.0+8.17/opam  |   2 +
#10 3.517  .../coq-waterproof/coq-waterproof.2.2.0+8.20/opam  |   2 +
#10 3.517  .../coq-waterproof/coq-waterproof.3.0.0+8.18/opam  |  51 +++++++++
#10 3.517  .../coq-waterproof/coq-waterproof.3.0.0+8.20/opam  |  51 +++++++++
#10 3.517  packages/cppffigen/cppffigen.0.002/opam            |   2 +-
#10 3.517  packages/craml/craml.1.0.0/opam                    |   2 +-
#10 3.517  packages/crs/crs.0.0.20250914/opam                 |  95 +++++++++++++++
#10 3.517  packages/crunch/crunch.3.2.0/opam                  |   2 +-
#10 3.517  packages/cudd/cudd.0.1.3/opam                      |  75 ++++++++++++
#10 3.517  packages/curl_lwt/curl_lwt.0.10.0/opam             |   2 +-
#10 3.517  packages/decompress/decompress.0.8.1/opam          |   2 +-
#10 3.517  packages/decompress/decompress.0.8/opam            |   2 +-
#10 3.517  packages/decompress/decompress.0.9.0/opam          |   2 +-
#10 3.517  packages/decompress/decompress.0.9.1/opam          |   2 +-
#10 3.517  packages/decompress/decompress.1.3.0/opam          |   2 +-
#10 3.517  packages/decompress/decompress.1.4.0/opam          |   2 +-
#10 3.517  packages/decompress/decompress.1.4.1/opam          |   2 +-
#10 3.517  packages/decompress/decompress.1.4.2/opam          |   2 +-
#10 3.517  packages/depgraph/depgraph.0.1.0/opam              |   2 +-
#10 3.517  packages/dirsift/dirsift.0.0.3/opam                |   2 +-
#10 3.517  packages/dirsift/dirsift.0.0.4/opam                |   2 +-
#10 3.517  packages/dirsift/dirsift.0.0.5/opam                |   2 +-
#10 3.517  packages/diskuvbox/diskuvbox.0.1.2/opam            |   2 +-
#10 3.517  packages/dkml-install/dkml-install.0.1.0/opam      |   2 +-
#10 3.517  packages/dkml-install/dkml-install.0.2.0/opam      |   2 +-
#10 3.517  packages/dkml-install/dkml-install.0.3.0/opam      |   2 +-
#10 3.517  packages/dkml-install/dkml-install.0.3.1/opam      |   2 +-
#10 3.517  packages/dns-certify/dns-certify.10.2.1/opam       |  49 ++++++++
#10 3.517  packages/dns-cli/dns-cli.10.2.1/opam               |  64 +++++++++++
#10 3.517  packages/dns-client-lwt/dns-client-lwt.10.2.1/opam |  42 +++++++
#10 3.517  .../dns-client-miou-unix.10.2.1/opam               |  39 +++++++
#10 3.517  .../dns-client-mirage.10.2.1/opam                  |  46 ++++++++
#10 3.517  packages/dns-client/dns-client.10.2.1/opam         |  40 +++++++
#10 3.517  packages/dns-mirage/dns-mirage.10.2.1/opam         |  50 ++++++++
#10 3.517  packages/dns-resolver/dns-resolver.10.2.1/opam     |  55 +++++++++
#10 3.517  packages/dns-server/dns-server.10.2.1/opam         |  51 +++++++++
#10 3.517  packages/dns-stub/dns-stub.10.2.1/opam             |  50 ++++++++
#10 3.517  packages/dns-tsig/dns-tsig.10.2.1/opam             |  38 ++++++
#10 3.517  packages/dns/dns.10.2.1/opam                       |  56 +++++++++
#10 3.517  packages/dnssec/dnssec.10.2.1/opam                 |  42 +++++++
#10 3.517  packages/docfd/docfd.0.3.3/opam                    |   2 +-
#10 3.517  packages/docfd/docfd.0.5.8/opam                    |   2 +-
#10 3.517  packages/docfd/docfd.0.6.1/opam                    |   2 +-
#10 3.517  packages/docfd/docfd.2.1.0/opam                    |   2 +-
#10 3.517  packages/docfd/docfd.2.2.0/opam                    |   2 +-
#10 3.517  packages/docfd/docfd.3.0.0/opam                    |   2 +-
#10 3.517  packages/dockerfile-cmd/dockerfile-cmd.8.3.1/opam  |  73 ++++++++++++
#10 3.517  .../dockerfile-opam/dockerfile-opam.8.3.1/opam     |  72 ++++++++++++
#10 3.517  packages/dockerfile/dockerfile.8.3.1/opam          |  68 +++++++++++
#10 3.517  packages/doi2bib/doi2bib.0.6.2/opam                |   2 +-
#10 3.517  packages/dokeysto/dokeysto.4.0.2/opam              |  28 +++++
#10 3.517  .../dokeysto_camltc/dokeysto_camltc.4.0.2/opam     |  28 +++++
#10 3.517  packages/dokeysto_lz4/dokeysto_lz4.4.0.2/opam      |  29 +++++
#10 3.517  .../dot-merlin-reader.5.6-503/opam                 |  31 +++++
#10 3.517  .../dot-merlin-reader.5.6-504/opam                 |  31 +++++
#10 3.517  packages/dream-cli/dream-cli.0.1.0/opam            |   2 +-
#10 3.517  packages/dream/dream.1.0.0~alpha1/opam             |   2 +-
#10 3.517  packages/dream/dream.1.0.0~alpha2/opam             |   2 +-
#10 3.517  packages/dream/dream.1.0.0~alpha3/opam             |   2 +-
#10 3.517  packages/dryunit/dryunit.0.4.0/opam                |   2 +-
#10 3.517  packages/dryunit/dryunit.0.4.1/opam                |   2 +-
#10 3.517  packages/dryunit/dryunit.0.5.0/opam                |   2 +-
#10 3.517  packages/dune-deps/dune-deps.1.1.0/opam            |   2 +-
#10 3.517  packages/dune-deps/dune-deps.1.2.0/opam            |   2 +-
#10 3.517  packages/dune-deps/dune-deps.1.2.1/opam            |   2 +-
#10 3.517  packages/dune-deps/dune-deps.1.3.0/opam            |   2 +-
#10 3.517  packages/dune-expand/dune-expand.0.0.1/opam        |   2 +-
#10 3.517  packages/dune/dune.3.12.1/opam                     |   2 +-
#10 3.517  .../dunolint-lib-base.0.0.20251006/opam            |  47 ++++++++
#10 3.517  .../dunolint-lib/dunolint-lib.0.0.20251006/opam    |  66 +++++++++++
#10 3.517  packages/dunolint/dunolint.0.0.20251006/opam       |  87 ++++++++++++++
#10 3.517  packages/earlybird/earlybird.1.3.4/opam            |  54 +++++++++
#10 3.517  .../elasticsearch-cli/elasticsearch-cli.0.4/opam   |   1 +
#10 3.517  .../elasticsearch-cli/elasticsearch-cli.0.5/opam   |   1 +
#10 3.517  .../elasticsearch-cli/elasticsearch-cli.1.0/opam   |   1 +
#10 3.517  .../elasticsearch-cli/elasticsearch-cli.1.1/opam   |   1 +
#10 3.517  .../elasticsearch-cli/elasticsearch-cli.1.2/opam   |   1 +
#10 3.517  packages/electrod/electrod.0.2.3/opam              |   2 +-
#10 3.517  packages/electrod/electrod.0.3.2/opam              |   2 +-
#10 3.517  packages/electrod/electrod.0.4.1/opam              |   2 +-
#10 3.517  packages/electrod/electrod.0.5/opam                |   2 +-
#10 3.517  packages/electrod/electrod.0.6.2/opam              |   2 +-
#10 3.517  packages/electrod/electrod.0.6/opam                |   2 +-
#10 3.517  packages/electrod/electrod.0.7.1/opam              |   2 +-
#10 3.517  packages/electrod/electrod.0.8.0/opam              |   2 +-
#10 3.517  packages/electrod/electrod.0.9.0/opam              |   2 +-
#10 3.517  packages/electrod/electrod.1.0.0/opam              |   2 +-
#10 3.517  .../electrumAnalyzer/electrumAnalyzer.0.3.5-2/opam |   2 +-
#10 3.517  packages/elpi/elpi.1.16.10/opam                    |   2 +-
#10 3.517  packages/elpi/elpi.1.17.4/opam                     |   2 +-
#10 3.517  packages/elpi/elpi.1.18.1/opam                     |   2 +-
#10 3.517  packages/elpi/elpi.1.18.2/opam                     |   2 +-
#10 3.517  packages/elpi/elpi.1.19.6/opam                     |   2 +-
#10 3.517  packages/elpi/elpi.1.20.0/opam                     |   2 +-
#10 3.517  packages/elpi/elpi.2.0.6/opam                      |   2 +-
#10 3.517  packages/elpi/elpi.2.0.7/opam                      |   2 +-
#10 3.517  packages/elpi/elpi.3.0.0/opam                      |   2 +-
#10 3.517  packages/elpi/elpi.3.0.1/opam                      |   2 +-
#10 3.517  packages/elpi/elpi.3.1.0/opam                      |   2 +-
#10 3.517  packages/elpi/elpi.3.2.0/opam                      |   2 +-
#10 3.517  packages/elpi/elpi.3.3.1/opam                      |   2 +-
#10 3.517  packages/elpi/elpi.3.4.0/opam                      |  92 +++++++++++++++
#10 3.517  packages/elpi/elpi.3.4.1/opam                      |  92 +++++++++++++++
#10 3.517  packages/emoji/emoji.3.0.1/opam                    |  45 ++++++++
#10 3.517  packages/erlang/erlang.0.0.14/opam                 |   2 +-
#10 3.517  packages/fat-filesystem/fat-filesystem.0.13.0/opam |   2 +-
#10 3.517  packages/fat-filesystem/fat-filesystem.0.14.0/opam |   2 +-
#10 3.517  packages/fat-filesystem/fat-filesystem.0.15.0/opam |   2 +-
#10 3.517  packages/fd-send-recv/fd-send-recv.2.0.3/opam      |  39 +++++++
#10 3.517  packages/fehu/fehu.1.0.0~alpha1/opam               |  49 ++++++++
#10 3.517  packages/fit/fit.1.0.1/opam                        |   2 +-
#10 3.517  packages/fit/fit.1.0.2/opam                        |   2 +-
#10 3.517  packages/fix/fix.20250919/opam                     |  26 +++++
#10 3.517  packages/fmt/fmt.0.8.0/opam                        |   2 +-
#10 3.517  packages/fmt/fmt.0.8.5/opam                        |   2 +-
#10 3.517  packages/fmt/fmt.0.8.6/opam                        |   2 +-
#10 3.517  packages/fmt/fmt.0.8.8/opam                        |   2 +-
#10 3.517  packages/fmt/fmt.0.9.0/opam                        |   2 +-
#10 3.517  packages/forester/forester.2.3/opam                |   2 +-
#10 3.517  packages/forester/forester.2.4.1/opam              |   2 +-
#10 3.517  packages/forester/forester.2.4/opam                |   2 +-
#10 3.517  packages/forester/forester.2.5.1/opam              |   2 +-
#10 3.517  packages/forester/forester.2.5/opam                |   2 +-
#10 3.517  packages/forester/forester.3.0.0/opam              |   2 +-
#10 3.517  packages/forester/forester.3.1.0/opam              |   2 +-
#10 3.517  packages/forester/forester.4.0.0/opam              |   2 +-
#10 3.517  packages/forester/forester.4.0.1/opam              |   2 +-
#10 3.517  packages/forester/forester.4.1.0/opam              |   2 +-
#10 3.517  packages/forester/forester.4.2.0/opam              |   2 +-
#10 3.517  packages/forester/forester.4.3.0/opam              |   2 +-
#10 3.517  packages/forester/forester.4.3.1/opam              |   2 +-
#10 3.517  packages/frama-c-metacsl/frama-c-metacsl.0.9/opam  |  58 ++++++++++
#10 3.517  packages/frama-clang/frama-clang.0.0.18/opam       |  48 ++++++++
#10 3.517  .../functoria-runtime.4.0.0~beta3/opam             |   2 +-
#10 3.517  packages/fuseau-lwt/fuseau-lwt.0.1/opam            |   2 +-
#10 3.517  packages/gl-legacy/gl-legacy.0.1.0/opam            |  42 +++++++
#10 3.517  packages/gobba/gobba.0.4.1/opam                    |   2 +-
#10 3.517  packages/gobba/gobba.0.4.2/opam                    |   2 +-
#10 3.517  packages/handlebars-ml/handlebars-ml.0.1.2/opam    |  43 +++++++
#10 3.517  .../happy-eyeballs-lwt.0.0.7/opam                  |   2 +-
#10 3.517  .../happy-eyeballs-lwt.0.1.3/opam                  |   2 +-
#10 3.517  packages/hlarp/hlarp.0.0.3/opam                    |   2 +-
#10 3.517  packages/hugin/hugin.1.0.0~alpha1/opam             |  48 ++++++++
#10 3.517  packages/hvsock/hvsock.1.0.2/opam                  |   2 +-
#10 3.517  packages/hxd/hxd.0.3.2/opam                        |   2 +-
#10 3.517  packages/hxd/hxd.0.3.3/opam                        |   2 +-
#10 3.517  packages/hxd/hxd.0.3.4/opam                        |   2 +-
#10 3.517  packages/hxd/hxd.0.3.5/opam                        |  37 ++++++
#10 3.517  packages/icalendar/icalendar.0.1.12/opam           |  50 ++++++++
#10 3.517  packages/icalendar/icalendar.0.1.13/opam           |  50 ++++++++
#10 3.517  packages/igvxml/igvxml.0.0.6/opam                  |   2 +-
#10 3.517  packages/igvxml/igvxml.0.1.0/opam                  |   2 +-
#10 3.517  packages/inifiles/inifiles.2.0/opam                |  37 ++++++
#10 3.517  packages/intPQueue/intPQueue.20250919/opam         |  38 ++++++
#10 3.517  packages/intPQueue/intPQueue.20250925/opam         |  39 +++++++
#10 3.517  packages/iomux/iomux.0.4/opam                      |  43 +++++++
#10 3.517  packages/jasmin/jasmin.2025.06.1/opam              |  44 +++++++
#10 3.517  .../js_of_ocaml-compiler.3.10.0/opam               |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.11.0/opam               |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.4.0/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.5.0/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.5.1/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.5.2/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.6.0/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.7.1/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.8.0/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.9.0/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.3.9.1/opam                |   2 +-
#10 3.517  .../js_of_ocaml-compiler.4.0.0/opam                |   2 +-
#10 3.517  packages/jsonrpc/jsonrpc.1.23.1/opam               |  50 ++++++++
#10 3.517  packages/jsonrpc/jsonrpc.1.24.0/opam               |  50 ++++++++
#10 3.517  packages/jsonxt/jsonxt.1.0.0/opam                  |   2 +-
#10 3.517  packages/jsonxt/jsonxt.1.0.1/opam                  |   2 +-
#10 3.517  packages/kafka/kafka.0.3/opam                      |   2 +-
#10 3.517  packages/kafka/kafka.0.4/opam                      |   2 +-
#10 3.517  packages/kafka_lwt/kafka_lwt.0.5/opam              |   2 +-
#10 3.517  packages/kaun/kaun.1.0.0~alpha1/opam               |  50 ++++++++
#10 3.517  packages/kinetic-client/kinetic-client.0.0.11/opam |   2 +-
#10 3.517  packages/kinetic-client/kinetic-client.0.0.9/opam  |   2 +-
#10 3.517  packages/lab/lab.0.1.0/opam                        |   2 +-
#10 3.517  packages/lab/lab.0.1.1/opam                        |   2 +-
#10 3.517  packages/lab/lab.0.1.2/opam                        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.1.13/opam         |   2 +-
#10 3.517  packages/lambda-term/lambda-term.2.0.1/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.2.0.2/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.2.0.3/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.2.0/opam          |   2 +-
#10 3.517  packages/lambda-term/lambda-term.3.0.0/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.3.0.1/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.3.1.0/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.3.2.0/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.3.3.0/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.3.3.1/opam        |   2 +-
#10 3.517  packages/lambda-term/lambda-term.3.3.2/opam        |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.0.0/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.2.0/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.2.1/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.3.0/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.3.1/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.4.0/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.4.1/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.5.0/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.5.1/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.2.6.0/opam              |   2 +-
#10 3.517  packages/lambdapi/lambdapi.3.0.0/opam              |   2 +-
#10 3.517  packages/llopt/llopt.1.0.0/opam                    |   2 +-
#10 3.517  packages/logs/logs.0.7.0/opam                      |   2 +-
#10 3.517  packages/lsp/lsp.1.23.1/opam                       |  60 ++++++++++
#10 3.517  packages/lsp/lsp.1.24.0/opam                       |  60 ++++++++++
#10 3.517  packages/lwt_domain/lwt_domain.0.1.0/opam          |   2 +-
#10 3.517  packages/lwt_domain/lwt_domain.0.2.0/opam          |   2 +-
#10 3.517  packages/lwt_domain/lwt_domain.0.3.0/opam          |   2 +-
#10 3.517  packages/lwt_eio/lwt_eio.0.1/opam                  |   2 +-
#10 3.517  packages/lwt_eio/lwt_eio.0.2/opam                  |   2 +-
#10 3.517  packages/lwt_eio/lwt_eio.0.3/opam                  |   2 +-
#10 3.517  packages/lwt_eio/lwt_eio.0.4/opam                  |   2 +-
#10 3.517  packages/lwt_eio/lwt_eio.0.5.1/opam                |   2 +-
#10 3.517  packages/lwt_eio/lwt_eio.0.5/opam                  |   2 +-
#10 3.517  packages/lwt_glib/lwt_glib.1.0.1/opam              |   2 +-
#10 3.517  packages/lwt_glib/lwt_glib.1.1.0/opam              |   2 +-
#10 3.517  packages/lwt_glib/lwt_glib.1.1.1/opam              |   2 +-
#10 3.517  packages/lwt_log/lwt_log.1.1.0/opam                |   2 +-
#10 3.517  packages/lwt_log/lwt_log.1.1.1/opam                |   2 +-
#10 3.517  packages/lwt_log/lwt_log.1.1.2/opam                |   2 +-
#10 3.517  packages/lwt_ppx/lwt_ppx.5.8.1/opam                |   2 +-
#10 3.517  .../mastodon-archive-viewer.0.1/opam               |   2 +-
#10 3.517  packages/menhir/menhir.20250912/opam               |  30 +++++
#10 3.517  packages/menhirCST/menhirCST.20250912/opam         |  29 +++++
#10 3.517  packages/menhirLib/menhirLib.20250912/opam         |  30 +++++
#10 3.517  packages/menhirSdk/menhirSdk.20250912/opam         |  30 +++++
#10 3.517  packages/merge-fmt/merge-fmt.0.1/opam              |   2 +-
#10 3.517  packages/merge-fmt/merge-fmt.0.2/opam              |   2 +-
#10 3.517  packages/merlin-lib/merlin-lib.5.6-503/opam        |  36 ++++++
#10 3.517  packages/merlin-lib/merlin-lib.5.6-504/opam        |  36 ++++++
#10 3.517  packages/merlin/merlin.5.6-503/opam                |  81 +++++++++++++
#10 3.517  packages/merlin/merlin.5.6-504/opam                |  81 +++++++++++++
#10 3.517  packages/mirage-kv-mem/mirage-kv-mem.4.0.1/opam    |  49 ++++++++
#10 3.517  .../mirage-monitoring/mirage-monitoring.0.0.6/opam |   1 +
#10 3.517  .../mirage-monitoring/mirage-monitoring.0.0.7/opam |   1 +
#10 3.517  .../mirage-monitoring/mirage-monitoring.0.0.8/opam |  46 ++++++++
#10 3.517  packages/mirage-runtime/mirage-runtime.4.0.0/opam  |   1 +
#10 3.517  packages/mirage-runtime/mirage-runtime.4.7.0/opam  |   2 +-
#10 3.517  packages/monolith/monolith.20250922/opam           |  38 ++++++
#10 3.517  packages/monorobot/monorobot.0.1/opam              |   2 +-
#10 3.517  packages/moonpool-io/moonpool-io.0.9/opam          |  40 +++++++
#10 3.517  packages/moonpool-lwt/moonpool-lwt.0.6/opam        |   2 +-
#10 3.517  packages/moonpool-lwt/moonpool-lwt.0.7/opam        |   2 +-
#10 3.517  packages/moonpool-lwt/moonpool-lwt.0.8/opam        |   2 +-
#10 3.517  packages/moonpool-lwt/moonpool-lwt.0.9/opam        |  43 +++++++
#10 3.517  packages/moonpool/moonpool.0.9/opam                |  50 ++++++++
#10 3.517  packages/mosaique/mosaique.0.0.1/opam              |  40 +++++++
#10 3.517  packages/mustache-cli/mustache-cli.3.3.0/opam      |   2 +-
#10 3.517  packages/mwt/mwt.0.1.0/opam                        |   2 +-
#10 3.517  packages/nocoiner/nocoiner.0.0.1/opam              |   2 +-
#10 3.517  packages/nocoiner/nocoiner.1.0.0/opam              |   2 +-
#10 3.517  packages/nocrypto/nocrypto.0.5.4-1/opam            |   2 +-
#10 3.517  packages/nocrypto/nocrypto.0.5.4-2/opam            |   2 +-
#10 3.517  packages/nuscr/nuscr.2.0.0/opam                    |   2 +-
#10 3.517  packages/nx-datasets/nx-datasets.1.0.0~alpha1/opam |  54 +++++++++
#10 3.517  packages/nx/nx.1.0.0~alpha1/opam                   |  65 +++++++++++
#10 3.517  packages/obandit/obandit.0.3.4/opam                |   2 +-
#10 3.517  packages/obuilder/obuilder.0.3/opam                |   2 +-
#10 3.517  .../ocaml-base-compiler.5.4.0~rc1/opam             |  29 +++++
#10 3.517  .../ocaml-compiler/ocaml-compiler.5.4.0~rc1/opam   | 127 +++++++++++++++++++++
#10 3.517  packages/ocaml-index/ocaml-index.5.6-503/opam      |  42 +++++++
#10 3.517  packages/ocaml-index/ocaml-index.5.6-504/opam      |  42 +++++++
#10 3.517  packages/ocaml-inifiles/ocaml-inifiles.1.2/opam    |   5 +-
#10 3.517  .../ocaml-lsp-server/ocaml-lsp-server.1.23.1/opam  |  75 ++++++++++++
#10 3.517  .../ocaml-lsp-server/ocaml-lsp-server.1.24.0/opam  |  75 ++++++++++++
#10 3.517  .../ocaml-option-no-compression.1/opam             |   7 +-
#10 3.517  .../ocaml-options-vanilla.1/opam                   |   3 +-
#10 3.517  .../ocaml-protoc-plugin.6.2.0/opam                 |  66 +++++++++++
#10 3.517  .../ocaml-variants/ocaml-variants.4.14.1+BER/opam  |   6 +-
#10 3.517  .../ocaml-variants/ocaml-variants.5.3.0+BER/opam   |  41 ++++---
#10 3.517  .../ocaml-variants.5.4.0~rc1+options/opam          |  26 +++++
#10 3.517  packages/ocamlcodoc/ocamlcodoc.1.0.1/opam          |   2 +-
#10 3.517  .../ocamlformat-lib/ocamlformat-lib.0.25.1/opam    |   1 +
#10 3.517  .../ocamlformat-lib/ocamlformat-lib.0.26.0/opam    |   1 +
#10 3.517  .../ocamlformat-lib/ocamlformat-lib.0.26.1/opam    |   1 +
#10 3.517  .../ocamlformat-lib/ocamlformat-lib.0.26.2/opam    |   1 +
#10 3.517  packages/ocamlformat/ocamlformat.0.20.0/opam       |   2 +-
#10 3.517  packages/ocamlformat/ocamlformat.0.20.1/opam       |   2 +-
#10 3.517  packages/ocamlformat/ocamlformat.0.21.0/opam       |   2 +-
#10 3.517  packages/ocamlformat/ocamlformat.0.22.4/opam       |   2 +-
#10 3.517  packages/ocamlformat/ocamlformat.0.23.0/opam       |   2 +-
#10 3.517  packages/ocamlformat/ocamlformat.0.24.1/opam       |   2 +-
#10 3.517  packages/ocluster/ocluster.0.1/opam                |   2 +-
#10 3.517  packages/ocluster/ocluster.0.2.1/opam              |   2 +-
#10 3.517  packages/ocluster/ocluster.0.2/opam                |   2 +-
#10 3.517  packages/ocluster/ocluster.0.3.0/opam              |   2 +-
#10 3.517  packages/ocp-indent/ocp-indent.1.9.0/opam          |  58 ++++++++++
#10 3.517  packages/ocurl/ocurl.0.7.6/opam                    |   1 +
#10 3.517  packages/ocurl/ocurl.0.7.7/opam                    |   1 +
#10 3.517  packages/ocurl/ocurl.0.7.8/opam                    |   1 +
#10 3.517  packages/ocurl/ocurl.0.7.9/opam                    |   1 +
#10 3.517  packages/ocurl/ocurl.0.8.1/opam                    |   1 +
#10 3.517  packages/ocurl/ocurl.0.8.2/opam                    |   1 +
#10 3.517  packages/ocurl/ocurl.0.9.0/opam                    |   1 +
#10 3.517  packages/ocurl/ocurl.0.9.1/opam                    |   1 +
#10 3.517  packages/ocurl/ocurl.0.9.2/opam                    |   1 +
#10 3.517  packages/odds/odds.1.0/opam                        |   2 +-
#10 3.517  packages/odig/odig.0.0.9/opam                      |   2 +-
#10 3.517  packages/odig/odig.0.1.0/opam                      |  52 +++++++++
#10 3.517  packages/omigrate/omigrate.0.1.0/opam              |   2 +-
#10 3.517  packages/omigrate/omigrate.0.1.1/opam              |   2 +-
#10 3.517  packages/opam-0install/opam-0install.0.5.1/opam    |   2 +-
#10 3.517  .../opam-check-npm-deps.1.0.0/opam                 |   5 +-
#10 3.517  .../opam-check-npm-deps.2.0.0/opam                 |   5 +-
#10 3.517  .../opam-check-npm-deps.3.0.1/opam                 |   5 +-
#10 3.517  .../opam-check-npm-deps.4.0.0/opam                 |   5 +-
#10 3.517  .../opam-check-npm-deps.4.0.1/opam                 |  54 +++++++++
#10 3.517  packages/opam-ci/opam-ci.1.0.0/opam                |   2 +-
#10 3.517  packages/opam-client/opam-client.2.4.0/opam        |   2 +-
#10 3.517  packages/opam-client/opam-client.2.4.0~alpha1/opam |   2 +-
#10 3.517  packages/opam-client/opam-client.2.4.0~alpha2/opam |   2 +-
#10 3.517  packages/opam-client/opam-client.2.4.0~beta1/opam  |   2 +-
#10 3.517  packages/opam-client/opam-client.2.4.0~rc1/opam    |   2 +-
#10 3.517  packages/opam-client/opam-client.2.4.1/opam        |   2 +-
#10 3.517  packages/opam-compiler/opam-compiler.0.2.0/opam    |   4 +-
#10 3.517  packages/opam-compiler/opam-compiler.0.2.1/opam    |   4 +-
#10 3.517  packages/opam-core/opam-core.2.4.0/opam            |   2 +-
#10 3.517  packages/opam-core/opam-core.2.4.0~alpha2/opam     |   2 +-
#10 3.517  packages/opam-core/opam-core.2.4.0~beta1/opam      |   2 +-
#10 3.517  packages/opam-core/opam-core.2.4.0~rc1/opam        |   2 +-
#10 3.517  packages/opam-core/opam-core.2.4.1/opam            |   2 +-
#10 3.517  packages/opam-depext/opam-depext.1.2.1-1/opam      |   2 +-
#10 3.517  packages/opam-depext/opam-depext.1.2.1/opam        |   2 +-
#10 3.517  packages/opam-depext/opam-depext.1.2.3/opam        |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.0/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.1/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.10/opam         |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.2/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.3/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.4/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.5/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.6/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.7/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.8/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.0.9/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.1.0/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.1.1/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.1.2/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.1.3/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.1.4/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.1.5/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.1.6/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.2.0/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.2.1/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.3.0/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.4.0/opam          |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.4.0~alpha1/opam   |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.4.0~alpha2/opam   |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.4.0~beta1/opam    |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.4.0~rc1/opam      |   2 +-
#10 3.517  packages/opam-devel/opam-devel.2.4.1/opam          |   2 +-
#10 3.517  packages/opam-grep/opam-grep.0.2.0/opam            |   2 +-
#10 3.517  packages/opam-grep/opam-grep.0.3.0/opam            |   2 +-
#10 3.517  packages/opam-installer/opam-installer.2.4.0/opam  |   2 +-
#10 3.517  .../opam-installer.2.4.0~alpha1/opam               |   2 +-
#10 3.517  .../opam-installer.2.4.0~alpha2/opam               |   2 +-
#10 3.517  .../opam-installer/opam-installer.2.4.0~beta1/opam |   2 +-
#10 3.517  .../opam-installer/opam-installer.2.4.0~rc1/opam   |   2 +-
#10 3.517  packages/opam-installer/opam-installer.2.4.1/opam  |   2 +-
#10 3.517  packages/opam-lib/opam-lib.1.3.1/opam              |   2 +-
#10 3.517  packages/opam-lock/opam-lock.0.1/opam              |   2 +-
#10 3.517  packages/opam-lock/opam-lock.0.2/opam              |   2 +-
#10 3.517  packages/opam-publish/opam-publish.0.3.5/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.0.0/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.0.1/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.0.2/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.0.3/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.1.0/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.2.0/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.3.0/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.3.1/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.4.0/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.5.0/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.5.1/opam      |   2 +-
#10 3.517  packages/opam-publish/opam-publish.2.6.0/opam      |  40 +++++++
#10 3.517  packages/opam-publish/opam-publish.2.7.0/opam      |  37 ++++++
#10 3.517  .../opam-repository/opam-repository.2.4.0/opam     |   2 +-
#10 3.517  .../opam-repository.2.4.0~alpha2/opam              |   2 +-
#10 3.517  .../opam-repository.2.4.0~beta1/opam               |   2 +-
#10 3.517  .../opam-repository/opam-repository.2.4.0~rc1/opam |   2 +-
#10 3.517  .../opam-repository/opam-repository.2.4.1/opam     |   2 +-
#10 3.517  packages/oplot/oplot.0.80/opam                     |  43 +++++++
#10 3.517  packages/orun/orun.0.0.1/opam                      |   2 +-
#10 3.517  packages/osbx/osbx.1.2.4/opam                      |   2 +-
#10 3.517  packages/passage/passage.0.1.7/opam                |  61 ++++++++++
#10 3.517  packages/passmakercmd/passmakercmd.1.0/opam        |   2 +-
#10 3.517  packages/pds/pds.4.13/opam                         |   2 +-
#10 3.517  packages/pds/pds.5.15/opam                         |   2 +-
#10 3.517  packages/pds/pds.5.16/opam                         |   2 +-
#10 3.517  packages/pds/pds.5.18/opam                         |   2 +-
#10 3.517  packages/pds/pds.5.24/opam                         |   2 +-
#10 3.517  packages/pds/pds.5.38/opam                         |   2 +-
#10 3.517  packages/pg_query/pg_query.0.9.6/opam              |   2 +-
#10 3.517  packages/pg_query/pg_query.0.9.7/opam              |   2 +-
#10 3.517  packages/pgsolver/pgsolver.4.4/opam                |  44 +++++++
#10 3.517  packages/picos/picos.0.3.0/opam                    |   2 +-
#10 3.517  packages/picos/picos.0.4.0/opam                    |   2 +-
#10 3.517  packages/picos_lwt/picos_lwt.0.5.0/opam            |   2 +-
#10 3.517  packages/picos_lwt/picos_lwt.0.6.0/opam            |   2 +-
#10 3.517  packages/plotkicadsch/plotkicadsch.0.9.0/opam      |   2 +-
#10 3.517  packages/polly/polly.0.2.2/opam                    |   2 +-
#10 3.517  packages/polyglot/polyglot.1.0.0/opam              |   3 +
#10 3.517  packages/portmidi/portmidi.0.4/opam                |  44 +++++++
#10 3.517  packages/postgresql/postgresql.5.3.2/opam          |  46 ++++++++
#10 3.517  packages/pplumbing-err/pplumbing-err.0.0.16/opam   |  61 ++++++++++
#10 3.517  .../pplumbing-log-cli.0.0.16/opam                  |  68 +++++++++++
#10 3.517  packages/pplumbing-log/pplumbing-log.0.0.16/opam   |  59 ++++++++++
#10 3.517  .../pplumbing-pp-tty/pplumbing-pp-tty.0.0.16/opam  |  58 ++++++++++
#10 3.517  packages/pplumbing/pplumbing.0.0.16/opam           |  80 +++++++++++++
#10 3.517  .../ppx_deriving_cmdliner.0.6.0/opam               |   2 +-
#10 3.517  packages/ppx_minidebug/ppx_minidebug.2.4.0/opam    |  55 +++++++++
#10 3.517  packages/ppxlib-tools/ppxlib-tools.0.36.2/opam     |  46 ++++++++
#10 3.517  packages/ppxlib/ppxlib.0.36.0/opam                 |   1 +
#10 3.517  packages/ppxlib/ppxlib.0.36.2/opam                 |  65 +++++++++++
#10 3.517  packages/primavera/primavera.1.0.0/opam            |  45 ++++++++
#10 3.517  packages/progress/progress.0.5.0/opam              |  51 +++++++++
#10 3.517  .../protocol-9p-tool/protocol-9p-tool.0.12.0/opam  |   2 +-
#10 3.517  .../protocol-9p-tool/protocol-9p-tool.1.0.0/opam   |   2 +-
#10 3.517  .../protocol-9p-tool/protocol-9p-tool.1.0.1/opam   |   2 +-
#10 3.517  .../protocol-9p-tool/protocol-9p-tool.2.0.0/opam   |   2 +-
#10 3.517  .../protocol-9p-tool/protocol-9p-tool.2.0.1/opam   |   2 +-
#10 3.517  .../protocol-9p-tool/protocol-9p-tool.2.0.2/opam   |   2 +-
#10 3.517  packages/proton/proton.1.0.15/opam                 |  53 +++++++++
#10 3.517  packages/proton/proton.1.0.16/opam                 |  54 +++++++++
#10 3.517  packages/proton/proton.1.0.17/opam                 |  54 +++++++++
#10 3.517  packages/pyast/pyast.0.1.0/opam                    |   2 +-
#10 3.517  packages/pyast/pyast.0.1.1/opam                    |   2 +-
#10 3.517  packages/pyml_bindgen/pyml_bindgen.0.1.1/opam      |   2 +-
#10 3.517  packages/pyml_bindgen/pyml_bindgen.0.1.2/opam      |   2 +-
#10 3.517  packages/pyml_bindgen/pyml_bindgen.0.2.0/opam      |   2 +-
#10 3.517  packages/pyre-ast/pyre-ast.0.1.2/opam              |   2 +-
#10 3.517  packages/pyre-ast/pyre-ast.0.1.3/opam              |   2 +-
#10 3.517  packages/pyre-ast/pyre-ast.0.1.4/opam              |   2 +-
#10 3.517  packages/pyre-ast/pyre-ast.0.1.5/opam              |   2 +-
#10 3.517  packages/pyre-ast/pyre-ast.0.1.6/opam              |   2 +-
#10 3.517  packages/pyre-ast/pyre-ast.0.1.7/opam              |   2 +-
#10 3.517  packages/pyre-ast/pyre-ast.0.1.8/opam              |   2 +-
#10 3.517  packages/qcow-tool/qcow-tool.0.11.0/opam           |   2 +-
#10 3.517  packages/qcow-tool/qcow-tool.0.12.1/opam           |   2 +-
#10 3.517  packages/qmp/qmp.0.19.0/opam                       |   2 +-
#10 3.517  packages/qmp/qmp.0.9.0/opam                        |   2 +-
#10 3.517  packages/qmp/qmp.0.9.1/opam                        |   2 +-
#10 3.517  packages/qrc/qrc.0.1.0/opam                        |   2 +-
#10 3.517  packages/quill/quill.1.0.0~alpha1/opam             |  70 ++++++++++++
#10 3.517  packages/raven/raven.1.0.0~alpha1/opam             |  51 +++++++++
#10 3.517  packages/re/re.1.14.0/opam                         |  54 +++++++++
#10 3.517  packages/regenerate/regenerate.0.2/opam            |   2 +-
#10 3.517  packages/rotor/rotor.0.1/opam                      |   2 +-
#10 3.517  packages/rpmfile-eio/rpmfile-eio.0.3.0/opam        |   2 +-
#10 3.517  packages/rpmfile-eio/rpmfile-eio.0.3.1/opam        |   2 +-
#10 3.517  packages/rpmfile-eio/rpmfile-eio.0.4.0/opam        |   2 +-
#10 3.517  packages/rpmfile-eio/rpmfile-eio.0.5.0/opam        |   2 +-
#10 3.517  packages/rpmfile-unix/rpmfile-unix.0.3.0/opam      |   2 +-
#10 3.517  packages/rpmfile-unix/rpmfile-unix.0.3.1/opam      |   2 +-
#10 3.517  packages/rpmfile-unix/rpmfile-unix.0.4.0/opam      |   2 +-
#10 3.517  packages/rpmfile-unix/rpmfile-unix.0.5.0/opam      |   2 +-
#10 3.517  packages/rpmfile/rpmfile.0.8.0/opam                |  38 ++++++
#10 3.517  packages/rune/rune.1.0.0~alpha1/opam               |  56 +++++++++
#10 3.517  .../runtime_events_tools.0.2/opam                  |   1 +
#10 3.517  .../runtime_events_tools.0.3/opam                  |   2 +-
#10 3.517  .../runtime_events_tools.0.5.0/opam                |   2 +-
#10 3.517  .../runtime_events_tools.0.5.1/opam                |   4 +-
#10 3.517  .../runtime_events_tools.0.5.2/opam                |   2 +-
#10 3.517  .../runtime_events_tools.0.5.3/opam                |  46 ++++++++
#10 3.517  .../runtime_events_tools_bare.0.5.2/opam           |   2 +-
#10 3.517  .../runtime_events_tools_bare.0.5.3/opam           |  41 +++++++
#10 3.517  packages/saga/saga.1.0.0~alpha1/opam               |  49 ++++++++
#10 3.517  packages/sherlodoc/sherlodoc.3.1.0/opam            |   1 +
#10 3.517  packages/sid/sid.1.1/opam                          |   2 +-
#10 3.517  packages/sid/sid.2.0/opam                          |   2 +-
#10 3.517  packages/slacko/slacko.0.14.1/opam                 |   2 +-
#10 3.517  packages/slacko/slacko.0.15.0/opam                 |   2 +-
#10 3.517  packages/smtml/smtml.0.11.0/opam                   |  84 ++++++++++++++
#10 3.517  packages/smtml/smtml.0.12.0/opam                   |  85 ++++++++++++++
#10 3.517  .../solo5-cross-aarch64.0.9.3/opam                 |  46 ++++++++
#10 3.518  packages/solo5/solo5.0.9.3/opam                    |  55 +++++++++
#10 3.518  packages/sowilo/sowilo.1.0.0~alpha1/opam           |  47 ++++++++
#10 3.518  packages/spin/spin.0.5.0/opam                      |   2 +-
#10 3.518  packages/spin/spin.0.5.1/opam                      |   2 +-
#10 3.518  packages/spin/spin.0.7.0/opam                      |   2 +-
#10 3.518  packages/spin/spin.0.8.0/opam                      |   2 +-
#10 3.518  packages/spin/spin.0.8.1/opam                      |   2 +-
#10 3.518  packages/spin/spin.0.8.2/opam                      |   2 +-
#10 3.518  packages/spin/spin.0.8.3/opam                      |   2 +-
#10 3.518  packages/sslconf/sslconf.0.8.3/opam                |   2 +-
#10 3.518  packages/stone/stone.0.6/opam                      |  38 ++++++
#10 3.518  packages/talon/talon.1.0.0~alpha1/opam             |  48 ++++++++
#10 3.518  packages/tcs-lib/tcs-lib.0.6/opam                  |  39 +++++++
#10 3.518  packages/terminal/terminal.0.5.0/opam              |  46 ++++++++
#10 3.518  packages/tezos-wasmer/tezos-wasmer.16.0/opam       |   2 +-
#10 3.518  packages/tezos-wasmer/tezos-wasmer.16.1/opam       |   2 +-
#10 3.518  packages/tezos-wasmer/tezos-wasmer.17.3/opam       |   2 +-
#10 3.518  packages/tezt/tezt.3.1.0/opam                      |   2 +-
#10 3.518  packages/tezt/tezt.3.1.1/opam                      |   2 +-
#10 3.518  packages/tezt/tezt.4.0.0/opam                      |   2 +-
#10 3.518  packages/tezt/tezt.4.1.0/opam                      |   2 +-
#10 3.518  packages/tezt/tezt.4.2.0/opam                      |   2 +-
#10 3.518  packages/tls-async/tls-async.2.0.3/opam            |  48 ++++++++
#10 3.518  packages/tls-eio/tls-eio.2.0.3/opam                |  54 +++++++++
#10 3.518  packages/tls-lwt/tls-lwt.2.0.3/opam                |  43 +++++++
#10 3.518  packages/tls-miou-unix/tls-miou-unix.2.0.3/opam    |  43 +++++++
#10 3.518  packages/tls-mirage/tls-mirage.2.0.3/opam          |  46 ++++++++
#10 3.518  packages/tls/tls.2.0.3/opam                        |  66 +++++++++++
#10 3.518  packages/touist/touist.3.0.0/opam                  |   1 +
#10 3.518  packages/touist/touist.3.1.0/opam                  |   1 +
#10 3.518  packages/touist/touist.3.2.0/opam                  |   1 +
#10 3.518  packages/touist/touist.3.2.1/opam                  |   1 +
#10 3.518  packages/touist/touist.3.5.0/opam                  |   2 +-
#10 3.518  .../unisim_archisec/unisim_archisec.0.0.13/opam    |  48 ++++++++
#10 3.518  packages/uring/uring.2.7.0/opam                    |  56 +++++++++
#10 3.518  packages/usb/usb.1.3.1/opam                        |   4 +
#10 3.518  packages/uucp/uucp.14.0.0/opam                     |   2 +-
#10 3.518  packages/uuidm/uuidm.0.9.7/opam                    |   2 +-
#10 3.518  packages/uuidm/uuidm.0.9.8/opam                    |   2 +-
#10 3.518  packages/uutf/uutf.1.0.3/opam                      |   2 +-
#10 3.518  packages/valentine/valentine.1.0.0/opam            |   2 +-
#10 3.518  packages/vecosek/vecosek.0.0.0/opam                |   2 +-
#10 3.518  .../vsrocq-language-server.2.3.0/opam              |  53 +++++++++
#10 3.518  packages/wayland/wayland.0.2/opam                  |   2 +-
#10 3.518  packages/wayland/wayland.1.0/opam                  |   2 +-
#10 3.518  packages/webbrowser/webbrowser.0.6.1/opam          |   5 +-
#10 3.518  packages/why3-coq/why3-coq.1.8.2/opam              |  67 +++++++++++
#10 3.518  packages/why3-ide/why3-ide.1.8.2/opam              |  66 +++++++++++
#10 3.518  packages/why3/why3.1.8.2/opam                      |  89 +++++++++++++++
#10 3.518  packages/yocaml/yocaml.2.5.0/opam                  |  49 ++++++++
#10 3.518  packages/yocaml/yocaml.2.6.0/opam                  |  50 ++++++++
#10 3.518  packages/yocaml_cmarkit/yocaml_cmarkit.2.5.0/opam  |  41 +++++++
#10 3.518  packages/yocaml_cmarkit/yocaml_cmarkit.2.6.0/opam  |  42 +++++++
#10 3.518  packages/yocaml_eio/yocaml_eio.2.5.0/opam          |  43 +++++++
#10 3.518  packages/yocaml_eio/yocaml_eio.2.6.0/opam          |  44 +++++++
#10 3.518  packages/yocaml_git/yocaml_git.2.5.0/opam          |  48 ++++++++
#10 3.518  packages/yocaml_git/yocaml_git.2.6.0/opam          |  49 ++++++++
#10 3.518  packages/yocaml_jingoo/yocaml_jingoo.2.5.0/opam    |  40 +++++++
#10 3.518  packages/yocaml_jingoo/yocaml_jingoo.2.6.0/opam    |  41 +++++++
#10 3.518  .../yocaml_markdown/yocaml_markdown.2.5.0/opam     |  43 +++++++
#10 3.518  .../yocaml_markdown/yocaml_markdown.2.6.0/opam     |  44 +++++++
#10 3.518  .../yocaml_mustache/yocaml_mustache.2.5.0/opam     |  40 +++++++
#10 3.518  .../yocaml_mustache/yocaml_mustache.2.6.0/opam     |  41 +++++++
#10 3.518  packages/yocaml_omd/yocaml_omd.2.5.0/opam          |  41 +++++++
#10 3.518  packages/yocaml_omd/yocaml_omd.2.6.0/opam          |  42 +++++++
#10 3.518  packages/yocaml_otoml/yocaml_otoml.2.5.0/opam      |  40 +++++++
#10 3.518  packages/yocaml_otoml/yocaml_otoml.2.6.0/opam      |  41 +++++++
#10 3.518  packages/yocaml_runtime/yocaml_runtime.2.5.0/opam  |  44 +++++++
#10 3.518  packages/yocaml_runtime/yocaml_runtime.2.6.0/opam  |  45 ++++++++
#10 3.518  .../yocaml_syndication.2.5.0/opam                  |  43 +++++++
#10 3.518  .../yocaml_syndication.2.6.0/opam                  |  44 +++++++
#10 3.518  packages/yocaml_unix/yocaml_unix.2.5.0/opam        |  41 +++++++
#10 3.518  packages/yocaml_unix/yocaml_unix.2.6.0/opam        |  42 +++++++
#10 3.518  packages/yocaml_yaml/yocaml_yaml.2.5.0/opam        |  40 +++++++
#10 3.518  packages/yocaml_yaml/yocaml_yaml.2.6.0/opam        |  41 +++++++
#10 3.518  packages/zanuda/zanuda.2.0.0/opam                  |  59 ++++++++++
#10 3.518  packages/zeit/zeit.0.1.0/opam                      |   1 +
#10 3.518  667 files changed, 9935 insertions(+), 474 deletions(-)
#10 3.518  create mode 100644 packages/alcotest-async/alcotest-async.1.9.1/opam
#10 3.518  create mode 100644 packages/alcotest-js/alcotest-js.1.9.1/opam
#10 3.518  create mode 100644 packages/alcotest-lwt/alcotest-lwt.1.9.1/opam
#10 3.518  create mode 100644 packages/alcotest-mirage/alcotest-mirage.1.9.1/opam
#10 3.518  create mode 100644 packages/alcotest/alcotest.1.9.1/opam
#10 3.518  create mode 100644 packages/azure-cosmos-db/azure-cosmos-db.0.3.1/opam
#10 3.518  create mode 100644 packages/b0/b0.0.0.6/opam
#10 3.518  create mode 100644 packages/base64/base64.3.5.2/opam
#10 3.518  create mode 100644 packages/catala/catala.1.0.0~alpha/opam
#10 3.518  create mode 100644 packages/charrua-client/charrua-client.2.1.1/opam
#10 3.518  create mode 100644 packages/charrua-server/charrua-server.2.1.1/opam
#10 3.518  create mode 100644 packages/charrua-unix/charrua-unix.2.1.1/opam
#10 3.518  create mode 100644 packages/charrua/charrua.2.1.1/opam
#10 3.518  create mode 100644 packages/claudius/claudius.1.2.1/opam
#10 3.518  create mode 100644 packages/climate/climate.0.8.4/opam
#10 3.518  create mode 100644 packages/cmdlang-cmdliner-err-runner/cmdlang-cmdliner-err-runner.0.0.16/opam
#10 3.518  create mode 100644 packages/cmdlang-stdlib-runner/cmdlang-stdlib-runner.0.0.10/opam
#10 3.518  create mode 100644 packages/cmdlang-to-base/cmdlang-to-base.0.0.10/opam
#10 3.518  create mode 100644 packages/cmdlang-to-climate/cmdlang-to-climate.0.0.10/opam
#10 3.518  create mode 100644 packages/cmdlang-to-cmdliner/cmdlang-to-cmdliner.0.0.10/opam
#10 3.518  create mode 100644 packages/cmdlang/cmdlang.0.0.10/opam
#10 3.518  create mode 100644 packages/cmdliner/cmdliner.2.0.0/opam
#10 3.518  create mode 100644 packages/conf-binaryen/conf-binaryen.1/opam
#10 3.518  create mode 100644 packages/conf-mingw-w64-gtksourceview3-i686/conf-mingw-w64-gtksourceview3-i686.1/opam
#10 3.518  create mode 100644 packages/conf-mingw-w64-gtksourceview3-x86_64/conf-mingw-w64-gtksourceview3-x86_64.1/opam
#10 3.518  create mode 100644 packages/conf-vips/conf-vips.1/opam
#10 3.518  create mode 100644 packages/coq-lsp/coq-lsp.0.2.4+8.20/opam
#10 3.518  create mode 100644 packages/coq-lsp/coq-lsp.0.2.4+9.0/opam
#10 3.518  create mode 100644 packages/coq-waterproof/coq-waterproof.3.0.0+8.18/opam
#10 3.518  create mode 100644 packages/coq-waterproof/coq-waterproof.3.0.0+8.20/opam
#10 3.518  create mode 100644 packages/crs/crs.0.0.20250914/opam
#10 3.518  create mode 100644 packages/cudd/cudd.0.1.3/opam
#10 3.518  create mode 100644 packages/dns-certify/dns-certify.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-cli/dns-cli.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-client-lwt/dns-client-lwt.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-client-miou-unix/dns-client-miou-unix.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-client-mirage/dns-client-mirage.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-client/dns-client.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-mirage/dns-mirage.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-resolver/dns-resolver.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-server/dns-server.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-stub/dns-stub.10.2.1/opam
#10 3.518  create mode 100644 packages/dns-tsig/dns-tsig.10.2.1/opam
#10 3.518  create mode 100644 packages/dns/dns.10.2.1/opam
#10 3.518  create mode 100644 packages/dnssec/dnssec.10.2.1/opam
#10 3.518  create mode 100644 packages/dockerfile-cmd/dockerfile-cmd.8.3.1/opam
#10 3.518  create mode 100644 packages/dockerfile-opam/dockerfile-opam.8.3.1/opam
#10 3.518  create mode 100644 packages/dockerfile/dockerfile.8.3.1/opam
#10 3.518  create mode 100644 packages/dokeysto/dokeysto.4.0.2/opam
#10 3.518  create mode 100644 packages/dokeysto_camltc/dokeysto_camltc.4.0.2/opam
#10 3.518  create mode 100644 packages/dokeysto_lz4/dokeysto_lz4.4.0.2/opam
#10 3.518  create mode 100644 packages/dot-merlin-reader/dot-merlin-reader.5.6-503/opam
#10 3.518  create mode 100644 packages/dot-merlin-reader/dot-merlin-reader.5.6-504/opam
#10 3.518  create mode 100644 packages/dunolint-lib-base/dunolint-lib-base.0.0.20251006/opam
#10 3.518  create mode 100644 packages/dunolint-lib/dunolint-lib.0.0.20251006/opam
#10 3.518  create mode 100644 packages/dunolint/dunolint.0.0.20251006/opam
#10 3.518  create mode 100644 packages/earlybird/earlybird.1.3.4/opam
#10 3.518  create mode 100644 packages/elpi/elpi.3.4.0/opam
#10 3.518  create mode 100644 packages/elpi/elpi.3.4.1/opam
#10 3.518  create mode 100644 packages/emoji/emoji.3.0.1/opam
#10 3.518  create mode 100644 packages/fd-send-recv/fd-send-recv.2.0.3/opam
#10 3.518  create mode 100644 packages/fehu/fehu.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/fix/fix.20250919/opam
#10 3.518  create mode 100644 packages/frama-c-metacsl/frama-c-metacsl.0.9/opam
#10 3.518  create mode 100644 packages/frama-clang/frama-clang.0.0.18/opam
#10 3.518  create mode 100644 packages/gl-legacy/gl-legacy.0.1.0/opam
#10 3.518  create mode 100644 packages/handlebars-ml/handlebars-ml.0.1.2/opam
#10 3.518  create mode 100644 packages/hugin/hugin.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/hxd/hxd.0.3.5/opam
#10 3.518  create mode 100644 packages/icalendar/icalendar.0.1.12/opam
#10 3.518  create mode 100644 packages/icalendar/icalendar.0.1.13/opam
#10 3.518  create mode 100644 packages/inifiles/inifiles.2.0/opam
#10 3.518  create mode 100644 packages/intPQueue/intPQueue.20250919/opam
#10 3.518  create mode 100644 packages/intPQueue/intPQueue.20250925/opam
#10 3.518  create mode 100644 packages/iomux/iomux.0.4/opam
#10 3.518  create mode 100644 packages/jasmin/jasmin.2025.06.1/opam
#10 3.518  create mode 100644 packages/jsonrpc/jsonrpc.1.23.1/opam
#10 3.518  create mode 100644 packages/jsonrpc/jsonrpc.1.24.0/opam
#10 3.518  create mode 100644 packages/kaun/kaun.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/lsp/lsp.1.23.1/opam
#10 3.518  create mode 100644 packages/lsp/lsp.1.24.0/opam
#10 3.518  create mode 100644 packages/menhir/menhir.20250912/opam
#10 3.518  create mode 100644 packages/menhirCST/menhirCST.20250912/opam
#10 3.518  create mode 100644 packages/menhirLib/menhirLib.20250912/opam
#10 3.518  create mode 100644 packages/menhirSdk/menhirSdk.20250912/opam
#10 3.518  create mode 100644 packages/merlin-lib/merlin-lib.5.6-503/opam
#10 3.518  create mode 100644 packages/merlin-lib/merlin-lib.5.6-504/opam
#10 3.518  create mode 100644 packages/merlin/merlin.5.6-503/opam
#10 3.518  create mode 100644 packages/merlin/merlin.5.6-504/opam
#10 3.518  create mode 100644 packages/mirage-kv-mem/mirage-kv-mem.4.0.1/opam
#10 3.518  create mode 100644 packages/mirage-monitoring/mirage-monitoring.0.0.8/opam
#10 3.518  create mode 100644 packages/monolith/monolith.20250922/opam
#10 3.518  create mode 100644 packages/moonpool-io/moonpool-io.0.9/opam
#10 3.518  create mode 100644 packages/moonpool-lwt/moonpool-lwt.0.9/opam
#10 3.518  create mode 100644 packages/moonpool/moonpool.0.9/opam
#10 3.518  create mode 100644 packages/mosaique/mosaique.0.0.1/opam
#10 3.518  create mode 100644 packages/nx-datasets/nx-datasets.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/nx/nx.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/ocaml-base-compiler/ocaml-base-compiler.5.4.0~rc1/opam
#10 3.518  create mode 100644 packages/ocaml-compiler/ocaml-compiler.5.4.0~rc1/opam
#10 3.518  create mode 100644 packages/ocaml-index/ocaml-index.5.6-503/opam
#10 3.518  create mode 100644 packages/ocaml-index/ocaml-index.5.6-504/opam
#10 3.518  create mode 100644 packages/ocaml-lsp-server/ocaml-lsp-server.1.23.1/opam
#10 3.518  create mode 100644 packages/ocaml-lsp-server/ocaml-lsp-server.1.24.0/opam
#10 3.518  create mode 100644 packages/ocaml-protoc-plugin/ocaml-protoc-plugin.6.2.0/opam
#10 3.518  create mode 100644 packages/ocaml-variants/ocaml-variants.5.4.0~rc1+options/opam
#10 3.518  create mode 100644 packages/ocp-indent/ocp-indent.1.9.0/opam
#10 3.518  create mode 100644 packages/odig/odig.0.1.0/opam
#10 3.518  create mode 100644 packages/opam-check-npm-deps/opam-check-npm-deps.4.0.1/opam
#10 3.518  create mode 100644 packages/opam-publish/opam-publish.2.6.0/opam
#10 3.518  create mode 100644 packages/opam-publish/opam-publish.2.7.0/opam
#10 3.518  create mode 100644 packages/oplot/oplot.0.80/opam
#10 3.518  create mode 100644 packages/passage/passage.0.1.7/opam
#10 3.518  create mode 100644 packages/pgsolver/pgsolver.4.4/opam
#10 3.518  create mode 100644 packages/portmidi/portmidi.0.4/opam
#10 3.518  create mode 100644 packages/postgresql/postgresql.5.3.2/opam
#10 3.518  create mode 100644 packages/pplumbing-err/pplumbing-err.0.0.16/opam
#10 3.518  create mode 100644 packages/pplumbing-log-cli/pplumbing-log-cli.0.0.16/opam
#10 3.518  create mode 100644 packages/pplumbing-log/pplumbing-log.0.0.16/opam
#10 3.518  create mode 100644 packages/pplumbing-pp-tty/pplumbing-pp-tty.0.0.16/opam
#10 3.518  create mode 100644 packages/pplumbing/pplumbing.0.0.16/opam
#10 3.518  create mode 100644 packages/ppx_minidebug/ppx_minidebug.2.4.0/opam
#10 3.518  create mode 100644 packages/ppxlib-tools/ppxlib-tools.0.36.2/opam
#10 3.518  create mode 100644 packages/ppxlib/ppxlib.0.36.2/opam
#10 3.518  create mode 100644 packages/primavera/primavera.1.0.0/opam
#10 3.518  create mode 100644 packages/progress/progress.0.5.0/opam
#10 3.518  create mode 100644 packages/proton/proton.1.0.15/opam
#10 3.518  create mode 100644 packages/proton/proton.1.0.16/opam
#10 3.518  create mode 100644 packages/proton/proton.1.0.17/opam
#10 3.518  create mode 100644 packages/quill/quill.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/raven/raven.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/re/re.1.14.0/opam
#10 3.518  create mode 100644 packages/rpmfile/rpmfile.0.8.0/opam
#10 3.518  create mode 100644 packages/rune/rune.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/runtime_events_tools/runtime_events_tools.0.5.3/opam
#10 3.518  create mode 100644 packages/runtime_events_tools_bare/runtime_events_tools_bare.0.5.3/opam
#10 3.518  create mode 100644 packages/saga/saga.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/smtml/smtml.0.11.0/opam
#10 3.518  create mode 100644 packages/smtml/smtml.0.12.0/opam
#10 3.518  create mode 100644 packages/solo5-cross-aarch64/solo5-cross-aarch64.0.9.3/opam
#10 3.518  create mode 100644 packages/solo5/solo5.0.9.3/opam
#10 3.518  create mode 100644 packages/sowilo/sowilo.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/stone/stone.0.6/opam
#10 3.518  create mode 100644 packages/talon/talon.1.0.0~alpha1/opam
#10 3.518  create mode 100644 packages/tcs-lib/tcs-lib.0.6/opam
#10 3.518  create mode 100644 packages/terminal/terminal.0.5.0/opam
#10 3.518  create mode 100644 packages/tls-async/tls-async.2.0.3/opam
#10 3.518  create mode 100644 packages/tls-eio/tls-eio.2.0.3/opam
#10 3.518  create mode 100644 packages/tls-lwt/tls-lwt.2.0.3/opam
#10 3.518  create mode 100644 packages/tls-miou-unix/tls-miou-unix.2.0.3/opam
#10 3.518  create mode 100644 packages/tls-mirage/tls-mirage.2.0.3/opam
#10 3.518  create mode 100644 packages/tls/tls.2.0.3/opam
#10 3.518  create mode 100644 packages/unisim_archisec/unisim_archisec.0.0.13/opam
#10 3.518  create mode 100644 packages/uring/uring.2.7.0/opam
#10 3.518  create mode 100644 packages/vsrocq-language-server/vsrocq-language-server.2.3.0/opam
#10 3.518  create mode 100644 packages/why3-coq/why3-coq.1.8.2/opam
#10 3.518  create mode 100644 packages/why3-ide/why3-ide.1.8.2/opam
#10 3.518  create mode 100644 packages/why3/why3.1.8.2/opam
#10 3.518  create mode 100644 packages/yocaml/yocaml.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml/yocaml.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_cmarkit/yocaml_cmarkit.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_cmarkit/yocaml_cmarkit.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_eio/yocaml_eio.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_eio/yocaml_eio.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_git/yocaml_git.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_git/yocaml_git.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_jingoo/yocaml_jingoo.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_jingoo/yocaml_jingoo.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_markdown/yocaml_markdown.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_markdown/yocaml_markdown.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_mustache/yocaml_mustache.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_mustache/yocaml_mustache.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_omd/yocaml_omd.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_omd/yocaml_omd.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_otoml/yocaml_otoml.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_otoml/yocaml_otoml.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_runtime/yocaml_runtime.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_runtime/yocaml_runtime.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_syndication/yocaml_syndication.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_syndication/yocaml_syndication.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_unix/yocaml_unix.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_unix/yocaml_unix.2.6.0/opam
#10 3.518  create mode 100644 packages/yocaml_yaml/yocaml_yaml.2.5.0/opam
#10 3.518  create mode 100644 packages/yocaml_yaml/yocaml_yaml.2.6.0/opam
#10 3.518  create mode 100644 packages/zanuda/zanuda.2.0.0/opam
#10 4.440 HEAD is now at cf409d95af Merge pull request #27869 from chetmurthy/release-ledit-2.07
#10 DONE 4.9s

#11 [ 7/16] RUN opam update
#11 0.270 This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
#11 0.270 You may want to back it up before going further.
#11 0.270 
#11 0.270 Continue? [Y/n] y
#11 0.271 Format upgrade done.
#11 4.417 
#11 4.417 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
#11 37.52 [default] Initialised
#11 48.60 Now run 'opam upgrade' to apply any package updates.
#11 DONE 50.1s

#12 [ 8/16] RUN opam install 'mirage>=4.5.0'
#12 6.337 The following actions will be performed:
#12 6.337   - recompile ocaml              4.14.2 [upstream or system changes]
#12 6.337   - install   conf-pkg-config    4      [required by opam-monorepo]
#12 6.337   - install   ocamlfind          1.9.8  [required by astring, bos]
#12 6.337   - install   ocamlbuild         0.16.1 [required by astring, bos]
#12 6.338   - install   dune               3.18.2 [required by mirage]
#12 6.338   - install   cmdliner           1.3.0  [required by mirage]
#12 6.338   - recompile opam-depext        1.2.3  [uses ocaml]
#12 6.338   - install   topkg              1.0.8  [required by astring, bos]
#12 6.338   - install   stringext          1.6.0  [required by uri]
#12 6.338   - install   pecu               0.7    [required by emile]
#12 6.338   - install   opam-monorepo      0.4.2  [required by mirage]
#12 6.338   - install   ocaml-syntax-shims 1.0.0  [required by angstrom]
#12 6.338   - install   macaddr            5.6.0  [required by ipaddr]
#12 6.338   - install   domain-name        0.4.1  [required by ipaddr]
#12 6.338   - install   csexp              1.5.2  [required by dune-configurator]
#12 6.338   - install   base64             3.5.1  [required by emile]
#12 6.338   - install   uutf               1.0.4  [required by emile]
#12 6.338   - install   rresult            0.7.0  [required by mirage]
#12 6.338   - install   fmt                0.10.0 [required by mirage]
#12 6.338   - install   astring            0.8.5  [required by mirage]
#12 6.338   - install   ipaddr             5.6.0  [required by mirage]
#12 6.338   - install   dune-configurator  3.18.2 [required by bigstringaf]
#12 6.338   - install   logs               0.8.0  [required by mirage]
#12 6.338   - install   fpath              0.7.3  [required by mirage]
#12 6.338   - install   bigstringaf        0.10.0 [required by emile]
#12 6.338   - install   bos                0.2.1  [required by mirage]
#12 6.338   - install   angstrom           0.16.1 [required by emile, uri]
#12 6.338   - install   uri                4.4.0  [required by mirage]
#12 6.338   - install   emile              1.1    [required by mirage]
#12 6.338   - install   mirage             4.9.0
#12 6.338 ===== 28 to install | 2 to recompile =====
#12 6.339 
#12 6.339 The following system packages will first need to be installed:
#12 6.339     pkg-config
#12 6.339 
#12 6.339 <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
#12 6.339 Let opam run your package manager to install the required system packages?
#12 6.339 (answer 'n' for other options) [Y/n] y
#12 6.339 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
#12 7.339 - debconf: delaying package configuration, since apt-utils is not installed
#12 7.339 - Selecting previously unselected package libpkgconf3:amd64.
#12 7.339 - (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19074 files and directories currently installed.)
#12 7.339 - Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
#12 7.339 - Unpacking libpkgconf3:amd64 (1.8.1-1) ...
#12 7.339 - Selecting previously unselected package pkgconf-bin.
#12 7.339 - Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
#12 7.339 - Unpacking pkgconf-bin (1.8.1-1) ...
#12 7.339 - Selecting previously unselected package pkgconf:amd64.
#12 7.339 - Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
#12 7.339 - Unpacking pkgconf:amd64 (1.8.1-1) ...
#12 7.339 - Selecting previously unselected package pkg-config:amd64.
#12 7.339 - Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
#12 7.527 - Unpacking pkg-config:amd64 (1.8.1-1) ...
#12 7.527 - Setting up libpkgconf3:amd64 (1.8.1-1) ...
#12 7.527 - Setting up pkgconf-bin (1.8.1-1) ...
#12 7.527 - Setting up pkgconf:amd64 (1.8.1-1) ...
#12 7.527 - Setting up pkg-config:amd64 (1.8.1-1) ...
#12 7.527 - Processing triggers for libc-bin (2.36-9+deb12u13) ...
#12 7.542 
#12 7.542 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
#12 7.683 -> retrieved astring.0.8.5  (https://opam.ocaml.org/cache)
#12 7.755 -> retrieved base64.3.5.1  (https://opam.ocaml.org/cache)
#12 7.789 -> retrieved angstrom.0.16.1  (https://opam.ocaml.org/cache)
#12 7.826 -> retrieved bigstringaf.0.10.0  (https://opam.ocaml.org/cache)
#12 9.756 -> installed conf-pkg-config.4
#12 9.763 -> retrieved bos.0.2.1  (https://opam.ocaml.org/cache)
#12 9.769 -> retrieved cmdliner.1.3.0  (https://opam.ocaml.org/cache)
#12 9.773 -> retrieved csexp.1.5.2  (https://opam.ocaml.org/cache)
#12 9.910 -> retrieved domain-name.0.4.1  (https://opam.ocaml.org/cache)
#12 10.03 -> retrieved emile.1.1  (https://opam.ocaml.org/cache)
#12 10.12 -> retrieved fmt.0.10.0  (https://opam.ocaml.org/cache)
#12 10.20 -> retrieved fpath.0.7.3  (https://opam.ocaml.org/cache)
#12 10.29 -> retrieved ipaddr.5.6.0  (https://opam.ocaml.org/cache)
#12 10.45 -> retrieved logs.0.8.0  (https://opam.ocaml.org/cache)
#12 10.47 -> retrieved macaddr.5.6.0  (cached)
#12 10.90 -> retrieved dune.3.18.2  (https://opam.ocaml.org/cache)
#12 10.95 -> retrieved mirage.4.9.0  (https://opam.ocaml.org/cache)
#12 10.99 -> retrieved ocaml-syntax-shims.1.0.0  (https://opam.ocaml.org/cache)
#12 11.11 -> retrieved ocamlfind.1.9.8  (https://opam.ocaml.org/cache)
#12 11.13 -> retrieved opam-depext.1.2.3  (cached)
#12 11.13 -> removed   opam-depext.1.2.3
#12 11.17 -> removed   ocaml.4.14.2
#12 11.17 -> installed ocaml.4.14.2
#12 12.03 -> retrieved dune-configurator.3.18.2  (https://opam.ocaml.org/cache)
#12 12.07 -> installed opam-depext.1.2.3
#12 12.11 -> retrieved ocamlbuild.0.16.1  (https://opam.ocaml.org/cache)
#12 12.20 -> retrieved pecu.0.7  (https://opam.ocaml.org/cache)
#12 12.26 -> retrieved rresult.0.7.0  (https://opam.ocaml.org/cache)
#12 12.33 -> retrieved stringext.1.6.0  (https://opam.ocaml.org/cache)
#12 12.40 -> retrieved topkg.1.0.8  (https://opam.ocaml.org/cache)
#12 12.50 -> retrieved uutf.1.0.4  (https://opam.ocaml.org/cache)
#12 12.58 -> retrieved uri.4.4.0  (https://opam.ocaml.org/cache)
#12 13.88 -> retrieved opam-monorepo.0.4.2  (https://opam.ocaml.org/cache)
#12 15.13 -> installed cmdliner.1.3.0
#12 15.54 -> installed ocamlfind.1.9.8
#12 17.33 -> installed ocamlbuild.0.16.1
#12 22.51 -> installed topkg.1.0.8
#12 23.65 -> installed rresult.0.7.0
#12 24.05 -> installed uutf.1.0.4
#12 24.07 -> installed fmt.0.10.0
#12 24.36 -> installed astring.0.8.5
#12 24.93 -> installed logs.0.8.0
#12 24.98 -> installed fpath.0.7.3
#12 26.91 -> installed bos.0.2.1
#12 31.09 -> installed dune.3.18.2
#12 31.60 -> installed base64.3.5.1
#12 31.61 -> installed csexp.1.5.2
#12 32.03 -> installed domain-name.0.4.1
#12 32.03 -> installed macaddr.5.6.0
#12 32.07 -> installed ocaml-syntax-shims.1.0.0
#12 32.07 -> installed pecu.0.7
#12 32.07 -> installed stringext.1.6.0
#12 32.47 -> installed ipaddr.5.6.0
#12 33.63 -> installed dune-configurator.3.18.2
#12 34.18 -> installed bigstringaf.0.10.0
#12 34.80 -> installed angstrom.0.16.1
#12 35.52 -> installed emile.1.1
#12 37.10 -> installed uri.4.4.0
#12 41.76 -> installed opam-monorepo.0.4.2
#12 43.93 -> installed mirage.4.9.0
#12 44.42 Done.
#12 44.42 
#12 44.42 <><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
#12 44.42 => opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
#12 44.42 # Run eval $(opam env) to update the current shell environment
#12 DONE 46.3s

#13 [ 9/16] COPY --chown=opam:root mirage/config.ml /home/opam/www/mirage/
#13 DONE 0.1s

#14 [10/16] COPY --chown=opam:root mirageio.opam /home/opam/www/
#14 DONE 0.0s

#15 [10/16] COPY --chown=opam:root mirageio.opam /home/opam/www/
#15 CACHED

#16 [ 9/16] COPY --chown=opam:root mirage/config.ml /home/opam/www/mirage/
#16 CACHED

#17 [11/16] RUN opam exec -- mirage configure -f mirage/config.ml -t hvt --tls=true --metrics --separate-networks
#17 0.933 Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
#17 DONE 1.0s

#18 [12/16] RUN opam exec -- make depend
#18 0.727 using overlay repository mirage: [opam-overlays, mirage-overlays] 
#18 1.573 [opam-overlays] Initialised
#18 2.080 [NOTE] Repository opam-overlays has been added to the selections of switch 4.14 only.
#18 2.080        Run `opam repository add opam-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
#18 2.080 
#18 2.699 [mirage-overlays] Initialised
#18 3.015 [NOTE] Repository mirage-overlays has been added to the selections of switch 4.14 only.
#18 3.015        Run `opam repository add mirage-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
#18 3.015 
#18 3.021  ↳ generate lockfile for monorepo dependencies
#18 3.034 ==> Using 1 locally scanned package as the target.
#18 43.32 ==> Found 177 opam dependencies for the target package.
#18 43.32 ==> Querying opam database for their metadata and Dune compatibility.
#18 44.27 ==> Calculating exact pins for each of them.
#18 44.61 ==> Wrote lockfile with 114 entries to mirage/mirage/www-hvt.opam.locked. You can now run opam monorepo pull to fetch their sources.
#18 44.69 removing overlay repository [opam-overlays, mirage-overlays]
#18 44.70 Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether.
#18 44.71 Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether.
#18 44.71 The lock file has been generated. Run 'make pull' to retrieve the sources, or 'make install-switch' to install the host dependencies.
#18 44.71  ↳ opam install switch dependencies
#18 51.15 The following actions will be performed:
#18 51.15   - install conf-libseccomp 1
#18 51.15   - install ocaml-src       4.14.2
#18 51.15   - install conf-which      1
#18 51.15   - install solo5           0.9.1
#18 51.15   - install ocaml-solo5     0.8.5
#18 51.15 ===== 5 to install =====
#18 51.15 
#18 51.15 The following system packages will first need to be installed:
#18 51.15     libseccomp-dev
#18 51.15 
#18 51.15 <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
#18 51.15 Let opam run your package manager to install the required system packages?
#18 51.15 (answer 'n' for other options) [Y/n] y
#18 51.15 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libseccomp-dev"
#18 52.15 - debconf: delaying package configuration, since apt-utils is not installed
#18 52.15 - Selecting previously unselected package libseccomp-dev:amd64.
#18 52.15 - (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19110 files and directories currently installed.)
#18 52.15 - Preparing to unpack .../libseccomp-dev_2.5.4-1+deb12u1_amd64.deb ...
#18 52.15 - Unpacking libseccomp-dev:amd64 (2.5.4-1+deb12u1) ...
#18 52.15 - Setting up libseccomp-dev:amd64 (2.5.4-1+deb12u1) ...
#18 52.17 
#18 52.17 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
#18 54.42 -> retrieved ocaml-src.4.14.2  (cached)
#18 54.59 -> installed conf-libseccomp.1
#18 54.60 -> installed conf-which.1
#18 54.63 -> retrieved ocaml-solo5.0.8.5  (https://opam.ocaml.org/cache)
#18 55.86 -> retrieved solo5.0.9.1  (https://opam.ocaml.org/cache)
#18 56.16 -> installed ocaml-src.4.14.2
#18 68.71 -> installed solo5.0.9.1
#18 152.7 -> installed ocaml-solo5.0.8.5
#18 153.0 Done.
#18 154.1  ↳ install external dependencies for monorepo
#18 154.2 ==> Using lockfile mirage/mirage/www-hvt.opam.locked
#18 154.7 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libev-dev" "libgmp-dev" "libonig-dev" "libssl-dev"
#18 155.7 - debconf: delaying package configuration, since apt-utils is not installed
#18 155.7 - Selecting previously unselected package libev4:amd64.
#18 155.7 - (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19152 files and directories currently installed.)
#18 155.7 - Preparing to unpack .../0-libev4_1%3a4.33-1_amd64.deb ...
#18 155.7 - Unpacking libev4:amd64 (1:4.33-1) ...
#18 155.7 - Selecting previously unselected package libev-dev:amd64.
#18 156.7 - Preparing to unpack .../1-libev-dev_1%3a4.33-1_amd64.deb ...
#18 156.7 - Unpacking libev-dev:amd64 (1:4.33-1) ...
#18 156.7 - Selecting previously unselected package libgmpxx4ldbl:amd64.
#18 156.7 - Preparing to unpack .../2-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
#18 156.7 - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
#18 156.7 - Selecting previously unselected package libgmp-dev:amd64.
#18 156.7 - Preparing to unpack .../3-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
#18 156.7 - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
#18 156.7 - Selecting previously unselected package libonig5:amd64.
#18 156.7 - Preparing to unpack .../4-libonig5_6.9.8-1_amd64.deb ...
#18 156.7 - Unpacking libonig5:amd64 (6.9.8-1) ...
#18 156.7 - Selecting previously unselected package libonig-dev.
#18 156.7 - Preparing to unpack .../5-libonig-dev_6.9.8-1_amd64.deb ...
#18 156.7 - Unpacking libonig-dev (6.9.8-1) ...
#18 156.7 - Preparing to unpack .../6-libssl3_3.0.17-1~deb12u3_amd64.deb ...
#18 156.7 - Unpacking libssl3:amd64 (3.0.17-1~deb12u3) over (3.0.17-1~deb12u2) ...
#18 156.7 - Selecting previously unselected package libssl-dev:amd64.
#18 156.7 - Preparing to unpack .../7-libssl-dev_3.0.17-1~deb12u3_amd64.deb ...
#18 156.7 - Unpacking libssl-dev:amd64 (3.0.17-1~deb12u3) ...
#18 156.7 - Preparing to unpack .../8-openssl_3.0.17-1~deb12u3_amd64.deb ...
#18 156.7 - Unpacking openssl (3.0.17-1~deb12u3) over (3.0.17-1~deb12u2) ...
#18 157.1 - Setting up libev4:amd64 (1:4.33-1) ...
#18 157.1 - Setting up libssl3:amd64 (3.0.17-1~deb12u3) ...
#18 157.1 - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
#18 157.1 - Setting up libssl-dev:amd64 (3.0.17-1~deb12u3) ...
#18 157.1 - Setting up libev-dev:amd64 (1:4.33-1) ...
#18 157.1 - Setting up openssl (3.0.17-1~deb12u3) ...
#18 157.1 - Setting up libonig5:amd64 (6.9.8-1) ...
#18 157.1 - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
#18 157.1 - Setting up libonig-dev (6.9.8-1) ...
#18 157.1 - Processing triggers for libc-bin (2.36-9+deb12u13) ...
#18 157.2 The dependencies have been installed. Run 'make build' to build the unikernel.
#18 157.2  ↳ fetch monorepo dependencies in the duniverse folder
#18 157.2 ==> Using lockfile mirage/mirage/www-hvt.opam.locked
#18 168.3 Successfully pulled 114/114 repositories
#18 168.3 The sources have been pulled to the duniverse folder. Run 'make build' to build the unikernel.
#18 DONE 168.6s

#19 [13/16] COPY --chown=opam:root . /home/opam/www
#19 DONE 0.3s

#20 [14/16] RUN opam exec -- mirage configure -f mirage/config.ml -t hvt --tls=true --metrics --separate-networks
#20 0.716 Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock').
#20 DONE 0.8s

#21 [15/16] RUN opam exec -- dune build mirage/ --profile release
#21 3.643 ocamlfind -toolchain solo5 ocamlopt    -c -o clock_stubs.o clock_stubs.c
#21 3.643 ocamlfind -toolchain solo5 ocamlopt    -c -o mm_stubs.o mm_stubs.c
#21 3.643 ocamlfind -toolchain solo5 ocamlopt    -c -o main.o main.c
#21 3.643 ar r libmirage-solo5_bindings.a clock_stubs.o mm_stubs.o main.o
#21 3.643 ar: creating libmirage-solo5_bindings.a
#21 14.25 Browserslist: caniuse-lite is outdated. Please run:
#21 14.25   npx update-browserslist-db@latest
#21 14.25   Why you should do it regularly: https://github.com/browserslist/update-db#readme
#21 14.25 
#21 14.25 Rebuilding...
#21 14.25 
#21 14.25 Done in 1857ms.
#21 17.16 /usr/bin/ld: warning: amd64.o: missing .note.GNU-stack section implies executable stack
#21 17.16 /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker
#21 50.32 emitter.c: In function 'yaml_emitter_write_plain_scalar':
#21 50.32 emitter.c:28:6: warning: value computed is not used [-Wunused-value]
#21 50.32    28 |      && ((emitter->line_break == YAML_CR_BREAK ?                                \
#21 50.32       |      ^~
#21 50.32 emitter.c:56:11: note: in expansion of macro 'PUT_BREAK'
#21 50.32    56 |          (PUT_BREAK(emitter),                                                   \
#21 50.32       |           ^~~~~~~~~
#21 50.32 emitter.c:1962:18: note: in expansion of macro 'WRITE_BREAK'
#21 50.32  1962 |             if (!WRITE_BREAK(emitter, string)) return 0;
#21 50.32       |                  ^~~~~~~~~~~
#21 50.32 emitter.c: In function 'yaml_emitter_write_single_quoted_scalar':
#21 50.32 emitter.c:28:6: warning: value computed is not used [-Wunused-value]
#21 50.32    28 |      && ((emitter->line_break == YAML_CR_BREAK ?                                \
#21 50.32       |      ^~
#21 50.32 emitter.c:56:11: note: in expansion of macro 'PUT_BREAK'
#21 50.32    56 |          (PUT_BREAK(emitter),                                                   \
#21 50.32       |           ^~~~~~~~~
#21 50.32 emitter.c:2019:18: note: in expansion of macro 'WRITE_BREAK'
#21 50.32  2019 |             if (!WRITE_BREAK(emitter, string)) return 0;
#21 50.32       |                  ^~~~~~~~~~~
#21 50.32 emitter.c: In function 'yaml_emitter_write_literal_scalar':
#21 50.32 emitter.c:28:6: warning: value computed is not used [-Wunused-value]
#21 50.32    28 |      && ((emitter->line_break == YAML_CR_BREAK ?                                \
#21 50.32       |      ^~
#21 50.32 emitter.c:56:11: note: in expansion of macro 'PUT_BREAK'
#21 50.32    56 |          (PUT_BREAK(emitter),                                                   \
#21 50.32       |           ^~~~~~~~~
#21 50.32 emitter.c:2285:18: note: in expansion of macro 'WRITE_BREAK'
#21 50.32  2285 |             if (!WRITE_BREAK(emitter, string)) return 0;
#21 50.32       |                  ^~~~~~~~~~~
#21 50.32 emitter.c: In function 'yaml_emitter_write_folded_scalar':
#21 50.32 emitter.c:28:6: warning: value computed is not used [-Wunused-value]
#21 50.32    28 |      && ((emitter->line_break == YAML_CR_BREAK ?                                \
#21 50.32       |      ^~
#21 50.32 emitter.c:56:11: note: in expansion of macro 'PUT_BREAK'
#21 50.32    56 |          (PUT_BREAK(emitter),                                                   \
#21 50.32       |           ^~~~~~~~~
#21 50.32 emitter.c:2334:18: note: in expansion of macro 'WRITE_BREAK'
#21 50.32  2334 |             if (!WRITE_BREAK(emitter, string)) return 0;
#21 50.32       |                  ^~~~~~~~~~~
#21 108.3 configure: WARNING: using cross tools not prefixed with host triplet
#21 108.3 configure: WARNING: cannot check for properly working vsnprintf when cross compiling, will assume it's ok
#21 108.4 binary ocaml: found in /home/opam/.opam/4.14/bin
#21 108.4 binary ocamlc: found in /home/opam/.opam/4.14/bin
#21 108.4 binary ocamldep: found in /home/opam/.opam/4.14/bin
#21 108.4 binary ocamlmklib: found in /home/opam/.opam/4.14/bin
#21 108.4 binary ocamldoc: found in /home/opam/.opam/4.14/bin
#21 108.4 binary x86_64-solo5-none-static-cc: found in /home/opam/.opam/4.14/bin
#21 108.4 binary ocamlopt: found in /home/opam/.opam/4.14/bin
#21 108.4 checking compilation with  -I/home/opam/www/_build/solo5/mirage/duniverse/Zarith/../../../../install/solo5/lib/gmp/: working
#21 108.4 include caml/mlvalues.h: found
#21 108.4 library dynlink.cmxa: found
#21 108.4 binary ocamlfind: found in /home/opam/.opam/4.14/bin
#21 108.4 OCaml's word size is 64
#21 108.4 package gmp: found
#21 108.4 OCaml supports -bin-annot to produce documentation
#21 108.4 
#21 108.4 detected configuration:
#21 108.4 
#21 108.4   native-code:          yes
#21 108.4   dynamic linking:      yes
#21 108.4   defines:              -DHAS_GMP 
#21 108.4   includes:             -I/home/opam/.opam/4.14/solo5-sysroot/lib/ocaml -I/home/opam/www/_build/solo5/mirage/duniverse/Zarith/../../../../install/solo5/lib/gmp/ 
#21 108.4   libraries:             -lgmp 
#21 108.4   linker options:       -L/home/opam/www/_build/solo5/mirage/duniverse/Zarith/../../../../install/solo5/lib/gmp/
#21 108.4   C options:            -I/home/opam/www/_build/solo5/mirage/duniverse/Zarith/../../../../install/solo5/lib/gmp/
#21 108.4   installation path:    /home/opam/.opam/4.14/lib
#21 108.4   installation method   findlib
#21 108.4 
#21 108.4 configuration successful!
#21 108.4 now type "make" to build
#21 108.4 then type "make install" or "sudo make install" to install
#21 116.4 /usr/bin/ld: warning: /home/opam/.opam/4.14/bin/../lib/x86_64-solo5-none-static/solo5_hvt.o: requires executable stack (because the .note.GNU-stack section is executable)
#21 DONE 117.3s

#22 [16/16] RUN if [ hvt = hvt ]; then sudo cp mirage/dist/www.hvt /unikernel.hvt; fi
#22 DONE 0.6s

#23 exporting to image
#23 exporting layers
#23 exporting layers 5.8s done
#23 writing image sha256:20e9fc7093f769922642b40c3204339b75364e98b01dbb7b40e0f0a58ec79145 0.0s done
#23 DONE 5.8s
2025-10-07 11:06.34: Job succeeded