Packages now failing:
- functory.0.6 on 4.14.2 had its build status changed: passing to failing
Packages now 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- vif.0.0.1~beta1 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an 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.1 on 4.14.2 is now installable. Current state is: passing
- bibfmt.0.9.1 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
- 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
- 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.1 on 4.14.2 is now installable. Current state is: passing
- doi2bib.0.9.1 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.0 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
- 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
- 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
- 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
- ortools.9.15.0 on 4.14.2 is now installable. Current state is: passing
- ortools.9.15.0 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_windtrap.0.1.0 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
- 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
- toffee.0.1.0 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