Build:
- 0
2025-05-27 14:30.40: New job: docker build { "commit": "ac01c4e873a61b1fe1dac8df8259371ad66e8a04", "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-05-27 14:30.40: Checking out commit ac01c4e8. To reproduce: git clone --recursive "https://github.com/mirage/mirage-www.git" && cd "mirage-www" && git fetch origin "refs/pull/853/head" && git reset --hard ac01c4e8 2025-05-27 14:30.40: Exec: "cp" "-a" "--" "/var/lib/ocurrent/var/git/mirage-www.git-c1609aad5612d6b73e1c5be1a480108ce3363f2b7727366290103fad03b019f2/.git" "/tmp/git-checkout25bdc385" 2025-05-27 14:30.40: Exec: "git" "-C" "/tmp/git-checkout25bdc385" "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-05-27 14:30.40: Exec: "git" "-C" "/tmp/git-checkout25bdc385" "reset" "--hard" "-q" "ac01c4e873a61b1fe1dac8df8259371ad66e8a04" 2025-05-27 14:30.40: Exec: "git" "-c" "protocol.file.allow=always" "-C" "/tmp/git-checkout25bdc385" "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-05-27 14:30.40: Exec: "docker" "build" "--pull" "--build-arg" "TARGET=hvt" "--build-arg" "EXTRA_FLAGS=--tls=true --metrics --separate-networks" "-f" "/tmp/git-checkout25bdc385/Dockerfile" "--iidfile" "/tmp/git-checkout25bdc385/docker-iid" "--" "/tmp/git-checkout25bdc385" #0 building with "default" instance using docker driver #1 [internal] load build definition from Dockerfile #1 transferring dockerfile: 949B done #1 DONE 0.0s #2 [internal] load metadata for docker.io/ocaml/opam:debian-12-ocaml-4.14 #2 ... #3 [auth] ocaml/opam:pull token for registry-1.docker.io #3 DONE 0.0s #2 [internal] load metadata for docker.io/ocaml/opam:debian-12-ocaml-4.14 #2 DONE 1.2s #4 [internal] load .dockerignore #4 transferring context: 64B done #4 DONE 0.0s #5 [ 1/16] FROM docker.io/ocaml/opam:debian-12-ocaml-4.14@sha256:2284c7688553482511fe2678b6363ce7d0912a68a6a5756a54eaebff0065bdf6 #5 resolve docker.io/ocaml/opam:debian-12-ocaml-4.14@sha256:2284c7688553482511fe2678b6363ce7d0912a68a6a5756a54eaebff0065bdf6 0.0s done #5 sha256:2284c7688553482511fe2678b6363ce7d0912a68a6a5756a54eaebff0065bdf6 2.00kB / 2.00kB done #5 sha256:27024130dc79f0e85ec1664dc8825602f1952cf5d2be1540fe0cc9f08160e6b7 530B / 530B done #5 sha256:dc5ede62236bafa74c090605bb3c89590eccc436e5d6779cb4cee9a1369f6a51 9.82kB / 9.82kB done #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 0B / 694.10MB 0.1s #5 ... #6 [internal] load build context #6 transferring context: 25.66MB 0.3s done #6 DONE 0.4s #5 [ 1/16] FROM docker.io/ocaml/opam:debian-12-ocaml-4.14@sha256:2284c7688553482511fe2678b6363ce7d0912a68a6a5756a54eaebff0065bdf6 #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 49.28MB / 694.10MB 0.7s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 95.42MB / 694.10MB 1.3s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 146.80MB / 694.10MB 1.9s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 184.55MB / 694.10MB 2.3s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 225.44MB / 694.10MB 2.7s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 267.39MB / 694.10MB 3.1s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 306.18MB / 694.10MB 3.5s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 346.03MB / 694.10MB 3.9s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 389.02MB / 694.10MB 4.3s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 433.06MB / 694.10MB 4.7s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 486.54MB / 694.10MB 5.2s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 532.68MB / 694.10MB 5.7s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 575.67MB / 694.10MB 6.1s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 630.19MB / 694.10MB 6.6s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 668.99MB / 694.10MB 7.0s #5 sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 694.10MB / 694.10MB 9.6s done #5 extracting sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 0.1s #5 extracting sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 5.3s #5 extracting sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 10.7s #5 extracting sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 15.9s #5 extracting sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 20.9s #5 extracting sha256:dbb9ceeb611e707039fc7944a40b808ee77677ca7d091495f97105238665759f 23.7s done #5 DONE 35.2s #7 [ 2/16] RUN sudo apt-get update && sudo apt-get install autoconf automake -y --no-install-recommends #7 0.334 Hit:1 http://deb.debian.org/debian bookworm InRelease #7 0.334 Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB] #7 0.337 Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB] #7 0.560 Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [261 kB] #7 0.605 Fetched 364 kB in 0s (995 kB/s) #7 0.605 Reading package lists... #7 1.003 Reading package lists... #7 1.397 Building dependency tree... #7 1.490 Reading state information... #7 1.599 The following additional packages will be installed: #7 1.600 autotools-dev m4 #7 1.601 Suggested packages: #7 1.601 autoconf-archive gnu-standards autoconf-doc libtool gettext m4-doc #7 1.623 The following NEW packages will be installed: #7 1.624 autoconf automake autotools-dev m4 #7 1.643 0 upgraded, 4 newly installed, 0 to remove and 1 not upgraded. #7 1.643 Need to get 1494 kB of archives. #7 1.643 After this operation, 4778 kB of additional disk space will be used. #7 1.643 Get:1 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] #7 1.660 Get:2 http://deb.debian.org/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] #7 1.665 Get:3 http://deb.debian.org/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] #7 1.667 Get:4 http://deb.debian.org/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] #7 1.813 debconf: delaying package configuration, since apt-utils is not installed #7 1.834 Fetched 1494 kB in 0s (30.7 MB/s) #7 1.848 Selecting previously unselected package m4. #7 1.848 (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 ... 18745 files and directories currently installed.) #7 1.856 Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ... #7 1.860 Unpacking m4 (1.4.19-3) ... #7 1.909 Selecting previously unselected package autoconf. #7 1.915 Preparing to unpack .../autoconf_2.71-3_all.deb ... #7 1.920 Unpacking autoconf (2.71-3) ... #7 2.009 Selecting previously unselected package autotools-dev. #7 2.015 Preparing to unpack .../autotools-dev_20220109.1_all.deb ... #7 2.020 Unpacking autotools-dev (20220109.1) ... #7 2.080 Selecting previously unselected package automake. #7 2.087 Preparing to unpack .../automake_1%3a1.16.5-1.3_all.deb ... #7 2.094 Unpacking automake (1:1.16.5-1.3) ... #7 2.216 Setting up m4 (1.4.19-3) ... #7 2.234 Setting up autotools-dev (20220109.1) ... #7 2.247 Setting up autoconf (2.71-3) ... #7 2.267 Setting up automake (1:1.16.5-1.3) ... #7 2.282 update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode #7 DONE 11.0s #8 [ 3/16] RUN mkdir -p /home/opam/www/mirage #8 DONE 0.4s #9 [ 4/16] WORKDIR /home/opam/www #9 DONE 0.1s #10 [ 5/16] RUN sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam #10 DONE 0.5s #11 [ 6/16] RUN cd ~/opam-repository && git pull origin master && git reset --hard cf409d95af00ff822422bd76b657ed213b661401 #11 2.591 From https://github.com/ocaml/opam-repository #11 2.591 * branch master -> FETCH_HEAD #11 2.604 ac2e5da567..0513bad99e master -> origin/master #11 3.449 Updating ac2e5da567..0513bad99e #11 3.449 Fast-forward #11 3.475 packages/MlFront_Cache/MlFront_Cache.2.3.1/opam | 44 ++++++ #11 3.475 packages/MlFront_Cli/MlFront_Cli.2.3.1/opam | 35 +++++ #11 3.475 packages/MlFront_Config/MlFront_Config.2.3.1/opam | 39 +++++ #11 3.475 packages/MlFront_Core/MlFront_Core.2.3.1/opam | 39 +++++ #11 3.475 packages/MlFront_Errors/MlFront_Errors.2.3.1/opam | 39 +++++ #11 3.475 packages/MlFront_Logs/MlFront_Logs.2.3.1/opam | 39 +++++ #11 3.475 packages/MlFront_Manip/MlFront_Manip.2.3.1/opam | 37 +++++ #11 3.475 .../MlFront_Signify/MlFront_Signify.2.3.1/opam | 38 +++++ #11 3.475 .../MlFront_ZipFile/MlFront_ZipFile.2.3.1/opam | 37 +++++ #11 3.475 packages/TCSLib/TCSLib.0.5/opam | 38 +++++ #11 3.475 packages/alsa/alsa.0.2.3/opam | 2 +- #11 3.475 packages/ao/ao.0.2.1/opam | 2 +- #11 3.475 packages/argon2/argon2.1.0.2/opam | 2 +- #11 3.475 packages/augeas/augeas.0.6/opam | 2 +- #11 3.475 packages/bap-llvm/bap-llvm.2.2.0/opam | 2 +- #11 3.475 packages/bap-llvm/bap-llvm.2.3.0/opam | 2 +- #11 3.475 packages/bap-llvm/bap-llvm.2.4.0/opam | 2 +- #11 3.475 packages/bap-llvm/bap-llvm.2.5.0/opam | 2 +- #11 3.475 packages/bdd/bdd.0.5/opam | 26 ++++ #11 3.475 packages/binary_tree/binary_tree.1.0/opam | 33 ++++ #11 3.475 packages/binaryen/binaryen.0.25.0/opam | 27 ++++ #11 3.475 packages/binaryen/binaryen.0.26.0/opam | 27 ++++ #11 3.475 packages/bitmasks/bitmasks.1.4.0/opam | 2 +- #11 3.475 packages/bitmasks/bitmasks.1.5.0/opam | 31 ++++ #11 3.475 packages/bwrap/bwrap.0.1/opam | 2 +- #11 3.475 packages/camlzip/camlzip.1.06/opam | 2 +- #11 3.475 packages/camlzip/camlzip.1.07/opam | 2 +- #11 3.475 packages/chrome-trace/chrome-trace.3.19.0/opam | 41 +++++ #11 3.475 packages/cohttp-async/cohttp-async.6.1.0/opam | 1 + #11 3.475 packages/cohttp-bench/cohttp-bench.6.1.0/opam | 1 + #11 3.475 .../cohttp-curl-async/cohttp-curl-async.6.1.0/opam | 1 + #11 3.475 .../cohttp-curl-lwt/cohttp-curl-lwt.6.1.0/opam | 1 + #11 3.475 packages/cohttp-curl/cohttp-curl.6.1.0/opam | 1 + #11 3.475 packages/cohttp-eio/cohttp-eio.6.1.0/opam | 1 + #11 3.475 .../cohttp-lwt-jsoo/cohttp-lwt-jsoo.6.1.0/opam | 1 + #11 3.475 .../cohttp-lwt-unix/cohttp-lwt-unix.6.1.0/opam | 1 + #11 3.475 packages/cohttp-lwt/cohttp-lwt.6.1.0/opam | 1 + #11 3.475 packages/cohttp-mirage/cohttp-mirage.6.1.0/opam | 1 + #11 3.475 .../cohttp-server-lwt-unix.6.1.0/opam | 1 + #11 3.475 packages/cohttp-top/cohttp-top.6.1.0/opam | 1 + #11 3.475 packages/cohttp/cohttp.6.1.0/opam | 1 + #11 3.475 packages/conf-aclocal/conf-aclocal.1.0.0/opam | 2 +- #11 3.475 packages/conf-age/conf-age.1/opam | 2 +- #11 3.475 packages/conf-allegro5/conf-allegro5.1/opam | 2 +- #11 3.475 packages/conf-alsa/conf-alsa.1/opam | 2 +- #11 3.475 packages/conf-antic/conf-antic.1/opam | 2 +- #11 3.475 packages/conf-ao/conf-ao.1/opam | 2 +- #11 3.475 packages/conf-arb/conf-arb.1/opam | 2 +- #11 3.475 packages/conf-asciidoc/conf-asciidoc.1/opam | 2 +- #11 3.475 packages/conf-assimp/conf-assimp.1/opam | 2 +- #11 3.475 packages/conf-autoconf/conf-autoconf.0.1/opam | 2 +- #11 3.475 packages/conf-autoconf/conf-autoconf.0.2/opam | 2 +- #11 3.475 packages/conf-bap-llvm/conf-bap-llvm.1.3/opam | 2 +- #11 3.475 packages/conf-bap-llvm/conf-bap-llvm.1.4/opam | 2 +- #11 3.475 packages/conf-bap-llvm/conf-bap-llvm.1.5/opam | 2 +- #11 3.475 packages/conf-bap-llvm/conf-bap-llvm.1.6/opam | 2 +- #11 3.475 packages/conf-bap-llvm/conf-bap-llvm.1.7/opam | 2 +- #11 3.475 packages/conf-bap-llvm/conf-bap-llvm.1.8/opam | 2 +- #11 3.475 packages/conf-blas/conf-blas.1/opam | 2 +- #11 3.475 packages/conf-bluetooth/conf-bluetooth.1/opam | 2 +- #11 3.475 packages/conf-bmake/conf-bmake.1.0/opam | 2 +- #11 3.475 packages/conf-boost/conf-boost.1/opam | 2 +- #11 3.475 packages/conf-bpftool/conf-bpftool.0.1.0/opam | 2 +- #11 3.475 packages/conf-brotli/conf-brotli.0.0.1/opam | 2 +- #11 3.475 packages/conf-c++/conf-c++.1.0/opam | 2 +- #11 3.475 packages/conf-cairo/conf-cairo.1/opam | 2 +- #11 3.475 packages/conf-calcium/conf-calcium.1/opam | 2 +- #11 3.475 packages/conf-capnproto/conf-capnproto.0/opam | 2 +- #11 3.475 packages/conf-capnproto/conf-capnproto.1/opam | 2 +- #11 3.475 packages/conf-capnproto/conf-capnproto.2/opam | 2 +- #11 3.475 packages/conf-clang/conf-clang.1/opam | 2 +- #11 3.475 packages/conf-cmake/conf-cmake.1/opam | 2 +- #11 3.475 packages/conf-cpio/conf-cpio.1/opam | 2 +- #11 3.475 packages/conf-csdp/conf-csdp.1/opam | 2 +- #11 3.475 packages/conf-dbm/conf-dbm.1.0.0/opam | 2 +- #11 3.475 packages/conf-diffutils/conf-diffutils.1.1/opam | 2 +- #11 3.475 packages/conf-diffutils/conf-diffutils.1/opam | 2 +- #11 3.475 packages/conf-diffutils/conf-diffutils.2/opam | 2 +- #11 3.475 packages/conf-dpkg/conf-dpkg.1/opam | 2 +- #11 3.475 packages/conf-dssi/conf-dssi.1/opam | 2 +- #11 3.475 packages/conf-efl/conf-efl.1.8/opam | 2 +- #11 3.475 packages/conf-emacs/conf-emacs.1/opam | 4 +- #11 3.475 packages/conf-expat/conf-expat.1/opam | 2 +- #11 3.475 packages/conf-faad/conf-faad.1/opam | 2 +- #11 3.475 packages/conf-ffmpeg/conf-ffmpeg.1/opam | 2 +- #11 3.475 packages/conf-fftw3/conf-fftw3.1/opam | 2 +- #11 3.475 packages/conf-findutils/conf-findutils.1/opam | 2 +- #11 3.475 packages/conf-flint/conf-flint.1/opam | 2 +- #11 3.475 packages/conf-flint/conf-flint.3.0/opam | 4 +- #11 3.475 packages/conf-freeglut/conf-freeglut.1/opam | 11 +- #11 3.475 packages/conf-frei0r/conf-frei0r.1/opam | 2 +- #11 3.475 packages/conf-ftgl/conf-ftgl.1/opam | 2 +- #11 3.475 packages/conf-g++/conf-g++.1.0/opam | 2 +- #11 3.475 packages/conf-gcc/conf-gcc.1.0/opam | 2 +- #11 3.475 packages/conf-gd/conf-gd.1/opam | 2 +- #11 3.475 packages/conf-gfortran/conf-gfortran.0/opam | 2 +- #11 3.475 packages/conf-ghostscript/conf-ghostscript.1/opam | 2 +- #11 3.475 packages/conf-git/conf-git.1.0/opam | 2 +- #11 3.475 packages/conf-git/conf-git.1.1/opam | 2 +- #11 3.475 packages/conf-glade/conf-glade.2/opam | 2 +- #11 3.475 packages/conf-glew/conf-glew.1/opam | 2 +- #11 3.475 packages/conf-glfw3/conf-glfw3.1/opam | 2 +- #11 3.475 packages/conf-glfw3/conf-glfw3.2/opam | 2 +- #11 3.475 packages/conf-glib-2/conf-glib-2.1/opam | 2 +- #11 3.475 packages/conf-glpk/conf-glpk.1/opam | 2 +- #11 3.475 packages/conf-gmp-paths/conf-gmp-paths.1/opam | 2 +- #11 3.475 packages/conf-gmp/conf-gmp.1/opam | 2 +- #11 3.475 packages/conf-gmp/conf-gmp.2/opam | 2 +- #11 3.475 packages/conf-gmp/conf-gmp.3/opam | 2 +- #11 3.475 packages/conf-gmp/conf-gmp.4/opam | 2 +- #11 3.475 packages/conf-gmp/conf-gmp.5/opam | 2 +- #11 3.475 packages/conf-gnomecanvas/conf-gnomecanvas.2/opam | 16 +- #11 3.475 packages/conf-gnuplot/conf-gnuplot.0.1/opam | 2 +- #11 3.475 .../conf-gnustep-base/conf-gnustep-base.1/opam | 6 +- #11 3.475 packages/conf-gnustep-gui/conf-gnustep-gui.1/opam | 2 +- #11 3.475 packages/conf-gnutls/conf-gnutls.1/opam | 2 +- #11 3.475 .../conf-gobject-introspection.1.0/opam | 2 +- #11 3.475 packages/conf-goocanvas2/conf-goocanvas2.0/opam | 2 +- #11 3.475 packages/conf-gpiod/conf-gpiod.1/opam | 2 +- #11 3.475 packages/conf-graphviz/conf-graphviz.0.1/opam | 2 +- #11 3.475 packages/conf-gsl/conf-gsl.1/opam | 2 +- #11 3.475 packages/conf-gsl/conf-gsl.2/opam | 2 +- #11 3.475 packages/conf-gssapi/conf-gssapi.1/opam | 2 +- #11 3.475 packages/conf-gstreamer/conf-gstreamer.1/opam | 2 +- #11 3.475 packages/conf-gtk2/conf-gtk2.1/opam | 2 +- #11 3.475 packages/conf-gtk3/conf-gtk3.18/opam | 2 +- #11 3.475 .../conf-gtksourceview/conf-gtksourceview.2/opam | 2 +- #11 3.475 .../conf-gtksourceview3.0+1/opam | 2 +- #11 3.475 .../conf-gtksourceview3.0+2/opam | 2 +- #11 3.475 .../conf-gtksourceview3/conf-gtksourceview3.0/opam | 2 +- #11 3.475 packages/conf-guile/conf-guile.1/opam | 2 +- #11 3.475 packages/conf-haveged/conf-haveged.1.0.0/opam | 2 +- #11 3.475 packages/conf-hidapi/conf-hidapi.0/opam | 2 +- #11 3.475 packages/conf-jack/conf-jack.1/opam | 2 +- #11 3.475 packages/conf-jq/conf-jq.1/opam | 2 +- #11 3.475 packages/conf-ladspa/conf-ladspa.1/opam | 2 +- #11 3.475 packages/conf-lame/conf-lame.1/opam | 2 +- #11 3.475 packages/conf-lapack/conf-lapack.1/opam | 2 +- #11 3.475 packages/conf-leveldb/conf-leveldb.1/opam | 2 +- #11 3.475 packages/conf-leveldb/conf-leveldb.2/opam | 2 +- #11 3.475 .../conf-libMagickCore/conf-libMagickCore.1/opam | 2 +- #11 3.475 packages/conf-libX11/conf-libX11.1/opam | 2 +- #11 3.475 packages/conf-libXft/conf-libXft.1/opam | 2 +- #11 3.475 packages/conf-libargon2/conf-libargon2.1/opam | 2 +- #11 3.475 packages/conf-libblake3/conf-libblake3.1.5.1/opam | 2 +- #11 3.475 packages/conf-libbpf/conf-libbpf.0.1.0/opam | 2 +- #11 3.475 packages/conf-libbz2/conf-libbz2.1/opam | 2 +- #11 3.475 packages/conf-libclang/conf-libclang.1.0.0/opam | 2 +- #11 3.475 packages/conf-libclang/conf-libclang.10/opam | 2 +- #11 3.475 packages/conf-libclang/conf-libclang.11/opam | 2 +- #11 3.475 packages/conf-libclang/conf-libclang.12/opam | 2 +- #11 3.475 packages/conf-libclang/conf-libclang.13/opam | 4 +- #11 3.475 packages/conf-libclang/conf-libclang.14/opam | 4 +- #11 3.475 packages/conf-libclang/conf-libclang.15/opam | 2 +- #11 3.475 packages/conf-libcorosync/conf-libcorosync.3/opam | 2 +- #11 3.475 packages/conf-libcurl/conf-libcurl.1/opam | 2 +- #11 3.475 packages/conf-libcurl/conf-libcurl.2/opam | 3 +- #11 3.475 packages/conf-libdw/conf-libdw.1/opam | 2 +- #11 3.475 packages/conf-libev/conf-libev.4-11/opam | 2 +- #11 3.475 packages/conf-libev/conf-libev.4-12/opam | 2 +- #11 3.475 packages/conf-libevent/conf-libevent.1/opam | 2 +- #11 3.475 packages/conf-libffi/conf-libffi.2.0.0/opam | 2 +- #11 3.475 packages/conf-libflac/conf-libflac.1/opam | 2 +- #11 3.475 packages/conf-libfuse/conf-libfuse.1/opam | 2 +- #11 3.475 packages/conf-libgccjit/conf-libgccjit.1/opam | 2 +- #11 3.475 packages/conf-libgl/conf-libgl.1/opam | 2 +- #11 3.475 packages/conf-libglu/conf-libglu.1/opam | 2 +- #11 3.475 packages/conf-libgsasl/conf-libgsasl.1/opam | 2 +- #11 3.475 packages/conf-libjpeg/conf-libjpeg.1/opam | 2 +- #11 3.475 .../conf-liblinear-tools.1.0.0/opam | 2 +- #11 3.475 packages/conf-liblz4/conf-liblz4.1/opam | 2 +- #11 3.475 packages/conf-liblzma/conf-liblzma.1/opam | 2 +- #11 3.475 packages/conf-libmagic/conf-libmagic.1/opam | 2 +- #11 3.475 .../conf-libmaxminddb/conf-libmaxminddb.1/opam | 2 +- #11 3.475 .../conf-libmosquitto/conf-libmosquitto.1/opam | 2 +- #11 3.475 packages/conf-libnl3/conf-libnl3.1/opam | 2 +- #11 3.475 packages/conf-libobjc2/conf-libobjc2.1/opam | 6 +- #11 3.475 packages/conf-libogg/conf-libogg.1/opam | 2 +- #11 3.475 packages/conf-libpcre/conf-libpcre.1/opam | 2 +- #11 3.475 packages/conf-libpcre/conf-libpcre.2/opam | 2 +- #11 3.475 packages/conf-libpcre2-8/conf-libpcre2-8.1/opam | 2 +- #11 3.475 packages/conf-libpcre2-8/conf-libpcre2-8.2/opam | 2 +- #11 3.475 packages/conf-librsvg2/conf-librsvg2.0/opam | 2 +- #11 3.475 packages/conf-libseccomp/conf-libseccomp.1/opam | 2 +- #11 3.475 packages/conf-libsodium/conf-libsodium.1/opam | 2 +- #11 3.475 packages/conf-libspeex/conf-libspeex.1/opam | 2 +- #11 3.475 packages/conf-libssl/conf-libssl.1/opam | 2 +- #11 3.475 packages/conf-libssl/conf-libssl.2/opam | 2 +- #11 3.475 packages/conf-libssl/conf-libssl.3/opam | 2 +- #11 3.475 packages/conf-libssl/conf-libssl.4/opam | 2 +- #11 3.475 .../conf-libsvm-tools/conf-libsvm-tools.1.0.0/opam | 4 +- #11 3.475 packages/conf-libsvm/conf-libsvm.3/opam | 2 +- #11 3.475 packages/conf-libtool/conf-libtool.1/opam | 2 +- #11 3.475 packages/conf-libudev/conf-libudev.1/opam | 2 +- #11 3.475 packages/conf-liburing/conf-liburing.0.1.0/opam | 2 +- #11 3.475 packages/conf-libuv/conf-libuv.1/opam | 2 +- #11 3.475 .../conf-linux-libc-dev/conf-linux-libc-dev.0/opam | 2 +- #11 3.475 packages/conf-lld/conf-lld.1/opam | 2 +- #11 3.475 packages/conf-llvm-shared/conf-llvm-shared.18/opam | 4 +- #11 3.475 packages/conf-llvm-static/conf-llvm-static.18/opam | 4 +- #11 3.475 packages/conf-llvm/conf-llvm.10.0.0/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.11.0.0/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.12.0.1/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.13.0.0/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.14.0.6/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.15/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.16/opam | 4 +- #11 3.475 packages/conf-llvm/conf-llvm.17/opam | 4 +- #11 3.475 packages/conf-llvm/conf-llvm.3.9/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.4.0.0/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.5.0.0/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.6.0.0/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.7.0.0/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.8.0.0/opam | 2 +- #11 3.475 packages/conf-llvm/conf-llvm.9.0.0/opam | 2 +- #11 3.475 packages/conf-lz4/conf-lz4.1.0.0/opam | 2 +- #11 3.475 packages/conf-m4/conf-m4.1/opam | 2 +- #11 3.475 packages/conf-mad/conf-mad.1/opam | 2 +- #11 3.475 packages/conf-mad/conf-mad.2/opam | 2 +- #11 3.475 packages/conf-mariadb/conf-mariadb.2/opam | 2 +- #11 3.475 packages/conf-mbedtls/conf-mbedtls.1/opam | 2 +- #11 3.475 packages/conf-mbedtls/conf-mbedtls.2/opam | 2 +- #11 3.475 packages/conf-mecab/conf-mecab.0.996/opam | 2 +- #11 3.475 .../conf-mingw-w64-freeglut-i686.1/opam | 22 +++ #11 3.475 .../conf-mingw-w64-freeglut-x86_64.1/opam | 22 +++ #11 3.475 .../conf-mingw-w64-gnomecanvas-i686.1/opam | 19 +++ #11 3.475 .../conf-mingw-w64-gnomecanvas-x86_64.1/opam | 22 +++ #11 3.475 packages/conf-mpfr-paths/conf-mpfr-paths.1/opam | 2 +- #11 3.475 packages/conf-mpfr/conf-mpfr.1/opam | 2 +- #11 3.475 packages/conf-mpfr/conf-mpfr.2/opam | 2 +- #11 3.475 packages/conf-mpfr/conf-mpfr.3/opam | 2 +- #11 3.475 packages/conf-mpi/conf-mpi.1/opam | 2 +- #11 3.475 packages/conf-mysql/conf-mysql.1/opam | 2 +- #11 3.475 packages/conf-nanomsg/conf-nanomsg.0/opam | 2 +- #11 3.475 packages/conf-nauty/conf-nauty.1.0/opam | 2 +- #11 3.475 packages/conf-ncurses/conf-ncurses.1/opam | 2 +- #11 3.475 packages/conf-neko/conf-neko.1/opam | 2 +- #11 3.475 packages/conf-netsnmp/conf-netsnmp.1.0.0/opam | 2 +- #11 3.475 packages/conf-nlopt/conf-nlopt.1/opam | 2 +- #11 3.475 packages/conf-nmap/conf-nmap.1.0.0/opam | 2 +- #11 3.475 packages/conf-npm/conf-npm.1/opam | 2 +- #11 3.475 packages/conf-numa/conf-numa.0.1.0/opam | 2 +- #11 3.475 packages/conf-ode/conf-ode.1/opam | 2 +- #11 3.475 packages/conf-oniguruma/conf-oniguruma.1/opam | 2 +- #11 3.475 packages/conf-openbabel/conf-openbabel.0.1/opam | 2 +- #11 3.475 packages/conf-openblas/conf-openblas.0.1/opam | 2 +- #11 3.475 packages/conf-openblas/conf-openblas.0.2.0/opam | 4 +- #11 3.475 packages/conf-openblas/conf-openblas.0.2.1/opam | 4 +- #11 3.475 packages/conf-openblas/conf-openblas.0.2.2/opam | 4 +- #11 3.475 packages/conf-opencc1/conf-opencc1.1/opam | 2 +- #11 3.475 packages/conf-opencc1_1/conf-opencc1_1.1/opam | 2 +- #11 3.475 packages/conf-openimageio/conf-openimageio.1/opam | 2 +- #11 3.475 packages/conf-openjdk/conf-openjdk.1/opam | 2 +- #11 3.475 packages/conf-openssl/conf-openssl.2/opam | 2 +- #11 3.475 packages/conf-pam/conf-pam.1/opam | 2 +- #11 3.475 packages/conf-pandoc/conf-pandoc.0.1/opam | 2 +- #11 3.475 packages/conf-pango/conf-pango.1/opam | 2 +- #11 3.475 .../conf-perl-ipc-system-simple.1/opam | 2 +- #11 3.475 .../conf-perl-ipc-system-simple.2/opam | 2 +- #11 3.475 .../conf-perl-ipc-system-simple.3/opam | 2 +- #11 3.475 packages/conf-perl/conf-perl.1/opam | 2 +- #11 3.475 packages/conf-perl/conf-perl.2/opam | 2 +- #11 3.475 packages/conf-pkg-config/conf-pkg-config.1.0/opam | 2 +- #11 3.475 packages/conf-pkg-config/conf-pkg-config.1.1/opam | 2 +- #11 3.475 packages/conf-pkg-config/conf-pkg-config.1.2/opam | 2 +- #11 3.475 packages/conf-pkg-config/conf-pkg-config.1.3/opam | 2 +- #11 3.475 packages/conf-pkg-config/conf-pkg-config.2/opam | 2 +- #11 3.475 packages/conf-pkg-config/conf-pkg-config.3/opam | 2 +- #11 3.475 packages/conf-pkg-config/conf-pkg-config.4/opam | 2 +- #11 3.475 packages/conf-plplot/conf-plplot.1/opam | 2 +- #11 3.475 packages/conf-portaudio/conf-portaudio.1/opam | 2 +- #11 3.475 packages/conf-postgresql/conf-postgresql.1/opam | 4 +- #11 3.475 packages/conf-postgresql/conf-postgresql.2/opam | 4 +- #11 3.475 packages/conf-povray/conf-povray.1/opam | 24 +++ #11 3.475 packages/conf-ppl/conf-ppl.1/opam | 2 +- #11 3.475 .../conf-protoc-dev/conf-protoc-dev.1.0.0/opam | 2 +- #11 3.475 packages/conf-protoc/conf-protoc.0.9/opam | 2 +- #11 3.475 packages/conf-protoc/conf-protoc.1.0.0/opam | 2 +- #11 3.475 packages/conf-protoc/conf-protoc.4.4.0/opam | 2 +- #11 3.475 packages/conf-pulseaudio/conf-pulseaudio.1/opam | 2 +- #11 3.475 packages/conf-python-2-7/conf-python-2-7.1.0/opam | 2 +- #11 3.475 packages/conf-python-2-7/conf-python-2-7.1.1/opam | 2 +- #11 3.475 packages/conf-python-2-7/conf-python-2-7.1.2/opam | 2 +- #11 3.475 .../conf-python-3-7/conf-python-3-7.1.0.0/opam | 2 +- #11 3.475 .../conf-python-3-dev/conf-python-3-dev.1/opam | 2 +- #11 3.475 packages/conf-python-3/conf-python-3.1.0.0/opam | 2 +- #11 3.475 packages/conf-python-3/conf-python-3.9.0.0/opam | 2 +- #11 3.475 .../conf-python3-pyparsing.1/opam | 2 +- #11 3.475 .../conf-python3-tomli/conf-python3-tomli.1/opam | 2 +- #11 3.475 .../conf-python3-yaml/conf-python3-yaml.1/opam | 2 +- #11 3.475 packages/conf-r-mathlib/conf-r-mathlib.1/opam | 2 +- #11 3.475 packages/conf-r/conf-r.1.0.0/opam | 2 +- #11 3.475 packages/conf-radare2/conf-radare2.0.1/opam | 2 +- #11 3.475 packages/conf-rdkit/conf-rdkit.1/opam | 2 +- #11 3.475 packages/conf-readline/conf-readline.1/opam | 2 +- #11 3.475 packages/conf-rocksdb/conf-rocksdb.1/opam | 2 +- #11 3.475 packages/conf-ruby/conf-ruby.1.0.0/opam | 2 +- #11 3.475 packages/conf-rust-2018/conf-rust-2018.1/opam | 2 +- #11 3.475 packages/conf-rust-2021/conf-rust-2021.1/opam | 2 +- #11 3.475 packages/conf-rust-2024/conf-rust-2024.1/opam | 2 +- #11 3.475 packages/conf-rust-llvm/conf-rust-llvm.1/opam | 2 +- #11 3.475 packages/conf-rust-wasm/conf-rust-wasm.1/opam | 2 +- #11 3.475 packages/conf-rust/conf-rust.0.1/opam | 2 +- #11 3.475 packages/conf-samplerate/conf-samplerate.1/opam | 2 +- #11 3.475 packages/conf-scdoc/conf-scdoc.1/opam | 2 +- #11 3.475 packages/conf-sdl-gfx/conf-sdl-gfx.1/opam | 2 +- #11 3.475 packages/conf-sdl-image/conf-sdl-image.1/opam | 2 +- #11 3.475 packages/conf-sdl-mixer/conf-sdl-mixer.1/opam | 2 +- #11 3.475 packages/conf-sdl-net/conf-sdl-net.1/opam | 2 +- #11 3.475 packages/conf-sdl-ttf/conf-sdl-ttf.1/opam | 2 +- #11 3.475 packages/conf-sdl2-image/conf-sdl2-image.1/opam | 2 +- #11 3.475 packages/conf-sdl2-mixer/conf-sdl2-mixer.1/opam | 2 +- #11 3.475 packages/conf-sdl2-net/conf-sdl2-net.1/opam | 2 +- #11 3.475 packages/conf-sdl2-ttf/conf-sdl2-ttf.1/opam | 2 +- #11 3.475 packages/conf-sdl2/conf-sdl2.1/opam | 4 +- #11 3.475 packages/conf-secp256k1/conf-secp256k1.1.0.0/opam | 2 +- #11 3.475 packages/conf-secp256k1/conf-secp256k1.2/opam | 2 +- #11 3.475 packages/conf-sfml2/conf-sfml2.1/opam | 2 +- #11 3.475 packages/conf-shine/conf-shine.1/opam | 2 +- #11 3.475 packages/conf-snappy/conf-snappy.1/opam | 2 +- #11 3.475 packages/conf-sndfile/conf-sndfile.1/opam | 2 +- #11 3.475 packages/conf-soundtouch/conf-soundtouch.1/opam | 2 +- #11 3.475 packages/conf-sqlite3/conf-sqlite3.1/opam | 2 +- #11 3.475 packages/conf-srt/conf-srt.1/opam | 2 +- #11 3.475 packages/conf-srt/conf-srt.2/opam | 2 +- #11 3.475 packages/conf-sundials/conf-sundials.1/opam | 2 +- #11 3.475 packages/conf-sundials/conf-sundials.2/opam | 2 +- #11 3.475 packages/conf-texlive/conf-texlive.1/opam | 2 +- #11 3.475 packages/conf-tidy/conf-tidy.1/opam | 2 +- #11 3.475 packages/conf-time/conf-time.1/opam | 2 +- #11 3.475 packages/conf-timeout/conf-timeout.1/opam | 2 +- #11 3.475 packages/conf-unwind/conf-unwind.0/opam | 2 +- #11 3.475 packages/conf-vim/conf-vim.1/opam | 2 +- #11 3.475 packages/conf-wget/conf-wget.1/opam | 2 +- #11 3.475 packages/conf-which/conf-which.1/opam | 2 +- #11 3.475 packages/conf-xen/conf-xen.1/opam | 2 +- #11 3.475 packages/conf-xxhash/conf-xxhash.1/opam | 2 +- #11 3.475 packages/conf-zig/conf-zig.1/opam | 2 +- #11 3.475 packages/conf-zlib/conf-zlib.1/opam | 4 +- #11 3.475 packages/conf-zmq/conf-zmq.0.1/opam | 2 +- #11 3.475 packages/conf-zstd/conf-zstd.0.1/opam | 2 +- #11 3.475 packages/conf-zstd/conf-zstd.1.3.8/opam | 2 +- #11 3.475 packages/dbm/dbm.1.0/opam | 2 +- #11 3.475 packages/dbm/dbm.1.1/opam | 2 +- #11 3.475 packages/dlm/dlm.0.3.0/opam | 2 +- #11 3.475 packages/dlm/dlm.0.3.1/opam | 2 +- #11 3.475 packages/dns-certify/dns-certify.10.1.0/opam | 49 ++++++ #11 3.475 packages/dns-cli/dns-cli.10.1.0/opam | 63 ++++++++ #11 3.475 packages/dns-client-lwt/dns-client-lwt.10.1.0/opam | 42 ++++++ #11 3.475 .../dns-client-miou-unix.10.1.0/opam | 39 +++++ #11 3.475 .../dns-client-mirage.10.1.0/opam | 46 ++++++ #11 3.475 packages/dns-client/dns-client.10.1.0/opam | 40 +++++ #11 3.475 packages/dns-mirage/dns-mirage.10.1.0/opam | 50 ++++++ #11 3.475 packages/dns-resolver/dns-resolver.10.1.0/opam | 52 +++++++ #11 3.475 packages/dns-server/dns-server.10.1.0/opam | 51 +++++++ #11 3.475 packages/dns-stub/dns-stub.10.1.0/opam | 49 ++++++ #11 3.475 packages/dns-tsig/dns-tsig.10.1.0/opam | 38 +++++ #11 3.475 packages/dns/dns.10.1.0/opam | 56 +++++++ #11 3.475 packages/dnssec/dnssec.10.1.0/opam | 42 ++++++ #11 3.475 .../dot-merlin-reader.5.4.2~5.4preview/opam | 32 ++++ #11 3.475 packages/dssi/dssi.0.1.2/opam | 2 +- #11 3.475 .../dune-action-plugin.3.19.0/opam | 54 +++++++ #11 3.475 .../dune-build-info/dune-build-info.3.19.0/opam | 47 ++++++ #11 3.475 .../dune-configurator.3.19.0/opam | 51 +++++++ #11 3.475 packages/dune-glob/dune-glob.3.19.0/opam | 44 ++++++ #11 3.475 .../dune-private-libs.3.19.0/opam | 52 +++++++ #11 3.475 packages/dune-rpc-lwt/dune-rpc-lwt.3.19.0/opam | 43 ++++++ #11 3.475 packages/dune-rpc/dune-rpc.3.19.0/opam | 45 ++++++ #11 3.475 packages/dune-site/dune-site.3.19.0/opam | 39 +++++ #11 3.475 packages/dune/dune.3.19.0/opam | 74 +++++++++ #11 3.475 packages/dyn/dyn.3.19.0/opam | 42 ++++++ #11 3.475 packages/echo/echo.0.0.4/opam | 46 ++++++ #11 3.475 packages/faad/faad.0.4.0/opam | 2 +- #11 3.475 packages/faad/faad.0.5.0/opam | 2 +- #11 3.475 packages/farmhash/farmhash.0.3/opam | 2 +- #11 3.475 packages/fdkaac/fdkaac.0.2.1/opam | 2 +- #11 3.475 packages/fdkaac/fdkaac.0.3.0/opam | 2 +- #11 3.475 packages/fdkaac/fdkaac.0.3.1/opam | 2 +- #11 3.475 packages/fdkaac/fdkaac.0.3.2/opam | 2 +- #11 3.475 packages/ffmpeg-av/ffmpeg-av.1.2.5/opam | 51 +++++++ #11 3.475 packages/ffmpeg-avcodec/ffmpeg-avcodec.1.2.5/opam | 50 ++++++ #11 3.475 .../ffmpeg-avdevice/ffmpeg-avdevice.1.2.5/opam | 50 ++++++ #11 3.475 .../ffmpeg-avfilter/ffmpeg-avfilter.1.2.5/opam | 50 ++++++ #11 3.475 packages/ffmpeg-avutil/ffmpeg-avutil.1.2.5/opam | 50 ++++++ #11 3.475 .../ffmpeg-swresample/ffmpeg-swresample.1.2.5/opam | 51 +++++++ #11 3.475 packages/ffmpeg-swscale/ffmpeg-swscale.1.2.5/opam | 50 ++++++ #11 3.475 packages/ffmpeg/ffmpeg.0.1.1/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.0.1.2/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.0.2.0/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.0.2.1/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.0.3.0/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.0.4.0/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.0.4.1/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.0.4.2/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.0.4.3/opam | 2 +- #11 3.475 packages/ffmpeg/ffmpeg.1.2.5/opam | 43 ++++++ #11 3.475 packages/fftw3/fftw3.0.8.1/opam | 2 +- #11 3.475 packages/fpath-base/fpath-base.0.3.0/opam | 57 +++++++ #11 3.475 packages/fpath-base/fpath-base.0.3.1/opam | 57 +++++++ #11 3.475 packages/fpath-sexp0/fpath-sexp0.0.3.0/opam | 60 ++++++++ #11 3.475 packages/fpath-sexp0/fpath-sexp0.0.3.1/opam | 60 ++++++++ #11 3.475 packages/freetds/freetds.0.4.1/opam | 2 +- #11 3.475 packages/freetds/freetds.0.4.2/opam | 2 +- #11 3.475 packages/freetds/freetds.0.4/opam | 2 +- #11 3.475 packages/freetds/freetds.0.5.1/opam | 2 +- #11 3.475 packages/freetds/freetds.0.5.2/opam | 2 +- #11 3.475 packages/freetds/freetds.0.5/opam | 2 +- #11 3.475 packages/freetds/freetds.0.6/opam | 2 +- #11 3.475 packages/freetds/freetds.0.7/opam | 2 +- #11 3.475 packages/frei0r/frei0r.0.1.1/opam | 2 +- #11 3.475 packages/gammu/gammu.0.9.3/opam | 2 +- #11 3.475 packages/gammu/gammu.0.9.4/opam | 2 +- #11 3.475 packages/gapi-ocaml/gapi-ocaml.0.4.6/opam | 40 +++++ #11 3.475 packages/gavl/gavl.0.1.6/opam | 2 +- #11 3.475 packages/gles3/gles3.20160307.alpha/opam | 2 +- #11 3.475 packages/goblint-cil/goblint-cil.1.7.4/opam | 2 +- #11 3.475 packages/goblint-cil/goblint-cil.1.8.0/opam | 4 +- #11 3.475 packages/goblint-cil/goblint-cil.1.8.2/opam | 4 +- #11 3.475 packages/goblint-cil/goblint-cil.2.0.0/opam | 4 +- #11 3.475 packages/goblint-cil/goblint-cil.2.0.1/opam | 4 +- #11 3.475 packages/goblint-cil/goblint-cil.2.0.2/opam | 4 +- #11 3.475 packages/goblint-cil/goblint-cil.2.0.3/opam | 4 +- #11 3.475 packages/goblint-cil/goblint-cil.2.0.4/opam | 4 +- #11 3.475 packages/goblint-cil/goblint-cil.2.0.5/opam | 4 +- #11 3.475 packages/goblint-cil/goblint-cil.2.0.6/opam | 4 +- #11 3.475 packages/gstreamer/gstreamer.0.2.3/opam | 2 +- #11 3.475 packages/gstreamer/gstreamer.0.3.0/opam | 2 +- #11 3.475 packages/hc/hc.0.5/opam | 37 +++++ #11 3.475 packages/hol_light/hol_light.3.0.0/opam | 1 + #11 3.475 packages/http/http.6.1.0/opam | 1 + #11 3.475 packages/hvsock/hvsock.2.0.0/opam | 2 +- #11 3.475 packages/hvsock/hvsock.3.0.0/opam | 2 +- #11 3.475 packages/jemalloc/jemalloc.0.1/opam | 2 +- #11 3.475 packages/jemalloc/jemalloc.0.2/opam | 2 +- #11 3.475 packages/kafka/kafka.0.3/opam | 2 +- #11 3.475 packages/kafka/kafka.0.4/opam | 2 +- #11 3.475 packages/kafka/kafka.0.5/opam | 2 +- #11 3.475 packages/kyotocabinet/kyotocabinet.0.1/opam | 2 +- #11 3.475 packages/kyotocabinet/kyotocabinet.0.2/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.0.beta5/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.0.beta6/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.0.beta7/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.0.beta8/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.1.0/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.1.1/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.1.2/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.1.3/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.1.4/opam | 2 +- #11 3.475 .../lablgtk3-gtkspell3.3.1.5/opam | 2 +- #11 3.475 packages/lablqml/lablqml.0.5.2/opam | 6 +- #11 3.475 packages/lablqml/lablqml.0.6.2/opam | 2 +- #11 3.475 packages/lablqml/lablqml.0.6/opam | 6 +- #11 3.475 packages/labrys/labrys.0.1/opam | 2 +- #11 3.475 packages/ladspa/ladspa.0.1.5/opam | 2 +- #11 3.475 packages/lame/lame.0.3.3/opam | 2 +- #11 3.475 packages/lame/lame.0.3.4/opam | 2 +- #11 3.475 packages/lbfgs/lbfgs.0.9.1/opam | 2 +- #11 3.475 packages/lbfgs/lbfgs.0.9/opam | 2 +- #11 3.475 packages/libbpf/libbpf.0.1.0/opam | 7 +- #11 3.475 packages/liquidsoap-js/liquidsoap-js.2.3.3/opam | 45 ++++++ #11 3.475 .../liquidsoap-lang/liquidsoap-lang.2.3.3/opam | 46 ++++++ #11 3.475 .../liquidsoap-mode/liquidsoap-mode.2.3.3/opam | 48 ++++++ #11 3.475 packages/liquidsoap/liquidsoap.2.3.3/opam | 167 +++++++++++++++++++++ #11 3.475 packages/lmdb/lmdb.0.1/opam | 2 +- #11 3.475 packages/lo/lo.0.1.2/opam | 2 +- #11 3.475 packages/lzo/lzo.0.0.3/opam | 2 +- #11 3.475 packages/mad/mad.0.4.5/opam | 2 +- #11 3.475 packages/mad/mad.0.5.0/opam | 2 +- #11 3.475 packages/magic/magic.0.7.3/opam | 2 +- #11 3.475 packages/magic/magic.0.7.4/opam | 2 +- #11 3.475 .../merlin-lib/merlin-lib.5.4.2~5.4preview/opam | 36 +++++ #11 3.475 packages/merlin/merlin.5.4.2~5.4preview/opam | 81 ++++++++++ #11 3.475 packages/milter/milter.1.0.4/opam | 2 +- #11 3.475 .../mirage-block-ramdisk.0.6/opam | 40 +++++ #11 3.475 packages/misuja/misuja.0.0.0/opam | 2 +- #11 3.475 .../ocaml-base-compiler.5.4.0~alpha1/opam | 29 ++++ #11 3.475 .../ocaml-compiler.5.4.0~alpha1/opam | 127 ++++++++++++++++ #11 3.475 .../ocaml-index/ocaml-index.5.4.2~5.4preview/opam | 43 ++++++ #11 3.475 .../ocaml-lsp-server.1.22.1~5.4preview/opam | 65 ++++++++ #11 3.475 packages/ocaml-systemd/ocaml-systemd.1.2/opam | 2 +- #11 3.475 .../ocaml-variants.5.4.0~alpha1+options/opam | 26 ++++ #11 3.475 packages/ocaml/ocaml.5.4.0/opam | 30 ++-- #11 3.475 packages/ocamlc-loc/ocamlc-loc.3.19.0/opam | 45 ++++++ #11 3.475 packages/ogg/ogg.0.5.2/opam | 2 +- #11 3.475 packages/ogg/ogg.0.6.0/opam | 2 +- #11 3.475 packages/opus/opus.0.1.2/opam | 2 +- #11 3.475 packages/opus/opus.0.1.3/opam | 2 +- #11 3.475 packages/ordering/ordering.3.19.0/opam | 40 +++++ #11 3.475 packages/pci/pci.1.0.1/opam | 2 +- #11 3.475 packages/pcre/pcre.7.2.3/opam | 2 +- #11 3.475 packages/postgresql/postgresql.3.2.1/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.0.0/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.0.1/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.1.0/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.2.0/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.2.1/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.3.0/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.4.0/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.4.1/opam | 2 +- #11 3.475 packages/postgresql/postgresql.4.4.2/opam | 2 +- #11 3.475 packages/pplumbing/pplumbing.0.0.14/opam | 86 +++++++++++ #11 3.475 packages/protocell/protocell.1.0.0/opam | 2 +- #11 3.475 packages/pulseaudio/pulseaudio.0.1.2/opam | 2 +- #11 3.475 packages/pulseaudio/pulseaudio.0.1.3/opam | 2 +- #11 3.475 packages/py/py.1.0/opam | 2 +- #11 3.475 packages/radare2/radare2.0.0.2/opam | 2 +- #11 3.475 packages/radare2/radare2.0.0.3/opam | 2 +- #11 3.475 packages/radare2/radare2.0.0.4/opam | 2 +- #11 3.475 packages/radare2/radare2.0.0.5/opam | 2 +- #11 3.475 packages/radare2/radare2.0.0.6/opam | 2 +- #11 3.475 packages/raylib/raylib.0.1.0/opam | 2 +- #11 3.475 packages/raylib/raylib.0.2.2/opam | 2 +- #11 3.475 packages/re2/re2.v0.12.0/opam | 2 +- #11 3.475 packages/samplerate/samplerate.0.1.4/opam | 2 +- #11 3.475 packages/shine/shine.0.2.1/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.4.0/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.4.1/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.6.2/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.6.3/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.6.4/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.6.5/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.6.6/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.6.7/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.6.8/opam | 2 +- #11 3.475 .../solo5-bindings-hvt.0.6.9/opam | 2 +- #11 3.475 .../solo5-bindings-spt.0.6.2/opam | 4 +- #11 3.475 .../solo5-bindings-spt.0.6.3/opam | 2 +- #11 3.475 .../solo5-bindings-spt.0.6.4/opam | 2 +- #11 3.475 .../solo5-bindings-spt.0.6.5/opam | 2 +- #11 3.475 .../solo5-bindings-spt.0.6.6/opam | 2 +- #11 3.475 .../solo5-bindings-spt.0.6.7/opam | 2 +- #11 3.475 .../solo5-bindings-spt.0.6.8/opam | 2 +- #11 3.475 .../solo5-bindings-spt.0.6.9/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.7.0/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.7.1/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.7.2/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.7.3/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.7.4/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.7.5/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.8.0/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.8.1/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.9.0/opam | 2 +- #11 3.476 .../solo5-cross-aarch64.0.9.1/opam | 2 +- #11 3.476 .../solo5-kernel-ukvm/solo5-kernel-ukvm.0.1.1/opam | 2 +- #11 3.476 .../solo5-kernel-ukvm/solo5-kernel-ukvm.0.2.1/opam | 2 +- #11 3.476 .../solo5-kernel-ukvm.0.2.2-1/opam | 2 +- #11 3.476 .../solo5-kernel-ukvm/solo5-kernel-ukvm.0.2.2/opam | 2 +- #11 3.476 .../solo5-kernel-ukvm/solo5-kernel-ukvm.0.3.0/opam | 2 +- #11 3.476 .../solo5-kernel-ukvm/solo5-kernel-ukvm.0.3.1/opam | 2 +- #11 3.476 packages/solo5/solo5.0.7.0/opam | 2 +- #11 3.476 packages/solo5/solo5.0.7.1/opam | 2 +- #11 3.476 packages/solo5/solo5.0.7.2/opam | 2 +- #11 3.476 packages/solo5/solo5.0.7.3/opam | 2 +- #11 3.476 packages/solo5/solo5.0.7.4/opam | 2 +- #11 3.476 packages/solo5/solo5.0.7.5/opam | 2 +- #11 3.476 packages/solo5/solo5.0.8.0/opam | 2 +- #11 3.476 packages/solo5/solo5.0.8.1/opam | 2 +- #11 3.476 packages/solo5/solo5.0.9.0/opam | 2 +- #11 3.476 packages/solo5/solo5.0.9.1/opam | 2 +- #11 3.476 packages/soundtouch/soundtouch.0.1.8/opam | 2 +- #11 3.476 packages/speex/speex.0.2.1/opam | 2 +- #11 3.476 packages/spf/spf.2.0.2/opam | 2 +- #11 3.476 packages/srt/srt.0.1.0/opam | 2 +- #11 3.476 packages/srt/srt.0.1.1/opam | 2 +- #11 3.476 packages/stdune/stdune.3.19.0/opam | 46 ++++++ #11 3.476 packages/taglib/taglib.0.3.3/opam | 2 +- #11 3.476 packages/taglib/taglib.0.3.6/opam | 2 +- #11 3.476 packages/tdigest/tdigest.2.2.1/opam | 39 +++++ #11 3.476 packages/theora/theora.0.3.1/opam | 2 +- #11 3.476 packages/travis-opam/travis-opam.1.1.0/opam | 2 +- #11 3.476 packages/uri/uri.4.4.0/opam | 1 + #11 3.476 packages/vorbis/vorbis.0.7.1/opam | 2 +- #11 3.476 .../vscoq-language-server.2.2.6/opam | 44 ++++++ #11 3.476 packages/xdg/xdg.3.19.0/opam | 41 +++++ #11 3.476 packages/xen-evtchn/xen-evtchn.1.0.7/opam | 2 +- #11 3.476 packages/yara/yara.0.1/opam | 2 +- #11 3.476 packages/yara/yara.0.2/opam | 2 +- #11 3.476 577 files changed, 4238 insertions(+), 532 deletions(-) #11 3.476 create mode 100644 packages/MlFront_Cache/MlFront_Cache.2.3.1/opam #11 3.476 create mode 100644 packages/MlFront_Cli/MlFront_Cli.2.3.1/opam #11 3.476 create mode 100644 packages/MlFront_Config/MlFront_Config.2.3.1/opam #11 3.476 create mode 100644 packages/MlFront_Core/MlFront_Core.2.3.1/opam #11 3.476 create mode 100644 packages/MlFront_Errors/MlFront_Errors.2.3.1/opam #11 3.476 create mode 100644 packages/MlFront_Logs/MlFront_Logs.2.3.1/opam #11 3.476 create mode 100644 packages/MlFront_Manip/MlFront_Manip.2.3.1/opam #11 3.476 create mode 100644 packages/MlFront_Signify/MlFront_Signify.2.3.1/opam #11 3.476 create mode 100644 packages/MlFront_ZipFile/MlFront_ZipFile.2.3.1/opam #11 3.476 create mode 100644 packages/TCSLib/TCSLib.0.5/opam #11 3.476 create mode 100644 packages/bdd/bdd.0.5/opam #11 3.476 create mode 100644 packages/binary_tree/binary_tree.1.0/opam #11 3.476 create mode 100644 packages/binaryen/binaryen.0.25.0/opam #11 3.476 create mode 100644 packages/binaryen/binaryen.0.26.0/opam #11 3.476 create mode 100644 packages/bitmasks/bitmasks.1.5.0/opam #11 3.476 create mode 100644 packages/chrome-trace/chrome-trace.3.19.0/opam #11 3.476 create mode 100644 packages/conf-mingw-w64-freeglut-i686/conf-mingw-w64-freeglut-i686.1/opam #11 3.476 create mode 100644 packages/conf-mingw-w64-freeglut-x86_64/conf-mingw-w64-freeglut-x86_64.1/opam #11 3.476 create mode 100644 packages/conf-mingw-w64-gnomecanvas-i686/conf-mingw-w64-gnomecanvas-i686.1/opam #11 3.476 create mode 100644 packages/conf-mingw-w64-gnomecanvas-x86_64/conf-mingw-w64-gnomecanvas-x86_64.1/opam #11 3.476 create mode 100644 packages/conf-povray/conf-povray.1/opam #11 3.476 create mode 100644 packages/dns-certify/dns-certify.10.1.0/opam #11 3.476 create mode 100644 packages/dns-cli/dns-cli.10.1.0/opam #11 3.476 create mode 100644 packages/dns-client-lwt/dns-client-lwt.10.1.0/opam #11 3.476 create mode 100644 packages/dns-client-miou-unix/dns-client-miou-unix.10.1.0/opam #11 3.476 create mode 100644 packages/dns-client-mirage/dns-client-mirage.10.1.0/opam #11 3.476 create mode 100644 packages/dns-client/dns-client.10.1.0/opam #11 3.476 create mode 100644 packages/dns-mirage/dns-mirage.10.1.0/opam #11 3.476 create mode 100644 packages/dns-resolver/dns-resolver.10.1.0/opam #11 3.476 create mode 100644 packages/dns-server/dns-server.10.1.0/opam #11 3.476 create mode 100644 packages/dns-stub/dns-stub.10.1.0/opam #11 3.476 create mode 100644 packages/dns-tsig/dns-tsig.10.1.0/opam #11 3.476 create mode 100644 packages/dns/dns.10.1.0/opam #11 3.476 create mode 100644 packages/dnssec/dnssec.10.1.0/opam #11 3.476 create mode 100644 packages/dot-merlin-reader/dot-merlin-reader.5.4.2~5.4preview/opam #11 3.476 create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.19.0/opam #11 3.476 create mode 100644 packages/dune-build-info/dune-build-info.3.19.0/opam #11 3.476 create mode 100644 packages/dune-configurator/dune-configurator.3.19.0/opam #11 3.476 create mode 100644 packages/dune-glob/dune-glob.3.19.0/opam #11 3.476 create mode 100644 packages/dune-private-libs/dune-private-libs.3.19.0/opam #11 3.476 create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.19.0/opam #11 3.476 create mode 100644 packages/dune-rpc/dune-rpc.3.19.0/opam #11 3.476 create mode 100644 packages/dune-site/dune-site.3.19.0/opam #11 3.476 create mode 100644 packages/dune/dune.3.19.0/opam #11 3.476 create mode 100644 packages/dyn/dyn.3.19.0/opam #11 3.476 create mode 100644 packages/echo/echo.0.0.4/opam #11 3.476 create mode 100644 packages/ffmpeg-av/ffmpeg-av.1.2.5/opam #11 3.476 create mode 100644 packages/ffmpeg-avcodec/ffmpeg-avcodec.1.2.5/opam #11 3.476 create mode 100644 packages/ffmpeg-avdevice/ffmpeg-avdevice.1.2.5/opam #11 3.476 create mode 100644 packages/ffmpeg-avfilter/ffmpeg-avfilter.1.2.5/opam #11 3.476 create mode 100644 packages/ffmpeg-avutil/ffmpeg-avutil.1.2.5/opam #11 3.476 create mode 100644 packages/ffmpeg-swresample/ffmpeg-swresample.1.2.5/opam #11 3.476 create mode 100644 packages/ffmpeg-swscale/ffmpeg-swscale.1.2.5/opam #11 3.476 create mode 100644 packages/ffmpeg/ffmpeg.1.2.5/opam #11 3.476 create mode 100644 packages/fpath-base/fpath-base.0.3.0/opam #11 3.476 create mode 100644 packages/fpath-base/fpath-base.0.3.1/opam #11 3.476 create mode 100644 packages/fpath-sexp0/fpath-sexp0.0.3.0/opam #11 3.476 create mode 100644 packages/fpath-sexp0/fpath-sexp0.0.3.1/opam #11 3.476 create mode 100644 packages/gapi-ocaml/gapi-ocaml.0.4.6/opam #11 3.476 create mode 100644 packages/hc/hc.0.5/opam #11 3.476 create mode 100644 packages/liquidsoap-js/liquidsoap-js.2.3.3/opam #11 3.476 create mode 100644 packages/liquidsoap-lang/liquidsoap-lang.2.3.3/opam #11 3.476 create mode 100644 packages/liquidsoap-mode/liquidsoap-mode.2.3.3/opam #11 3.476 create mode 100644 packages/liquidsoap/liquidsoap.2.3.3/opam #11 3.476 create mode 100644 packages/merlin-lib/merlin-lib.5.4.2~5.4preview/opam #11 3.476 create mode 100644 packages/merlin/merlin.5.4.2~5.4preview/opam #11 3.476 create mode 100644 packages/mirage-block-ramdisk/mirage-block-ramdisk.0.6/opam #11 3.476 create mode 100644 packages/ocaml-base-compiler/ocaml-base-compiler.5.4.0~alpha1/opam #11 3.476 create mode 100644 packages/ocaml-compiler/ocaml-compiler.5.4.0~alpha1/opam #11 3.476 create mode 100644 packages/ocaml-index/ocaml-index.5.4.2~5.4preview/opam #11 3.476 create mode 100644 packages/ocaml-lsp-server/ocaml-lsp-server.1.22.1~5.4preview/opam #11 3.476 create mode 100644 packages/ocaml-variants/ocaml-variants.5.4.0~alpha1+options/opam #11 3.476 create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.19.0/opam #11 3.476 create mode 100644 packages/ordering/ordering.3.19.0/opam #11 3.476 create mode 100644 packages/pplumbing/pplumbing.0.0.14/opam #11 3.476 create mode 100644 packages/stdune/stdune.3.19.0/opam #11 3.476 create mode 100644 packages/tdigest/tdigest.2.2.1/opam #11 3.476 create mode 100644 packages/vscoq-language-server/vscoq-language-server.2.2.6/opam #11 3.476 create mode 100644 packages/xdg/xdg.3.19.0/opam #11 3.778 HEAD is now at cf409d95af Merge pull request #27869 from chetmurthy/release-ledit-2.07 #11 DONE 3.9s #12 [ 7/16] RUN opam update #12 0.397 Continue? [Y/n] y #12 0.397 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. #12 0.397 You may want to back it up before going further. #12 0.397 #12 0.398 Format upgrade done. #12 5.844 #12 5.844 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> #12 39.30 [default] Initialised #12 50.30 Now run 'opam upgrade' to apply any package updates. #12 DONE 52.4s #13 [ 8/16] RUN opam install 'mirage>=4.5.0' #13 6.392 The following actions will be performed: #13 6.393 - install cmdliner 1.3.0 [required by mirage] #13 6.393 - install ocamlbuild 0.16.1 [required by astring, bos] #13 6.393 - install dune 3.18.2 [required by mirage] #13 6.393 - install conf-pkg-config 4 [required by opam-monorepo] #13 6.393 - install ocamlfind 1.9.8 [required by astring, bos] #13 6.393 - install stringext 1.6.0 [required by uri] #13 6.393 - install pecu 0.7 [required by emile] #13 6.393 - install ocaml-syntax-shims 1.0.0 [required by angstrom] #13 6.393 - install macaddr 5.6.0 [required by ipaddr] #13 6.393 - install domain-name 0.4.1 [required by ipaddr] #13 6.393 - install csexp 1.5.2 [required by dune-configurator] #13 6.393 - install base64 3.5.1 [required by emile] #13 6.393 - install opam-monorepo 0.4.2 [required by mirage] #13 6.393 - install topkg 1.0.8 [required by astring, bos] #13 6.393 - install ipaddr 5.6.0 [required by mirage] #13 6.393 - install dune-configurator 3.18.2 [required by bigstringaf] #13 6.393 - install uutf 1.0.4 [required by emile] #13 6.393 - install rresult 0.7.0 [required by mirage] #13 6.393 - install fmt 0.10.0 [required by mirage] #13 6.393 - install astring 0.8.5 [required by mirage] #13 6.393 - install bigstringaf 0.10.0 [required by emile] #13 6.393 - install logs 0.8.0 [required by mirage] #13 6.393 - install fpath 0.7.3 [required by mirage] #13 6.393 - install angstrom 0.16.1 [required by emile, uri] #13 6.393 - install bos 0.2.1 [required by mirage] #13 6.394 - install uri 4.4.0 [required by mirage] #13 6.394 - install emile 1.1 [required by mirage] #13 6.394 - install mirage 4.9.0 #13 6.394 ===== 28 to install ===== #13 6.394 #13 6.394 The following system packages will first need to be installed: #13 6.394 pkg-config #13 6.394 #13 6.394 <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> #13 6.394 Let opam run your package manager to install the required system packages? #13 6.394 (answer 'n' for other options) [Y/n] y #13 6.394 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config" #13 7.394 - debconf: delaying package configuration, since apt-utils is not installed #13 7.394 - Selecting previously unselected package libpkgconf3:amd64. #13 7.394 - (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 ... 19066 files and directories currently installed.) #13 7.394 - Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ... #13 7.394 - Unpacking libpkgconf3:amd64 (1.8.1-1) ... #13 7.394 - Selecting previously unselected package pkgconf-bin. #13 7.394 - Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ... #13 7.394 - Unpacking pkgconf-bin (1.8.1-1) ... #13 7.394 - Selecting previously unselected package pkgconf:amd64. #13 7.394 - Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ... #13 7.394 - Unpacking pkgconf:amd64 (1.8.1-1) ... #13 7.394 - Selecting previously unselected package pkg-config:amd64. #13 7.394 - Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ... #13 7.394 - Unpacking pkg-config:amd64 (1.8.1-1) ... #13 7.570 - Setting up libpkgconf3:amd64 (1.8.1-1) ... #13 7.570 - Setting up pkgconf-bin (1.8.1-1) ... #13 7.570 - Setting up pkgconf:amd64 (1.8.1-1) ... #13 7.570 - Setting up pkg-config:amd64 (1.8.1-1) ... #13 7.570 - Processing triggers for libc-bin (2.36-9+deb12u10) ... #13 7.574 #13 7.574 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> #13 7.713 -> retrieved astring.0.8.5 (https://erratique.ch/software/astring/releases/astring-0.8.5.tbz) #13 8.168 -> retrieved bigstringaf.0.10.0 (https://github.com/inhabitedtype/bigstringaf/archive/0.10.0.tar.gz) #13 8.301 -> retrieved bos.0.2.1 (https://erratique.ch/software/bos/releases/bos-0.2.1.tbz) #13 8.323 -> retrieved base64.3.5.1 (https://github.com/mirage/ocaml-base64/releases/download/v3.5.1/base64-3.5.1.tbz) #13 10.28 -> installed conf-pkg-config.4 #13 10.29 -> retrieved cmdliner.1.3.0 (https://erratique.ch/software/cmdliner/releases/cmdliner-1.3.0.tbz) #13 10.30 -> retrieved csexp.1.5.2 (https://github.com/ocaml-dune/csexp/releases/download/1.5.2/csexp-1.5.2.tbz) #13 10.65 -> retrieved angstrom.0.16.1 (https://github.com/inhabitedtype/angstrom/archive/0.16.1.tar.gz) #13 10.91 -> retrieved domain-name.0.4.1 (https://github.com/hannesm/domain-name/releases/download/v0.4.1/domain-name-0.4.1.tbz) #13 11.90 -> retrieved dune.3.18.2 (https://github.com/ocaml/dune/releases/download/3.18.2/dune-3.18.2.tbz) #13 13.22 -> retrieved dune-configurator.3.18.2 (https://github.com/ocaml/dune/releases/download/3.18.2/dune-3.18.2.tbz) #13 14.15 -> retrieved emile.1.1 (https://github.com/dinosaure/emile/releases/download/v1.1/emile-v1.1.tbz) #13 14.17 -> retrieved fmt.0.10.0 (https://erratique.ch/software/fmt/releases/fmt-0.10.0.tbz) #13 14.18 -> retrieved fpath.0.7.3 (https://erratique.ch/software/fpath/releases/fpath-0.7.3.tbz) #13 14.20 -> installed cmdliner.1.3.0 #13 14.27 -> retrieved logs.0.8.0 (https://erratique.ch/software/logs/releases/logs-0.8.0.tbz) #13 15.00 -> retrieved ipaddr.5.6.0 (https://github.com/mirage/ocaml-ipaddr/releases/download/v5.6.0/ipaddr-5.6.0.tbz) #13 15.10 -> retrieved macaddr.5.6.0 (https://github.com/mirage/ocaml-ipaddr/releases/download/v5.6.0/ipaddr-5.6.0.tbz) #13 15.20 -> retrieved mirage.4.9.0 (https://github.com/mirage/mirage/releases/download/v4.9.0/mirage-4.9.0.tbz) #13 15.66 -> retrieved ocamlbuild.0.16.1 (https://github.com/ocaml/ocamlbuild/archive/refs/tags/0.16.1.tar.gz) #13 15.80 -> retrieved ocaml-syntax-shims.1.0.0 (https://github.com/ocaml-ppx/ocaml-syntax-shims/releases/download/1.0.0/ocaml-syntax-shims-1.0.0.tbz) #13 15.84 -> retrieved ocamlfind.1.9.8 (https://github.com/ocaml/ocamlfind/archive/refs/tags/findlib-1.9.8.tar.gz) #13 16.01 -> retrieved rresult.0.7.0 (https://erratique.ch/software/rresult/releases/rresult-0.7.0.tbz) #13 16.64 -> retrieved pecu.0.7 (https://github.com/mirage/pecu/releases/download/v0.7/pecu-0.7.tbz) #13 16.82 -> retrieved stringext.1.6.0 (https://github.com/rgrinberg/stringext/releases/download/1.6.0/stringext-1.6.0.tbz) #13 16.86 -> retrieved topkg.1.0.8 (https://erratique.ch/software/topkg/releases/topkg-1.0.8.tbz) #13 16.99 -> retrieved uutf.1.0.4 (https://erratique.ch/software/uutf/releases/uutf-1.0.4.tbz) #13 17.76 -> retrieved uri.4.4.0 (https://github.com/mirage/ocaml-uri/releases/download/v4.4.0/uri-4.4.0.tbz) #13 18.96 -> retrieved opam-monorepo.0.4.2 (https://github.com/tarides/opam-monorepo/releases/download/0.4.2/opam-monorepo-0.4.2.tbz) #13 19.75 -> installed ocamlfind.1.9.8 #13 21.24 -> installed ocamlbuild.0.16.1 #13 26.06 -> installed topkg.1.0.8 #13 26.60 -> installed rresult.0.7.0 #13 27.11 -> installed uutf.1.0.4 #13 27.31 -> installed fmt.0.10.0 #13 27.53 -> installed astring.0.8.5 #13 28.23 -> installed fpath.0.7.3 #13 28.24 -> installed logs.0.8.0 #13 30.69 -> installed bos.0.2.1 #13 32.14 -> installed dune.3.18.2 #13 32.66 -> installed base64.3.5.1 #13 32.66 -> installed csexp.1.5.2 #13 33.08 -> installed domain-name.0.4.1 #13 33.09 -> installed macaddr.5.6.0 #13 33.14 -> installed ocaml-syntax-shims.1.0.0 #13 33.14 -> installed pecu.0.7 #13 33.14 -> installed stringext.1.6.0 #13 33.52 -> installed ipaddr.5.6.0 #13 34.68 -> installed dune-configurator.3.18.2 #13 35.22 -> installed bigstringaf.0.10.0 #13 35.85 -> installed angstrom.0.16.1 #13 36.49 -> installed emile.1.1 #13 38.10 -> installed uri.4.4.0 #13 43.80 -> installed opam-monorepo.0.4.2 #13 45.65 -> installed mirage.4.9.0 #13 46.16 Done. #13 46.16 # Run eval $(opam env) to update the current shell environment #13 DONE 48.6s #14 [ 9/16] COPY --chown=opam:root mirage/config.ml /home/opam/www/mirage/ #14 DONE 0.1s #15 [10/16] COPY --chown=opam:root mirageio.opam /home/opam/www/ #15 DONE 0.1s #16 [11/16] RUN opam exec -- mirage configure -f mirage/config.ml -t hvt --tls=true --metrics --separate-networks #16 0.901 Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock'). #16 DONE 1.0s #17 [12/16] RUN opam exec -- make depend #17 0.752 using overlay repository mirage: [opam-overlays, mirage-overlays] #17 1.589 [opam-overlays] Initialised #17 2.101 [NOTE] Repository opam-overlays has been added to the selections of switch 4.14 only. #17 2.101 Run `opam repository add opam-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. #17 2.101 #17 2.782 [mirage-overlays] Initialised #17 3.101 [NOTE] Repository mirage-overlays has been added to the selections of switch 4.14 only. #17 3.101 Run `opam repository add mirage-overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively. #17 3.101 #17 3.108 ↳ generate lockfile for monorepo dependencies #17 3.123 ==> Using 1 locally scanned package as the target. #17 43.27 ==> Found 177 opam dependencies for the target package. #17 43.27 ==> Querying opam database for their metadata and Dune compatibility. #17 44.21 ==> Calculating exact pins for each of them. #17 44.54 ==> Wrote lockfile with 114 entries to mirage/mirage/www-hvt.opam.locked. You can now run opam monorepo pull to fetch their sources. #17 44.62 removing overlay repository [opam-overlays, mirage-overlays] #17 44.67 Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether. #17 44.69 Repositories removed from the selections of switch 4.14. Use '--all' to forget about them altogether. #17 44.69 The lock file has been generated. Run 'make pull' to retrieve the sources, or 'make install-switch' to install the host dependencies. #17 44.69 ↳ opam install switch dependencies #17 51.05 The following actions will be performed: #17 51.05 - install conf-libseccomp 1 #17 51.05 - install ocaml-src 4.14.2 #17 51.05 - install conf-which 1 #17 51.05 - install solo5 0.9.1 #17 51.05 - install ocaml-solo5 0.8.5 #17 51.05 ===== 5 to install ===== #17 51.05 #17 51.05 The following system packages will first need to be installed: #17 51.05 libseccomp-dev #17 51.05 #17 51.05 <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> #17 51.05 Let opam run your package manager to install the required system packages? #17 51.05 (answer 'n' for other options) [Y/n] y #17 51.05 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libseccomp-dev" #17 52.94 - debconf: delaying package configuration, since apt-utils is not installed #17 52.94 - Selecting previously unselected package libseccomp-dev:amd64. #17 52.94 - (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 ... 19102 files and directories currently installed.) #17 52.94 - Preparing to unpack .../libseccomp-dev_2.5.4-1+deb12u1_amd64.deb ... #17 52.94 - Unpacking libseccomp-dev:amd64 (2.5.4-1+deb12u1) ... #17 52.94 - Setting up libseccomp-dev:amd64 (2.5.4-1+deb12u1) ... #17 52.94 #17 52.94 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> #17 55.20 -> retrieved ocaml-src.4.14.2 (cached) #17 55.38 -> installed conf-libseccomp.1 #17 55.39 -> installed conf-which.1 #17 55.46 -> retrieved ocaml-solo5.0.8.5 (https://github.com/mirage/ocaml-solo5/archive/refs/tags/v0.8.5.tar.gz) #17 56.72 -> retrieved solo5.0.9.1 (https://github.com/Solo5/solo5/releases/download/v0.9.1/solo5-v0.9.1.tar.gz) #17 57.03 -> installed ocaml-src.4.14.2 #17 67.51 -> installed solo5.0.9.1 #17 156.9 -> installed ocaml-solo5.0.8.5 #17 157.1 Done. #17 158.1 ↳ install external dependencies for monorepo #17 158.2 ==> Using lockfile mirage/mirage/www-hvt.opam.locked #17 158.6 + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libev-dev" "libgmp-dev" "libonig-dev" "libssl-dev" #17 159.6 - debconf: delaying package configuration, since apt-utils is not installed #17 160.4 - Selecting previously unselected package libev4:amd64. #17 160.4 - (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 ... 19144 files and directories currently installed.) #17 160.4 - Preparing to unpack .../0-libev4_1%3a4.33-1_amd64.deb ... #17 160.4 - Unpacking libev4:amd64 (1:4.33-1) ... #17 160.4 - Selecting previously unselected package libev-dev:amd64. #17 160.4 - Preparing to unpack .../1-libev-dev_1%3a4.33-1_amd64.deb ... #17 160.4 - Unpacking libev-dev:amd64 (1:4.33-1) ... #17 160.4 - Selecting previously unselected package libgmpxx4ldbl:amd64. #17 160.4 - Preparing to unpack .../2-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... #17 160.4 - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... #17 160.4 - Selecting previously unselected package libgmp-dev:amd64. #17 160.4 - Preparing to unpack .../3-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... #17 160.4 - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... #17 160.4 - Selecting previously unselected package libonig5:amd64. #17 160.4 - Preparing to unpack .../4-libonig5_6.9.8-1_amd64.deb ... #17 160.4 - Unpacking libonig5:amd64 (6.9.8-1) ... #17 160.4 - Selecting previously unselected package libonig-dev. #17 160.4 - Preparing to unpack .../5-libonig-dev_6.9.8-1_amd64.deb ... #17 160.4 - Unpacking libonig-dev (6.9.8-1) ... #17 160.4 - Selecting previously unselected package libssl-dev:amd64. #17 160.4 - Preparing to unpack .../6-libssl-dev_3.0.16-1~deb12u1_amd64.deb ... #17 160.4 - Unpacking libssl-dev:amd64 (3.0.16-1~deb12u1) ... #17 160.4 - Setting up libev4:amd64 (1:4.33-1) ... #17 160.4 - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... #17 160.4 - Setting up libssl-dev:amd64 (3.0.16-1~deb12u1) ... #17 160.4 - Setting up libev-dev:amd64 (1:4.33-1) ... #17 160.4 - Setting up libonig5:amd64 (6.9.8-1) ... #17 160.4 - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... #17 160.4 - Setting up libonig-dev (6.9.8-1) ... #17 160.4 - Processing triggers for libc-bin (2.36-9+deb12u10) ... #17 160.4 The dependencies have been installed. Run 'make build' to build the unikernel. #17 160.4 ↳ fetch monorepo dependencies in the duniverse folder #17 160.4 ==> Using lockfile mirage/mirage/www-hvt.opam.locked #17 186.3 Successfully pulled 114/114 repositories #17 186.3 The sources have been pulled to the duniverse folder. Run 'make build' to build the unikernel. #17 DONE 190.0s #18 [13/16] COPY --chown=opam:root . /home/opam/www #18 DONE 0.4s #19 [14/16] RUN opam exec -- mirage configure -f mirage/config.ml -t hvt --tls=true --metrics --separate-networks #19 0.821 Successfully configured the unikernel. Now run 'make' (or more fine-grained steps: 'make all', 'make depends', or 'make lock'). #19 DONE 0.9s #20 [15/16] RUN opam exec -- dune build mirage/ --profile release #20 3.929 ocamlfind -toolchain solo5 ocamlopt -c -o clock_stubs.o clock_stubs.c #20 3.929 ocamlfind -toolchain solo5 ocamlopt -c -o mm_stubs.o mm_stubs.c #20 3.929 ocamlfind -toolchain solo5 ocamlopt -c -o main.o main.c #20 3.929 ar r libmirage-solo5_bindings.a clock_stubs.o mm_stubs.o main.o #20 3.929 ar: creating libmirage-solo5_bindings.a #20 14.27 Browserslist: caniuse-lite is outdated. Please run: #20 14.27 npx update-browserslist-db@latest #20 14.27 Why you should do it regularly: https://github.com/browserslist/update-db#readme #20 14.27 #20 14.27 Rebuilding... #20 14.27 #20 14.27 Done in 1843ms. #20 17.46 /usr/bin/ld: warning: amd64.o: missing .note.GNU-stack section implies executable stack #20 17.46 /usr/bin/ld: NOTE: This behaviour is deprecated and will be removed in a future version of the linker #20 47.63 emitter.c: In function 'yaml_emitter_write_plain_scalar': #20 47.63 emitter.c:28:6: warning: value computed is not used [-Wunused-value] #20 47.63 28 | && ((emitter->line_break == YAML_CR_BREAK ? \ #20 47.63 | ^~ #20 47.63 emitter.c:56:11: note: in expansion of macro 'PUT_BREAK' #20 47.63 56 | (PUT_BREAK(emitter), \ #20 47.63 | ^~~~~~~~~ #20 47.63 emitter.c:1962:18: note: in expansion of macro 'WRITE_BREAK' #20 47.63 1962 | if (!WRITE_BREAK(emitter, string)) return 0; #20 47.63 | ^~~~~~~~~~~ #20 47.63 emitter.c: In function 'yaml_emitter_write_single_quoted_scalar': #20 47.63 emitter.c:28:6: warning: value computed is not used [-Wunused-value] #20 47.63 28 | && ((emitter->line_break == YAML_CR_BREAK ? \ #20 47.63 | ^~ #20 47.63 emitter.c:56:11: note: in expansion of macro 'PUT_BREAK' #20 47.63 56 | (PUT_BREAK(emitter), \ #20 47.63 | ^~~~~~~~~ #20 47.63 emitter.c:2019:18: note: in expansion of macro 'WRITE_BREAK' #20 47.63 2019 | if (!WRITE_BREAK(emitter, string)) return 0; #20 47.63 | ^~~~~~~~~~~ #20 47.63 emitter.c: In function 'yaml_emitter_write_literal_scalar': #20 47.63 emitter.c:28:6: warning: value computed is not used [-Wunused-value] #20 47.63 28 | && ((emitter->line_break == YAML_CR_BREAK ? \ #20 47.63 | ^~ #20 47.63 emitter.c:56:11: note: in expansion of macro 'PUT_BREAK' #20 47.63 56 | (PUT_BREAK(emitter), \ #20 47.63 | ^~~~~~~~~ #20 47.63 emitter.c:2285:18: note: in expansion of macro 'WRITE_BREAK' #20 47.63 2285 | if (!WRITE_BREAK(emitter, string)) return 0; #20 47.63 | ^~~~~~~~~~~ #20 47.63 emitter.c: In function 'yaml_emitter_write_folded_scalar': #20 47.63 emitter.c:28:6: warning: value computed is not used [-Wunused-value] #20 47.63 28 | && ((emitter->line_break == YAML_CR_BREAK ? \ #20 47.63 | ^~ #20 47.63 emitter.c:56:11: note: in expansion of macro 'PUT_BREAK' #20 47.63 56 | (PUT_BREAK(emitter), \ #20 47.63 | ^~~~~~~~~ #20 47.63 emitter.c:2334:18: note: in expansion of macro 'WRITE_BREAK' #20 47.63 2334 | if (!WRITE_BREAK(emitter, string)) return 0; #20 47.63 | ^~~~~~~~~~~ #20 108.6 configure: WARNING: using cross tools not prefixed with host triplet #20 108.6 configure: WARNING: cannot check for properly working vsnprintf when cross compiling, will assume it's ok #20 108.8 binary ocaml: found in /home/opam/.opam/4.14/bin #20 108.8 binary ocamlc: found in /home/opam/.opam/4.14/bin #20 108.8 binary ocamldep: found in /home/opam/.opam/4.14/bin #20 108.8 binary ocamlmklib: found in /home/opam/.opam/4.14/bin #20 108.8 binary ocamldoc: found in /home/opam/.opam/4.14/bin #20 108.8 binary x86_64-solo5-none-static-cc: found in /home/opam/.opam/4.14/bin #20 108.8 binary ocamlopt: found in /home/opam/.opam/4.14/bin #20 108.8 checking compilation with -I/home/opam/www/_build/solo5/mirage/duniverse/Zarith/../../../../install/solo5/lib/gmp/: working #20 108.8 include caml/mlvalues.h: found #20 108.8 library dynlink.cmxa: found #20 108.8 binary ocamlfind: found in /home/opam/.opam/4.14/bin #20 108.8 OCaml's word size is 64 #20 108.8 package gmp: found #20 108.8 OCaml supports -bin-annot to produce documentation #20 108.8 #20 108.8 detected configuration: #20 108.8 #20 108.8 native-code: yes #20 108.8 dynamic linking: yes #20 108.8 defines: -DHAS_GMP #20 108.8 includes: -I/home/opam/.opam/4.14/solo5-sysroot/lib/ocaml -I/home/opam/www/_build/solo5/mirage/duniverse/Zarith/../../../../install/solo5/lib/gmp/ #20 108.8 libraries: -lgmp #20 108.8 linker options: -L/home/opam/www/_build/solo5/mirage/duniverse/Zarith/../../../../install/solo5/lib/gmp/ #20 108.8 C options: -I/home/opam/www/_build/solo5/mirage/duniverse/Zarith/../../../../install/solo5/lib/gmp/ #20 108.8 installation path: /home/opam/.opam/4.14/lib #20 108.8 installation method findlib #20 108.8 #20 108.8 configuration successful! #20 108.8 now type "make" to build #20 108.8 then type "make install" or "sudo make install" to install #20 117.2 /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) #20 DONE 118.1s #21 [16/16] RUN if [ hvt = hvt ]; then sudo cp mirage/dist/www.hvt /unikernel.hvt; fi #21 DONE 0.5s #22 exporting to image #22 exporting layers #22 exporting layers 5.6s done #22 writing image sha256:b8957d080052851d1091a214fcc84b0c2c60178d4256d5ef11a26b0a46ef0dc4 done #22 DONE 5.7s 2025-05-27 14:38.31: Job succeeded