Packages now failing:
Packages now partially failing:
Packages now not available:
- alt-ergo-lib.2.5.2 on 4.14.1 is not available anymore. Previous state was: passing
- alt-ergo-lib.2.5.2 on 5.1.0 is not available anymore. Previous state was: passing
- alt-ergo-parsers.2.5.2 on 4.14.1 is not available anymore. Previous state was: passing
- alt-ergo-parsers.2.5.2 on 5.1.0 is not available anymore. Previous state was: passing
- alt-ergo-plugin-ab-why3.2.5.2 on 4.14.1 is not available anymore. Previous state was: passing
- alt-ergo-plugin-ab-why3.2.5.2 on 5.1.0 is not available anymore. Previous state was: passing
- alt-ergo.2.5.2 on 4.14.1 is not available anymore. Previous state was: passing
- alt-ergo.2.5.2 on 5.1.0 is not available anymore. Previous state was: passing
- argon2.1.0.1 on 4.14.1 is not available anymore. Previous state was: passing
- argon2.1.0.1 on 5.1.0 is not available anymore. Previous state was: passing
- azure-cosmos-db.0.2.3 on 4.14.1 is not available anymore. Previous state was: passing
- azure-cosmos-db.0.2.3 on 5.1.0 is not available anymore. Previous state was: passing
- coccinelle.1.1.1 on 4.14.1 is not available anymore. Previous state was: passing
- conf-bluetooth.1 on 4.14.1 is not available anymore. Previous state was: failing
- conf-bluetooth.1 on 5.1.0 is not available anymore. Previous state was: failing
- coq-serapi.8.19.0+0.19.1 on 4.14.1 is not available anymore. Previous state was: passing
- coq-serapi.8.19.0+0.19.1 on 5.1.0 is not available anymore. Previous state was: passing
- data-encoding.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- data-encoding.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- down.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- down.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- dssi.0.1.2 on 4.14.1 is not available anymore. Previous state was: partially failing
- dssi.0.1.2 on 5.1.0 is not available anymore. Previous state was: partially failing
- eliom.10.3.1 on 4.14.1 is not available anymore. Previous state was: passing
- eliom.10.3.1 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-av.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-av.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-avcodec.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-avcodec.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-avdevice.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-avdevice.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-avfilter.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-avutil.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-swresample.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg-swscale.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg-swscale.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
- ffmpeg.1.1.10 on 4.14.1 is not available anymore. Previous state was: passing
- ffmpeg.1.1.10 on 5.1.0 is not available anymore. Previous state was: passing
- frama-clang.0.0.14 on 4.14.1 is not available anymore. Previous state was: partially failing
- frama-clang.0.0.14 on 5.1.0 is not available anymore. Previous state was: partially failing
- iostream-camlzip.0.2 on 4.14.1 is not available anymore. Previous state was: passing
- iostream-camlzip.0.2 on 5.1.0 is not available anymore. Previous state was: passing
- iostream.0.2 on 4.14.1 is not available anymore. Previous state was: passing
- iostream.0.2 on 5.1.0 is not available anymore. Previous state was: passing
- json-data-encoding-browser.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- json-data-encoding-browser.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- json-data-encoding-bson.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- json-data-encoding-bson.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- json-data-encoding.1.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- json-data-encoding.1.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- lastfm.0.3.3 on 4.14.1 is not available anymore. Previous state was: passing
- lastfm.0.3.3 on 5.1.0 is not available anymore. Previous state was: passing
- linenoise.1.5 on 4.14.1 is not available anymore. Previous state was: passing
- linenoise.1.5 on 5.1.0 is not available anymore. Previous state was: passing
- memprof-limits.0.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- merlin.4.13-414 on 4.14.1 is not available anymore. Previous state was: passing
- metadata.0.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- metadata.0.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- mirage-block-partition.0.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- mirage-block-partition.0.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- mirage-random.3.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- mirage-random.3.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- moonpool.0.5.1 on 4.14.1 is not available anymore. Previous state was: passing
- moonpool.0.5.1 on 5.1.0 is not available anymore. Previous state was: passing
- mpi.1.05 on 4.14.1 is not available anymore. Previous state was: passing
- mpi.1.05 on 5.1.0 is not available anymore. Previous state was: passing
- ocplib-simplex.0.5 on 4.14.1 is not available anymore. Previous state was: passing
- ocplib-simplex.0.5 on 5.1.0 is not available anymore. Previous state was: passing
- ocsigen-start.6.2.0 on 4.14.1 is not available anymore. Previous state was: passing
- ocsigen-start.6.2.0 on 5.1.0 is not available anymore. Previous state was: passing
- omlr.1.0.2 on 4.14.1 is not available anymore. Previous state was: passing
- omod.0.0.3 on 4.14.1 is not available anymore. Previous state was: passing
- omod.0.0.3 on 5.1.0 is not available anymore. Previous state was: passing
- opentelemetry-client-cohttp-lwt.0.8 on 4.14.1 is not available anymore. Previous state was: passing
- opentelemetry-client-cohttp-lwt.0.8 on 5.1.0 is not available anymore. Previous state was: passing
- opentelemetry-client-ocurl.0.8 on 4.14.1 is not available anymore. Previous state was: passing
- opentelemetry-client-ocurl.0.8 on 5.1.0 is not available anymore. Previous state was: passing
- opentelemetry-cohttp-lwt.0.8 on 4.14.1 is not available anymore. Previous state was: failing
- opentelemetry-cohttp-lwt.0.8 on 5.1.0 is not available anymore. Previous state was: failing
- opentelemetry-lwt.0.8 on 4.14.1 is not available anymore. Previous state was: passing
- opentelemetry-lwt.0.8 on 5.1.0 is not available anymore. Previous state was: passing
- opentelemetry.0.8 on 4.14.1 is not available anymore. Previous state was: passing
- opentelemetry.0.8 on 5.1.0 is not available anymore. Previous state was: passing
- ppx_minidebug.1.4.0 on 4.14.1 is not available anymore. Previous state was: passing
- ppx_minidebug.1.4.0 on 5.1.0 is not available anymore. Previous state was: passing
- pringo.1.3 on 4.14.1 is not available anymore. Previous state was: passing
- pringo.1.3 on 5.1.0 is not available anymore. Previous state was: passing
- soupault.4.8.0 on 4.14.1 is not available anymore. Previous state was: passing
- soupault.4.8.0 on 5.1.0 is not available anymore. Previous state was: passing
- stdlib-random.1.1.0 on 4.14.1 is not available anymore. Previous state was: passing
- stdlib-random.1.1.0 on 5.1.0 is not available anymore. Previous state was: passing
- tcpip.8.0.0 on 4.14.1 is not available anymore. Previous state was: passing
- tcpip.8.0.0 on 5.1.0 is not available anymore. Previous state was: passing
- tls-async.0.17.3 on 4.14.1 is not available anymore. Previous state was: passing
- tls-async.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
- tls-eio.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
- tls-lwt.0.17.3 on 4.14.1 is not available anymore. Previous state was: passing
- tls-lwt.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
- tls-mirage.0.17.3 on 4.14.1 is not available anymore. Previous state was: passing
- tls-mirage.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
- tls.0.17.3 on 4.14.1 is not available anymore. Previous state was: passing
- tls.0.17.3 on 5.1.0 is not available anymore. Previous state was: passing
- z3.4.12.6 on 4.14.1 is not available anymore. Previous state was: passing
- z3.4.12.6 on 5.1.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- 0install-gtk.2.18 on 4.14.1 had its build status changed: partially failing to passing
- 0install-gtk.2.18 on 5.1.0 had its build status changed: partially failing to passing
- alt-ergo-lib.2.5.3 on 4.14.1 is now installable. Current state is: passing
- alt-ergo-lib.2.5.3 on 5.1.0 is now installable. Current state is: passing
- alt-ergo-parsers.2.5.3 on 4.14.1 is now installable. Current state is: passing
- alt-ergo-parsers.2.5.3 on 5.1.0 is now installable. Current state is: passing
- alt-ergo-plugin-ab-why3.2.5.3 on 4.14.1 is now installable. Current state is: passing
- alt-ergo-plugin-ab-why3.2.5.3 on 5.1.0 is now installable. Current state is: passing
- alt-ergo.2.5.3 on 4.14.1 is now installable. Current state is: passing
- alt-ergo.2.5.3 on 5.1.0 is now installable. Current state is: passing
- altgr-ergo.2.4.3 on 4.14.1 had its build status changed: partially failing to passing
- altgr-ergo.2.4.3 on 5.1.0 had its build status changed: partially failing to passing
- azure-cosmos-db.0.2.4 on 4.14.1 is now installable. Current state is: passing
- azure-cosmos-db.0.2.4 on 5.1.0 is now installable. Current state is: passing
- bibtex2html.1.99-1 on 5.1.0 had its build status changed: failing to passing
- bimage-gtk.0.2.1 on 4.14.1 had its build status changed: partially failing to passing
- bimage-gtk.0.2.1 on 5.1.0 had its build status changed: partially failing to passing
- cgi.0.10 on 4.14.1 had its build status changed: failing to passing
- coccinelle.1.2 on 4.14.1 is now installable. Current state is: passing
- conf-alsa.1 on 4.14.1 is now installable. Current state is: passing
- conf-alsa.1 on 5.1.0 is now installable. Current state is: passing
- conf-brotli.0.0.1 on 4.14.1 had its build status changed: internal failure to passing
- conf-brotli.0.0.1 on 5.1.0 had its build status changed: internal failure to passing
- conf-calcium.1 on 4.14.1 had its build status changed: failing to passing
- conf-calcium.1 on 5.1.0 had its build status changed: failing to passing
- conf-clang-format.1 on 4.14.1 had its build status changed: failing to passing
- conf-clang-format.1 on 5.1.0 had its build status changed: failing to passing
- conf-csdp.1 on 4.14.1 had its build status changed: failing to passing
- conf-csdp.1 on 5.1.0 had its build status changed: failing to passing
- conf-dssi.1 on 4.14.1 is now installable. Current state is: passing
- conf-dssi.1 on 5.1.0 is now installable. Current state is: passing
- conf-ftgl.1 on 4.14.1 had its build status changed: failing to passing
- conf-ftgl.1 on 5.1.0 had its build status changed: failing to passing
- conf-glfw3.2 on 4.14.1 had its build status changed: failing to passing
- conf-glfw3.2 on 5.1.0 had its build status changed: failing to passing
- conf-glpk.1 on 4.14.1 had its build status changed: failing to passing
- conf-glpk.1 on 5.1.0 had its build status changed: failing to passing
- conf-gobject-introspection.1.0 on 5.1.0 had its build status changed: failing to passing
- conf-guile.1 on 4.14.1 had its build status changed: internal failure to passing
- conf-guile.1 on 5.1.0 had its build status changed: internal failure to passing
- conf-libMagickCore.1 on 4.14.1 had its build status changed: failing to passing
- conf-libMagickCore.1 on 5.1.0 had its build status changed: failing to passing
- conf-libdw.1 on 4.14.1 had its build status changed: failing to passing
- conf-libdw.1 on 5.1.0 had its build status changed: failing to passing
- conf-libfuse.1 on 4.14.1 had its build status changed: failing to passing
- conf-libfuse.1 on 5.1.0 had its build status changed: failing to passing
- conf-liblinear-tools.1.0.0 on 4.14.1 had its build status changed: failing to passing
- conf-liblinear-tools.1.0.0 on 5.1.0 had its build status changed: failing to passing
- conf-libmosquitto.1 on 4.14.1 had its build status changed: failing to passing
- conf-libmosquitto.1 on 5.1.0 had its build status changed: failing to passing
- coq-serapi.8.19.0+0.19.2 on 4.14.1 is now installable. Current state is: passing
- coq-serapi.8.19.0+0.19.2 on 5.1.0 is now installable. Current state is: passing
- coqide.8.19.1 on 4.14.1 had its build status changed: partially failing to passing
- coqide.8.19.1 on 5.1.0 had its build status changed: partially failing to passing
- cubicle.1.2.0 on 5.1.0 had its build status changed: failing to passing
- data-encoding.1.0.1 on 4.14.1 is now installable. Current state is: passing
- data-encoding.1.0.1 on 5.1.0 is now installable. Current state is: passing
- deadlock.1.0 on 4.14.1 had its build status changed: partially failing to passing
- doculib.1.3.5 on 4.14.1 had its build status changed: partially failing to passing
- doculib.1.3.5 on 5.1.0 had its build status changed: partially failing to passing
- down.0.2.0 on 4.14.1 is now installable. Current state is: passing
- down.0.2.0 on 5.1.0 is now installable. Current state is: passing
- eio-trace.0.1 on 5.1.0 had its build status changed: partially failing to passing
- eliom.10.4.0 on 4.14.1 is now installable. Current state is: passing
- eliom.10.4.0 on 5.1.0 is now installable. Current state is: passing
- ffmpeg-av.1.1.11 on 4.14.1 is now installable. Current state is: passing
- ffmpeg-av.1.1.11 on 5.1.0 is now installable. Current state is: passing
- ffmpeg-avcodec.1.1.11 on 4.14.1 is now installable. Current state is: passing
- ffmpeg-avcodec.1.1.11 on 5.1.0 is now installable. Current state is: passing
- ffmpeg-avdevice.1.1.11 on 4.14.1 is now installable. Current state is: passing
- ffmpeg-avdevice.1.1.11 on 5.1.0 is now installable. Current state is: passing
- ffmpeg-avfilter.1.1.11 on 4.14.1 is now installable. Current state is: passing
- ffmpeg-avfilter.1.1.11 on 5.1.0 is now installable. Current state is: passing
- ffmpeg-avutil.1.1.11 on 4.14.1 is now installable. Current state is: passing
- ffmpeg-avutil.1.1.11 on 5.1.0 is now installable. Current state is: passing
- ffmpeg-swresample.1.1.11 on 4.14.1 is now installable. Current state is: passing
- ffmpeg-swresample.1.1.11 on 5.1.0 is now installable. Current state is: passing
- ffmpeg-swscale.1.1.11 on 4.14.1 is now installable. Current state is: passing
- ffmpeg-swscale.1.1.11 on 5.1.0 is now installable. Current state is: passing
- ffmpeg.1.1.11 on 4.14.1 is now installable. Current state is: passing
- ffmpeg.1.1.11 on 5.1.0 is now installable. Current state is: passing
- frama-c-metacsl.0.6 on 4.14.1 had its build status changed: partially failing to passing
- frama-c-metacsl.0.6 on 5.1.0 had its build status changed: partially failing to passing
- frama-c.28.1 on 4.14.1 had its build status changed: partially failing to passing
- frama-c.28.1 on 5.1.0 had its build status changed: partially failing to passing
- functory.0.6 on 4.14.1 had its build status changed: failing to passing
- hl_yaml.1.0.0 on 5.1.0 is now installable. Current state is: passing
- iostream-camlzip.0.2.2 on 4.14.1 is now installable. Current state is: passing
- iostream-camlzip.0.2.2 on 5.1.0 is now installable. Current state is: passing
- iostream.0.2.2 on 4.14.1 is now installable. Current state is: passing
- iostream.0.2.2 on 5.1.0 is now installable. Current state is: passing
- json-data-encoding-browser.1.0.1 on 4.14.1 is now installable. Current state is: passing
- json-data-encoding-browser.1.0.1 on 5.1.0 is now installable. Current state is: passing
- json-data-encoding-bson.1.0.1 on 4.14.1 is now installable. Current state is: passing
- json-data-encoding-bson.1.0.1 on 5.1.0 is now installable. Current state is: passing
- json-data-encoding.1.0.1 on 4.14.1 is now installable. Current state is: passing
- json-data-encoding.1.0.1 on 5.1.0 is now installable. Current state is: passing
- lablgtk3-extras.3.0.1 on 4.14.1 had its build status changed: partially failing to passing
- lablgtk3-goocanvas2.3.1.4 on 4.14.1 had its build status changed: partially failing to passing
- lablgtk3-goocanvas2.3.1.4 on 5.1.0 had its build status changed: partially failing to passing
- lablgtk3-gtkspell3.3.1.4 on 4.14.1 had its build status changed: partially failing to passing
- lablgtk3-gtkspell3.3.1.4 on 5.1.0 had its build status changed: partially failing to passing
- lablgtk3-rsvg2.3.1.4 on 4.14.1 had its build status changed: partially failing to passing
- lablgtk3-rsvg2.3.1.4 on 5.1.0 had its build status changed: partially failing to passing
- lablgtk3-sourceview3.3.1.4 on 4.14.1 had its build status changed: partially failing to passing
- lablgtk3-sourceview3.3.1.4 on 5.1.0 had its build status changed: partially failing to passing
- lablgtk3.3.1.4 on 4.14.1 had its build status changed: failing to passing
- lablgtk3.3.1.4 on 5.1.0 had its build status changed: failing to passing
- lastfm.0.3.4 on 4.14.1 is now installable. Current state is: passing
- lastfm.0.3.4 on 5.1.0 is now installable. Current state is: passing
- linenoise.1.5.1 on 4.14.1 is now installable. Current state is: passing
- linenoise.1.5.1 on 5.1.0 is now installable. Current state is: passing
- memprof-limits.0.2.1 on 4.14.1 is now installable. Current state is: passing
- merlin.4.14-414 on 4.14.1 is now installable. Current state is: passing
- metadata.0.3.0 on 4.14.1 is now installable. Current state is: passing
- metadata.0.3.0 on 5.1.0 is now installable. Current state is: passing
- mirage-block-partition.0.2.0 on 4.14.1 is now installable. Current state is: passing
- mirage-block-partition.0.2.0 on 5.1.0 is now installable. Current state is: passing
- mirage-random.4.0.0 on 4.14.1 is now installable. Current state is: passing
- mirage-random.4.0.0 on 5.1.0 is now installable. Current state is: passing
- moonpool-lwt.0.6 on 5.1.0 is now installable. Current state is: passing
- moonpool.0.6 on 4.14.1 is now installable. Current state is: passing
- moonpool.0.6 on 5.1.0 is now installable. Current state is: passing
- mpi.1.06 on 4.14.1 is now installable. Current state is: passing
- mpi.1.06 on 5.1.0 is now installable. Current state is: passing
- ocaml-top.1.2.0 on 4.14.1 had its build status changed: partially failing to passing
- ocaml-top.1.2.0 on 5.1.0 had its build status changed: partially failing to passing
- ocplib-simplex.0.5.1 on 4.14.1 is now installable. Current state is: passing
- ocplib-simplex.0.5.1 on 5.1.0 is now installable. Current state is: passing
- ocsigen-start.6.3.0 on 4.14.1 is now installable. Current state is: passing
- ocsigen-start.6.3.0 on 5.1.0 is now installable. Current state is: passing
- omlr.1.0.3 on 4.14.1 is now installable. Current state is: passing
- omlr.1.0.3 on 5.1.0 is now installable. Current state is: passing
- omod.0.0.4 on 4.14.1 is now installable. Current state is: passing
- omod.0.0.4 on 5.1.0 is now installable. Current state is: passing
- opentelemetry-client-cohttp-lwt.0.9 on 4.14.1 is now installable. Current state is: passing
- opentelemetry-client-cohttp-lwt.0.9 on 5.1.0 is now installable. Current state is: passing
- opentelemetry-client-ocurl.0.9 on 4.14.1 is now installable. Current state is: passing
- opentelemetry-client-ocurl.0.9 on 5.1.0 is now installable. Current state is: passing
- opentelemetry-lwt.0.9 on 4.14.1 is now installable. Current state is: passing
- opentelemetry-lwt.0.9 on 5.1.0 is now installable. Current state is: passing
- opentelemetry.0.9 on 4.14.1 is now installable. Current state is: passing
- opentelemetry.0.9 on 5.1.0 is now installable. Current state is: passing
- osdp.1.1.1 on 4.14.1 had its build status changed: partially failing to passing
- osdp.1.1.1 on 5.1.0 had its build status changed: partially failing to passing
- ppx_minidebug.1.5.0 on 4.14.1 is now installable. Current state is: passing
- ppx_minidebug.1.5.0 on 5.1.0 is now installable. Current state is: passing
- pringo.1.4 on 4.14.1 is now installable. Current state is: passing
- pringo.1.4 on 5.1.0 is now installable. Current state is: passing
- reason.3.11.0 on 4.14.1 had its build status changed: internal failure to passing
- soupault.4.9.0 on 4.14.1 is now installable. Current state is: passing
- soupault.4.9.0 on 5.1.0 is now installable. Current state is: passing
- stdlib-random.1.2.0 on 4.14.1 is now installable. Current state is: passing
- stdlib-random.1.2.0 on 5.1.0 is now installable. Current state is: passing
- tcpip.8.0.1 on 4.14.1 is now installable. Current state is: passing
- tcpip.8.0.1 on 5.1.0 is now installable. Current state is: passing
- terml.0.0.1 on 5.1.0 is now installable. Current state is: passing
- tezos-base58.1.0.0 on 5.1.0 had its build status changed: internal failure to passing
- tls-async.0.17.4 on 4.14.1 is now installable. Current state is: passing
- tls-async.0.17.4 on 5.1.0 is now installable. Current state is: passing
- tls-eio.0.17.4 on 5.1.0 is now installable. Current state is: passing
- tls-lwt.0.17.4 on 4.14.1 is now installable. Current state is: passing
- tls-lwt.0.17.4 on 5.1.0 is now installable. Current state is: passing
- tls-mirage.0.17.4 on 4.14.1 is now installable. Current state is: passing
- tls-mirage.0.17.4 on 5.1.0 is now installable. Current state is: passing
- tls.0.17.4 on 4.14.1 is now installable. Current state is: passing
- tls.0.17.4 on 5.1.0 is now installable. Current state is: passing
- unison-gui.2.53.4 on 4.14.1 had its build status changed: partially failing to passing
- unison-gui.2.53.4 on 5.1.0 had its build status changed: partially failing to passing
- why3-ide.1.7.1 on 4.14.1 had its build status changed: partially failing to passing
- why3-ide.1.7.1 on 5.1.0 had its build status changed: partially failing to passing
- xmldiff.0.7.0 on 4.14.1 had its build status changed: internal failure to passing
- xmldiff.0.7.0 on 5.1.0 had its build status changed: internal failure to passing
- xmldiff_js.0.7.0 on 4.14.1 had its build status changed: internal failure to passing
- xmldiff_js.0.7.0 on 5.1.0 had its build status changed: internal failure to passing
- z3.4.13.0 on 4.14.1 is now installable. Current state is: passing
- z3.4.13.0 on 5.1.0 is now installable. Current state is: passing