Build:
- 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