Home|Differences with the last checks|Previous runs

Differences between fc740cd and f39c79b (git diff)

Packages now failing:

• cgi.0.10 on 4.14.2 had its build status changed: passing to failing
• functory.0.6 on 4.14.2 had its build status changed: passing to failing
• jasmin.2026.03.0 on 4.14.2 is now installable. Current state is: failing
• jasmin.2026.03.0 on 5.3.0 is now installable. Current state is: failing

Packages now partially failing:

• fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: failing to partially failing
• qcaml.1.0.0 on 5.3.0 is now installable. Current state is: partially failing

Packages now not available:

• alice.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• ambient-context-eio.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• ambient-context-lwt.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• ambient-context-lwt.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• ambient-context.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• ambient-context.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• bibfmt.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• bibfmt.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• ca-certs-nss.3.118 on 4.14.2 is not available anymore. Previous state was: passing
• ca-certs-nss.3.118 on 5.3.0 is not available anymore. Previous state was: passing
• caisar.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• caisar.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• canary.0.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• canary.0.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-client.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-client.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-server.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-server.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• charrua-unix.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua-unix.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• charrua.3.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• charrua.3.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• conan-cli.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• conan-cli.0.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• conan-database.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• conan-database.0.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• conan-lwt.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• conan-lwt.0.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• conan-unix.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• conan-unix.0.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• conan.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
• conan.0.0.6 on 5.3.0 is not available anymore. Previous state was: passing
• coq-core.9.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• coq-core.9.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• coq.9.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• coq.9.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• coqide-server.9.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• coqide-server.9.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• dns-certify.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-certify.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-cli.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-cli.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-lwt.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-miou-unix.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client-mirage.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-client.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-client.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-mirage.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-mirage.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-resolver.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-resolver.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-server.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-server.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-stub.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-stub.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns-tsig.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns-tsig.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dns.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dns.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• dnssec.10.2.3 on 4.14.2 is not available anymore. Previous state was: passing
• dnssec.10.2.3 on 5.3.0 is not available anymore. Previous state was: passing
• doi2bib.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• doi2bib.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• dunolint-lib-base.0.0.20251006 on 5.3.0 is not available anymore. Previous state was: passing
• dunolint-lib.0.0.20251006 on 4.14.2 is not available anymore. Previous state was: passing
• dunolint-lib.0.0.20251006 on 5.3.0 is not available anymore. Previous state was: passing
• earlybird.1.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• earlybird.1.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• elpi.3.4.5 on 4.14.2 is not available anymore. Previous state was: passing
• elpi.3.4.5 on 5.3.0 is not available anymore. Previous state was: passing
• frontmatter_extractor.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• frontmatter_extractor.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• html_of_jsx.0.0.7 on 5.3.0 is not available anymore. Previous state was: passing
• iri.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• iri.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• jasmin.2025.06.3 on 4.14.2 is not available anymore. Previous state was: failing
• jasmin.2025.06.3 on 5.3.0 is not available anymore. Previous state was: failing
• kqueue.0.5.0 on 4.14.2 is not available anymore. Previous state was: passing
• kqueue.0.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• lwt.6.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• lwt.6.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• malfunction.0.7 on 4.14.2 is not available anymore. Previous state was: passing
• malfunction.0.7 on 5.3.0 is not available anymore. Previous state was: passing
• mem_usage.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• mem_usage.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.4 on 4.14.2 is not available anymore. Previous state was: passing
• mirage-runtime.4.10.4 on 5.3.0 is not available anymore. Previous state was: passing
• mirage.4.10.4 on 4.14.2 is not available anymore. Previous state was: passing
• mirage.4.10.4 on 5.3.0 is not available anymore. Previous state was: passing
• mpi.1.06 on 4.14.2 is not available anymore. Previous state was: passing
• mpi.1.06 on 5.3.0 is not available anymore. Previous state was: passing
• obuild.0.1.11 on 4.14.2 is not available anymore. Previous state was: passing
• obuild.0.1.11 on 5.3.0 is not available anymore. Previous state was: passing
• opam-publish.2.7.1 on 4.14.2 is not available anymore. Previous state was: passing
• opam-publish.2.7.1 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-eio.0.12 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.12 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-cohttp-lwt.0.12 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.12 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-client-ocurl.0.12 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.12 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-cohttp-lwt.0.12 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-logs.0.12 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-logs.0.12 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.12 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry-lwt.0.12 on 5.3.0 is not available anymore. Previous state was: passing
• opentelemetry.0.12 on 4.14.2 is not available anymore. Previous state was: passing
• opentelemetry.0.12 on 5.3.0 is not available anymore. Previous state was: passing
• ortools.9.14.0 on 4.14.2 is not available anymore. Previous state was: passing
• ortools.9.14.0 on 5.3.0 is not available anymore. Previous state was: passing
• ortools_solvers.9.14.0 on 4.14.2 is not available anymore. Previous state was: internal failure
• ortools_solvers.9.14.0 on 5.3.0 is not available anymore. Previous state was: internal failure
• pf-qubes.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• pf-qubes.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-base.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-base.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-bindings.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-bindings.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-errno.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-errno.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-getopt.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-getopt.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-math2.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-math2.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-resource.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-resource.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-signal.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-signal.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-socket-unix.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-socket-unix.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-socket.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-socket.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-stat.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-stat.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-time2.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-time2.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-types.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-types.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-uname.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-uname.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• posix-unistd.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
• posix-unistd.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_trace.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_trace.0.11 on 5.3.0 is not available anymore. Previous state was: passing
• ppxlib.0.37.0 on 4.14.2 is not available anymore. Previous state was: passing
• ppxlib.0.37.0 on 5.3.0 is not available anymore. Previous state was: passing
• qcaml.0.1.7 on 5.3.0 is not available anymore. Previous state was: partially failing
• qcow-stream.0.12.3 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-stream.0.12.3 on 5.3.0 is not available anymore. Previous state was: passing
• qcow-tool.0.12.3 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.12.3 on 4.14.2 is not available anymore. Previous state was: passing
• qcow-types.0.12.3 on 5.3.0 is not available anymore. Previous state was: passing
• qcow.0.12.3 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-core.9.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-core.9.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-devtools.9.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-devtools.9.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-runtime.9.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-runtime.9.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• rocqide.9.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocqide.9.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• saltoIL.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• slipshow.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
• slipshow.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.21.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.21.0 on 5.3.0 is not available anymore. Previous state was: passing
• solo5.0.10.0 on 4.14.2 is not available anymore. Previous state was: passing
• solo5.0.10.0 on 5.3.0 is not available anymore. Previous state was: passing
• spectrum.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• spectrum.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• sqlite3.5.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• sqlite3.5.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• symex.0.1 on 5.3.0 is not available anymore. Previous state was: passing
• syndic.1.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• syndic.1.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-diff.0.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• testo-diff.0.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• testo-lwt.0.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• testo-lwt.0.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• testo-util.0.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• testo-util.0.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• testo.0.3.4 on 4.14.2 is not available anymore. Previous state was: passing
• testo.0.3.4 on 5.3.0 is not available anymore. Previous state was: passing
• textmate-language.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• textmate-language.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• tls-eio.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• tls-lwt.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• tls-lwt.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• tls-miou-unix.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• tls-mirage.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• tls-mirage.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• tls.2.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• tls.2.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• trace-fuchsia.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• trace-fuchsia.0.11 on 5.3.0 is not available anymore. Previous state was: passing
• trace-tef.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• trace-tef.0.11 on 5.3.0 is not available anymore. Previous state was: passing
• trace.0.11 on 4.14.2 is not available anymore. Previous state was: passing
• trace.0.11 on 5.3.0 is not available anymore. Previous state was: passing
• vif.0.0.1~beta1 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• conf-gtk2.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-leveldb.2 on 5.3.0 had its build status changed: failing to internal failure
• conf-libMagickCore.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxi.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-libxinerama.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-mpfr.3 on 5.3.0 had its build status changed: passing to internal failure
• conf-nmap.1.0.0 on 4.14.2 had its build status changed: passing to internal failure

