Packages now failing:
Packages now partially failing:
Packages now not available:
- albatross.2.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- albatross.2.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- atd.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atd.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdcpp.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdcpp.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdd.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdd.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdgen-codec-runtime.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdgen-codec-runtime.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdgen-runtime.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdgen-runtime.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdgen.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdgen.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdj.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdj.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdpy.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdpy.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atds.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atds.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- atdts.2.16.0 on 4.14.2 is not available anymore. Previous state was: passing
- atdts.2.16.0 on 5.3.0 is not available anymore. Previous state was: passing
- bibfmt.0.7.9 on 4.14.2 is not available anymore. Previous state was: passing
- bibfmt.0.7.9 on 5.3.0 is not available anymore. Previous state was: passing
- cairn.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- cairn.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- charrua-client.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-client.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- charrua-server.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-server.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- charrua-unix.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- charrua-unix.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- charrua.2.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- charrua.2.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-curl-lwt.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-curl-lwt.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-curl.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-curl.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-eio.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-lwt-jsoo.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-lwt-jsoo.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-lwt-unix.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-lwt-unix.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-lwt.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-lwt.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-mirage.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-mirage.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-server-lwt-unix.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-server-lwt-unix.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp-top.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp-top.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- cohttp.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- cohttp.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- doi2bib.0.7.9 on 4.14.2 is not available anymore. Previous state was: passing
- doi2bib.0.7.9 on 5.3.0 is not available anymore. Previous state was: passing
- elpi.3.4.3 on 4.14.2 is not available anymore. Previous state was: passing
- elpi.3.4.3 on 5.3.0 is not available anymore. Previous state was: passing
- flint.0.4.0 on 4.14.2 is not available anymore. Previous state was: partially failing
- flint.0.4.0 on 5.3.0 is not available anymore. Previous state was: partially failing
- fmlib.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_browser.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_browser.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_js.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_js.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_parse.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_parse.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_pretty.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_pretty.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_std.0.6.1 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_std.0.6.1 on 5.3.0 is not available anymore. Previous state was: passing
- frama-c.32.0~beta on 4.14.2 is not available anymore. Previous state was: passing
- frama-c.32.0~beta on 5.3.0 is not available anymore. Previous state was: passing
- github-data.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- github-data.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- github-jsoo.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- github-jsoo.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- github-unix.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- github-unix.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- github.4.5.0 on 4.14.2 is not available anymore. Previous state was: passing
- github.4.5.0 on 5.3.0 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.6 on 4.14.2 is not available anymore. Previous state was: passing
- html_of_jsx.0.0.6 on 5.3.0 is not available anymore. Previous state was: passing
- http.6.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- http.6.1.1 on 5.3.0 is not available anymore. Previous state was: passing
- jasmin.2025.06.2 on 4.14.2 is not available anymore. Previous state was: failing
- jasmin.2025.06.2 on 5.3.0 is not available anymore. Previous state was: failing
- json-data-encoding-browser.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- json-data-encoding-browser.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- json-data-encoding-bson.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- json-data-encoding-bson.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- json-data-encoding.1.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- json-data-encoding.1.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- jsonrpc.1.24.0 on 4.14.2 is not available anymore. Previous state was: passing
- jsonrpc.1.24.0 on 5.3.0 is not available anymore. Previous state was: passing
- lsp.1.24.0 on 4.14.2 is not available anymore. Previous state was: passing
- lsp.1.24.0 on 5.3.0 is not available anymore. Previous state was: passing
- lwt.6.0.0~alpha00 on 4.14.2 is not available anymore. Previous state was: passing
- lwt.6.0.0~alpha00 on 5.3.0 is not available anymore. Previous state was: passing
- lwt_direct.6.0.0~alpha00 on 5.3.0 is not available anymore. Previous state was: passing
- lwt_ppx.5.9.2 on 4.14.2 is not available anymore. Previous state was: passing
- lwt_ppx.5.9.2 on 5.3.0 is not available anymore. Previous state was: passing
- mazeppa.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
- mazeppa.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- melange-jest.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
- melange-testing-library.0.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- melange-testing-library.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- melange-webapi.0.21.0 on 4.14.2 is not available anymore. Previous state was: passing
- melange-webapi.0.21.0 on 5.3.0 is not available anymore. Previous state was: passing
- melange.5.1.0-414 on 4.14.2 is not available anymore. Previous state was: passing
- melange.5.1.0-53 on 5.3.0 is not available anymore. Previous state was: passing
- opam-build.0.2.6 on 4.14.2 is not available anymore. Previous state was: passing
- opam-build.0.2.6 on 5.3.0 is not available anymore. Previous state was: passing
- opam-check-npm-deps.4.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-check-npm-deps.4.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-test.0.2.6 on 4.14.2 is not available anymore. Previous state was: passing
- opam-test.0.2.6 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_deriving_qcheck.0.7 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_deriving_qcheck.0.7 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_parser.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- ppx_parser.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- prometheus-app.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- prometheus-app.1.2 on 5.3.0 is not available anymore. Previous state was: passing
- prometheus.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- prometheus.1.2 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.27 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.27 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-core.0.27 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-core.0.27 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck-ounit.0.27 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck-ounit.0.27 on 5.3.0 is not available anymore. Previous state was: passing
- qcheck.0.27 on 4.14.2 is not available anymore. Previous state was: passing
- qcheck.0.27 on 5.3.0 is not available anymore. Previous state was: passing
- quickjs.0.4.0 on 4.14.2 is not available anymore. Previous state was: passing
- quickjs.0.4.0 on 5.3.0 is not available anymore. Previous state was: passing
- rizzo.0.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- secp256k1.0.4.4 on 4.14.2 is not available anymore. Previous state was: passing
- smtml.0.16.0 on 4.14.2 is not available anymore. Previous state was: internal failure
- smtml.0.16.0 on 5.3.0 is not available anymore. Previous state was: internal failure
- synchronizer.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- syslog-rfc5424.0.1 on 4.14.2 is not available anymore. Previous state was: passing
- syslog-rfc5424.0.1 on 5.3.0 is not available anymore. Previous state was: passing
- tyre.0.5 on 4.14.2 is not available anymore. Previous state was: passing
- tyre.0.5 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_cmarkit.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_eio.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_git.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_jingoo.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_markdown.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_mustache.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_omd.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_otoml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_runtime.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_syndication.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_unix.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
- yocaml_yaml.2.7.0 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- acpc.1.2.3 on 4.14.2 had its build status changed: internal failure to passing
- albatross.2.6.2 on 4.14.2 is now installable. Current state is: passing
- albatross.2.6.2 on 5.3.0 is now installable. Current state is: passing
- atd.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atd.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdcpp.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdcpp.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdd.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdd.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdgen-codec-runtime.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdgen-codec-runtime.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdgen-runtime.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdgen-runtime.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdgen.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdgen.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdj.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdj.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdpy.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdpy.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atds.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atds.3.0.1 on 5.3.0 is now installable. Current state is: passing
- atdts.3.0.1 on 4.14.2 is now installable. Current state is: passing
- atdts.3.0.1 on 5.3.0 is now installable. Current state is: passing
- bibfmt.0.9.0 on 4.14.2 is now installable. Current state is: passing
- bibfmt.0.9.0 on 5.3.0 is now installable. Current state is: passing
- cairn.2.1 on 4.14.2 is now installable. Current state is: passing
- cairn.2.1 on 5.3.0 is now installable. Current state is: passing
- camlid.0.2 on 4.14.2 is now installable. Current state is: passing
- camlid.0.2 on 5.3.0 is now installable. Current state is: passing
- camlkit-base.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
- camlkit-gui.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
- charrua-client.3.0.0 on 4.14.2 is now installable. Current state is: passing
- charrua-client.3.0.0 on 5.3.0 is now installable. Current state is: passing
- charrua-server.3.0.0 on 4.14.2 is now installable. Current state is: passing
- charrua-server.3.0.0 on 5.3.0 is now installable. Current state is: passing
- charrua-unix.3.0.0 on 4.14.2 is now installable. Current state is: passing
- charrua-unix.3.0.0 on 5.3.0 is now installable. Current state is: passing
- charrua.3.0.0 on 4.14.2 is now installable. Current state is: passing
- charrua.3.0.0 on 5.3.0 is now installable. Current state is: passing
- cohttp-curl-lwt.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-curl-lwt.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-curl.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-curl.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-eio.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-lwt-jsoo.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-lwt-jsoo.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-lwt-unix.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-lwt-unix.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-lwt.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-lwt.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-mirage.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-mirage.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-server-lwt-unix.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-server-lwt-unix.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp-top.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp-top.6.2.1 on 5.3.0 is now installable. Current state is: passing
- cohttp.6.2.1 on 4.14.2 is now installable. Current state is: passing
- cohttp.6.2.1 on 5.3.0 is now installable. Current state is: passing
- conf-aclocal.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-adwaita-icon-theme.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-adwaita-icon-theme.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-age.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-alsa.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-alsa.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-antic.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ao.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ao.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-arb.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-asciidoc.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-autoconf.0.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-automake.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-binaryen.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-binaryen.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-bison.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-bison.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-blas.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-blas.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-boost.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-boost.1 on 5.3.0 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-cairo.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-capnproto.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-clang-format.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-clang-format.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-cmake.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-csdp.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-dbm.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-dbm.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-diffutils.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-diffutils.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-dpkg.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-dpkg.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-dssi.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-efl.1.8 on 4.14.2 had its build status changed: internal failure to passing
- conf-efl.1.8 on 5.3.0 had its build status changed: internal failure to passing
- conf-faad.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-faad.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-fdkaac.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-fdkaac.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-fftw3.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-flex.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-flex.2 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-freeglut.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-freetype.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-frei0r.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-fswatch.11-0.1.3 on 4.14.2 had its build status changed: internal failure to passing
- conf-fswatch.11-0.1.3 on 5.3.0 had its build status changed: internal failure to passing
- conf-ftgl.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-ftgl.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-g++.1.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-g++.1.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-gcc.1.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-gcc.1.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-gd.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gd.1 on 5.3.0 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-ghostscript.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-glfw3.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-glfw3.2 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-glib-2.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-glpk.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-glpk.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-gmp-paths.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gmp-powm-sec.4 on 4.14.2 had its build status changed: internal failure to passing
- conf-gmp-powm-sec.4 on 5.3.0 had its build status changed: internal failure to passing
- conf-gmp.5 on 4.14.2 had its build status changed: internal failure to passing
- conf-gmp.5 on 5.3.0 had its build status changed: internal failure to passing
- conf-gnome-icon-theme3.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-gnome-icon-theme3.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-gnomecanvas.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-gnustep-base.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gnustep-base.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-goocanvas2.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-goocanvas2.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-graphviz.0.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-gsl.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-gssapi.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-gtk2.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-gtksourceview.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-jack.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-lame.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libX11.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libXft.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libdw.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libdw.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libevent.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libfontconfig.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libfuse.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libgccjit.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libgif.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libgif.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libgl.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libglu.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libglu.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libgsasl.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libgsasl.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libmaxminddb.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-libmosquitto.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libtheora.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-libtheora.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-llvm-shared.19 on 5.3.0 had its build status changed: internal failure to passing
- conf-mad.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-mpfr.3 on 5.3.0 had its build status changed: internal failure to passing
- conf-nanomsg.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-nanomsg.0 on 5.3.0 had its build status changed: internal failure to passing
- conf-nauty.1.0 on 4.14.2 had its build status changed: internal failure to passing
- conf-openbabel.0.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-opencc1_1.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-openimageio.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-plplot.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-plplot.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-povray.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-pulseaudio.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-r.1.0.0 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-2021.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-rust-2024.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-rust-wasm.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-samplerate.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-scdoc.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl-ttf.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sdl2-ttf.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-sdl2-ttf.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-snappy.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-soundtouch.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-sundials.2 on 4.14.2 had its build status changed: internal failure to passing
- conf-sundials.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-sysinfo.1 on 5.3.0 had its build status changed: internal failure to passing
- conf-texlive.2 on 5.3.0 had its build status changed: internal failure to passing
- conf-vim.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-zig.1 on 4.14.2 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
- cubicle.1.2.0 on 4.14.2 had its build status changed: failing to passing
- doi2bib.0.9.0 on 4.14.2 is now installable. Current state is: passing
- doi2bib.0.9.0 on 5.3.0 is now installable. Current state is: passing
- elpi.3.4.5 on 4.14.2 is now installable. Current state is: passing
- elpi.3.4.5 on 5.3.0 is now installable. Current state is: passing
- ff-pbt.0.6.2 on 5.3.0 had its build status changed: internal failure to passing
- ffmpeg.1.2.7 on 4.14.2 had its build status changed: internal failure to passing
- fmlib.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_browser.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_browser.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_js.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_js.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_parse.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_parse.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_pretty.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_pretty.0.6.2 on 5.3.0 is now installable. Current state is: passing
- fmlib_std.0.6.2 on 4.14.2 is now installable. Current state is: passing
- fmlib_std.0.6.2 on 5.3.0 is now installable. Current state is: passing
- frama-c-luncov.0.2.4 on 5.3.0 had its build status changed: internal failure to passing
- frama-c-metacsl.0.10~beta on 4.14.2 had its build status changed: internal failure to passing
- frama-c-metacsl.0.10~beta on 5.3.0 had its build status changed: internal failure to passing
- frama-c.32.0 on 4.14.2 is now installable. Current state is: passing
- frama-c.32.0 on 5.3.0 is now installable. Current state is: passing
- github-data.4.5.1 on 4.14.2 is now installable. Current state is: passing
- github-data.4.5.1 on 5.3.0 is now installable. Current state is: passing
- github-jsoo.4.5.1 on 4.14.2 is now installable. Current state is: passing
- github-jsoo.4.5.1 on 5.3.0 is now installable. Current state is: passing
- github-unix.4.5.1 on 4.14.2 is now installable. Current state is: passing
- github-unix.4.5.1 on 5.3.0 is now installable. Current state is: passing
- github.4.5.1 on 4.14.2 is now installable. Current state is: passing
- github.4.5.1 on 5.3.0 is now installable. Current state is: passing
- html_of_jsx.0.0.7 on 4.14.2 is now installable. Current state is: passing
- html_of_jsx.0.0.7 on 5.3.0 is now installable. Current state is: passing
- http.6.2.1 on 4.14.2 is now installable. Current state is: passing
- http.6.2.1 on 5.3.0 is now installable. Current state is: passing
- json-data-encoding-browser.1.1.1 on 4.14.2 is now installable. Current state is: passing
- json-data-encoding-browser.1.1.1 on 5.3.0 is now installable. Current state is: passing
- json-data-encoding-bson.1.1.1 on 4.14.2 is now installable. Current state is: passing
- json-data-encoding-bson.1.1.1 on 5.3.0 is now installable. Current state is: passing
- json-data-encoding.1.1.1 on 4.14.2 is now installable. Current state is: passing
- json-data-encoding.1.1.1 on 5.3.0 is now installable. Current state is: passing
- jsonrpc.1.25.0 on 4.14.2 is now installable. Current state is: passing
- jsonrpc.1.25.0 on 5.3.0 is now installable. Current state is: passing
- kot.20251212 on 4.14.2 is now installable. Current state is: passing
- kot.20251212 on 5.3.0 is now installable. Current state is: passing
- lablgtk3.3.1.5-1 on 5.3.0 had its build status changed: internal failure to passing
- labltk.8.06.15 on 4.14.2 had its build status changed: internal failure to passing
- linwrap.9.2.0 on 5.3.0 had its build status changed: internal failure to passing
- liquidsoap-daemon.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
- lsp.1.25.0 on 4.14.2 is now installable. Current state is: passing
- lsp.1.25.0 on 5.3.0 is now installable. Current state is: passing
- lwt.6.0.0-beta01 on 4.14.2 is now installable. Current state is: passing
- lwt.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
- lwt_direct.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
- lwt_ppx.6.0.0-beta01 on 4.14.2 is now installable. Current state is: passing
- lwt_ppx.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
- lwt_runtime_events.6.0.0-beta01 on 5.3.0 is now installable. Current state is: passing
- mazeppa.0.7.2 on 4.14.2 is now installable. Current state is: passing
- mazeppa.0.7.2 on 5.3.0 is now installable. Current state is: passing
- melange-jest.0.2.0 on 4.14.2 is now installable. Current state is: passing
- melange-jest.0.2.0 on 5.3.0 is now installable. Current state is: passing
- melange-testing-library.0.2.0 on 4.14.2 is now installable. Current state is: passing
- melange-testing-library.0.2.0 on 5.3.0 is now installable. Current state is: passing
- melange-webapi.0.22.0 on 4.14.2 is now installable. Current state is: passing
- melange-webapi.0.22.0 on 5.3.0 is now installable. Current state is: passing
- melange.6.0.1-414 on 4.14.2 is now installable. Current state is: passing
- melange.6.0.1-53 on 5.3.0 is now installable. Current state is: passing
- menhir-lsp.0.0.1 on 4.14.2 is now installable. Current state is: passing
- menhir-lsp.0.0.1 on 5.3.0 is now installable. Current state is: passing
- opam-build.0.3.0 on 4.14.2 is now installable. Current state is: passing
- opam-build.0.3.0 on 5.3.0 is now installable. Current state is: passing
- opam-test.0.3.0 on 4.14.2 is now installable. Current state is: passing
- opam-test.0.3.0 on 5.3.0 is now installable. Current state is: passing
- pancake.2.0.1 on 5.3.0 is now installable. Current state is: passing
- ppx_deriving_qcheck.0.9 on 4.14.2 is now installable. Current state is: passing
- ppx_deriving_qcheck.0.9 on 5.3.0 is now installable. Current state is: passing
- ppx_parser.0.2.1 on 4.14.2 is now installable. Current state is: passing
- ppx_parser.0.2.1 on 5.3.0 is now installable. Current state is: passing
- prometheus-app.1.3 on 4.14.2 is now installable. Current state is: passing
- prometheus-app.1.3 on 5.3.0 is now installable. Current state is: passing
- prometheus.1.3 on 4.14.2 is now installable. Current state is: passing
- prometheus.1.3 on 5.3.0 is now installable. Current state is: passing
- purl.1.0.0 on 4.14.2 is now installable. Current state is: passing
- purl.1.0.0 on 5.3.0 is now installable. Current state is: passing
- qcheck-alcotest.0.90 on 4.14.2 is now installable. Current state is: passing
- qcheck-alcotest.0.90 on 5.3.0 is now installable. Current state is: passing
- qcheck-core.0.90 on 4.14.2 is now installable. Current state is: passing
- qcheck-core.0.90 on 5.3.0 is now installable. Current state is: passing
- qcheck-ounit.0.90 on 4.14.2 is now installable. Current state is: passing
- qcheck-ounit.0.90 on 5.3.0 is now installable. Current state is: passing
- qcheck.0.90 on 4.14.2 is now installable. Current state is: passing
- qcheck.0.90 on 5.3.0 is now installable. Current state is: passing
- quickjs.0.4.1 on 4.14.2 is now installable. Current state is: passing
- quickjs.0.4.1 on 5.3.0 is now installable. Current state is: passing
- regl.0.1.0 on 4.14.2 is now installable. Current state is: passing
- regl.0.1.0 on 5.3.0 is now installable. Current state is: passing
- rizzo.0.2.0 on 5.3.0 is now installable. Current state is: passing
- secp256k1.0.5.0 on 4.14.2 is now installable. Current state is: passing
- secp256k1.0.5.0 on 5.3.0 is now installable. Current state is: passing
- serialport.0.1 on 4.14.2 is now installable. Current state is: passing
- serialport.0.1 on 5.3.0 is now installable. Current state is: passing
- sihl-persistence.0.3.0~rc1 on 5.3.0 had its build status changed: internal failure to passing
- smtml.0.17.0 on 4.14.2 is now installable. Current state is: passing
- smtml.0.17.0 on 5.3.0 is now installable. Current state is: passing
- statocaml.0.1.0 on 4.14.2 had its build status changed: internal failure to passing
- statocaml_community.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
- styled-ppx.0.56.0 on 5.3.0 had its build status changed: partially failing to passing
- synchronizer.0.2 on 5.3.0 is now installable. Current state is: passing
- syslog-rfc5424.0.2 on 4.14.2 is now installable. Current state is: passing
- syslog-rfc5424.0.2 on 5.3.0 is now installable. Current state is: passing
- tezos-protocol-environment-structs.12.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-rpc.12.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-rpc.12.3 on 5.3.0 had its build status changed: internal failure to passing
- tezos-rpc.17.3 on 4.14.2 had its build status changed: internal failure to passing
- tezos-rust-libs.1.7 on 4.14.2 had its build status changed: internal failure to passing
- tezos-stdlib-unix.12.3 on 5.3.0 had its build status changed: internal failure to passing
- tyre.1.0 on 4.14.2 is now installable. Current state is: passing
- tyre.1.0 on 5.3.0 is now installable. Current state is: passing
- yocaml.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_cmarkit.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_eio.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_git.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_jingoo.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_markdown.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_mustache.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_omd.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_otoml.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_runtime.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_syndication.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_unix.2.8.0 on 5.3.0 is now installable. Current state is: passing
- yocaml_yaml.2.8.0 on 5.3.0 is now installable. Current state is: passing
Home|Differences with the last checks|Previous runs