Packages now failing:
Packages now partially failing:
Packages now not available:
- MlFront_Cache.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Cache.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Cli.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Cli.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Config.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Config.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Core.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Core.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Errors.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Errors.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Logs.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Logs.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Manip.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Manip.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_Signify.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_Signify.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- MlFront_ZipFile.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- MlFront_ZipFile.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
- bibfmt.0.7.7 on 4.14.2 is not available anymore. Previous state was: passing
- bibfmt.0.7.7 on 5.3.0 is not available anymore. Previous state was: passing
- catala-format.0.3.0 on 4.14.2 is not available anymore. Previous state was: failing
- catala-format.0.3.0 on 5.3.0 is not available anymore. Previous state was: failing
- catala.0.8.0 on 4.14.2 is not available anymore. Previous state was: passing
- catala.0.8.0 on 5.3.0 is not available anymore. Previous state was: passing
- catala.1.0.0~alpha on 4.14.2 is not available anymore. Previous state was: passing
- codept-lib.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
- codept-lib.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
- codept.0.12.1 on 4.14.2 is not available anymore. Previous state was: passing
- codept.0.12.1 on 5.3.0 is not available anymore. Previous state was: passing
- conex-mirage-crypto.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
- conex-mirage-crypto.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
- conex.0.11.1 on 4.14.2 is not available anymore. Previous state was: passing
- conex.0.11.1 on 5.3.0 is not available anymore. Previous state was: passing
- doi2bib.0.7.7 on 4.14.2 is not available anymore. Previous state was: passing
- doi2bib.0.7.7 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_browser.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_browser.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_browser.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_js.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_js.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_js.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_parse.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_parse.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_parse.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_pretty.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_pretty.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_pretty.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_std.0.5.11 on 4.14.2 is not available anymore. Previous state was: passing
- fmlib_std.0.5.11 on 5.3.0 is not available anymore. Previous state was: passing
- fmlib_std.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
- goblint-cil.2.0.7 on 4.14.2 is not available anymore. Previous state was: passing
- goblint-cil.2.0.7 on 5.3.0 is not available anymore. Previous state was: passing
- handlebars-ml.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- handlebars-ml.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-ptime.5.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-ptime.5.1.0 on 5.3.0 is not available anymore. Previous state was: passing
- mirage-runtime.4.10.2 on 4.14.2 is not available anymore. Previous state was: passing
- mirage-runtime.4.10.2 on 5.3.0 is not available anymore. Previous state was: passing
- mirage.4.10.2 on 4.14.2 is not available anymore. Previous state was: passing
- mirage.4.10.2 on 5.3.0 is not available anymore. Previous state was: passing
- ocamlformat-lib.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlformat-lib.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
- ocamlformat-rpc-lib.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlformat-rpc-lib.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
- ocamlformat.0.27.0 on 4.14.2 is not available anymore. Previous state was: passing
- ocamlformat.0.27.0 on 5.3.0 is not available anymore. Previous state was: passing
- opam-client.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-client.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-core.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-core.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-devel.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-devel.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-format.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-format.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-installer.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-installer.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-repository.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-repository.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-solver.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-solver.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- opam-state.2.4.1 on 4.14.2 is not available anymore. Previous state was: passing
- opam-state.2.4.1 on 5.3.0 is not available anymore. Previous state was: passing
- pageantty.0.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- pageantty.0.0.2 on 5.3.0 is not available anymore. Previous state was: passing
- ppx_minidebug.2.4.0 on 5.3.0 is not available anymore. Previous state was: passing
- smtml.0.12.0 on 4.14.2 is not available anymore. Previous state was: passing
- smtml.0.12.0 on 5.3.0 is not available anymore. Previous state was: passing
- solo5.0.9.3 on 4.14.2 is not available anymore. Previous state was: passing
- solo5.0.9.3 on 5.3.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- MlFront_Cache.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Cache.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Cli.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Cli.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Codept.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Codept.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Config.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Config.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Core.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Core.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Errors.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Errors.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Exec.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Exec.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Logs.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Logs.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Manip.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Manip.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Signify.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Signify.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Thunk.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Thunk.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_Tools.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_Tools.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- MlFront_ZipFile.2.4.2.30 on 4.14.2 is now installable. Current state is: passing
- MlFront_ZipFile.2.4.2.30 on 5.3.0 is now installable. Current state is: passing
- bibfmt.0.7.9 on 4.14.2 is now installable. Current state is: passing
- bibfmt.0.7.9 on 5.3.0 is now installable. Current state is: passing
- catala-format.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
- catala-format.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
- catala-lsp.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
- catala-lsp.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
- catala.1.0.0~beta on 4.14.2 is now installable. Current state is: passing
- catala.1.0.0~beta on 5.3.0 is now installable. Current state is: passing
- cgi.0.10 on 4.14.2 had its build status changed: failing to passing
- codept-lib.0.12.2 on 4.14.2 is now installable. Current state is: passing
- codept-lib.0.12.2 on 5.3.0 is now installable. Current state is: passing
- codept.0.12.2 on 4.14.2 is now installable. Current state is: passing
- codept.0.12.2 on 5.3.0 is now installable. Current state is: passing
- conex-mirage-crypto.1.0.0 on 4.14.2 is now installable. Current state is: passing
- conex-mirage-crypto.1.0.0 on 5.3.0 is now installable. Current state is: passing
- conex.1.0.0 on 4.14.2 is now installable. Current state is: passing
- conex.1.0.0 on 5.3.0 is now installable. Current state is: passing
- conf-arb.1 on 4.14.2 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-emacs.1 on 4.14.2 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-ghostscript.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-guile.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-mysql.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-rust.0.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-rust.0.1 on 5.3.0 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
- doi2bib.0.7.9 on 4.14.2 is now installable. Current state is: passing
- doi2bib.0.7.9 on 5.3.0 is now installable. Current state is: passing
- ffmpeg-avfilter.1.2.6 on 4.14.2 had its build status changed: internal failure to passing
- ffmpeg-avfilter.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
- ffmpeg-avutil.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
- ffmpeg-swscale.1.2.6 on 5.3.0 had its build status changed: internal failure to passing
- fmlib.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_browser.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_browser.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_js.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_js.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_parse.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_parse.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_pretty.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_pretty.0.6.1 on 5.3.0 is now installable. Current state is: passing
- fmlib_std.0.6.1 on 4.14.2 is now installable. Current state is: passing
- fmlib_std.0.6.1 on 5.3.0 is now installable. Current state is: passing
- frama-c.31.0 on 4.14.2 had its build status changed: internal failure to passing
- gnuplot.0.7 on 5.3.0 had its build status changed: internal failure to passing
- goblint-cil.2.0.8 on 4.14.2 is now installable. Current state is: passing
- goblint-cil.2.0.8 on 5.3.0 is now installable. Current state is: passing
- handlebars-ml.0.2.1 on 4.14.2 is now installable. Current state is: passing
- handlebars-ml.0.2.1 on 5.3.0 is now installable. Current state is: passing
- mirage-ptime.5.2.0 on 4.14.2 is now installable. Current state is: passing
- mirage-ptime.5.2.0 on 5.3.0 is now installable. Current state is: passing
- mirage-runtime.4.10.3 on 4.14.2 is now installable. Current state is: passing
- mirage-runtime.4.10.3 on 5.3.0 is now installable. Current state is: passing
- mirage.4.10.3 on 4.14.2 is now installable. Current state is: passing
- mirage.4.10.3 on 5.3.0 is now installable. Current state is: passing
- ocamlformat-lib.0.28.1 on 4.14.2 is now installable. Current state is: passing
- ocamlformat-lib.0.28.1 on 5.3.0 is now installable. Current state is: passing
- ocamlformat-rpc-lib.0.28.1 on 4.14.2 is now installable. Current state is: passing
- ocamlformat-rpc-lib.0.28.1 on 5.3.0 is now installable. Current state is: passing
- ocamlformat.0.28.1 on 4.14.2 is now installable. Current state is: passing
- ocamlformat.0.28.1 on 5.3.0 is now installable. Current state is: passing
- opam-client.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
- opam-client.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- opam-core.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
- opam-core.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- opam-devel.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
- opam-devel.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- opam-format.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
- opam-format.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- opam-installer.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
- opam-installer.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- opam-repository.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
- opam-repository.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- opam-solver.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
- opam-solver.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- opam-state.2.5.0~alpha1 on 4.14.2 is now installable. Current state is: passing
- opam-state.2.5.0~alpha1 on 5.3.0 is now installable. Current state is: passing
- pageantty.0.0.3 on 4.14.2 is now installable. Current state is: passing
- pageantty.0.0.3 on 5.3.0 is now installable. Current state is: passing
- ppx_matches.0.1.0 on 4.14.2 is now installable. Current state is: passing
- ppx_minidebug.3.0.0 on 5.3.0 is now installable. Current state is: passing
- regrade.0.1.0 on 4.14.2 is now installable. Current state is: passing
- regrade.0.1.0 on 5.3.0 is now installable. Current state is: passing
- rich-string.1.0.0 on 5.3.0 is now installable. Current state is: passing
- satML-plugin.1.30 on 4.14.2 had its build status changed: failing to passing
- solo5.0.10.0 on 4.14.2 is now installable. Current state is: passing
- solo5.0.10.0 on 5.3.0 is now installable. Current state is: passing