Packages now passing:

• alice.0.5.0 on 5.3.0 is now installable. Current state is: passing
• ambient-context-eio.0.2 on 5.3.0 is now installable. Current state is: passing
• ambient-context-lwt.0.2 on 4.14.2 is now installable. Current state is: passing
• ambient-context-lwt.0.2 on 5.3.0 is now installable. Current state is: passing
• ambient-context.0.2 on 4.14.2 is now installable. Current state is: passing
• ambient-context.0.2 on 5.3.0 is now installable. Current state is: passing
• bibfmt.0.9.2 on 4.14.2 is now installable. Current state is: passing
• bibfmt.0.9.2 on 5.3.0 is now installable. Current state is: passing
• ca-certs-nss.3.121 on 4.14.2 is now installable. Current state is: passing
• ca-certs-nss.3.121 on 5.3.0 is now installable. Current state is: passing
• caisar.5.0 on 4.14.2 is now installable. Current state is: passing
• caisar.5.0 on 5.3.0 is now installable. Current state is: passing
• canary.0.0.4 on 4.14.2 is now installable. Current state is: passing
• canary.0.0.4 on 5.3.0 is now installable. Current state is: passing
• charrua-client.3.1.1 on 4.14.2 is now installable. Current state is: passing
• charrua-client.3.1.1 on 5.3.0 is now installable. Current state is: passing
• charrua-server.3.1.1 on 4.14.2 is now installable. Current state is: passing
• charrua-server.3.1.1 on 5.3.0 is now installable. Current state is: passing
• charrua-unix.3.1.1 on 4.14.2 is now installable. Current state is: passing
• charrua-unix.3.1.1 on 5.3.0 is now installable. Current state is: passing
• charrua.3.1.1 on 4.14.2 is now installable. Current state is: passing
• charrua.3.1.1 on 5.3.0 is now installable. Current state is: passing
• compiler-cloning.enabled on 4.14.2 is now installable. Current state is: passing
• compiler-cloning.enabled on 5.3.0 is now installable. Current state is: passing
• conan-cli.0.0.7 on 4.14.2 is now installable. Current state is: passing
• conan-cli.0.0.7 on 5.3.0 is now installable. Current state is: passing
• conan-database.0.0.7 on 4.14.2 is now installable. Current state is: passing
• conan-database.0.0.7 on 5.3.0 is now installable. Current state is: passing
• conan-lwt.0.0.7 on 4.14.2 is now installable. Current state is: passing
• conan-lwt.0.0.7 on 5.3.0 is now installable. Current state is: passing
• conan-unix.0.0.7 on 4.14.2 is now installable. Current state is: passing
• conan-unix.0.0.7 on 5.3.0 is now installable. Current state is: passing
• conan.0.0.7 on 4.14.2 is now installable. Current state is: passing
• conan.0.0.7 on 5.3.0 is now installable. Current state is: passing
• conf-bzip2.1 on 4.14.2 is now installable. Current state is: passing
• conf-bzip2.1 on 5.3.0 is now installable. Current state is: passing
• conf-clang-format.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-lilv.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-mysql.1 on 4.14.2 had its build status changed: internal failure to passing
• coq-core.9.1.1 on 4.14.2 is now installable. Current state is: passing
• coq-core.9.1.1 on 5.3.0 is now installable. Current state is: passing
• coq.9.1.1 on 4.14.2 is now installable. Current state is: passing
• coq.9.1.1 on 5.3.0 is now installable. Current state is: passing
• coqide-server.9.1.1 on 4.14.2 is now installable. Current state is: passing
• coqide-server.9.1.1 on 5.3.0 is now installable. Current state is: passing
• dns-certify.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-certify.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-cli.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-cli.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-client-lwt.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-client-lwt.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-client-miou-unix.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-client-mirage.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-client-mirage.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-client.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-client.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-mirage.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-mirage.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-resolver.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-resolver.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-server.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-server.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-stub.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-stub.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns-tsig.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns-tsig.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dns.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dns.10.2.4 on 5.3.0 is now installable. Current state is: passing
• dnssec.10.2.4 on 4.14.2 is now installable. Current state is: passing
• dnssec.10.2.4 on 5.3.0 is now installable. Current state is: passing
• doi2bib.0.9.2 on 4.14.2 is now installable. Current state is: passing
• doi2bib.0.9.2 on 5.3.0 is now installable. Current state is: passing
• dunolint-lib-base.0.0.20260306 on 4.14.2 is now installable. Current state is: passing
• dunolint-lib-base.0.0.20260306 on 5.3.0 is now installable. Current state is: passing
• dunolint-lib.0.0.20260306 on 4.14.2 is now installable. Current state is: passing
• dunolint-lib.0.0.20260306 on 5.3.0 is now installable. Current state is: passing
• earlybird.1.3.5 on 4.14.2 is now installable. Current state is: passing
• earlybird.1.3.5 on 5.3.0 is now installable. Current state is: passing
• eliom.12.0.1 on 5.3.0 is now installable. Current state is: passing
• elpi.3.6.1 on 4.14.2 is now installable. Current state is: passing
• elpi.3.6.1 on 5.3.0 is now installable. Current state is: passing
• frontmatter_extractor.0.2 on 4.14.2 is now installable. Current state is: passing
• frontmatter_extractor.0.2 on 5.3.0 is now installable. Current state is: passing
• html_of_jsx.0.0.8 on 4.14.2 is now installable. Current state is: passing
• html_of_jsx.0.0.8 on 5.3.0 is now installable. Current state is: passing
• iri.1.2.0 on 4.14.2 is now installable. Current state is: passing
• iri.1.2.0 on 5.3.0 is now installable. Current state is: passing
• kqueue.0.7.0 on 4.14.2 is now installable. Current state is: passing
• kqueue.0.7.0 on 5.3.0 is now installable. Current state is: passing
• lwt.6.1.1 on 4.14.2 is now installable. Current state is: passing
• lwt.6.1.1 on 5.3.0 is now installable. Current state is: passing
• lwt_ppx_to_let_syntax.0.1 on 5.3.0 is now installable. Current state is: passing
• malfunction.0.7.1 on 4.14.2 is now installable. Current state is: passing
• malfunction.0.7.1 on 5.3.0 is now installable. Current state is: passing
• melange-str.0.1.0 on 5.3.0 is now installable. Current state is: passing
• mem_usage.0.1.3 on 4.14.2 is now installable. Current state is: passing
• mem_usage.0.1.3 on 5.3.0 is now installable. Current state is: passing
• mhttp-client.0.0.1 on 5.3.0 is now installable. Current state is: passing
• mhttp-server.0.0.1 on 5.3.0 is now installable. Current state is: passing
• mhttp.0.0.1 on 5.3.0 is now installable. Current state is: passing
• mirage-runtime.4.10.5 on 4.14.2 is now installable. Current state is: passing
• mirage-runtime.4.10.5 on 5.3.0 is now installable. Current state is: passing
• mirage.4.10.5 on 4.14.2 is now installable. Current state is: passing
• mirage.4.10.5 on 5.3.0 is now installable. Current state is: passing
• mpi.1.07 on 4.14.2 is now installable. Current state is: passing
• mpi.1.07 on 5.3.0 is now installable. Current state is: passing
• obuild.0.2.2 on 4.14.2 is now installable. Current state is: passing
• obuild.0.2.2 on 5.3.0 is now installable. Current state is: passing
• ocsigen-start.8.0.0 on 5.3.0 is now installable. Current state is: passing
• ocsigen-toolkit.4.2.0 on 5.3.0 is now installable. Current state is: passing
• opam-publish.3.0.0 on 4.14.2 is now installable. Current state is: passing
• opam-publish.3.0.0 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-eio.0.13 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.13 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-cohttp-lwt.0.13 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.13 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-client-ocurl.0.13 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.13 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-cohttp-lwt.0.13 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-logs.0.13 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-logs.0.13 on 5.3.0 is now installable. Current state is: passing
• opentelemetry-lwt.0.13 on 4.14.2 is now installable. Current state is: passing
• opentelemetry-lwt.0.13 on 5.3.0 is now installable. Current state is: passing
• opentelemetry.0.13 on 4.14.2 is now installable. Current state is: passing
• opentelemetry.0.13 on 5.3.0 is now installable. Current state is: passing
• ortools.9.15.0-1 on 4.14.2 is now installable. Current state is: passing
• ortools.9.15.0-1 on 5.3.0 is now installable. Current state is: passing
• ortools_solvers.9.15.0-1 on 4.14.2 is now installable. Current state is: passing
• ortools_solvers.9.15.0-1 on 5.3.0 is now installable. Current state is: passing
• oui.0.1.0 on 4.14.2 is now installable. Current state is: passing
• oui.0.1.0 on 5.3.0 is now installable. Current state is: passing
• pf-qubes.0.1.2 on 4.14.2 is now installable. Current state is: passing
• pf-qubes.0.1.2 on 5.3.0 is now installable. Current state is: passing
• posix-base.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-base.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-bindings.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-bindings.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-errno.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-errno.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-getopt.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-getopt.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-math2.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-math2.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-resource.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-resource.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-signal.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-signal.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-socket-unix.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-socket-unix.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-socket.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-socket.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-stat.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-stat.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-time2.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-time2.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-types.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-types.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-uname.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-uname.4.0.2 on 5.3.0 is now installable. Current state is: passing
• posix-unistd.4.0.2 on 4.14.2 is now installable. Current state is: passing
• posix-unistd.4.0.2 on 5.3.0 is now installable. Current state is: passing
• ppx_mikmatch.1.2 on 4.14.2 is now installable. Current state is: passing
• ppx_mikmatch.1.2 on 5.3.0 is now installable. Current state is: passing
• ppx_trace.0.12 on 4.14.2 is now installable. Current state is: passing
• ppx_trace.0.12 on 5.3.0 is now installable. Current state is: passing
• ppx_windtrap.0.1.0 on 5.3.0 is now installable. Current state is: passing
• ppxlib.0.38.0~5.5preview on 4.14.2 is now installable. Current state is: passing
• ppxlib.0.38.0~5.5preview on 5.3.0 is now installable. Current state is: passing
• qcow-stream.0.13.0 on 4.14.2 is now installable. Current state is: passing
• qcow-stream.0.13.0 on 5.3.0 is now installable. Current state is: passing
• qcow-tool.0.13.0 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.13.0 on 4.14.2 is now installable. Current state is: passing
• qcow-types.0.13.0 on 5.3.0 is now installable. Current state is: passing
• qcow.0.13.0 on 4.14.2 is now installable. Current state is: passing
• rocq-core.9.1.1 on 4.14.2 is now installable. Current state is: passing
• rocq-core.9.1.1 on 5.3.0 is now installable. Current state is: passing
• rocq-devtools.9.1.1 on 4.14.2 is now installable. Current state is: passing
• rocq-devtools.9.1.1 on 5.3.0 is now installable. Current state is: passing
• rocq-runtime.9.1.1 on 4.14.2 is now installable. Current state is: passing
• rocq-runtime.9.1.1 on 5.3.0 is now installable. Current state is: passing
• rocqide.9.1.1 on 4.14.2 is now installable. Current state is: passing
• rocqide.9.1.1 on 5.3.0 is now installable. Current state is: passing
• saltoIL.0.2.1 on 4.14.2 is now installable. Current state is: passing
• slipshow.0.10.0 on 4.14.2 is now installable. Current state is: passing
• slipshow.0.10.0 on 5.3.0 is now installable. Current state is: passing
• smtml.0.23.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.23.0 on 5.3.0 is now installable. Current state is: passing
• solo5.0.10.1 on 4.14.2 is now installable. Current state is: passing
• solo5.0.10.1 on 5.3.0 is now installable. Current state is: passing
• spectrum.1.0.0.alpha on 4.14.2 is now installable. Current state is: passing
• spectrum.1.0.0.alpha on 5.3.0 is now installable. Current state is: passing
• spectrum_capabilities.1.0.0.alpha on 4.14.2 is now installable. Current state is: passing
• spectrum_capabilities.1.0.0.alpha on 5.3.0 is now installable. Current state is: passing
• spectrum_palette_ppx.1.0.0.alpha on 4.14.2 is now installable. Current state is: passing
• spectrum_palette_ppx.1.0.0.alpha on 5.3.0 is now installable. Current state is: passing
• spectrum_palettes.1.0.0.alpha on 4.14.2 is now installable. Current state is: passing
• spectrum_palettes.1.0.0.alpha on 5.3.0 is now installable. Current state is: passing
• spectrum_tools.1.0.0.alpha on 4.14.2 is now installable. Current state is: passing
• spectrum_tools.1.0.0.alpha on 5.3.0 is now installable. Current state is: passing
• sqlite3.5.4.0 on 4.14.2 is now installable. Current state is: passing
• sqlite3.5.4.0 on 5.3.0 is now installable. Current state is: passing
• symex.0.2 on 5.3.0 is now installable. Current state is: passing
• syndic.1.8.0 on 4.14.2 is now installable. Current state is: passing
• syndic.1.8.0 on 5.3.0 is now installable. Current state is: passing
• testo-diff.0.4.0 on 4.14.2 is now installable. Current state is: passing
• testo-diff.0.4.0 on 5.3.0 is now installable. Current state is: passing
• testo-lwt.0.4.0 on 4.14.2 is now installable. Current state is: passing
• testo-lwt.0.4.0 on 5.3.0 is now installable. Current state is: passing
• testo-util.0.4.0 on 4.14.2 is now installable. Current state is: passing
• testo-util.0.4.0 on 5.3.0 is now installable. Current state is: passing
• testo.0.4.0 on 4.14.2 is now installable. Current state is: passing
• testo.0.4.0 on 5.3.0 is now installable. Current state is: passing
• textmate-language.0.5.0 on 4.14.2 is now installable. Current state is: passing
• textmate-language.0.5.0 on 5.3.0 is now installable. Current state is: passing
• tls-eio.2.0.4 on 5.3.0 is now installable. Current state is: passing
• tls-lwt.2.0.4 on 4.14.2 is now installable. Current state is: passing
• tls-lwt.2.0.4 on 5.3.0 is now installable. Current state is: passing
• tls-miou-unix.2.0.4 on 5.3.0 is now installable. Current state is: passing
• tls-mirage.2.0.4 on 4.14.2 is now installable. Current state is: passing
• tls-mirage.2.0.4 on 5.3.0 is now installable. Current state is: passing
• tls.2.0.4 on 4.14.2 is now installable. Current state is: passing
• tls.2.0.4 on 5.3.0 is now installable. Current state is: passing
• tm-grammars.1.0.1 on 4.14.2 is now installable. Current state is: passing
• tm-grammars.1.0.1 on 5.3.0 is now installable. Current state is: passing
• toffee.0.1.0 on 5.3.0 is now installable. Current state is: passing
• trace-fuchsia.0.12 on 4.14.2 is now installable. Current state is: passing
• trace-fuchsia.0.12 on 5.3.0 is now installable. Current state is: passing
• trace-runtime-events.0.12 on 5.3.0 is now installable. Current state is: passing
• trace-tef.0.12 on 4.14.2 is now installable. Current state is: passing
• trace-tef.0.12 on 5.3.0 is now installable. Current state is: passing
• trace.0.12 on 4.14.2 is now installable. Current state is: passing
• trace.0.12 on 5.3.0 is now installable. Current state is: passing
• tree-sitter.0.1.0 on 5.3.0 is now installable. Current state is: passing
• vif.0.0.1~beta2 on 5.3.0 is now installable. Current state is: passing
• vifu.0.0.1~beta2 on 5.3.0 is now installable. Current state is: passing
• windtrap.0.1.0 on 5.3.0 is now installable. Current state is: passing
• yultracer.0.2.0 on 4.14.2 is now installable. Current state is: passing
• yultracer.0.2.0 on 5.3.0 is now installable. Current state is: passing