Home|Differences with the last checks|Previous runs

Differences between 26ba45f and 69f4d66 (git diff)

Packages now failing:

• altgr-ergo.2.4.3 on 4.14.2 had its build status changed: passing to failing
• altgr-ergo.2.4.3 on 5.3.0 had its build status changed: passing to failing
• conf-emacs.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-emacs.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-gles2.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-gnuplot.0.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-gnuplot.0.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-qemu-img.1 on 4.14.2 had its build status changed: internal failure to failing
• conf-qemu-img.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-r-mathlib.1 on 5.3.0 had its build status changed: internal failure to failing
• conf-r.1.0.0 on 4.14.2 had its build status changed: internal failure to failing
• conf-r.1.0.0 on 5.3.0 had its build status changed: internal failure to failing
• gccjit.0.3.2 on 4.14.2 had its build status changed: passing to failing
• gccjit.0.3.2 on 5.3.0 had its build status changed: passing to failing
• lablgtk.2.18.14 on 4.14.2 had its build status changed: passing to failing
• lablgtk.2.18.14 on 5.3.0 had its build status changed: passing to failing

Packages now partially failing:

• acpc.1.2.3 on 4.14.2 had its build status changed: internal failure to partially failing
• acpc.2.0.0 on 5.3.0 had its build status changed: passing to partially failing
• benchpress-server.0.1 on 4.14.2 had its build status changed: passing to partially failing
• benchpress.0.1 on 4.14.2 had its build status changed: passing to partially failing
• cairo2-gtk.0.6.5 on 4.14.2 had its build status changed: passing to partially failing
• cairo2-gtk.0.6.5 on 5.3.0 had its build status changed: passing to partially failing
• cairo2-pango.0.6.5 on 4.14.2 had its build status changed: passing to partially failing
• cairo2-pango.0.6.5 on 5.3.0 had its build status changed: passing to partially failing
• caml-mode.4.9 on 4.14.2 had its build status changed: passing to partially failing
• caml-mode.4.9 on 5.3.0 had its build status changed: passing to partially failing
• conf-calcium.1 on 5.3.0 had its build status changed: internal failure to partially failing
• gnuplot.0.7 on 4.14.2 had its build status changed: internal failure to partially failing
• gnuplot.0.7 on 5.3.0 had its build status changed: internal failure to partially failing
• index-bench.1.6.2 on 4.14.2 had its build status changed: passing to partially failing
• index-bench.1.6.2 on 5.3.0 had its build status changed: passing to partially failing
• irmin-bench.3.11.0 on 4.14.2 had its build status changed: passing to partially failing
• irmin-bench.3.11.0 on 5.3.0 had its build status changed: passing to partially failing
• irmin-test.3.11.0 on 4.14.2 had its build status changed: passing to partially failing
• irmin-test.3.11.0 on 5.3.0 had its build status changed: passing to partially failing
• llvmgraph.0.2 on 4.14.2 had its build status changed: internal failure to partially failing
• metrics-unix.0.5.0 on 4.14.2 had its build status changed: passing to partially failing
• metrics-unix.0.5.0 on 5.3.0 had its build status changed: passing to partially failing
• ocamleditor.1.16.0-ocaml414 on 4.14.2 had its build status changed: passing to partially failing
• ocamlgraph_gtk.2.2.0 on 4.14.2 had its build status changed: passing to partially failing
• ocamlgraph_gtk.2.2.0 on 5.3.0 had its build status changed: passing to partially failing
• octez-accuser-Proxford.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtLimaPt.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtMumbai.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtNairob.19.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-accuser-PtParisB.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-Proxford.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PsParisC.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PtLimaPt.16.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-baker-PtMumbai.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-bls12-381-hash.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-bls12-381-polynomial.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-client.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-dac-node.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-smart-rollup-wasm-debugger.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• octez-version.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• odnnr.2.0.0 on 4.14.2 had its build status changed: failing to partially failing
• odnnr.2.0.0 on 5.3.0 had its build status changed: failing to partially failing
• omlr.1.0.3 on 4.14.2 had its build status changed: passing to partially failing
• omlr.1.0.3 on 5.3.0 had its build status changed: passing to partially failing
• openstellina.0.0.3 on 4.14.2 had its build status changed: passing to partially failing
• openstellina.0.0.3 on 5.3.0 had its build status changed: passing to partially failing
• oplsr.8.0.1 on 4.14.2 had its build status changed: failing to partially failing
• oplsr.8.0.1 on 5.3.0 had its build status changed: failing to partially failing
• orrandomForest.3.0.0 on 4.14.2 had its build status changed: failing to partially failing
• orrandomForest.3.0.0 on 5.3.0 had its build status changed: failing to partially failing
• orsvm_e1071.4.0.0 on 4.14.2 had its build status changed: passing to partially failing
• orsvm_e1071.4.0.0 on 5.3.0 had its build status changed: passing to partially failing
• orxgboost.1.2.0 on 4.14.2 had its build status changed: failing to partially failing
• orxgboost.1.2.0 on 5.3.0 had its build status changed: failing to partially failing
• owl-opt-lbfgs.0.0.1 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-opt.0.0.1 on 5.3.0 had its build status changed: internal failure to partially failing
• owl-plplot.1.1 on 4.14.2 had its build status changed: internal failure to partially failing
• owl-plplot.1.1 on 5.3.0 had its build status changed: internal failure to partially failing
• owl-top.1.2 on 4.14.2 had its build status changed: internal failure to partially failing
• prbnmcn-dagger-test.0.0.2 on 4.14.2 had its build status changed: passing to partially failing
• prbnmcn-dagger-test.0.0.2 on 5.3.0 had its build status changed: passing to partially failing
• prooftree.0.14 on 4.14.2 had its build status changed: passing to partially failing
• prooftree.0.14 on 5.3.0 had its build status changed: passing to partially failing
• proverif.2.05 on 4.14.2 had its build status changed: passing to partially failing
• proverif.2.05 on 5.3.0 had its build status changed: passing to partially failing
• qcaml.0.1.7 on 5.3.0 is now installable. Current state is: partially failing
• raven.1.0.0~alpha2 on 5.3.0 had its build status changed: internal failure to partially failing
• tezos-client-004-Pt24m4xi.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-005-PsBabyM1.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-006-PsCARTHA.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-009-PsFLoren.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-010-PtGRANAD.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-011-PtHangz2.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-013-PtJakart.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-014-PtKathma.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-015-PtLimaPt.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-016-PtMumbai.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-alpha.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-base.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-commands.17.3 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-demo-counter.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tezos-client-genesis.20.1 on 4.14.2 had its build status changed: internal failure to partially failing
• tuareg.3.0.1 on 4.14.2 had its build status changed: passing to partially failing
• tuareg.3.0.1 on 5.3.0 had its build status changed: passing to partially failing
• zelus-gtk.2.2 on 4.14.2 had its build status changed: passing to partially failing
• zelus-gtk.2.2 on 5.3.0 had its build status changed: passing to partially failing

