Packages now failing:
- bibtex2html.1.99-1 on 4.14.1 had its build status changed: passing to failing
- bibtex2html.1.99-1 on 5.1.0 had its build status changed: passing to failing
- camlp4.4.14+1 on 4.14.1 had its build status changed: passing to failing
- cgi.0.10 on 4.14.1 had its build status changed: passing to failing
- cubicle.1.2.0 on 5.1.0 had its build status changed: passing to failing
- dune.3.12.1 on 4.14.1 is now installable. Current state is: failing
- dune.3.12.1 on 5.1.0 is now installable. Current state is: failing
- efl.1.24.0 on 4.14.1 had its build status changed: passing to failing
- functory.0.6 on 4.14.1 had its build status changed: passing to failing
- lem.2022-12-10 on 4.14.1 had its build status changed: passing to failing
- lem.2022-12-10 on 5.1.0 had its build status changed: passing to failing
- obuild.0.1.11 on 4.14.1 is now installable. Current state is: failing
- obuild.0.1.11 on 5.1.0 is now installable. Current state is: failing
- ocamlnet.4.1.9-2 on 4.14.1 had its build status changed: passing to failing
- statverif.1.97pl1.2 on 4.14.1 had its build status changed: passing to failing
Packages now partially failing:
Packages now not available:
- abella.2.0.2 on 4.14.1 is not available anymore. Previous state was: passing
- abella.2.0.2 on 5.1.0 is not available anymore. Previous state was: passing
- algaeff.1.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- alt-ergo-lib.2.5.1 on 4.14.1 is not available anymore. Previous state was: passing
- alt-ergo-lib.2.5.1 on 5.1.0 is not available anymore. Previous state was: passing
- alt-ergo-parsers.2.5.1 on 4.14.1 is not available anymore. Previous state was: passing
- alt-ergo-parsers.2.5.1 on 5.1.0 is not available anymore. Previous state was: passing
- alt-ergo-plugin-ab-why3.2.5.1 on 4.14.1 is not available anymore. Previous state was: passing
- alt-ergo-plugin-ab-why3.2.5.1 on 5.1.0 is not available anymore. Previous state was: passing
- alt-ergo.2.5.1 on 4.14.1 is not available anymore. Previous state was: passing
- alt-ergo.2.5.1 on 5.1.0 is not available anymore. Previous state was: passing
- archetype.1.4.3 on 4.14.1 is not available anymore. Previous state was: passing
- archetype.1.4.3 on 5.1.0 is not available anymore. Previous state was: passing
- asai.0.1.1 on 5.1.0 is not available anymore. Previous state was: passing
- atd.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atd.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- atdd.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atdd.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- atdgen-codec-runtime.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atdgen-codec-runtime.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- atdgen-runtime.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atdgen-runtime.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- atdgen.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atdgen.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- atdj.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atdj.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- atdpy.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atdpy.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- atds.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atds.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- atdts.2.13.0 on 4.14.1 is not available anymore. Previous state was: passing
- atdts.2.13.0 on 5.1.0 is not available anymore. Previous state was: passing
- batteries.3.7.1 on 4.14.1 is not available anymore. Previous state was: passing
- batteries.3.7.1 on 5.1.0 is not available anymore. Previous state was: passing
- bechamel-js.0.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- bechamel-js.0.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- bechamel-notty.0.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- bechamel-notty.0.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- bechamel.0.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- bechamel.0.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- binaryen.0.23.0 on 4.14.1 is not available anymore. Previous state was: passing
- binaryen.0.23.0 on 5.1.0 is not available anymore. Previous state was: passing
- binsec.0.8.0 on 4.14.1 is not available anymore. Previous state was: passing
- bwd.2.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- bwd.2.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- ca-certs-nss.3.92 on 4.14.1 is not available anymore. Previous state was: passing
- ca-certs-nss.3.92 on 5.1.0 is not available anymore. Previous state was: passing
- camlidl.1.11 on 4.14.1 is not available anymore. Previous state was: passing
- camlidl.1.11 on 5.1.0 is not available anymore. Previous state was: passing
- chrome-trace.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- chrome-trace.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- cloudi.2.0.6 on 4.14.1 is not available anymore. Previous state was: failing
- cloudi.2.0.6 on 5.1.0 is not available anymore. Previous state was: failing
- codept.0.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- conduit-async.6.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- conduit-async.6.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- conduit-lwt-unix.6.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- conduit-lwt-unix.6.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- conduit-lwt.6.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- conduit-lwt.6.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- conduit-mirage.6.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- conduit-mirage.6.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- conduit.6.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- conduit.6.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- containers-data.3.12 on 4.14.1 is not available anymore. Previous state was: passing
- containers-data.3.12 on 5.1.0 is not available anymore. Previous state was: passing
- containers.3.12 on 4.14.1 is not available anymore. Previous state was: passing
- containers.3.12 on 5.1.0 is not available anymore. Previous state was: passing
- coq-lsp.0.1.7+8.18 on 4.14.1 is not available anymore. Previous state was: passing
- coq-lsp.0.1.7+8.18 on 5.1.0 is not available anymore. Previous state was: passing
- coq-waterproof.2.0.1+8.17 on 4.14.1 is not available anymore. Previous state was: passing
- coq-waterproof.2.0.1+8.17 on 5.1.0 is not available anymore. Previous state was: passing
- cryptoverif.2.07 on 4.14.1 is not available anymore. Previous state was: passing
- cryptoverif.2.07 on 5.1.0 is not available anymore. Previous state was: passing
- ctypes-zarith.0.2.0 on 5.1.0 had its build status changed: partially failing to not available
- dates_calc.0.0.4 on 4.14.1 is not available anymore. Previous state was: passing
- dates_calc.0.0.4 on 5.1.0 is not available anymore. Previous state was: passing
- docker-api.0.2.2 on 5.1.0 had its build status changed: failing to not available
- dream-html.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- dream-html.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- dscheck.0.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- dune-action-plugin.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune-action-plugin.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dune-build-info.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune-build-info.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dune-configurator.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune-configurator.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dune-glob.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune-glob.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dune-private-libs.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune-private-libs.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dune-rpc-lwt.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune-rpc-lwt.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dune-rpc.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune-rpc.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dune-site.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune-site.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dune.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dune.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- dyn.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- dyn.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- eio.0.12 on 5.1.0 is not available anymore. Previous state was: passing
- eio_main.0.12 on 5.1.0 is not available anymore. Previous state was: passing
- eio_posix.0.12 on 5.1.0 is not available anymore. Previous state was: passing
- elpi.1.17.4 on 4.14.1 is not available anymore. Previous state was: passing
- elpi.1.17.4 on 5.1.0 is not available anymore. Previous state was: passing
- errpy.0.0.9 on 4.14.1 is not available anymore. Previous state was: passing
- errpy.0.0.9 on 5.1.0 is not available anymore. Previous state was: failing
- ezcurl-lwt.0.2.3 on 4.14.1 is not available anymore. Previous state was: passing
- ezcurl-lwt.0.2.3 on 5.1.0 is not available anymore. Previous state was: passing
- ezcurl.0.2.3 on 4.14.1 is not available anymore. Previous state was: passing
- ezcurl.0.2.3 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-av.1.1.8 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-av.1.1.8 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-avcodec.1.1.8 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-avcodec.1.1.8 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-avdevice.1.1.8 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-avdevice.1.1.8 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.1.8 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.1.8 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.1.8 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.1.8 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.1.8 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.1.8 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-swscale.1.1.8 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-swscale.1.1.8 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg.1.1.8 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg.1.1.8 on 5.1.0 is not available anymore. Previous state was: passing
- fmlib.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
- fmlib.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
- fmlib_browser.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
- fmlib_browser.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
- fmlib_js.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
- fmlib_js.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
- fmlib_parse.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
- fmlib_parse.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
- fmlib_pretty.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
- fmlib_pretty.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
- fmlib_std.0.5.5 on 4.14.1 is not available anymore. Previous state was: passing
- fmlib_std.0.5.5 on 5.1.0 is not available anymore. Previous state was: passing
- forester.2.4.1 on 5.1.0 is not available anymore. Previous state was: passing
- frama-c-metacsl.0.5~beta on 4.14.1 is not available anymore. Previous state was: partially failing
- frama-c-metacsl.0.5~beta on 5.1.0 is not available anymore. Previous state was: partially failing
- frama-c.27.1 on 4.14.1 is not available anymore. Previous state was: failing
- frama-c.27.1 on 5.1.0 is not available anymore. Previous state was: failing
- fswatch.11-0.1.3 on 4.14.1 is not available anymore. Previous state was: passing
- fswatch.11-0.1.3 on 5.1.0 is not available anymore. Previous state was: passing
- functoria-runtime.4.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- functoria-runtime.4.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- functoria.4.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- functoria.4.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- gapi-ocaml.0.4.4 on 4.14.1 is not available anymore. Previous state was: passing
- geojson.0.1.1 on 4.14.1 is not available anymore. Previous state was: passing
- geojson.0.1.1 on 5.1.0 is not available anymore. Previous state was: passing
- geojsone.0.1.1 on 5.1.0 is not available anymore. Previous state was: passing
- gluten-async.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
- gluten-async.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
- gluten-eio.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
- gluten-lwt-unix.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
- gluten-lwt-unix.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
- gluten-lwt.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
- gluten-lwt.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
- gluten-mirage.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
- gluten-mirage.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
- gluten.0.4.1 on 4.14.1 is not available anymore. Previous state was: passing
- gluten.0.4.1 on 5.1.0 is not available anymore. Previous state was: passing
- goblint-cil.2.0.2 on 4.14.1 is not available anymore. Previous state was: passing
- goblint-cil.2.0.2 on 5.1.0 is not available anymore. Previous state was: passing
- goblint.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- goblint.2.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- google-drive-ocamlfuse.0.7.30 on 4.14.1 is not available anymore. Previous state was: partially failing
- grpc-async.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- grpc-async.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- grpc-lwt.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- grpc-lwt.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- grpc.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- grpc.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- gsl.1.24.3 on 4.14.1 is not available anymore. Previous state was: passing
- h2-async.0.10.0 on 4.14.1 is not available anymore. Previous state was: passing
- h2-async.0.10.0 on 5.1.0 is not available anymore. Previous state was: passing
- h2-eio.0.10.0 on 5.1.0 is not available anymore. Previous state was: passing
- h2-lwt-unix.0.10.0 on 4.14.1 is not available anymore. Previous state was: passing
- h2-lwt-unix.0.10.0 on 5.1.0 is not available anymore. Previous state was: passing
- h2-lwt.0.10.0 on 4.14.1 is not available anymore. Previous state was: passing
- h2-lwt.0.10.0 on 5.1.0 is not available anymore. Previous state was: passing
- h2-mirage.0.10.0 on 4.14.1 is not available anymore. Previous state was: passing
- h2-mirage.0.10.0 on 5.1.0 is not available anymore. Previous state was: passing
- h2.0.10.0 on 4.14.1 is not available anymore. Previous state was: passing
- h2.0.10.0 on 5.1.0 is not available anymore. Previous state was: passing
- hilite.0.3.0 on 4.14.1 is not available anymore. Previous state was: passing
- hilite.0.3.0 on 5.1.0 is not available anymore. Previous state was: passing
- hpack.0.10.0 on 4.14.1 is not available anymore. Previous state was: passing
- hpack.0.10.0 on 5.1.0 is not available anymore. Previous state was: passing
- hts_shrink.2.1.2 on 4.14.1 is not available anymore. Previous state was: passing
- hts_shrink.2.1.2 on 5.1.0 is not available anymore. Previous state was: passing
- iter.1.7 on 4.14.1 is not available anymore. Previous state was: passing
- iter.1.7 on 5.1.0 is not available anymore. Previous state was: passing
- jekyll-format.0.3.1 on 4.14.1 is not available anymore. Previous state was: passing
- jekyll-format.0.3.1 on 5.1.0 is not available anymore. Previous state was: passing
- jingoo.1.4.4 on 4.14.1 is not available anymore. Previous state was: passing
- jingoo.1.4.4 on 5.1.0 is not available anymore. Previous state was: passing
- js_of_ocaml-compiler.5.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- js_of_ocaml-compiler.5.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- js_of_ocaml-lwt.5.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- js_of_ocaml-lwt.5.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- js_of_ocaml-ppx.5.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- js_of_ocaml-ppx.5.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- js_of_ocaml-ppx_deriving_json.5.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- js_of_ocaml-ppx_deriving_json.5.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- js_of_ocaml-toplevel.5.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- js_of_ocaml-toplevel.5.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- js_of_ocaml-tyxml.5.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- js_of_ocaml-tyxml.5.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- js_of_ocaml.5.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- js_of_ocaml.5.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- kkmarkdown.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- kkmarkdown.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- lambdapi.2.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- lambdapi.2.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- lbfgs.0.9.3 on 4.14.1 is not available anymore. Previous state was: failing
- lbfgs.0.9.3 on 5.1.0 is not available anymore. Previous state was: failing
- libbinaryen.113.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- libbinaryen.113.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- libsail.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- libsail.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- links-mysql.0.9.7 on 4.14.1 is not available anymore. Previous state was: passing
- links-postgresql.0.9.7 on 4.14.1 is not available anymore. Previous state was: internal failure
- links-sqlite3.0.9.7 on 4.14.1 is not available anymore. Previous state was: passing
- links.0.9.7 on 4.14.1 is not available anymore. Previous state was: passing
- liquidsoap-core.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- liquidsoap-core.2.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- liquidsoap-js.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- liquidsoap-js.2.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- liquidsoap-lang.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- liquidsoap-lang.2.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- liquidsoap-libs-extra.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- liquidsoap-libs-extra.2.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- liquidsoap-libs.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- liquidsoap-libs.2.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- liquidsoap-mode.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- liquidsoap-mode.2.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- liquidsoap.2.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- liquidsoap.2.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- melange.2.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- merlin-lib.4.12-414 on 4.14.1 is not available anymore. Previous state was: passing
- merlin-lib.4.12-501 on 5.1.0 is not available anymore. Previous state was: passing
- merlin.4.12-414 on 4.14.1 is not available anymore. Previous state was: passing
- merlin.4.12-501 on 5.1.0 is not available anymore. Previous state was: passing
- mirage-logs.2.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- mirage-logs.2.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- mirage-runtime.4.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- mirage-runtime.4.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- mirage.4.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- mirage.4.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- moonpool.0.4 on 4.14.1 is not available anymore. Previous state was: passing
- moonpool.0.4 on 5.1.0 is not available anymore. Previous state was: passing
- mustache.3.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- mustache.3.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- obuild.0.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ocaml-solo5.0.8.1 on 4.14.1 is not available anymore. Previous state was: passing
- ocamlc-loc.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- ocamlc-loc.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- odoc-parser.2.3.0 on 4.14.1 is not available anymore. Previous state was: passing
- odoc-parser.2.3.0 on 5.1.0 is not available anymore. Previous state was: passing
- odoc.2.3.0 on 4.14.1 is not available anymore. Previous state was: passing
- odoc.2.3.0 on 5.1.0 is not available anymore. Previous state was: passing
- opam-check-npm-deps.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- opam-check-npm-deps.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- opam-client.2.2.0~alpha2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-client.2.2.0~alpha2 on 5.1.0 is not available anymore. Previous state was: passing
- opam-core.2.2.0~alpha2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-core.2.2.0~alpha2 on 5.1.0 is not available anymore. Previous state was: passing
- opam-devel.2.2.0~alpha2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-devel.2.2.0~alpha2 on 5.1.0 is not available anymore. Previous state was: passing
- opam-dune-lint.0.2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-format.2.2.0~alpha2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-format.2.2.0~alpha2 on 5.1.0 is not available anymore. Previous state was: passing
- opam-installer.2.2.0~alpha2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-installer.2.2.0~alpha2 on 5.1.0 is not available anymore. Previous state was: passing
- opam-publish.2.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- opam-publish.2.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- opam-repository.2.2.0~alpha2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-repository.2.2.0~alpha2 on 5.1.0 is not available anymore. Previous state was: passing
- opam-solver.2.2.0~alpha2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-solver.2.2.0~alpha2 on 5.1.0 is not available anymore. Previous state was: passing
- opam-state.2.2.0~alpha2 on 4.14.1 is not available anymore. Previous state was: passing
- opam-state.2.2.0~alpha2 on 5.1.0 is not available anymore. Previous state was: passing
- opam-test.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- opam-test.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- ordering.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- ordering.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- oseq.0.5 on 4.14.1 is not available anymore. Previous state was: passing
- oseq.0.5 on 5.1.0 is not available anymore. Previous state was: passing
- pandoc-abbreviations.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- pandoc-abbreviations.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- pandoc-crossref.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- pandoc-crossref.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- pandoc-include.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- pandoc-include.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- pandoc-inspect.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- pandoc-inspect.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- pandoc.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- pandoc.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- patdiff.v0.16.0 on 4.14.1 is not available anymore. Previous state was: passing
- patdiff.v0.16.0 on 5.1.0 is not available anymore. Previous state was: passing
- pds-reachability.0.2.2 on 4.14.1 is not available anymore. Previous state was: passing
- pkcs11-driver.1.0.1 on 5.1.0 had its build status changed: failing to not available
- pkcs11-rev.1.0.1 on 5.1.0 had its build status changed: partially failing to not available
- ppx_cstubs.0.7.0 on 5.1.0 had its build status changed: failing to not available
- pratter.2.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- pratter.2.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- printbox-html.0.6.1 on 4.14.1 is not available anymore. Previous state was: passing
- printbox-html.0.6.1 on 5.1.0 is not available anymore. Previous state was: passing
- printbox-text.0.6.1 on 4.14.1 is not available anymore. Previous state was: passing
- printbox-text.0.6.1 on 5.1.0 is not available anymore. Previous state was: passing
- printbox.0.6.1 on 4.14.1 is not available anymore. Previous state was: passing
- printbox.0.6.1 on 5.1.0 is not available anymore. Previous state was: passing
- proverif.2.04 on 4.14.1 is not available anymore. Previous state was: partially failing
- proverif.2.04 on 5.1.0 is not available anymore. Previous state was: partially failing
- proverifdoc.2.04 on 4.14.1 is not available anymore. Previous state was: passing
- proverifdoc.2.04 on 5.1.0 is not available anymore. Previous state was: passing
- pyml.20220905 on 4.14.1 is not available anymore. Previous state was: passing
- pyml.20220905 on 5.1.0 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.21.2 on 4.14.1 is not available anymore. Previous state was: passing
- qcheck-alcotest.0.21.2 on 5.1.0 is not available anymore. Previous state was: passing
- qcheck-core.0.21.2 on 4.14.1 is not available anymore. Previous state was: passing
- qcheck-core.0.21.2 on 5.1.0 is not available anymore. Previous state was: passing
- qcheck-ounit.0.21.2 on 4.14.1 is not available anymore. Previous state was: passing
- qcheck-ounit.0.21.2 on 5.1.0 is not available anymore. Previous state was: passing
- qcheck.0.21.2 on 4.14.1 is not available anymore. Previous state was: passing
- qcheck.0.21.2 on 5.1.0 is not available anymore. Previous state was: passing
- qiskit.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- qiskit.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- redis-lwt.0.7 on 4.14.1 is not available anymore. Previous state was: passing
- redis-lwt.0.7 on 5.1.0 is not available anymore. Previous state was: passing
- redis-sync.0.7 on 4.14.1 is not available anymore. Previous state was: passing
- redis-sync.0.7 on 5.1.0 is not available anymore. Previous state was: passing
- redis.0.7 on 4.14.1 is not available anymore. Previous state was: passing
- redis.0.7 on 5.1.0 is not available anymore. Previous state was: passing
- river.0.2 on 4.14.1 is not available anymore. Previous state was: passing
- sail.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_c_backend.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_c_backend.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_coq_backend.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_coq_backend.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_doc_backend.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_doc_backend.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_latex_backend.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_latex_backend.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_lem_backend.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_lem_backend.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_manifest.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_manifest.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_ocaml_backend.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_ocaml_backend.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_output.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_output.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- sail_smt_backend.0.16 on 4.14.1 is not available anymore. Previous state was: passing
- sail_smt_backend.0.16 on 5.1.0 is not available anymore. Previous state was: passing
- saturn.0.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- saturn.0.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- saturn_lockfree.0.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- saturn_lockfree.0.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- stdune.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- stdune.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- tezt.3.1.1 on 4.14.1 is not available anymore. Previous state was: passing
- tezt.3.1.1 on 5.1.0 is not available anymore. Previous state was: passing
- timere.0.7.0 on 4.14.1 is not available anymore. Previous state was: passing
- tiny_httpd.0.14 on 4.14.1 is not available anymore. Previous state was: passing
- tiny_httpd.0.14 on 5.1.0 is not available anymore. Previous state was: passing
- tiny_httpd_camlzip.0.14 on 4.14.1 is not available anymore. Previous state was: passing
- tiny_httpd_camlzip.0.14 on 5.1.0 is not available anymore. Previous state was: passing
- tls-async.0.17.1 on 4.14.1 is not available anymore. Previous state was: passing
- tls-async.0.17.1 on 5.1.0 is not available anymore. Previous state was: passing
- tls-eio.0.17.2 on 5.1.0 is not available anymore. Previous state was: passing
- tls-lwt.0.17.1 on 4.14.1 is not available anymore. Previous state was: passing
- tls-lwt.0.17.1 on 5.1.0 is not available anymore. Previous state was: passing
- tls-mirage.0.17.1 on 4.14.1 is not available anymore. Previous state was: passing
- tls-mirage.0.17.1 on 5.1.0 is not available anymore. Previous state was: passing
- tls.0.17.1 on 4.14.1 is not available anymore. Previous state was: passing
- tls.0.17.1 on 5.1.0 is not available anymore. Previous state was: passing
- topiary.0.2.3 on 4.14.1 is not available anymore. Previous state was: passing
- topiary.0.2.3 on 5.1.0 is not available anymore. Previous state was: passing
- tracy-client.0.3 on 4.14.1 is not available anymore. Previous state was: passing
- tracy-client.0.3 on 5.1.0 is not available anymore. Previous state was: passing
- varray.0.1 on 4.14.1 is not available anymore. Previous state was: passing
- varray.0.1 on 5.1.0 is not available anymore. Previous state was: passing
- vscoq-language-server.2.0.2+coq8.18 on 4.14.1 is not available anymore. Previous state was: passing
- vscoq-language-server.2.0.2+coq8.18 on 5.1.0 is not available anymore. Previous state was: passing
- why3-coq.1.6.0 on 4.14.1 is not available anymore. Previous state was: passing
- why3-ide.1.6.0 on 4.14.1 is not available anymore. Previous state was: passing
- why3-ide.1.6.0 on 5.1.0 is not available anymore. Previous state was: passing
- why3.1.6.0 on 4.14.1 is not available anymore. Previous state was: passing
- why3.1.6.0 on 5.1.0 is not available anymore. Previous state was: passing
- xapi-rrd.1.10.0 on 4.14.1 is not available anymore. Previous state was: passing
- xapi-rrd.1.10.0 on 5.1.0 is not available anymore. Previous state was: passing
- xapi-stdext-date.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
- xapi-stdext-date.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
- xapi-stdext-encodings.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
- xapi-stdext-encodings.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
- xapi-stdext-pervasives.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
- xapi-stdext-pervasives.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
- xapi-stdext-std.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
- xapi-stdext-std.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
- xapi-stdext-threads.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
- xapi-stdext-threads.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
- xapi-stdext-zerocheck.4.22.0 on 4.14.1 is not available anymore. Previous state was: passing
- xapi-stdext-zerocheck.4.22.0 on 5.1.0 is not available anymore. Previous state was: passing
- xdg.3.11.1 on 4.14.1 is not available anymore. Previous state was: passing
- xdg.3.11.1 on 5.1.0 is not available anymore. Previous state was: passing
- yaml-sexp.3.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- yaml-sexp.3.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- yaml.3.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- yaml.3.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- yices2_bindings.0.2 on 5.1.0 had its build status changed: partially failing to not available
- yojson.2.1.1 on 4.14.1 is not available anymore. Previous state was: passing
- yojson.2.1.1 on 5.1.0 is not available anymore. Previous state was: passing
- yuujinchou.5.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- zarith_stubs_js.v0.16.0 on 4.14.1 is not available anymore. Previous state was: passing
- zarith_stubs_js.v0.16.0 on 5.1.0 is not available anymore. Previous state was: passing
- zmq-async.5.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- zmq-async.5.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- zmq-lwt.5.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- zmq-lwt.5.2.1 on 5.1.0 is not available anymore. Previous state was: passing
- zmq.5.2.1 on 4.14.1 is not available anymore. Previous state was: passing
- zmq.5.2.1 on 5.1.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- camlidl.1.12 on 4.14.1 is now installable. Current state is: passing
- camlidl.1.12 on 5.1.0 is now installable. Current state is: passing
- cloudi.2.0.7 on 5.1.0 is now installable. Current state is: passing
- conf-glade.2 on 4.14.1 had its build status changed: failing to passing
- conf-glade.2 on 5.1.0 had its build status changed: failing to passing
- conf-gnutls.1 on 4.14.1 had its build status changed: failing to passing
- conf-gnutls.1 on 5.1.0 had its build status changed: failing to passing
- conf-gtk2.1 on 4.14.1 had its build status changed: failing to passing
- conf-gtk2.1 on 5.1.0 had its build status changed: failing to passing
- conf-gtk3.18 on 4.14.1 had its build status changed: failing to passing
- conf-gtk3.18 on 5.1.0 had its build status changed: failing to passing
- conf-python-3.9.0.0 on 4.14.1 had its build status changed: failing to passing
- conf-python-3.9.0.0 on 5.1.0 had its build status changed: failing to passing
- conf-rdkit.1 on 5.1.0 had its build status changed: failing to passing
- ocaml-solo5.0.8.2 on 4.14.1 is now installable. Current state is: passing
- octez-tx-rollup-client-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
- octez-tx-rollup-node-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
- proverifdoc.2.05 on 4.14.1 is now installable. Current state is: passing
- proverifdoc.2.05 on 5.1.0 is now installable. Current state is: passing
- tezos-injector-014-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
- tezos-stdlib.17.3 on 4.14.1 had its build status changed: internal failure to passing
- tezos-tx-rollup-014-PtKathma.15.1 on 4.14.1 had its build status changed: internal failure to passing
- topiary.0.3.0 on 4.14.1 is now installable. Current state is: passing
- topiary.0.3.0 on 5.1.0 is now installable. Current state is: passing
- z3.4.12.2-1 on 4.14.1 had its build status changed: partially failing to passing
- z3.4.12.2-1 on 5.1.0 had its build status changed: partially failing to passing
- z3_tptp.4.11.2 on 4.14.1 had its build status changed: partially failing to passing
- z3_tptp.4.11.2 on 5.1.0 had its build status changed: partially failing to passing
- zipc.0.1.0 on 4.14.1 is now installable. Current state is: passing
- zipc.0.1.0 on 5.1.0 is now installable. Current state is: passing