Packages now failing:
Packages now partially failing:
Packages now not available:
- aifad.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- aifad.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- arp.4.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- arp.4.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- ca-certs-nss.3.115 on 4.14.2 is not available anymore. Previous state was: passing
- ca-certs-nss.3.115 on 5.3.0 is not available anymore. Previous state was: passing
- climate.0.8.4 on 4.14.2 is not available anymore. Previous state was: passing
- climate.0.8.4 on 5.3.0 is not available anymore. Previous state was: passing
- coq-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- coq-lsp.0.2.4+9.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq-lsp.0.2.4+9.0 on 5.3.0 is not available anymore. Previous state was: passing
- coq.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- coqide-server.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- coqide-server.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- dns-certify.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-certify.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-cli.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-cli.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client-lwt.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-client-lwt.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client-miou-unix.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client-mirage.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-client-mirage.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-client.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-client.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-mirage.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-mirage.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-resolver.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-resolver.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-server.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-server.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-stub.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-stub.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns-tsig.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns-tsig.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dns.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dns.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dnssec.10.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- dnssec.10.2.1 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile-cmd.8.3.2 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile-cmd.8.3.2 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile-opam.8.3.2 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile-opam.8.3.2 on 5.3.0 is not available anymore. Previous state was: passing
- dockerfile.8.3.2 on 4.14.2 is not available anymore. Previous state was: passing
- dockerfile.8.3.2 on 5.3.0 is not available anymore. Previous state was: passing
- domain-name.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- domain-name.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- elpi.3.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- elpi.3.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- gen_js_api.1.1.5 on 4.14.2 is not available anymore. Previous state was: passing
- gen_js_api.1.1.5 on 5.3.0 is not available anymore. Previous state was: passing
- handlebars-ml.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- handlebars-ml.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.5 on 4.14.2 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.5 on 5.3.0 is not available anymore. Previous state was: passing
- libsail.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- libsail.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- miou.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
- ninja_utils.0.9.0 on 4.14.2 is not available anymore. Previous state was: passing
- ninja_utils.0.9.0 on 5.3.0 is not available anymore. Previous state was: passing
- ojs.1.1.5 on 4.14.2 is not available anymore. Previous state was: passing
- ojs.1.1.5 on 5.3.0 is not available anymore. Previous state was: passing
- p5scm.0.4.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- ppx_import.1.11.0 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_import.1.11.0 on 5.3.0 is not available anymore. Previous state was: passing
- ppxlib-tools.0.36.2 on 4.14.2 is not available anymore. Previous state was: passing
- ppxlib-tools.0.36.2 on 5.3.0 is not available anymore. Previous state was: passing
- ppxlib.0.37.0~5.4preview on 4.14.2 is not available anymore. Previous state was: passing
- ppxlib.0.37.0~5.4preview on 5.3.0 is not available anymore. Previous state was: passing
- raygui.1.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- raygui.1.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- raylib.1.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- raylib.1.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- rocq-core.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rocq-core.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rocq-runtime.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rocq-runtime.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- rocqide.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
- rocqide.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
- sail.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_c_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_c_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_coq_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_coq_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_doc_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_doc_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_latex_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_latex_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_lean_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_lean_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_lem_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_lem_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_manifest.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_manifest.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_ocaml_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_ocaml_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_output.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_output.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_smt_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_smt_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
- sail_sv_backend.0.19.1 on 4.14.2 is not available anymore. Previous state was: passing
- sail_sv_backend.0.19.1 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- aifad.2.3.2 on 4.14.2 is now installable. Current state is: passing
- aifad.2.3.2 on 5.3.0 is now installable. Current state is: passing
- arp.4.1.0 on 4.14.2 is now installable. Current state is: passing
- arp.4.1.0 on 5.3.0 is now installable. Current state is: passing
- bap-abi.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-analyze.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-api.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-arm.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-beagle-strings.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-beagle.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-bil.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-build.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-bundle.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-byteweight-frontend.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-byteweight.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-c.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-cache.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-callgraph-collator.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-callsites.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-constant-tracker.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-core-theory.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-cxxfilt.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-demangle.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-dependencies.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-disassemble.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-dump-symbols.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-dwarf.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-elementary.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-elf.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-flatten.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-frontc.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-frontend.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-future.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-glibc-runtime.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-knowledge.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-main.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-mc.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-microx.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-mips.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-objdump.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-optimization.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-patterns.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-phoenix.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-piqi.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-plugins.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-powerpc.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-dictionary.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-exploring-scheduler.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-greedy-scheduler.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-limit.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-lisp.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-loader.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-mark-visited.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-powerpc.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-print.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-promiscuous.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-propagate-taint.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-random.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-region.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-round-robin-scheduler.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-support.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-systems.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-taint.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-test.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-track-visited.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus-wandering-scheduler.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-primus.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-print.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-radare2.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-raw.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-recipe-command.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-report.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-riscv.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-run.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-specification.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-ssa.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-std.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-strings.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-stub-resolver.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-symbol-reader.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-systemz.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-taint-propagator.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-taint.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-term-mapper.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-thumb.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-toplevel.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-trace.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-traces.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-trivial-condition-form.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bap-warn-unused.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- bitvec-binprot.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- ca-certs-nss.3.117 on 4.14.2 is now installable. Current state is: passing
- ca-certs-nss.3.117 on 5.3.0 is now installable. Current state is: passing
- climate.0.8.5 on 4.14.2 is now installable. Current state is: passing
- climate.0.8.5 on 5.3.0 is now installable. Current state is: passing
- comby-kernel.1.7.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-allegro5.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-antic.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-asciidoc.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-cairo.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-cmake.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-ffmpeg.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ffmpeg.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-freeglut.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gfortran.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-glib-2.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gtksourceview3.0+2 on 5.3.0 had its build status changed: internal failure to passing
- conf-lapack.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libMagickCore.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libgccjit.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-llvm-shared.19 on 4.14.2 had its build status changed: internal failure to passing
- conf-mpi.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-npm.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ppl.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-rubberband.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-rust-2018.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-rust-2024.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sdl2.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-vim.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-vips.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-vips.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-xen.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-zmq.0.1 on 4.14.2 had its build status changed: internal failure to passing
- coq-core.9.1.0 on 4.14.2 is now installable. Current state is: passing
- coq-core.9.1.0 on 5.3.0 is now installable. Current state is: passing
- coq-lsp.0.2.4+9.1 on 4.14.2 is now installable. Current state is: passing
- coq-lsp.0.2.4+9.1 on 5.3.0 is now installable. Current state is: passing
- coq.9.1.0 on 4.14.2 is now installable. Current state is: passing
- coq.9.1.0 on 5.3.0 is now installable. Current state is: passing
- coqide-server.9.1.0 on 4.14.2 is now installable. Current state is: passing
- coqide-server.9.1.0 on 5.3.0 is now installable. Current state is: passing
- cubicle.1.2.0 on 4.14.2 had its build status changed: failing to passing
- dns-certify.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-certify.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-cli.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-cli.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-client-lwt.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-client-lwt.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-client-miou-unix.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-client-mirage.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-client-mirage.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-client.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-client.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-mirage.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-mirage.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-resolver.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-resolver.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-server.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-server.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-stub.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-stub.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns-tsig.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns-tsig.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dns.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dns.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dnssec.10.2.2 on 4.14.2 is now installable. Current state is: passing
- dnssec.10.2.2 on 5.3.0 is now installable. Current state is: passing
- dockerfile-cmd.8.3.3 on 4.14.2 is now installable. Current state is: passing
- dockerfile-cmd.8.3.3 on 5.3.0 is now installable. Current state is: passing
- dockerfile-opam.8.3.3 on 4.14.2 is now installable. Current state is: passing
- dockerfile-opam.8.3.3 on 5.3.0 is now installable. Current state is: passing
- dockerfile.8.3.3 on 4.14.2 is now installable. Current state is: passing
- dockerfile.8.3.3 on 5.3.0 is now installable. Current state is: passing
- domain-name.0.5.0 on 4.14.2 is now installable. Current state is: passing
- domain-name.0.5.0 on 5.3.0 is now installable. Current state is: passing
- elpi.3.4.2 on 4.14.2 is now installable. Current state is: passing
- elpi.3.4.2 on 5.3.0 is now installable. Current state is: passing
- fadecider.0.7 on 4.14.2 is now installable. Current state is: passing
- fadecider.0.7 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-swresample.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
- fm-simplex-plugin.1.30 on 4.14.2 had its build status changed: partially failing to passing
- fmlib.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_browser.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_js.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_parse.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_pretty.0.6.0 on 5.3.0 is now installable. Current state is: passing
- fmlib_std.0.6.0 on 5.3.0 is now installable. Current state is: passing
- frama-c-lannotate.0.2.4 on 5.3.0 had its build status changed: internal failure to passing
- frama-c-luncov.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
- frama-c-luncov.0.2.4 on 5.3.0 had its build status changed: internal failure to passing
- frama-c.31.0 on 5.3.0 had its build status changed: internal failure to passing
- gen_js_api.1.1.6 on 4.14.2 is now installable. Current state is: passing
- gen_js_api.1.1.6 on 5.3.0 is now installable. Current state is: passing
- graphlib.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- handlebars-ml.0.2.0 on 4.14.2 is now installable. Current state is: passing
- handlebars-ml.0.2.0 on 5.3.0 is now installable. Current state is: passing
- hiredis.0.8 on 4.14.2 had its build status changed: internal failure to passing
- html_of_jsx.0.0.6 on 4.14.2 is now installable. Current state is: passing
- html_of_jsx.0.0.6 on 5.3.0 is now installable. Current state is: passing
- huml-cli.0.1.1 on 4.14.2 is now installable. Current state is: passing
- huml-cli.0.1.1 on 5.3.0 is now installable. Current state is: passing
- huml.0.1.1 on 4.14.2 is now installable. Current state is: passing
- huml.0.1.1 on 5.3.0 is now installable. Current state is: passing
- json-derivers.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- lablgtk3.3.1.5 on 4.14.2 had its build status changed: internal failure to passing
- libsail.0.20 on 4.14.2 is now installable. Current state is: passing
- libsail.0.20 on 5.3.0 is now installable. Current state is: passing
- miou.0.5.0 on 5.3.0 is now installable. Current state is: passing
- mlsolver.1.5 on 4.14.2 is now installable. Current state is: passing
- mlsolver.1.5 on 5.3.0 is now installable. Current state is: passing
- monads.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- ninja_utils.1.0.0 on 4.14.2 is now installable. Current state is: passing
- ninja_utils.1.0.0 on 5.3.0 is now installable. Current state is: passing
- nsq.0.5.3 on 4.14.2 had its build status changed: internal failure to passing
- oglsl.0.1.0 on 5.3.0 is now installable. Current state is: passing
- ogre.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- ojs.1.1.6 on 4.14.2 is now installable. Current state is: passing
- ojs.1.1.6 on 5.3.0 is now installable. Current state is: passing
- opatch.3.0.1 on 4.14.2 is now installable. Current state is: passing
- opatch.3.0.1 on 5.3.0 is now installable. Current state is: passing
- otp.0.2 on 4.14.2 is now installable. Current state is: passing
- otp.0.2 on 5.3.0 is now installable. Current state is: passing
- pcrc.0.25.2 on 4.14.2 is now installable. Current state is: passing
- pcrc.0.25.2 on 5.3.0 is now installable. Current state is: passing
- ppx_bap.v0.14.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_fail.v0.14.0 on 4.14.2 had its build status changed: internal failure to passing
- ppx_import.1.12.0 on 4.14.2 is now installable. Current state is: passing
- ppx_import.1.12.0 on 5.3.0 is now installable. Current state is: passing
- ppxlib-tools.0.37.0 on 4.14.2 is now installable. Current state is: passing
- ppxlib-tools.0.37.0 on 5.3.0 is now installable. Current state is: passing
- ppxlib.0.37.0 on 4.14.2 is now installable. Current state is: passing
- ppxlib.0.37.0 on 5.3.0 is now installable. Current state is: passing
- profiler-plugin.1.30 on 4.14.2 had its build status changed: partially failing to passing
- regular.2.5.0 on 4.14.2 had its build status changed: internal failure to passing
- rocq-core.9.1.0 on 4.14.2 is now installable. Current state is: passing
- rocq-core.9.1.0 on 5.3.0 is now installable. Current state is: passing
- rocq-devtools.9.1.0 on 4.14.2 is now installable. Current state is: passing
- rocq-devtools.9.1.0 on 5.3.0 is now installable. Current state is: passing
- rocq-runtime.9.1.0 on 4.14.2 is now installable. Current state is: passing
- rocq-runtime.9.1.0 on 5.3.0 is now installable. Current state is: passing
- rocqide.9.1.0 on 4.14.2 is now installable. Current state is: passing
- rocqide.9.1.0 on 5.3.0 is now installable. Current state is: passing
- sail.0.20 on 4.14.2 is now installable. Current state is: passing
- sail.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_c_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_c_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_coq_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_coq_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_doc_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_doc_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_latex_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_latex_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_lean_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_lean_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_lem_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_lem_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_manifest.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_manifest.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_ocaml_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_ocaml_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_output.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_output.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_smt_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_smt_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sail_sv_backend.0.20 on 4.14.2 is now installable. Current state is: passing
- sail_sv_backend.0.20 on 5.3.0 is now installable. Current state is: passing
- sexp_diff_kernel.v0.14.0 on 4.14.2 had its build status changed: internal failure to passing
- tsdl-mixer.0.6 on 5.3.0 had its build status changed: internal failure to passing
- websocket-lwt.2.12 on 4.14.2 had its build status changed: internal failure to passing
Home|Differences with the last checks|Previous runs