Packages now not available:

• art.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• art.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• bin.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• bin.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• binsec.0.10.1 on 4.14.2 is not available anymore. Previous state was: passing
• binsec.0.10.1 on 5.3.0 is not available anymore. Previous state was: passing
• bstr.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• bstr.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• cachet-lwt.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• cachet-lwt.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• cachet-solo5.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• cachet-solo5.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• cachet.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• cachet.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• carton-git-lwt.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• carton-git-lwt.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• carton-lwt.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• carton-lwt.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• carton.1.1.0 on 4.14.2 is not available anymore. Previous state was: passing
• carton.1.1.0 on 5.3.0 is not available anymore. Previous state was: passing
• chrome-trace.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• chrome-trace.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• containers-data.3.16 on 4.14.2 is not available anymore. Previous state was: passing
• containers-data.3.16 on 5.3.0 is not available anymore. Previous state was: passing
• containers.3.16 on 4.14.2 is not available anymore. Previous state was: passing
• containers.3.16 on 5.3.0 is not available anymore. Previous state was: passing
• current.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_docker.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_docker.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_examples.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_examples.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_git.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_git.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_github.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_github.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_gitlab.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_gitlab.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_rpc.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_rpc.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_slack.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_slack.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_ssh.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_ssh.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• current_web.0.7.2 on 4.14.2 is not available anymore. Previous state was: passing
• current_web.0.7.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-action-plugin.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-action-plugin.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-build-info.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-build-info.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-configurator.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-configurator.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-glob.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-glob.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-private-libs.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-private-libs.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc-lwt.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-rpc.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-rpc.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune-site.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune-site.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dune.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dune.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• dyn.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• dyn.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• expr.0.6.0 on 4.14.2 is not available anymore. Previous state was: passing
• expr.0.6.0 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-av.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-av.1.2.7 on 5.3.0 is not available anymore. Previous state was: internal failure
• ffmpeg-avcodec.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avcodec.1.2.7 on 5.3.0 is not available anymore. Previous state was: internal failure
• ffmpeg-avdevice.1.2.7 on 4.14.2 is not available anymore. Previous state was: internal failure
• ffmpeg-avdevice.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avfilter.1.2.7 on 5.3.0 is not available anymore. Previous state was: internal failure
• ffmpeg-avutil.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-avutil.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg-swresample.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg-swscale.1.2.7 on 4.14.2 is not available anymore. Previous state was: internal failure
• ffmpeg-swscale.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• ffmpeg.1.2.7 on 4.14.2 is not available anymore. Previous state was: passing
• ffmpeg.1.2.7 on 5.3.0 is not available anymore. Previous state was: passing
• fit.1.4.0 on 4.14.2 is not available anymore. Previous state was: passing
• fit.1.4.0 on 5.3.0 is not available anymore. Previous state was: passing
• flux.0.0.1~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• fluxt.0.0.1~beta1 on 5.3.0 is not available anymore. Previous state was: passing
• huml-cli.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• huml-cli.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• huml.0.1.1 on 4.14.2 is not available anymore. Previous state was: passing
• huml.0.1.1 on 5.3.0 is not available anymore. Previous state was: passing
• lambda-term.3.3.2 on 4.14.2 is not available anymore. Previous state was: passing
• lambda-term.3.3.2 on 5.3.0 is not available anymore. Previous state was: passing
• menhir-lsp.0.1.2 on 4.14.2 is not available anymore. Previous state was: passing
• menhir-lsp.0.1.2 on 5.3.0 is not available anymore. Previous state was: passing
• miou.0.5.0 on 5.3.0 is not available anymore. Previous state was: passing
• multicore-magic-dscheck.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• multicore-magic-dscheck.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• multicore-magic.2.3.1 on 4.14.2 is not available anymore. Previous state was: passing
• multicore-magic.2.3.1 on 5.3.0 is not available anymore. Previous state was: passing
• ocamlc-loc.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• ocamlc-loc.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• ordering.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• ordering.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• passage.0.1.2 on 4.14.2 is not available anymore. Previous state was: partially failing
• posix-base.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-base.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-bindings.3 on 4.14.2 is not available anymore. Previous state was: passing
• posix-bindings.3 on 5.3.0 is not available anymore. Previous state was: passing
• posix-getopt.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-getopt.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-math2.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-math2.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-signal.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-signal.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-socket-unix.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-socket-unix.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-socket.3.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-socket.3.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-time2.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-time2.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-types.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-types.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• posix-uname.2.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• posix-uname.2.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_subliner.0.2.1 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_subliner.0.2.1 on 5.3.0 is not available anymore. Previous state was: passing
• ppx_trace.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• ppx_trace.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• qcaml.0.1.4 on 5.3.0 is not available anymore. Previous state was: passing
• quickjs.0.4.1 on 4.14.2 is not available anymore. Previous state was: passing
• quickjs.0.4.1 on 5.3.0 is not available anymore. Previous state was: passing
• reason.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
• reason.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
• rfsm.2.2 on 5.3.0 is not available anymore. Previous state was: passing
• rocq-prover.9.0.0 on 4.14.2 is not available anymore. Previous state was: passing
• rocq-prover.9.0.0 on 5.3.0 is not available anymore. Previous state was: passing
• rtop.3.17.2 on 4.14.2 is not available anymore. Previous state was: passing
• rtop.3.17.2 on 5.3.0 is not available anymore. Previous state was: passing
• server-reason-react.0.4.0 on 4.14.2 is not available anymore. Previous state was: failing
• server-reason-react.0.4.0 on 5.3.0 is not available anymore. Previous state was: failing
• slice.0.0.3 on 4.14.2 is not available anymore. Previous state was: passing
• slice.0.0.3 on 5.3.0 is not available anymore. Previous state was: passing
• slipshow.0.7.0 on 4.14.2 is not available anymore. Previous state was: passing
• slipshow.0.7.0 on 5.3.0 is not available anymore. Previous state was: passing
• smtml.0.18.0 on 4.14.2 is not available anymore. Previous state was: passing
• smtml.0.18.0 on 5.3.0 is not available anymore. Previous state was: passing
• stdune.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• stdune.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing
• testo-diff.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-diff.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-lwt.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-lwt.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo-util.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo-util.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• testo.0.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• testo.0.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• trace-fuchsia.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• trace-fuchsia.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• trace-tef.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• trace-tef.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• trace.0.10 on 4.14.2 is not available anymore. Previous state was: passing
• trace.0.10 on 5.3.0 is not available anymore. Previous state was: passing
• why3find.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
• why3find.1.2.0 on 5.3.0 is not available anymore. Previous state was: passing
• xdg.3.20.2 on 4.14.2 is not available anymore. Previous state was: passing
• xdg.3.20.2 on 5.3.0 is not available anymore. Previous state was: passing

