Home|Differences with the last checks|Previous runs

Differences between 26ba45f and 3b8f0be (git diff)

Packages now failing:

• conf-gles2.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
• multicont.1.0.3 on 5.3.0 had its build status changed: passing to failing

Packages now partially failing:

• conf-calcium.1 on 5.3.0 had its build status changed: internal failure to partially failing
• fm-simplex-plugin.1.30 on 4.14.2 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
• 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
• 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
• 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

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
• 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
• 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
• 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
• 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_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
• 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
• 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
• 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
• 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

Packages now failing with an internal failure:

• archetype.1.5.3 on 4.14.2 had its build status changed: passing to internal failure
• archetype.1.5.3 on 5.3.0 had its build status changed: passing to internal failure
• ast_generic.1.8.0 on 4.14.2 had its build status changed: passing to internal failure
• bam-ppx.0.4 on 4.14.2 had its build status changed: passing to internal failure
• bam-ppx.0.4 on 5.3.0 had its build status changed: passing to internal failure
• octez.20.1 on 4.14.2 had its build status changed: partially failing to internal failure
• odepack.0.7.1 on 5.3.0 had its build status changed: passing to internal failure
• ogre.2.5.0 on 4.14.2 had its build status changed: passing to internal failure

Packages now passing:

• acpc.1.2.3 on 4.14.2 had its build status changed: internal failure to 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
• 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
• cgi.0.10 on 4.14.2 had its build status changed: failing to 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-emacs.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-emacs.1 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-gnuplot.0.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-gnuplot.0.1 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-qemu-img.1 on 4.14.2 had its build status changed: internal failure to passing
• conf-qemu-img.1 on 5.3.0 had its build status changed: internal failure to passing
• conf-r.1.0.0 on 4.14.2 had its build status changed: internal failure to passing
• conf-r.1.0.0 on 5.3.0 had its build status changed: internal failure to passing
• conf-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
• cubicle.1.2.0 on 4.14.2 had its build status changed: failing to 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
• 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
• 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
• gnuplot.0.7 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
• 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
• 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
• 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
• 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_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
• profiler-plugin.1.30 on 4.14.2 had its build status changed: partially failing to 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
• 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
• server-reason-react.0.4.0 on 4.14.2 had its build status changed: failing to passing
• server-reason-react.0.4.0 on 5.3.0 had its build status changed: failing to 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
• styled-ppx.0.56.0 on 5.3.0 had its build status changed: partially failing to 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
• 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
• 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