Packages now failing:
Packages now partially failing:
Packages now not available:
- camlgpc.1.0 on 4.14.2 is not available anymore. Previous state was: passing
- camlgpc.1.0 on 5.2.0 is not available anymore. Previous state was: passing
- conf-mad.1 on 4.14.2 is not available anymore. Previous state was: failing
- conf-mad.1 on 5.2.0 is not available anymore. Previous state was: failing
- conf-pkg-config.3 on 4.14.2 is not available anymore. Previous state was: passing
- conf-pkg-config.3 on 5.2.0 is not available anymore. Previous state was: passing
- coq-core.8.20.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq-core.8.20.0 on 5.2.0 is not available anymore. Previous state was: passing
- coq-stdlib.8.20.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq-stdlib.8.20.0 on 5.2.0 is not available anymore. Previous state was: passing
- coq.8.20.0 on 4.14.2 is not available anymore. Previous state was: passing
- coq.8.20.0 on 5.2.0 is not available anymore. Previous state was: passing
- coqide-server.8.20.0 on 4.14.2 is not available anymore. Previous state was: passing
- coqide-server.8.20.0 on 5.2.0 is not available anymore. Previous state was: passing
- coqide.8.20.0 on 4.14.2 is not available anymore. Previous state was: passing
- coqide.8.20.0 on 5.2.0 is not available anymore. Previous state was: passing
- landmarks-ppx.1.4 on 4.14.2 is not available anymore. Previous state was: passing
- landmarks-ppx.1.4 on 5.2.0 is not available anymore. Previous state was: passing
- landmarks.1.4 on 4.14.2 is not available anymore. Previous state was: passing
- landmarks.1.4 on 5.2.0 is not available anymore. Previous state was: passing
- letters.0.3.3 on 4.14.2 is not available anymore. Previous state was: passing
- letters.0.3.3 on 5.2.0 is not available anymore. Previous state was: passing
- ocp-indent-nlfork.1.5.4 on 4.14.2 is not available anymore. Previous state was: passing
- ocp-indent-nlfork.1.5.4 on 5.2.0 is not available anymore. Previous state was: passing
- pg_query.0.9.7 on 4.14.2 is not available anymore. Previous state was: failing
- pg_query.0.9.7 on 5.2.0 is not available anymore. Previous state was: failing
- posix-base.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-base.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- posix-bindings.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-bindings.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- posix-getopt.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-getopt.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- posix-signal.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-signal.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- posix-socket-unix.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-socket-unix.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- posix-socket.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-socket.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- posix-time2.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-time2.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- posix-types.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-types.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- posix-uname.2.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- posix-uname.2.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- prbnmcn-dagger-gsl.0.0.5 on 5.2.0 is not available anymore. Previous state was: passing
- prbnmcn-dagger-stats.0.0.5 on 5.2.0 is not available anymore. Previous state was: passing
- prbnmcn-dagger-test.0.0.5 on 5.2.0 is not available anymore. Previous state was: passing
- prbnmcn-dagger.0.0.5 on 5.2.0 is not available anymore. Previous state was: passing
- seqes.0.2 on 4.14.2 is not available anymore. Previous state was: passing
- seqes.0.2 on 5.2.0 is not available anymore. Previous state was: passing
- spdx_licenses.1.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- spdx_licenses.1.2.0 on 5.2.0 is not available anymore. Previous state was: passing
- sqlite3.5.2.0 on 4.14.2 is not available anymore. Previous state was: passing
- sqlite3.5.2.0 on 5.2.0 is not available anymore. Previous state was: passing
- srt.0.3.1 on 4.14.2 is not available anymore. Previous state was: passing
- srt.0.3.1 on 5.2.0 is not available anymore. Previous state was: passing
- starred_ml.0.0.6 on 5.2.0 is not available anymore. Previous state was: partially failing
- tar-eio.3.1.2 on 5.2.0 is not available anymore. Previous state was: passing
- tar-mirage.3.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- tar-mirage.3.1.2 on 5.2.0 is not available anymore. Previous state was: passing
- tar-unix.3.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- tar-unix.3.1.2 on 5.2.0 is not available anymore. Previous state was: passing
- tar.3.1.2 on 4.14.2 is not available anymore. Previous state was: passing
- tar.3.1.2 on 5.2.0 is not available anymore. Previous state was: passing
- vscoq-language-server.2.2.1 on 4.14.2 is not available anymore. Previous state was: passing
- vscoq-language-server.2.2.1 on 5.2.0 is not available anymore. Previous state was: passing
Packages now failing with an internal failure:
Packages now passing:
- api-watch.0.1.1 on 5.2.0 had its build status changed: internal failure to passing
- archetype.1.5.3 on 4.14.2 had its build status changed: internal failure to passing
- arrayjit.0.4.0 on 5.2.0 had its build status changed: internal failure to passing
- bibtex2html.1.99-1 on 5.2.0 had its build status changed: failing to passing
- camlgpc.1.2 on 4.14.2 is now installable. Current state is: passing
- camlgpc.1.2 on 5.2.0 is now installable. Current state is: passing
- conf-mad.2 on 4.14.2 is now installable. Current state is: passing
- conf-mad.2 on 5.2.0 is now installable. Current state is: passing
- conf-neko.1 on 4.14.2 had its build status changed: internal failure to passing
- conf-npm.1 on 5.2.0 had its build status changed: internal failure to passing
- conf-ode.1 on 5.2.0 had its build status changed: internal failure to passing
- conf-oniguruma.1 on 5.2.0 had its build status changed: internal failure to passing
- conf-pandoc.0.1 on 5.2.0 had its build status changed: internal failure to passing
- conf-pango.1 on 5.2.0 had its build status changed: internal failure to passing
- conf-pkg-config.4 on 4.14.2 is now installable. Current state is: passing
- conf-pkg-config.4 on 5.2.0 is now installable. Current state is: passing
- coq-core.8.20.1 on 4.14.2 is now installable. Current state is: passing
- coq-core.8.20.1 on 5.2.0 is now installable. Current state is: passing
- coq-stdlib.8.20.1 on 4.14.2 is now installable. Current state is: passing
- coq-stdlib.8.20.1 on 5.2.0 is now installable. Current state is: passing
- coq.8.20.1 on 4.14.2 is now installable. Current state is: passing
- coq.8.20.1 on 5.2.0 is now installable. Current state is: passing
- coqide-server.8.20.1 on 4.14.2 is now installable. Current state is: passing
- coqide-server.8.20.1 on 5.2.0 is now installable. Current state is: passing
- coqide.8.20.1 on 4.14.2 is now installable. Current state is: passing
- coqide.8.20.1 on 5.2.0 is now installable. Current state is: passing
- ip2proxy.3.0.0 on 4.14.2 is now installable. Current state is: passing
- ip2proxy.3.0.0 on 5.2.0 is now installable. Current state is: passing
- landmarks-ppx.1.5 on 4.14.2 is now installable. Current state is: passing
- landmarks-ppx.1.5 on 5.2.0 is now installable. Current state is: passing
- landmarks.1.5 on 4.14.2 is now installable. Current state is: passing
- landmarks.1.5 on 5.2.0 is now installable. Current state is: passing
- letters.0.4.0 on 4.14.2 is now installable. Current state is: passing
- letters.0.4.0 on 5.2.0 is now installable. Current state is: passing
- mad.0.5.3 on 4.14.2 had its build status changed: partially failing to passing
- mad.0.5.3 on 5.2.0 had its build status changed: partially failing to passing
- ocp-indent-nlfork.1.5.5 on 4.14.2 is now installable. Current state is: passing
- ocp-indent-nlfork.1.5.5 on 5.2.0 is now installable. Current state is: passing
- pg_query.0.9.8 on 4.14.2 is now installable. Current state is: passing
- pg_query.0.9.8 on 5.2.0 is now installable. Current state is: passing
- posix-base.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-base.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-bindings.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-bindings.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-getopt.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-getopt.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-math2.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-math2.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-signal.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-signal.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-socket-unix.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-socket-unix.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-socket.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-socket.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-time2.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-time2.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-types.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-types.2.1.0 on 5.2.0 is now installable. Current state is: passing
- posix-uname.2.1.0 on 4.14.2 is now installable. Current state is: passing
- posix-uname.2.1.0 on 5.2.0 is now installable. Current state is: passing
- ppx_rapper.3.1.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_rapper.3.1.0 on 5.2.0 had its build status changed: partially failing to passing
- ppx_rapper_lwt.3.1.0 on 4.14.2 had its build status changed: partially failing to passing
- ppx_rapper_lwt.3.1.0 on 5.2.0 had its build status changed: partially failing to passing
- prbnmcn-dagger-gsl.0.0.6 on 5.2.0 is now installable. Current state is: passing
- prbnmcn-dagger-stats.0.0.6 on 5.2.0 is now installable. Current state is: passing
- prbnmcn-dagger-test.0.0.6 on 5.2.0 is now installable. Current state is: passing
- prbnmcn-dagger.0.0.6 on 5.2.0 is now installable. Current state is: passing
- readline.0.1 on 5.2.0 had its build status changed: internal failure to passing
- seqes.0.3 on 4.14.2 is now installable. Current state is: passing
- seqes.0.3 on 5.2.0 is now installable. Current state is: passing
- spdx_licenses.1.3.0 on 4.14.2 is now installable. Current state is: passing
- spdx_licenses.1.3.0 on 5.2.0 is now installable. Current state is: passing
- sqlite3.5.3.0 on 4.14.2 is now installable. Current state is: passing
- sqlite3.5.3.0 on 5.2.0 is now installable. Current state is: passing
- srt.0.3.2 on 4.14.2 is now installable. Current state is: passing
- srt.0.3.2 on 5.2.0 is now installable. Current state is: passing
- tar-eio.3.2.0 on 5.2.0 is now installable. Current state is: passing
- tar-mirage.3.2.0 on 4.14.2 is now installable. Current state is: passing
- tar-mirage.3.2.0 on 5.2.0 is now installable. Current state is: passing
- tar-unix.3.2.0 on 4.14.2 is now installable. Current state is: passing
- tar-unix.3.2.0 on 5.2.0 is now installable. Current state is: passing
- tar.3.2.0 on 4.14.2 is now installable. Current state is: passing
- tar.3.2.0 on 5.2.0 is now installable. Current state is: passing
- vscoq-language-server.2.2.3 on 4.14.2 is now installable. Current state is: passing
- vscoq-language-server.2.2.3 on 5.2.0 is now installable. Current state is: passing