Packages now failing with an internal failure:

• conf-gtksourceview3.0+2 on 5.3.0 had its build status changed: passing to internal failure
• conf-llvm-shared.19 on 4.14.2 had its build status changed: passing to internal failure
• conf-ode.1 on 4.14.2 had its build status changed: passing to internal failure
• conf-ode.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-python3-tomli.1 on 4.14.2 had its build status changed: failing to internal failure
• conf-python3-tomli.1 on 5.3.0 had its build status changed: failing to internal failure
• conf-sdl-ttf.1 on 5.3.0 had its build status changed: passing to internal failure
• conf-sdl2-image.1 on 4.14.2 had its build status changed: passing to internal failure
• cryptodbm.0.84.2 on 4.14.2 had its build status changed: passing to internal failure
• exenum.0.86 on 4.14.2 had its build status changed: passing to internal failure
• exenum.0.86 on 5.3.0 had its build status changed: passing to internal failure
• ortools_solvers.9.14.0 on 4.14.2 is now installable. Current state is: internal failure
• ortools_solvers.9.14.0 on 5.3.0 is now installable. Current state is: internal failure

Packages now passing:

• art.0.3.0 on 4.14.2 is now installable. Current state is: passing
• art.0.3.0 on 5.3.0 is now installable. Current state is: passing
• aslref.1.0~draft.2 on 4.14.2 is now installable. Current state is: passing
• aslref.1.0~draft.2 on 5.3.0 is now installable. Current state is: passing
• bin.0.0.4 on 4.14.2 is now installable. Current state is: passing
• bin.0.0.4 on 5.3.0 is now installable. Current state is: passing
• binsec.0.11.0 on 4.14.2 is now installable. Current state is: passing
• binsec.0.11.0 on 5.3.0 is now installable. Current state is: passing
• bstr.0.0.4 on 4.14.2 is now installable. Current state is: passing
• bstr.0.0.4 on 5.3.0 is now installable. Current state is: passing
• cachet-lwt.0.0.4 on 4.14.2 is now installable. Current state is: passing
• cachet-lwt.0.0.4 on 5.3.0 is now installable. Current state is: passing
• cachet-solo5.0.0.4 on 4.14.2 is now installable. Current state is: passing
• cachet-solo5.0.0.4 on 5.3.0 is now installable. Current state is: passing
• cachet.0.0.4 on 4.14.2 is now installable. Current state is: passing
• cachet.0.0.4 on 5.3.0 is now installable. Current state is: passing
• camlkit-base.0.3.0 on 5.3.0 had its build status changed: internal failure to passing
• camlkit.0.3.0 on 4.14.2 had its build status changed: internal failure to passing
• carton-git-lwt.1.2.0 on 4.14.2 is now installable. Current state is: passing
• carton-git-lwt.1.2.0 on 5.3.0 is now installable. Current state is: passing
• carton-lwt.1.2.0 on 4.14.2 is now installable. Current state is: passing
• carton-lwt.1.2.0 on 5.3.0 is now installable. Current state is: passing
• carton-miou.1.2.0 on 5.3.0 is now installable. Current state is: passing
• carton.1.2.0 on 4.14.2 is now installable. Current state is: passing
• carton.1.2.0 on 5.3.0 is now installable. Current state is: passing
• chrome-trace.3.21.0 on 4.14.2 is now installable. Current state is: passing
• chrome-trace.3.21.0 on 5.3.0 is now installable. Current state is: passing
• conf-allegro5.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-allegro5.1 on 5.3.0 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 4.14.2 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-blas.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 5.3.0 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-csdp.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-ffmpeg.1 on 5.3.0 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-gegl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gegl.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 4.14.2 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-glade.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-glade.2 on 5.3.0 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-gnomecanvas.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-gnomecanvas.2 on 5.3.0 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-gobject-introspection.1.0 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-graphviz.0.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-gstreamer.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gstreamer.1 on 5.3.0 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-lapack.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libMagickCore.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-libMagickCore.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-libclang.21 on 4.14.2 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-lilv.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-lilv.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-llvm-shared.19 on 5.3.0 had its build status changed: internal failure to passing
• conf-llvm-static.19 on 4.14.2 had its build status changed: internal failure to passing
• conf-llvm-static.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-mariadb.2 on 4.14.2 had its build status changed: internal failure to passing
• conf-mpi.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-mysql.1 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-nlopt.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-nlopt.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-nmap.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-openimageio.1 on 4.14.2 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-pango.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-pixz.1 on 4.14.2 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-ppl.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-ppl.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-protoc-dev.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-pulseaudio.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-python-3-dev.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rdkit.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-rdkit.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rubberband.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-2021.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-2024.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-rust-wasm.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-sdl-gfx.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl2-image.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-sdl2-mixer.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-sdl2-mixer.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-swi-prolog.1 on 4.14.2 had its build status changed: internal failure to passing
• containers-data.3.17 on 4.14.2 is now installable. Current state is: passing
• containers-data.3.17 on 5.3.0 is now installable. Current state is: passing
• containers.3.17 on 4.14.2 is now installable. Current state is: passing
• containers.3.17 on 5.3.0 is now installable. Current state is: passing
• current.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_docker.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_docker.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_examples.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_examples.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_git.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_git.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_github.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_github.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_gitlab.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_gitlab.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_rpc.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_rpc.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_slack.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_slack.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_ssh.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_ssh.0.7.3 on 5.3.0 is now installable. Current state is: passing
• current_web.0.7.3 on 4.14.2 is now installable. Current state is: passing
• current_web.0.7.3 on 5.3.0 is now installable. Current state is: passing
• domainpc.0.1 on 5.3.0 is now installable. Current state is: passing
• dune-action-plugin.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-action-plugin.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-build-info.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-build-info.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-configurator.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-configurator.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-glob.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-glob.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-private-libs.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-private-libs.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-rpc-lwt.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc-lwt.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-rpc.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-rpc.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune-site.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune-site.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dune.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dune.3.21.0 on 5.3.0 is now installable. Current state is: passing
• dyn.3.21.0 on 4.14.2 is now installable. Current state is: passing
• dyn.3.21.0 on 5.3.0 is now installable. Current state is: passing
• expr.0.7.0 on 4.14.2 is now installable. Current state is: passing
• expr.0.7.0 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-av.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-av.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avcodec.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avdevice.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avfilter.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-avutil.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-avutil.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-swresample.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swresample.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg-swscale.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg-swscale.1.2.8 on 5.3.0 is now installable. Current state is: passing
• ffmpeg.1.2.8 on 4.14.2 is now installable. Current state is: passing
• ffmpeg.1.2.8 on 5.3.0 is now installable. Current state is: passing
• fit.1.4.1 on 4.14.2 is now installable. Current state is: passing
• fit.1.4.1 on 5.3.0 is now installable. Current state is: passing
• flux.0.0.1~beta2 on 5.3.0 is now installable. Current state is: passing
• fluxt.0.0.1~beta2 on 5.3.0 is now installable. Current state is: passing
• frama-c-lannotate.0.2.4 on 4.14.2 had its build status changed: internal failure to passing
• frama-c-luncov.0.2.4 on 5.3.0 had its build status changed: internal failure to passing
• frama-c-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 5.3.0 had its build status changed: internal failure to passing
• fs-io.3.21.0 on 4.14.2 is now installable. Current state is: passing
• fs-io.3.21.0 on 5.3.0 is now installable. Current state is: passing
• graft.0.1.0 on 5.3.0 had its build status changed: internal failure to passing
• graphics.5.2.0 on 4.14.2 had its build status changed: internal failure to passing
• graphics.5.2.0 on 5.3.0 had its build status changed: internal failure to passing
• huml-cli.0.2.0 on 4.14.2 is now installable. Current state is: passing
• huml-cli.0.2.0 on 5.3.0 is now installable. Current state is: passing
• huml.0.2.0 on 4.14.2 is now installable. Current state is: passing
• huml.0.2.0 on 5.3.0 is now installable. Current state is: passing
• intel_hex.0.1 on 4.14.2 is now installable. Current state is: passing
• intel_hex.0.1 on 5.3.0 is now installable. Current state is: passing
• lablgtk3-sourceview3.3.1.5 on 5.3.0 had its build status changed: internal failure to passing
• lambda-term.3.3.3 on 4.14.2 is now installable. Current state is: passing
• lambda-term.3.3.3 on 5.3.0 is now installable. Current state is: passing
• menhir-lsp.0.2 on 4.14.2 is now installable. Current state is: passing
• menhir-lsp.0.2 on 5.3.0 is now installable. Current state is: passing
• miou.0.5.1 on 5.3.0 is now installable. Current state is: passing
• multicore-magic-dscheck.2.3.2 on 4.14.2 is now installable. Current state is: passing
• multicore-magic-dscheck.2.3.2 on 5.3.0 is now installable. Current state is: passing
• multicore-magic.2.3.2 on 4.14.2 is now installable. Current state is: passing
• multicore-magic.2.3.2 on 5.3.0 is now installable. Current state is: passing
• ocamlc-loc.3.21.0 on 4.14.2 is now installable. Current state is: passing
• ocamlc-loc.3.21.0 on 5.3.0 is now installable. Current state is: passing
• ordering.3.21.0 on 4.14.2 is now installable. Current state is: passing
• ordering.3.21.0 on 5.3.0 is now installable. Current state is: passing
• ortools.9.14.0 on 4.14.2 is now installable. Current state is: passing
• ortools.9.14.0 on 5.3.0 is now installable. Current state is: passing
• passage.0.3.2 on 4.14.2 is now installable. Current state is: passing
• passage.0.3.2 on 5.3.0 is now installable. Current state is: passing
• passe.0.1.0 on 4.14.2 is now installable. Current state is: passing
• passe.0.1.0 on 5.3.0 is now installable. Current state is: passing
• posix-base.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-base.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-bindings.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-bindings.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-errno.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-errno.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-getopt.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-getopt.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-math2.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-math2.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-resource.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-resource.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-signal.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-signal.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-socket-unix.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-socket-unix.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-socket.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-socket.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-stat.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-stat.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-time2.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-time2.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-types.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-types.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-uname.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-uname.4.0.1 on 5.3.0 is now installable. Current state is: passing
• posix-unistd.4.0.1 on 4.14.2 is now installable. Current state is: passing
• posix-unistd.4.0.1 on 5.3.0 is now installable. Current state is: passing
• ppx_subliner.0.2.2 on 4.14.2 is now installable. Current state is: passing
• ppx_subliner.0.2.2 on 5.3.0 is now installable. Current state is: passing
• ppx_trace.0.10.1 on 4.14.2 is now installable. Current state is: passing
• ppx_trace.0.10.1 on 5.3.0 is now installable. Current state is: passing
• qdrant.0.1.0 on 4.14.2 is now installable. Current state is: passing
• qdrant.0.1.0 on 5.3.0 is now installable. Current state is: passing
• quickjs.0.4.2 on 4.14.2 is now installable. Current state is: passing
• quickjs.0.4.2 on 5.3.0 is now installable. Current state is: passing
• reason.3.17.3 on 4.14.2 is now installable. Current state is: passing
• reason.3.17.3 on 5.3.0 is now installable. Current state is: passing
• restricted.1.1 on 5.3.0 is now installable. Current state is: passing
• rfsm.2.3 on 5.3.0 is now installable. Current state is: passing
• rocq-prover.meta.1 on 4.14.2 is now installable. Current state is: passing
• rocq-prover.meta.1 on 5.3.0 is now installable. Current state is: passing
• rtop.3.17.3 on 4.14.2 is now installable. Current state is: passing
• rtop.3.17.3 on 5.3.0 is now installable. Current state is: passing
• server-reason-react.0.4.1 on 4.14.2 is now installable. Current state is: passing
• server-reason-react.0.4.1 on 5.3.0 is now installable. Current state is: passing
• slice.0.0.4 on 4.14.2 is now installable. Current state is: passing
• slice.0.0.4 on 5.3.0 is now installable. Current state is: passing
• slipshow.0.8.1 on 4.14.2 is now installable. Current state is: passing
• slipshow.0.8.1 on 5.3.0 is now installable. Current state is: passing
• smtml.0.19.0 on 4.14.2 is now installable. Current state is: passing
• smtml.0.19.0 on 5.3.0 is now installable. Current state is: passing
• stdune.3.21.0 on 4.14.2 is now installable. Current state is: passing
• stdune.3.21.0 on 5.3.0 is now installable. Current state is: passing
• styled-ppx.0.56.0 on 5.3.0 had its build status changed: partially failing to passing
• testo-diff.0.3.4 on 4.14.2 is now installable. Current state is: passing
• testo-diff.0.3.4 on 5.3.0 is now installable. Current state is: passing
• testo-lwt.0.3.4 on 4.14.2 is now installable. Current state is: passing
• testo-lwt.0.3.4 on 5.3.0 is now installable. Current state is: passing
• testo-util.0.3.4 on 4.14.2 is now installable. Current state is: passing
• testo-util.0.3.4 on 5.3.0 is now installable. Current state is: passing
• testo.0.3.4 on 4.14.2 is now installable. Current state is: passing
• testo.0.3.4 on 5.3.0 is now installable. Current state is: passing
• tezos-context-hash-irmin.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• tezos-context-hash.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• tezos-context-hash.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• top-closure.3.21.0 on 4.14.2 is now installable. Current state is: passing
• top-closure.3.21.0 on 5.3.0 is now installable. Current state is: passing
• trace-fuchsia.0.10.1 on 4.14.2 is now installable. Current state is: passing
• trace-fuchsia.0.10.1 on 5.3.0 is now installable. Current state is: passing
• trace-tef.0.10.1 on 4.14.2 is now installable. Current state is: passing
• trace-tef.0.10.1 on 5.3.0 is now installable. Current state is: passing
• trace.0.10.1 on 4.14.2 is now installable. Current state is: passing
• trace.0.10.1 on 5.3.0 is now installable. Current state is: passing
• tsdl.1.2.0 on 4.14.2 had its build status changed: internal failure to passing
• ufind.0.2.0 on 4.14.2 is now installable. Current state is: passing
• ufind.0.2.0 on 5.3.0 is now installable. Current state is: passing
• why3-ide.1.8.2 on 4.14.2 had its build status changed: internal failure to passing
• why3find.1.3.0 on 4.14.2 is now installable. Current state is: passing
• why3find.1.3.0 on 5.3.0 is now installable. Current state is: passing
• xdg.3.21.0 on 4.14.2 is now installable. Current state is: passing
• xdg.3.21.0 on 5.3.0 is now installable. Current state is: passing