(for PR #29613)
Summary of errors
- compilers
- 4.14
- conf-perl-ipc-system-simple.4
- revdeps
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- revdeps
- conf-perl-string-shellquote.4
- revdeps
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- revdeps
- conf-perl.3
- revdeps
- alt-ergo.1.30 (failed: The installation of alt-ergo failed at "make install MANDIR=/home/opam/.opam/4.14/man".)
- apron.v0.9.12 (failed: The compilation of apron.v0.9.12 failed at "make -j255".)
- apron.v0.9.13 (failed: The compilation of apron.v0.9.13 failed at "make -j71".)
- async_rpc_websocket.v0.15.0 (failed: async_ssl.v0.15.0 failed to build)
- async_smtp.v0.14.0 (failed: async_ssl.v0.14.0 failed to build)
- async_smtp.v0.15.0 (failed: async_ssl.v0.15.0 failed to build)
- awsm-async.0.1.0 (failed: async_ssl.v0.15.0 failed to build)
- azblob-async.0.1.0 (failed: cohttp-async.5.2.0 failed to build)
- bap-frontc.2.2.0 (failed: FrontC.3.4.3-1 failed to build)
- bap-ghidra.2.4.0 (failed: The compilation of bap-ghidra.2.4.0 failed at "make".)
- bap-ghidra.2.5.0 (failed: The compilation of bap-ghidra.2.5.0 failed at "make".)
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- bitwuzla-cxx.0.2.0 (failed: 'replace' is not a member of 'std')
- bitwuzla-cxx.0.3.0 (failed: 'replace' is not a member of 'std')
- bitwuzla-cxx.0.4.0 (failed: 'abs' is not a member of 'std')
- bonsai.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- capnp-rpc-unix.1.2.3 (failed: Cancelled)
- capnp-rpc-unix.1.2.4 (failed: Cancelled)
- caqti-dynload.2.0.1 (failed: Failed to get sources of sexplib0.v0.17.0: curl failed)
- caqti-lwt.2.1.1 (failed: Failed to get sources of sexplib0.v0.17.0: curl failed)
- caqti-lwt.2.2.4 (failed: Failed to get sources of sexplib0.v0.17.0: curl failed)
- cca.0.2 (failed: Installation of cca.0.2 failed)
- cca.0.4 (failed: Installation of cca.0.4 failed)
- cca.0.5 (failed: Installation of cca.0.5 failed)
- cca.0.6.2 (failed: Installation of cca.0.6.2 failed)
- cca.0.7 (failed: Installation of cca.0.7 failed)
- class_group_vdf.0.0.2 (failed: ld returned 1 exit status)
- class_group_vdf.0.0.3 (failed: ld returned 1 exit status)
- cohttp_async_websocket.v0.15.0 (failed: async_ssl.v0.15.0 failed to build)
- coq-waterproof.3.0.0+8.20 (failed: Can't find file waterproof.cmxs on loadpath.)
- current-albatross-deployer.1.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- docteur-solo5.0.0.2 (failed: solo5-bindings-hvt.0.6.9 failed to build)
- docteur.0.0.1 (failed: solo5-bindings-hvt.0.6.9 failed to build)
- elina.1.0 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.1 (failed: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types])
- elina.1.3 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3.2 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- eliom.10.1.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.1.2 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.2.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.3.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.3.1 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.4.0 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- eliom.10.4.1 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- eliom.11.0.0 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- eliom.11.0.1 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- eliom.11.1.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- eliom.11.1.1 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- fm-simplex-plugin.1.30 (failed: alt-ergo.1.30 failed to build)
- frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
- frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
- frama-c.22.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.24.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.25.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.25.0~beta (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.26.0 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.27.0 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR=/home/opam/.opam/4.14/man install".)
- frama-c.27.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j255 @ptests_config".)
- frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j255 @ptests_config".)
- frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j255 @ptests_config".)
- frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j71 @ptests_config".)
- frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j255 @ptests_config".)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j255 @ptests_config".)
- frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j255 @ptests_config".)
- frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
- goblint-cil.1.8.0 (failed: Error while processing file; see above for details.)
- goblint-cil.1.8.2 (failed: Error while processing file; see above for details.)
- goblint-cil.2.0.0 (failed: The compilation of goblint-cil.2.0.0 failed at "dune build -p goblint-cil -j 71 @install @runtest".)
- goblint-cil.2.0.1 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.2 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.3 (failed: Cabs2cil had some errors)
- hardcaml_verify.v0.15.0 (failed: hardcaml_waveterm.v0.15.0 failed to build)
- hardcaml_waveterm.v0.15.0 (failed: Error during linking (exit code 1))
- incr_dom.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- incr_dom_interactive.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- incr_dom_partial_render.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- incr_dom_sexp_form.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- irmin-http.3.6.1 (failed: Failed to get sources of cohttp.6.1.1, cohttp-lwt.6.1.1, cohttp-lwt-unix.6.1.1, http.6.1.1 (https://github.com/mirage/ocaml-cohttp/releases/download/v6.1.1/cohttp-6.1.1.tbz): curl failed)
- kinetic-client.0.0.9 (failed: This expression has type string but an expression was expected of type)
- lambdapi.3.0.0 (failed: Failed to get sources of alt-ergo.2.6.2, alt-ergo-lib.2.6.2, alt-ergo-parsers.2.6.2 (https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.2/alt-ergo-2.6.2.tbz): curl failed)
- libirmin.3.6.1 (failed: Cancelled)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- memcad.1.1.0 (failed: conf-libclang.12 failed to build)
- memtrace_viewer.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- mopsa.1.2 (failed: "languages.universal.numeric.relational.elinainst" is an invalid)
- mssql.2.0.3 (failed: Error during linking (exit code 1))
- mssql.2.1.0 (failed: Error during linking (exit code 1))
- mssql.2.2.0 (failed: Error during linking (exit code 1))
- ocsigen-start.6.1.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- ocsigen-start.6.1.1 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- ocsigen-start.6.1.2 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- ocsigen-start.6.2.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- ocsigen-start.6.3.0 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- ocsigen-start.7.0.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-start.7.1.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-toolkit.3.3.1 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-toolkit.3.3.4 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-toolkit.4.0.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-toolkit.4.1.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs-base.0.6.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_base.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_base_all.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_base_ppx.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_ed.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_filetree.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_list.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ortac-qcheck-stm.0.6.1 (failed: The compilation of ortac-qcheck-stm.0.6.1 failed at "dune build -p ortac-qcheck-stm -j 255 --promote-install-files=false @install @runtest".)
- ortac-qcheck-stm.0.7.0 (failed: The compilation of ortac-qcheck-stm.0.7.0 failed at "dune build -p ortac-qcheck-stm -j 255 --promote-install-files=false @install @runtest".)
- ortac-qcheck-stm.0.7.1 (failed: The compilation of ortac-qcheck-stm.0.7.1 failed at "dune build -p ortac-qcheck-stm -j 71 --promote-install-files=false @install @runtest".)
- ortac-qcheck-stm.0.7.2 (failed: The compilation of ortac-qcheck-stm.0.7.2 failed at "dune build -p ortac-qcheck-stm -j 255 --promote-install-files=false @install @runtest".)
- ortac-wrapper.0.7.0 (failed: The compilation of ortac-wrapper.0.7.0 failed at "dune build -p ortac-wrapper -j 71 --promote-install-files=false @install @runtest".)
- ortac-wrapper.0.7.1 (failed: The compilation of ortac-wrapper.0.7.1 failed at "dune build -p ortac-wrapper -j 255 --promote-install-files=false @install @runtest".)
- ortac-wrapper.0.7.2 (failed: The compilation of ortac-wrapper.0.7.2 failed at "dune build -p ortac-wrapper -j 255 --promote-install-files=false @install @runtest".)
- otp.0.2 (failed: Failed to get sources of otp.0.2: Bad checksum)
- pari-bindings.0.1 (failed: passing argument 4 of 'sd_string' from incompatible pointer type [-Wincompatible-pointer-types])
- pari.0.1 (failed: pari-bindings.0.1 failed to build)
- petrol.1.2.0 (failed: Failed to get sources of sexplib0.v0.17.0: curl failed)
- pilat.1.6 (failed: frama-c.22.0 failed to build)
- polka.2.71.10 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
- polka.2.71.15 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
- profiler-plugin.1.30 (failed: alt-ergo.1.30 failed to build)
- salsa20-core.0.1.0 (failed: The compilation of salsa20-core.0.1.0 failed at "ocaml pkg/pkg.ml build --pinned false".)
- salsa20.0.1.0 (failed: The compilation of salsa20.0.1.0 failed at "ocaml pkg/pkg.ml build --pinned false".)
- satML-plugin.1.30 (failed: alt-ergo.1.30 failed to build)
- sendmail.0.4.0 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.4.1 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.4.2 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.5.0 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- session-cookie-async.0.1.8 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session-cookie.0.1.8 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session-webmachine.0.4.0 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session-webmachine.0.4.1 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- sihl.0.3.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.0.4.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.0.4.1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.0.5.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.0.6.0~rc1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.0~rc1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.0~rc2 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.0~rc3 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.2.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.2.0.1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.2 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.3 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.4 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.5 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- yices2.0.0.2 (failed: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types])
- yices2.0.0.3 (failed: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types])
- revdeps
- conf-perl-ipc-system-simple.4
- 5.4
- conf-perl-ipc-system-simple.4
- conf-perl-string-shellquote.4
- conf-perl.3
- revdeps
- alt-ergo.2.5.1 (failed: The compilation of alt-ergo.2.5.1 failed at "dune build -p alt-ergo -j 71 --promote-install-files=false @install @runtest".)
- alt-ergo.2.5.2 (failed: The compilation of alt-ergo.2.5.2 failed at "dune build -p alt-ergo -j 71 --promote-install-files=false @install @runtest".)
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- bitwuzla-cxx.0.4.0 (failed: 'abs' is not a member of 'std')
- capnp-rpc-unix.1.2.4 (failed: Cancelled)
- capnp-rpc-unix.2.1 (failed: Cancelled)
- capnp-rpc-unix.2.1.1 (failed: Cancelled)
- class_group_vdf.0.0.2 (failed: ld returned 1 exit status)
- coq-waterproof.3.0.0+8.20 (failed: Can't find file waterproof.cmxs on loadpath.)
- current-albatross-deployer.1.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- data-encoding.0.4 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.5 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.5.1 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.5.2 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.5.3 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.6 (failed: exception File "test/pbt/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.7 (failed: exception File "test/pbt/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.7.1 (failed: exception File "test/pbt/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.1.0.0 (failed: The compilation of data-encoding.1.0.0 failed at "dune runtest -p data-encoding -j 71".)
- data-encoding.1.0.1 (failed: The compilation of data-encoding.1.0.1 failed at "dune runtest -p data-encoding -j 255".)
- elina.1.0 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3.2 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- frama-c.31.0 (failed: The compilation of frama-c.31.0 failed at "dune build -j71 @ptests_config".)
- frama-c.31.0~beta (failed: The compilation of frama-c.31.0~beta failed at "dune build -j255 @ptests_config".)
- goblint-cil.2.0.0 (failed: The compilation of goblint-cil.2.0.0 failed at "dune build -p goblint-cil -j 255 @install @runtest".)
- goblint-cil.2.0.1 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.2 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.3 (failed: Cabs2cil had some errors)
- lambdapi.3.0.0 (failed: Failed to get sources of alt-ergo.2.6.2, alt-ergo-lib.2.6.2, alt-ergo-parsers.2.6.2 (https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.2/alt-ergo-2.6.2.tbz): curl failed)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- mopsa.1.2 (failed: "languages.universal.numeric.relational.elinainst" is an invalid)
- ojs_base_ppx.0.8.0 (failed: The value lid_name has type Longident.t Location.loc)
- otp.0.2 (failed: Failed to get sources of otp.0.2: Bad checksum)
- pari-bindings.0.1 (failed: passing argument 4 of 'sd_string' from incompatible pointer type [-Wincompatible-pointer-types])
- pari.0.1 (failed: pari-bindings.0.1 failed to build)
- polka.2.71.10 (failed: implicit declaration of function 'failwith'; did you mean 'caml_failwith'? [-Wimplicit-function-declaration])
- polka.2.71.15 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
- randoml.0.1.5 (failed: failed to run custom build command for `ocaml-boxroot-sys v0.2.0`)
- salsa20-core.0.1.0 (failed: The compilation of salsa20-core.0.1.0 failed at "ocaml pkg/pkg.ml build --pinned false".)
- salsa20.0.1.0 (failed: The compilation of salsa20.0.1.0 failed at "ocaml pkg/pkg.ml build --pinned false".)
- sendmail.0.4.0 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.4.1 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.4.2 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.5.0 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- session-cookie.0.1.8 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session-webmachine.0.4.1 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- simple_httpd_caqti.1.0 (failed: Failed to get sources of simple_httpd.1.0, simple_httpd_caqti.1.0 (https://github.com/craff/simple_httpd/archive/refs/tags/1.0.tar.gz): Bad checksum)
- vif.0.0.1~beta1 (failed: The compilation of vif.0.0.1~beta1 failed at "dune runtest -p vif -j1".)
- vif.0.0.1~beta2 (failed: The compilation of vif.0.0.1~beta2 failed at "dune runtest -p vif -j1".)
- why3find.1.1.1 (failed: The compilation of why3find.1.1.1 failed at "dune build -p why3find -j 71 --promote-install-files=false @install @runtest".)
- revdeps
- 4.14
Main results
- (analysis) (passed)
- (lint) (passed)
- compilers
- 4.08
- 4.09
- 4.10
- 4.11
- 4.12
- 4.13
- 4.14
- 5.0
- 5.1
- 5.2
- 5.3
- 5.4
- distributions
- alpine-3.22-ocaml-4.14
- alpine-3.22-ocaml-5.4
- archlinux-ocaml-4.14
- archlinux-ocaml-5.4
- centos-10-ocaml-4.14
- centos-10-ocaml-5.4
- centos-9-ocaml-4.14
- centos-9-ocaml-5.4
- debian-12-ocaml-4.14
- debian-12-ocaml-5.4
- debian-testing-ocaml-4.14
- debian-testing-ocaml-5.4
- debian-unstable-ocaml-4.14
- debian-unstable-ocaml-5.4
- fedora-42-ocaml-4.14
- fedora-42-ocaml-5.4
- fedora-43-ocaml-4.14
- fedora-43-ocaml-5.4
- opensuse-15.6-ocaml-4.14
- opensuse-15.6-ocaml-5.4
- opensuse-16.0-ocaml-4.14
- opensuse-16.0-ocaml-5.4
- opensuse-tumbleweed-ocaml-4.14
- opensuse-tumbleweed-ocaml-5.4
- ubuntu-22.04-ocaml-4.14
- ubuntu-22.04-ocaml-5.4
- ubuntu-24.04-ocaml-4.14
- ubuntu-24.04-ocaml-5.4
- ubuntu-25.04-ocaml-4.14
- ubuntu-25.04-ocaml-5.4
- ubuntu-25.10-ocaml-4.14
- ubuntu-25.10-ocaml-5.4
- extras
- arm32-ocaml-4.14
- arm32-ocaml-5.4
- arm64-ocaml-4.14
- arm64-ocaml-5.4
- ocaml-4.14-afl
- ocaml-4.14-flambda
- ocaml-4.14-flambda-fp
- ocaml-4.14-fp
- ocaml-4.14-nnp
- ocaml-4.14-nnpchecker
- ocaml-4.14-no-flat-float-array
- ocaml-5.4-afl
- ocaml-5.4-flambda
- ocaml-5.4-no-flat-float-array
- opam-2.0-ocaml-4.14
- opam-2.0-ocaml-5.4
- opam-2.1-ocaml-4.14
- opam-2.1-ocaml-5.4
- opam-2.2-ocaml-4.14
- opam-2.2-ocaml-5.4
- opam-2.3-ocaml-4.14
- opam-2.3-ocaml-5.4
- opam-2.4-ocaml-4.14
- opam-2.4-ocaml-5.4
- opam-2.5-ocaml-4.14
- opam-2.5-ocaml-5.4
- ppc64-ocaml-4.14
- ppc64-ocaml-5.4
- riscv64-ocaml-4.14
- riscv64-ocaml-5.4
- s390x-ocaml-4.14
- s390x-ocaml-5.4
- x86_32-ocaml-4.14
- x86_32-ocaml-5.4
- freebsd (experimental)
- freebsd-14.3-ocaml-4.14-amd64 (experimental)
- freebsd-14.3-ocaml-5.4-amd64 (experimental)
- macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- macos-homebrew-ocaml-5.4-amd64 (experimental)
- macos-homebrew-ocaml-5.4-arm64 (experimental)
Reverse dependencies
- compilers
- 4.14
- conf-perl-ipc-system-simple.4 (passed)
- revdeps (passed)
- GT.0.5.0 (passed)
- GT.0.5.1 (passed)
- GT.0.5.2 (passed)
- GT.0.5.3 (passed)
- GT.0.5.4 (passed)
- OCanren.0.3.0 (passed)
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- camlp5.8.00.04 (failed: [SKIP] Package not available)
- frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.18 (passed)
- frama-clang.0.0.18~beta (passed)
- frama-clang.0.0.19 (passed)
- hol_light.3.0.0 (passed)
- hol_light.3.1.0 (passed)
- lablgl.1.06 (passed)
- lablgl.1.07 (passed)
- ledit.2.05 (passed)
- ledit.2.06 (passed)
- ledit.2.07 (passed)
- ledit.2.08 (passed)
- logger-p5.0.4.2 (passed)
- logger-p5.0.4.3 (passed)
- logger-p5.0.4.5 (passed)
- lustre-v6.6.103.3 (passed)
- lustre-v6.6.107.1 (passed)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- noCanren.0.3.0 (passed)
- oplot.0.50 (passed)
- oplot.0.71 (passed)
- orpie.1.6.1 (passed)
- ostap.0.5 (passed)
- ostap.0.6 (passed)
- ostap.0.6.1 (passed)
- p5scm.0.2.0 (passed)
- pa_ppx_q_ast.0.11 (failed: [SKIP] Package not available)
- pa_ppx_string.0.01 (passed)
- rdbg.1.196.12 (passed)
- ulex-camlp5.1.3 (passed)
- revdeps (passed)
- conf-perl-string-shellquote.4 (passed)
- revdeps (passed)
- GT.0.5.0 (passed)
- GT.0.5.1 (passed)
- GT.0.5.2 (passed)
- GT.0.5.3 (passed)
- GT.0.5.4 (passed)
- OCanren.0.3.0 (passed)
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- camlp5.8.00.04 (failed: [SKIP] Package not available)
- frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.18 (passed)
- frama-clang.0.0.18~beta (passed)
- frama-clang.0.0.19 (passed)
- hol_light.3.0.0 (passed)
- hol_light.3.1.0 (passed)
- lablgl.1.06 (passed)
- lablgl.1.07 (passed)
- ledit.2.05 (passed)
- ledit.2.06 (passed)
- ledit.2.07 (passed)
- ledit.2.08 (passed)
- logger-p5.0.4.2 (passed)
- logger-p5.0.4.3 (passed)
- logger-p5.0.4.5 (passed)
- lustre-v6.6.103.3 (passed)
- lustre-v6.6.107.1 (passed)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- noCanren.0.3.0 (passed)
- oplot.0.50 (passed)
- oplot.0.71 (passed)
- orpie.1.6.1 (passed)
- ostap.0.5 (passed)
- ostap.0.6 (passed)
- ostap.0.6.1 (passed)
- p5scm.0.2.0 (passed)
- pa_ppx_q_ast.0.11 (failed: [SKIP] Package not available)
- pa_ppx_string.0.01 (passed)
- rdbg.1.196.12 (passed)
- ulex-camlp5.1.3 (passed)
- revdeps (passed)
- conf-perl.3 (passed)
- revdeps (passed)
- FPauth-core.1.0.0 (passed)
- FPauth-responses.1.0.0 (passed)
- GT.0.5.0 (passed)
- GT.0.5.1 (passed)
- GT.0.5.2 (passed)
- GT.0.5.3 (passed)
- GT.0.5.4 (passed)
- OCanren.0.3.0 (passed)
- absolute.0.1 (passed)
- absolute.0.2 (passed)
- absolute.0.3 (passed)
- albatross.1.2.0 (passed)
- albatross.1.4.3 (passed)
- albatross.1.5.4 (passed)
- albatross.2.3.0 (passed)
- albatross.2.4.1 (passed)
- albatross.2.5.0 (passed)
- albatross.2.5.1 (passed)
- albatross.2.6.0 (passed)
- albatross.2.6.1 (passed)
- albatross.2.6.2 (passed)
- alt-ergo-free.2.0.0 (passed)
- alt-ergo-free.2.2.0 (passed)
- alt-ergo-free.2.4.3 (passed)
- alt-ergo-lib.2.3.0 (passed)
- alt-ergo-lib.2.3.1 (passed)
- alt-ergo-lib.2.3.2 (passed)
- alt-ergo-lib.2.3.3 (passed)
- alt-ergo-lib.2.4.0 (passed)
- alt-ergo-lib.2.4.1 (passed)
- alt-ergo-lib.2.4.2 (passed)
- alt-ergo-lib.2.4.3 (passed)
- alt-ergo-lib.2.5.1 (passed)
- alt-ergo-lib.2.5.2 (passed)
- alt-ergo-lib.2.5.3 (passed)
- alt-ergo-lib.2.5.4 (passed)
- alt-ergo-lib.2.6.0 (failed: [SKIP] Package not available)
- alt-ergo-lib.2.6.1 (failed: [SKIP] Package not available)
- alt-ergo-lib.2.6.2 (failed: [SKIP] Package not available)
- alt-ergo-parsers.2.3.0 (passed)
- alt-ergo-parsers.2.3.1 (passed)
- alt-ergo-parsers.2.3.2 (passed)
- alt-ergo-parsers.2.3.3 (passed)
- alt-ergo-parsers.2.4.0 (passed)
- alt-ergo-parsers.2.4.1 (passed)
- alt-ergo-parsers.2.4.2 (passed)
- alt-ergo-parsers.2.4.3 (passed)
- alt-ergo-parsers.2.5.1 (passed)
- alt-ergo-parsers.2.5.2 (passed)
- alt-ergo-parsers.2.5.3 (passed)
- alt-ergo-parsers.2.5.4 (passed)
- alt-ergo-parsers.2.6.0 (passed)
- alt-ergo-parsers.2.6.1 (passed)
- alt-ergo-parsers.2.6.2 (passed)
- alt-ergo-plugin-ab-why3.2.5.1 (passed)
- alt-ergo-plugin-ab-why3.2.5.2 (passed)
- alt-ergo-plugin-ab-why3.2.5.3 (passed)
- alt-ergo-plugin-ab-why3.2.5.4 (passed)
- alt-ergo-plugin-ab-why3.2.6.0 (passed)
- alt-ergo-plugin-ab-why3.2.6.1 (passed)
- alt-ergo-plugin-ab-why3.2.6.2 (passed)
- alt-ergo.0.95.2 (passed)
- alt-ergo.0.99.1 (passed)
- alt-ergo.1.01 (passed)
- alt-ergo.1.30 (failed: The installation of alt-ergo failed at "make install MANDIR=/home/opam/.opam/4.14/man".)
- alt-ergo.2.0.0 (passed)
- alt-ergo.2.1.0 (passed)
- alt-ergo.2.2.0 (passed)
- alt-ergo.2.3.0 (passed)
- alt-ergo.2.3.1 (passed)
- alt-ergo.2.3.2 (passed)
- alt-ergo.2.3.3 (passed)
- alt-ergo.2.4.0 (passed)
- alt-ergo.2.4.1 (passed)
- alt-ergo.2.4.2 (passed)
- alt-ergo.2.4.3 (passed)
- alt-ergo.2.5.1 (passed)
- alt-ergo.2.5.2 (passed)
- alt-ergo.2.5.3 (passed)
- alt-ergo.2.5.4 (passed)
- alt-ergo.2.6.0 (passed)
- alt-ergo.2.6.1 (passed)
- alt-ergo.2.6.2 (passed)
- altgr-ergo.2.4.2 (passed)
- altgr-ergo.2.4.3 (passed)
- apron.20150820 (passed)
- apron.20150930 (passed)
- apron.20151015 (passed)
- apron.20160108 (passed)
- apron.20160125 (passed)
- apron.v0.9.12 (failed: The compilation of apron.v0.9.12 failed at "make -j255".)
- apron.v0.9.13 (failed: The compilation of apron.v0.9.13 failed at "make -j71".)
- apron.v0.9.14 (passed)
- apron.v0.9.14~beta.2 (passed)
- apron.v0.9.15 (passed)
- apronext.1.0 (passed)
- apronext.1.0.1 (passed)
- apronext.1.0.2 (passed)
- apronext.1.0.3 (passed)
- apronext.1.0.4 (passed)
- arc.0.0.1 (passed)
- archsat.1.1 (passed)
- ask-integrator.0.2.0 (passed)
- ask.0.2.0 (passed)
- asli.0.2.0 (passed)
- asn1-combinators.0.2.5 (passed)
- asn1-combinators.0.2.6 (passed)
- async_rpc_websocket.v0.15.0 (failed: async_ssl.v0.15.0 failed to build)
- async_rpc_websocket.v0.16.0 (passed)
- async_smtp.v0.14.0 (failed: async_ssl.v0.14.0 failed to build)
- async_smtp.v0.15.0 (failed: async_ssl.v0.15.0 failed to build)
- async_smtp.v0.16.0 (passed)
- async_websocket.v0.14.0 (passed)
- async_websocket.v0.15.0 (passed)
- async_websocket.v0.16.0 (passed)
- awa-mirage.0.0.5 (passed)
- awa-mirage.0.1.0 (passed)
- awa-mirage.0.2.0 (passed)
- awa-mirage.0.3.0 (passed)
- awa-mirage.0.3.1 (passed)
- awa-mirage.0.4.0 (passed)
- awa-mirage.0.5.2 (passed)
- awa.0.0.5 (passed)
- awa.0.1.0 (passed)
- awa.0.2.0 (passed)
- awa.0.3.0 (passed)
- awa.0.3.1 (passed)
- awa.0.4.0 (passed)
- awa.0.5.2 (passed)
- aws-autoscaling.0.1.0 (passed)
- aws-cloudformation.0.1.0 (passed)
- aws-cloudtrail.0.1.0 (passed)
- aws-ec2.0.1.0 (passed)
- aws-elasticloadbalancing.0.1.0 (passed)
- aws-lwt.1.2 (passed)
- aws-sdb.0.1.0 (passed)
- aws-ssm.0.1.0 (passed)
- aws-sts.0.1.0 (passed)
- aws.1.0.0 (passed)
- aws.1.0.1 (passed)
- aws.1.0.2 (passed)
- awsm-async.0.1.0 (failed: async_ssl.v0.15.0 failed to build)
- awsm-lwt.0.1.0 (passed)
- awsm.0.1.0 (passed)
- azblob-async.0.1.0 (failed: cohttp-async.5.2.0 failed to build)
- azblob.0.1.0 (passed)
- azure-cosmos-db.0.1.2 (failed: [SKIP] Package not available)
- azure-cosmos-db.0.1.3 (passed)
- azure-cosmos-db.0.1.4 (passed)
- azure-cosmos-db.0.1.5 (passed)
- azure-cosmos-db.0.1.6 (passed)
- azure-cosmos-db.0.2.0 (passed)
- azure-cosmos-db.0.2.1 (passed)
- azure-cosmos-db.0.2.2 (passed)
- azure-cosmos-db.0.2.3 (passed)
- azure-cosmos-db.0.2.4 (passed)
- azure-cosmos-db.0.3.0 (passed)
- azure-cosmos-db.0.3.1 (passed)
- azure-cosmos-db.0.3.2 (passed)
- bap-abi.2.2.0 (passed)
- bap-abi.2.3.0 (passed)
- bap-abi.2.4.0 (passed)
- bap-abi.2.5.0 (passed)
- bap-analyze.2.2.0 (passed)
- bap-analyze.2.3.0 (passed)
- bap-analyze.2.4.0 (passed)
- bap-analyze.2.5.0 (passed)
- bap-api.2.2.0 (passed)
- bap-api.2.3.0 (passed)
- bap-api.2.4.0 (passed)
- bap-api.2.5.0 (passed)
- bap-arm.2.2.0 (passed)
- bap-arm.2.3.0 (passed)
- bap-arm.2.4.0 (passed)
- bap-arm.2.5.0 (passed)
- bap-beagle-strings.2.2.0 (passed)
- bap-beagle-strings.2.3.0 (passed)
- bap-beagle-strings.2.4.0 (passed)
- bap-beagle-strings.2.5.0 (passed)
- bap-beagle.2.2.0 (passed)
- bap-beagle.2.3.0 (passed)
- bap-beagle.2.4.0 (passed)
- bap-beagle.2.5.0 (passed)
- bap-bil.2.2.0 (passed)
- bap-bil.2.3.0 (passed)
- bap-bil.2.4.0 (passed)
- bap-bil.2.5.0 (passed)
- bap-byteweight-frontend.2.2.0 (passed)
- bap-byteweight-frontend.2.3.0 (passed)
- bap-byteweight-frontend.2.4.0 (passed)
- bap-byteweight-frontend.2.5.0 (passed)
- bap-byteweight.2.2.0 (passed)
- bap-byteweight.2.3.0 (passed)
- bap-byteweight.2.4.0 (passed)
- bap-byteweight.2.5.0 (passed)
- bap-c.2.2.0 (passed)
- bap-c.2.3.0 (passed)
- bap-c.2.4.0 (passed)
- bap-c.2.5.0 (passed)
- bap-cache.2.2.0 (passed)
- bap-cache.2.3.0 (passed)
- bap-cache.2.4.0 (passed)
- bap-cache.2.5.0 (passed)
- bap-callgraph-collator.2.2.0 (passed)
- bap-callgraph-collator.2.3.0 (passed)
- bap-callgraph-collator.2.4.0 (passed)
- bap-callgraph-collator.2.5.0 (passed)
- bap-callsites.2.2.0 (passed)
- bap-callsites.2.3.0 (passed)
- bap-callsites.2.4.0 (passed)
- bap-callsites.2.5.0 (passed)
- bap-constant-tracker.2.2.0 (passed)
- bap-constant-tracker.2.3.0 (passed)
- bap-constant-tracker.2.4.0 (passed)
- bap-constant-tracker.2.5.0 (passed)
- bap-core-theory.2.2.0 (passed)
- bap-core-theory.2.3.0 (passed)
- bap-core-theory.2.4.0 (passed)
- bap-core-theory.2.5.0 (passed)
- bap-cxxfilt.2.2.0 (passed)
- bap-cxxfilt.2.3.0 (passed)
- bap-cxxfilt.2.4.0 (passed)
- bap-cxxfilt.2.5.0 (passed)
- bap-demangle.2.2.0 (passed)
- bap-demangle.2.3.0 (passed)
- bap-demangle.2.4.0 (passed)
- bap-demangle.2.5.0 (passed)
- bap-dependencies.2.3.0 (passed)
- bap-dependencies.2.4.0 (passed)
- bap-dependencies.2.5.0 (passed)
- bap-disassemble.2.2.0 (passed)
- bap-disassemble.2.3.0 (passed)
- bap-disassemble.2.4.0 (passed)
- bap-disassemble.2.5.0 (passed)
- bap-dump-symbols.2.2.0 (passed)
- bap-dump-symbols.2.3.0 (passed)
- bap-dump-symbols.2.4.0 (passed)
- bap-dump-symbols.2.5.0 (passed)
- bap-dwarf.2.2.0 (passed)
- bap-dwarf.2.3.0 (passed)
- bap-dwarf.2.4.0 (passed)
- bap-dwarf.2.5.0 (passed)
- bap-elementary.2.2.0 (passed)
- bap-elementary.2.3.0 (passed)
- bap-elementary.2.4.0 (passed)
- bap-elementary.2.5.0 (passed)
- bap-elf.2.5.0 (passed)
- bap-flatten.2.4.0 (passed)
- bap-flatten.2.5.0 (passed)
- bap-frontc.2.2.0 (failed: FrontC.3.4.3-1 failed to build)
- bap-frontc.2.3.0 (passed)
- bap-frontc.2.4.0 (passed)
- bap-frontc.2.5.0 (passed)
- bap-frontend.2.2.0 (passed)
- bap-frontend.2.3.0 (passed)
- bap-frontend.2.4.0 (passed)
- bap-frontend.2.5.0 (passed)
- bap-ghidra.2.4.0 (failed: The compilation of bap-ghidra.2.4.0 failed at "make".)
- bap-ghidra.2.5.0 (failed: The compilation of bap-ghidra.2.5.0 failed at "make".)
- bap-glibc-runtime.2.2.0 (passed)
- bap-glibc-runtime.2.3.0 (passed)
- bap-glibc-runtime.2.4.0 (passed)
- bap-glibc-runtime.2.5.0 (passed)
- bap-mc.2.2.0 (passed)
- bap-mc.2.3.0 (passed)
- bap-mc.2.4.0 (passed)
- bap-mc.2.5.0 (passed)
- bap-microx.2.2.0 (passed)
- bap-microx.2.3.0 (passed)
- bap-microx.2.4.0 (passed)
- bap-microx.2.5.0 (passed)
- bap-mips.2.2.0 (passed)
- bap-mips.2.3.0 (passed)
- bap-mips.2.4.0 (passed)
- bap-mips.2.5.0 (passed)
- bap-objdump.2.2.0 (passed)
- bap-objdump.2.3.0 (passed)
- bap-objdump.2.4.0 (passed)
- bap-objdump.2.5.0 (passed)
- bap-optimization.2.2.0 (passed)
- bap-optimization.2.3.0 (passed)
- bap-optimization.2.4.0 (passed)
- bap-optimization.2.5.0 (passed)
- bap-patterns.2.4.0 (passed)
- bap-patterns.2.5.0 (passed)
- bap-phoenix.2.2.0 (passed)
- bap-phoenix.2.3.0 (passed)
- bap-phoenix.2.4.0 (passed)
- bap-phoenix.2.5.0 (passed)
- bap-piqi.2.2.0 (passed)
- bap-piqi.2.3.0 (passed)
- bap-piqi.2.4.0 (passed)
- bap-piqi.2.5.0 (passed)
- bap-powerpc.2.2.0 (passed)
- bap-powerpc.2.3.0 (passed)
- bap-powerpc.2.4.0 (passed)
- bap-powerpc.2.5.0 (passed)
- bap-primus-dictionary.2.2.0 (passed)
- bap-primus-dictionary.2.3.0 (passed)
- bap-primus-dictionary.2.4.0 (passed)
- bap-primus-dictionary.2.5.0 (passed)
- bap-primus-exploring-scheduler.2.2.0 (passed)
- bap-primus-exploring-scheduler.2.3.0 (passed)
- bap-primus-exploring-scheduler.2.4.0 (passed)
- bap-primus-exploring-scheduler.2.5.0 (passed)
- bap-primus-greedy-scheduler.2.2.0 (passed)
- bap-primus-greedy-scheduler.2.3.0 (passed)
- bap-primus-greedy-scheduler.2.4.0 (passed)
- bap-primus-greedy-scheduler.2.5.0 (passed)
- bap-primus-limit.2.2.0 (passed)
- bap-primus-limit.2.3.0 (passed)
- bap-primus-limit.2.4.0 (passed)
- bap-primus-limit.2.5.0 (passed)
- bap-primus-lisp.2.2.0 (passed)
- bap-primus-lisp.2.3.0 (passed)
- bap-primus-lisp.2.4.0 (passed)
- bap-primus-lisp.2.5.0 (passed)
- bap-primus-loader.2.2.0 (passed)
- bap-primus-loader.2.3.0 (passed)
- bap-primus-loader.2.4.0 (passed)
- bap-primus-loader.2.5.0 (passed)
- bap-primus-mark-visited.2.2.0 (passed)
- bap-primus-mark-visited.2.3.0 (passed)
- bap-primus-mark-visited.2.4.0 (passed)
- bap-primus-mark-visited.2.5.0 (passed)
- bap-primus-powerpc.2.2.0 (passed)
- bap-primus-powerpc.2.3.0 (passed)
- bap-primus-powerpc.2.4.0 (passed)
- bap-primus-powerpc.2.5.0 (passed)
- bap-primus-print.2.2.0 (passed)
- bap-primus-print.2.3.0 (passed)
- bap-primus-print.2.4.0 (passed)
- bap-primus-print.2.5.0 (passed)
- bap-primus-promiscuous.2.2.0 (passed)
- bap-primus-promiscuous.2.3.0 (passed)
- bap-primus-promiscuous.2.4.0 (passed)
- bap-primus-promiscuous.2.5.0 (passed)
- bap-primus-propagate-taint.2.2.0 (passed)
- bap-primus-propagate-taint.2.3.0 (passed)
- bap-primus-propagate-taint.2.4.0 (passed)
- bap-primus-propagate-taint.2.5.0 (passed)
- bap-primus-random.2.2.0 (passed)
- bap-primus-random.2.3.0 (passed)
- bap-primus-random.2.4.0 (passed)
- bap-primus-random.2.5.0 (passed)
- bap-primus-region.2.2.0 (passed)
- bap-primus-region.2.3.0 (passed)
- bap-primus-region.2.4.0 (passed)
- bap-primus-region.2.5.0 (passed)
- bap-primus-round-robin-scheduler.2.2.0 (passed)
- bap-primus-round-robin-scheduler.2.3.0 (passed)
- bap-primus-round-robin-scheduler.2.4.0 (passed)
- bap-primus-round-robin-scheduler.2.5.0 (passed)
- bap-primus-support.2.2.0 (passed)
- bap-primus-support.2.3.0 (passed)
- bap-primus-support.2.4.0 (passed)
- bap-primus-support.2.5.0 (passed)
- bap-primus-symbolic-executor.2.2.0 (passed)
- bap-primus-symbolic-executor.2.3.0 (passed)
- bap-primus-symbolic-executor.2.4.0 (passed)
- bap-primus-systems.2.2.0 (passed)
- bap-primus-systems.2.3.0 (passed)
- bap-primus-systems.2.4.0 (passed)
- bap-primus-systems.2.5.0 (passed)
- bap-primus-taint.2.2.0 (passed)
- bap-primus-taint.2.3.0 (passed)
- bap-primus-taint.2.4.0 (passed)
- bap-primus-taint.2.5.0 (passed)
- bap-primus-test.2.2.0 (passed)
- bap-primus-test.2.3.0 (passed)
- bap-primus-test.2.4.0 (passed)
- bap-primus-test.2.5.0 (passed)
- bap-primus-track-visited.2.2.0 (passed)
- bap-primus-track-visited.2.3.0 (passed)
- bap-primus-track-visited.2.4.0 (passed)
- bap-primus-track-visited.2.5.0 (passed)
- bap-primus-wandering-scheduler.2.2.0 (passed)
- bap-primus-wandering-scheduler.2.3.0 (passed)
- bap-primus-wandering-scheduler.2.4.0 (passed)
- bap-primus-wandering-scheduler.2.5.0 (passed)
- bap-primus.2.2.0 (passed)
- bap-primus.2.3.0 (passed)
- bap-primus.2.4.0 (passed)
- bap-primus.2.5.0 (passed)
- bap-print.2.2.0 (passed)
- bap-print.2.3.0 (passed)
- bap-print.2.4.0 (passed)
- bap-print.2.5.0 (passed)
- bap-raw.2.2.0 (passed)
- bap-raw.2.3.0 (passed)
- bap-raw.2.4.0 (passed)
- bap-raw.2.5.0 (passed)
- bap-recipe-command.2.2.0 (passed)
- bap-recipe-command.2.3.0 (passed)
- bap-recipe-command.2.4.0 (passed)
- bap-recipe-command.2.5.0 (passed)
- bap-report.2.2.0 (passed)
- bap-report.2.3.0 (passed)
- bap-report.2.4.0 (passed)
- bap-report.2.5.0 (passed)
- bap-riscv.2.3.0 (passed)
- bap-riscv.2.4.0 (passed)
- bap-riscv.2.5.0 (passed)
- bap-run.2.2.0 (passed)
- bap-run.2.3.0 (passed)
- bap-run.2.4.0 (passed)
- bap-run.2.5.0 (passed)
- bap-specification.2.2.0 (passed)
- bap-specification.2.3.0 (passed)
- bap-specification.2.4.0 (passed)
- bap-specification.2.5.0 (passed)
- bap-ssa.2.2.0 (passed)
- bap-ssa.2.3.0 (passed)
- bap-ssa.2.4.0 (passed)
- bap-ssa.2.5.0 (passed)
- bap-std.2.2.0 (passed)
- bap-std.2.3.0 (passed)
- bap-std.2.4.0 (passed)
- bap-std.2.5.0 (passed)
- bap-stub-resolver.2.2.0 (passed)
- bap-stub-resolver.2.3.0 (passed)
- bap-stub-resolver.2.4.0 (passed)
- bap-stub-resolver.2.5.0 (passed)
- bap-symbol-reader.2.2.0 (passed)
- bap-symbol-reader.2.3.0 (passed)
- bap-symbol-reader.2.4.0 (passed)
- bap-symbol-reader.2.5.0 (passed)
- bap-systemz.2.2.0 (passed)
- bap-systemz.2.3.0 (passed)
- bap-systemz.2.4.0 (passed)
- bap-systemz.2.5.0 (passed)
- bap-taint-propagator.2.2.0 (passed)
- bap-taint-propagator.2.3.0 (passed)
- bap-taint-propagator.2.4.0 (passed)
- bap-taint-propagator.2.5.0 (passed)
- bap-taint.2.2.0 (passed)
- bap-taint.2.3.0 (passed)
- bap-taint.2.4.0 (passed)
- bap-taint.2.5.0 (passed)
- bap-term-mapper.2.2.0 (passed)
- bap-term-mapper.2.3.0 (passed)
- bap-term-mapper.2.4.0 (passed)
- bap-term-mapper.2.5.0 (passed)
- bap-thumb.2.2.0 (passed)
- bap-thumb.2.3.0 (passed)
- bap-thumb.2.4.0 (passed)
- bap-thumb.2.5.0 (passed)
- bap-toplevel.2.4.0 (passed)
- bap-toplevel.2.5.0 (passed)
- bap-trace.2.2.0 (passed)
- bap-trace.2.3.0 (passed)
- bap-trace.2.4.0 (passed)
- bap-trace.2.5.0 (passed)
- bap-traces.2.2.0 (passed)
- bap-traces.2.3.0 (passed)
- bap-traces.2.4.0 (passed)
- bap-traces.2.5.0 (passed)
- bap-trivial-condition-form.2.2.0 (passed)
- bap-trivial-condition-form.2.3.0 (passed)
- bap-trivial-condition-form.2.4.0 (passed)
- bap-trivial-condition-form.2.5.0 (passed)
- bap-warn-unused.2.2.0 (passed)
- bap-warn-unused.2.3.0 (passed)
- bap-warn-unused.2.4.0 (passed)
- bap-warn-unused.2.5.0 (passed)
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- bigdecimal.v0.15.0 (passed)
- bigdecimal.v0.16.0 (passed)
- bignum.v0.14.0 (passed)
- bignum.v0.15.0 (passed)
- bignum.v0.16.0 (passed)
- binary_tree.1.0 (passed)
- binsec.0.10.0 (passed)
- binsec.0.10.1 (passed)
- binsec.0.4.1 (passed)
- binsec.0.5.0 (passed)
- binsec.0.6.0 (passed)
- binsec.0.6.1 (passed)
- binsec.0.6.2 (passed)
- binsec.0.6.3 (passed)
- binsec.0.7.1 (passed)
- binsec.0.7.2 (passed)
- binsec.0.7.3 (passed)
- binsec.0.7.4 (passed)
- binsec.0.8.0 (passed)
- binsec.0.8.1 (passed)
- binsec.0.8.2 (passed)
- binsec.0.9.0 (passed)
- binsec.0.9.1 (passed)
- binsec_codex.1.0-rc4 (passed)
- bitcoin-cohttp-async.3.0 (passed)
- bitcoin-cohttp-lwt.3.0 (passed)
- bitcoin-ocurl.3.0 (passed)
- bitcoin.2.0 (passed)
- bitcoin.3.0 (passed)
- bitpack_serializer.0.1.0 (passed)
- bitvec-binprot.2.2.0 (passed)
- bitvec-binprot.2.3.0 (passed)
- bitvec-binprot.2.4.0 (passed)
- bitvec-binprot.2.5.0 (passed)
- bitvec-order.2.2.0 (passed)
- bitvec-order.2.3.0 (passed)
- bitvec-order.2.4.0 (passed)
- bitvec-order.2.5.0 (passed)
- bitvec-sexp.2.2.0 (passed)
- bitvec-sexp.2.3.0 (passed)
- bitvec-sexp.2.4.0 (passed)
- bitvec-sexp.2.5.0 (passed)
- bitvec.2.2.0 (passed)
- bitvec.2.3.0 (passed)
- bitvec.2.4.0 (passed)
- bitvec.2.5.0 (passed)
- bitwuzla-cxx.0.2.0 (failed: 'replace' is not a member of 'std')
- bitwuzla-cxx.0.3.0 (failed: 'replace' is not a member of 'std')
- bitwuzla-cxx.0.4.0 (failed: 'abs' is not a member of 'std')
- bitwuzla-cxx.0.5.0 (passed)
- bitwuzla-cxx.0.6.0 (passed)
- bitwuzla-cxx.0.6.1 (passed)
- bitwuzla-cxx.0.7.0 (passed)
- bitwuzla-cxx.0.8.0 (passed)
- bitwuzla-cxx.0.8.2 (passed)
- bitwuzla-cxx.0.9.0 (passed)
- bitwuzla.1.0.0 (passed)
- bitwuzla.1.0.1 (passed)
- bitwuzla.1.0.2 (passed)
- bitwuzla.1.0.3 (passed)
- bitwuzla.1.0.4 (passed)
- bitwuzla.1.0.5 (passed)
- blake3.0.3 (passed)
- bls12-381-gen.0.4.1 (passed)
- bls12-381-gen.0.4.2 (passed)
- bls12-381-gen.0.4.3 (passed)
- bls12-381-gen.0.4.4 (passed)
- bls12-381-gen.0.5.0 (passed)
- bls12-381-hash.0.0.1 (passed)
- bls12-381-hash.0.0.2 (passed)
- bls12-381-hash.0.0.3 (passed)
- bls12-381-hash.0.0.4 (passed)
- bls12-381-hash.0.0.5 (passed)
- bls12-381-hash.1.0.0 (passed)
- bls12-381-js-gen.0.4.1 (passed)
- bls12-381-js-gen.0.4.2 (passed)
- bls12-381-js-gen.0.4.3 (passed)
- bls12-381-js-gen.0.5.0 (passed)
- bls12-381-js.0.4.1 (passed)
- bls12-381-js.0.4.2 (passed)
- bls12-381-js.0.4.3 (passed)
- bls12-381-js.0.5.0 (passed)
- bls12-381-legacy.0.4.3 (passed)
- bls12-381-legacy.0.4.4 (passed)
- bls12-381-signature.0.0.1 (passed)
- bls12-381-signature.1.0.0 (passed)
- bls12-381-unix.0.4.1 (passed)
- bls12-381-unix.0.4.2 (passed)
- bls12-381-unix.0.4.3 (passed)
- bls12-381-unix.0.5.0 (passed)
- bls12-381-unix.1.0.0 (passed)
- bls12-381-unix.1.0.1 (passed)
- bls12-381-unix.1.0.2 (passed)
- bls12-381-unix.1.1.0 (passed)
- bls12-381-unix.1.1.1 (passed)
- bls12-381-unix.2.0.0 (passed)
- bls12-381-unix.2.0.1 (passed)
- bls12-381.0.3.14 (passed)
- bls12-381.0.3.15 (passed)
- bls12-381.0.4.1 (passed)
- bls12-381.0.4.2 (passed)
- bls12-381.0.4.3 (passed)
- bls12-381.0.5.0 (passed)
- bls12-381.1.0.0 (passed)
- bls12-381.1.0.1 (passed)
- bls12-381.1.0.2 (passed)
- bls12-381.1.1.0 (passed)
- bls12-381.1.1.1 (passed)
- bls12-381.2.0.0 (passed)
- bls12-381.2.0.1 (passed)
- bls12-381.3.0.0 (passed)
- bls12-381.3.0.1 (passed)
- bls12-381.3.0.2 (passed)
- bls12-381.3.0.3 (passed)
- bls12-381.4.0.0 (passed)
- bls12-381.5.0.0 (passed)
- bls12-381.6.0.0 (passed)
- bls12-381.6.0.1 (passed)
- bls12-381.6.1.0 (passed)
- bn128.0.1.2 (passed)
- bn128.0.1.3 (passed)
- bogue-tutorials.0.2.0 (passed)
- bonsai.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- bookaml.2.1 (passed)
- bookaml.4.0 (passed)
- builder-web.0.1.0 (passed)
- builder-web.0.2.0 (passed)
- builder.0.3.0 (passed)
- builder.0.3.2 (passed)
- builder.0.4.0 (passed)
- ca-certs-nss.3.101 (passed)
- ca-certs-nss.3.101-1 (passed)
- ca-certs-nss.3.103 (passed)
- ca-certs-nss.3.104 (passed)
- ca-certs-nss.3.107 (passed)
- ca-certs-nss.3.108 (passed)
- ca-certs-nss.3.108-1 (passed)
- ca-certs-nss.3.113.1 (passed)
- ca-certs-nss.3.114 (passed)
- ca-certs-nss.3.115 (passed)
- ca-certs-nss.3.117 (passed)
- ca-certs-nss.3.118 (passed)
- ca-certs-nss.3.121 (passed)
- ca-certs-nss.3.57 (passed)
- ca-certs-nss.3.59 (passed)
- ca-certs-nss.3.60 (passed)
- ca-certs-nss.3.63 (passed)
- ca-certs-nss.3.63.1 (passed)
- ca-certs-nss.3.64 (passed)
- ca-certs-nss.3.64.0.1 (passed)
- ca-certs-nss.3.66 (passed)
- ca-certs-nss.3.71 (passed)
- ca-certs-nss.3.71.0.1 (passed)
- ca-certs-nss.3.74 (passed)
- ca-certs-nss.3.77 (passed)
- ca-certs-nss.3.80 (passed)
- ca-certs-nss.3.83 (passed)
- ca-certs-nss.3.86 (passed)
- ca-certs-nss.3.89.1 (passed)
- ca-certs-nss.3.92 (passed)
- ca-certs-nss.3.95 (passed)
- ca-certs-nss.3.98 (passed)
- ca-certs.0.2.0 (passed)
- ca-certs.0.2.3 (passed)
- ca-certs.1.0.1 (passed)
- caisar.0.1 (passed)
- caisar.0.2 (passed)
- caisar.0.2.1 (passed)
- caisar.1.0 (passed)
- caisar.2.0 (passed)
- caisar.2.1 (passed)
- caisar.4.0 (passed)
- caisar.5.0 (passed)
- calli.0.1 (passed)
- calli.0.2 (passed)
- camlp5.8.00.04 (failed: [SKIP] Package not available)
- camlp5.8.02.01 (passed)
- camlp5.8.03.00 (passed)
- camlp5.8.03.04 (passed)
- camlp5.8.03.05 (passed)
- camlp5.8.03.06 (passed)
- camlp5.8.04.00 (passed)
- canary.0.0.1 (passed)
- canary.0.0.4 (passed)
- capnp-rpc-net.1.2.2 (passed)
- capnp-rpc-net.1.2.3 (passed)
- capnp-rpc-net.1.2.4 (passed)
- capnp-rpc-unix.1.2.2 (passed)
- capnp-rpc-unix.1.2.3 (failed: Cancelled)
- capnp-rpc-unix.1.2.4 (failed: Cancelled)
- caqti-async.2.1.1 (passed)
- caqti-driver-mariadb.2.1.1 (passed)
- caqti-driver-mariadb.2.2.4 (passed)
- caqti-driver-pgx.2.1.1 (passed)
- caqti-driver-pgx.2.2.4 (passed)
- caqti-driver-postgresql.2.1.1 (passed)
- caqti-driver-postgresql.2.1.2 (passed)
- caqti-driver-postgresql.2.2.4 (passed)
- caqti-driver-sqlite3.2.1.1 (passed)
- caqti-driver-sqlite3.2.2.4 (passed)
- caqti-dynload.2.0.1 (failed: Failed to get sources of sexplib0.v0.17.0: curl failed)
- caqti-lwt.2.1.1 (failed: Failed to get sources of sexplib0.v0.17.0: curl failed)
- caqti-lwt.2.2.4 (failed: Failed to get sources of sexplib0.v0.17.0: curl failed)
- caqti-mirage.2.0.1 (passed)
- caqti-mirage.2.1.1 (passed)
- caqti-mirage.2.1.2 (passed)
- caqti-mirage.2.2.4 (passed)
- caqti-tls.2.1.1 (passed)
- caqti-tls.2.1.2 (passed)
- caqti-type-calendar.2.0.1 (passed)
- caqti.2.1.1 (passed)
- caqti.2.1.2 (passed)
- caqti.2.2.4 (passed)
- catala.0.2.0 (passed)
- catala.0.3.0 (passed)
- catala.0.6.0 (passed)
- cca.0.2 (failed: Installation of cca.0.2 failed)
- cca.0.4 (failed: Installation of cca.0.4 failed)
- cca.0.5 (failed: Installation of cca.0.5 failed)
- cca.0.6.2 (failed: Installation of cca.0.6.2 failed)
- cca.0.7 (failed: Installation of cca.0.7 failed)
- certify.0.2 (passed)
- certify.0.3.0 (passed)
- certify.0.3.1 (passed)
- certify.0.3.2 (passed)
- certify.0.3.3 (passed)
- chess_com_api.1.0.0 (passed)
- chess_com_api.1.0.1 (passed)
- class_group_vdf.0.0.1 (passed)
- class_group_vdf.0.0.2 (failed: ld returned 1 exit status)
- class_group_vdf.0.0.3 (failed: ld returned 1 exit status)
- class_group_vdf.0.0.4 (passed)
- class_group_vdf.0.0.5 (passed)
- cohttp-lwt-unix.2.5.8 (passed)
- cohttp-lwt-unix.4.0.0 (passed)
- cohttp-lwt-unix.4.1.2 (passed)
- cohttp-lwt-unix.5.1.0 (passed)
- cohttp-lwt-unix.5.3.0 (passed)
- cohttp-lwt-unix.6.0.0 (passed)
- cohttp-lwt-unix.6.0.0~beta2 (passed)
- cohttp-lwt-unix.6.1.0 (passed)
- cohttp-lwt-unix.6.1.1 (passed)
- cohttp-lwt-unix.6.2.1 (passed)
- cohttp-mirage.6.0.0 (passed)
- cohttp-mirage.6.1.0 (passed)
- cohttp-mirage.6.1.1 (passed)
- cohttp-mirage.6.2.1 (passed)
- cohttp_async_websocket.v0.15.0 (failed: async_ssl.v0.15.0 failed to build)
- cohttp_async_websocket.v0.16.0 (passed)
- colibri2.0.3.3 (passed)
- colibri2.0.4 (passed)
- colombe.0.1.0 (failed: [SKIP] Package not available)
- comby-semantic.1.7.0 (passed)
- conduit-lwt-unix.2.3.0 (passed)
- conduit-lwt-unix.4.0.2 (passed)
- conduit-lwt-unix.6.1.0 (passed)
- conduit-lwt-unix.6.2.3 (passed)
- conduit-lwt-unix.7.0.0 (passed)
- conduit-lwt-unix.8.0.0 (passed)
- conduit-mirage.2.1.0 (passed)
- conduit-mirage.2.2.1 (passed)
- conduit-mirage.6.2.2 (passed)
- conduit-mirage.6.2.3 (passed)
- conduit-mirage.7.1.0 (passed)
- conduit-mirage.8.0.0 (passed)
- conex-mirage-crypto.0.11.1 (passed)
- conex-mirage-crypto.1.0.0 (passed)
- conex.0.9.2 (passed)
- conf-perl-ipc-system-simple.1 (passed)
- conf-perl-ipc-system-simple.2 (passed)
- conf-perl-ipc-system-simple.3 (passed)
- conf-perl-string-shellquote.1 (passed)
- conf-perl-string-shellquote.2 (passed)
- conf-perl-string-shellquote.3 (passed)
- coq-core.8.17.0 (passed)
- coq-core.8.17.1 (passed)
- coq-core.8.18.0 (passed)
- coq-core.8.19.0 (passed)
- coq-core.8.19.1 (passed)
- coq-core.8.19.2 (passed)
- coq-core.8.20.0 (passed)
- coq-core.8.20.1 (passed)
- coq-core.9.0.0 (passed)
- coq-core.9.0.1 (passed)
- coq-core.9.1.0 (passed)
- coq-core.9.1.1 (passed)
- coq-core.9.2.0 (passed)
- coq-lsp.0.1.0 (passed)
- coq-lsp.0.1.1+v8.16 (passed)
- coq-lsp.0.1.2+v8.16 (passed)
- coq-lsp.0.1.3+v8.16 (passed)
- coq-lsp.0.1.4+v8.16 (passed)
- coq-lsp.0.1.5+8.16 (passed)
- coq-lsp.0.1.5.1+8.16 (passed)
- coq-lsp.0.1.6+8.16 (passed)
- coq-lsp.0.1.6.1+8.17 (passed)
- coq-lsp.0.1.7+8.16 (passed)
- coq-lsp.0.1.7+8.17 (passed)
- coq-lsp.0.1.7+8.18 (passed)
- coq-lsp.0.1.8+8.16 (passed)
- coq-lsp.0.1.8+8.17 (passed)
- coq-lsp.0.1.8+8.18 (passed)
- coq-lsp.0.1.8+8.19 (passed)
- coq-lsp.0.1.9+8.17 (passed)
- coq-lsp.0.1.9+8.18 (passed)
- coq-lsp.0.1.9+8.19 (passed)
- coq-lsp.0.2.0+8.17 (passed)
- coq-lsp.0.2.0+8.18 (passed)
- coq-lsp.0.2.0+8.19 (passed)
- coq-lsp.0.2.0+8.20 (passed)
- coq-lsp.0.2.2+8.17 (passed)
- coq-lsp.0.2.2+8.18 (passed)
- coq-lsp.0.2.2+8.19 (passed)
- coq-lsp.0.2.2+8.20 (passed)
- coq-lsp.0.2.3+8.17 (passed)
- coq-lsp.0.2.3+8.18 (passed)
- coq-lsp.0.2.3+8.19 (passed)
- coq-lsp.0.2.3+8.20 (passed)
- coq-lsp.0.2.3+9.0 (passed)
- coq-lsp.0.2.4+8.20 (passed)
- coq-lsp.0.2.4+9.0 (passed)
- coq-lsp.0.2.4+9.1 (passed)
- coq-lsp.0.2.5+8.20 (passed)
- coq-lsp.0.2.5+9.0 (passed)
- coq-lsp.0.2.5+9.1 (passed)
- coq-serapi.8.13.0+0.13.0 (passed)
- coq-serapi.8.13.0+0.13.1 (passed)
- coq-serapi.8.14.0+0.14.0 (passed)
- coq-serapi.8.15.0+0.15.0 (passed)
- coq-serapi.8.15.0+0.15.1 (passed)
- coq-serapi.8.15.0+0.15.2 (passed)
- coq-serapi.8.15.0+0.15.3 (passed)
- coq-serapi.8.15.0+0.15.4 (passed)
- coq-serapi.8.16.0+0.16.0 (passed)
- coq-serapi.8.16.0+0.16.1 (passed)
- coq-serapi.8.16.0+0.16.2 (passed)
- coq-serapi.8.16.0+0.16.3 (passed)
- coq-serapi.8.17.0+0.17.0 (passed)
- coq-serapi.8.17.0+0.17.1 (passed)
- coq-serapi.8.17.0+0.17.2 (passed)
- coq-serapi.8.17.0+0.17.3 (passed)
- coq-serapi.8.18.0+0.18.1 (passed)
- coq-serapi.8.18.0+0.18.2 (passed)
- coq-serapi.8.18.0+0.18.3 (passed)
- coq-serapi.8.19.0+0.19.0 (passed)
- coq-serapi.8.19.0+0.19.1 (passed)
- coq-serapi.8.19.0+0.19.2 (passed)
- coq-serapi.8.19.0+0.19.3 (passed)
- coq-serapi.8.20.0+0.20.0 (passed)
- coq-stdlib.8.17.0 (passed)
- coq-stdlib.8.17.1 (passed)
- coq-stdlib.8.18.0 (passed)
- coq-stdlib.8.19.0 (passed)
- coq-stdlib.8.19.1 (passed)
- coq-stdlib.8.19.2 (passed)
- coq-stdlib.8.20.0 (passed)
- coq-stdlib.8.20.1 (passed)
- coq-stdlib.9.0.0 (passed)
- coq-waterproof.3.0.0+8.20 (failed: Can't find file waterproof.cmxs on loadpath.)
- coq-waterproof.3.1.0+9.0 (passed)
- coq-waterproof.3.1.0+9.1 (passed)
- coq.8.13.0 (passed)
- coq.8.13.1 (passed)
- coq.8.13.2 (passed)
- coq.8.14.0 (passed)
- coq.8.14.1 (passed)
- coq.8.15.0 (passed)
- coq.8.15.1 (passed)
- coq.8.15.2 (passed)
- coq.8.16.0 (passed)
- coq.8.16.1 (passed)
- coq.8.17.0 (passed)
- coq.8.17.1 (passed)
- coq.8.18.0 (passed)
- coq.8.19.0 (passed)
- coq.8.19.1 (passed)
- coq.8.19.2 (passed)
- coq.8.20.0 (passed)
- coq.8.20.1 (passed)
- coq.9.0.0 (passed)
- coq.9.0.1 (passed)
- coq.9.1.0 (passed)
- coq.9.1.1 (passed)
- coqide-server.8.17.0 (passed)
- coqide-server.8.17.1 (passed)
- coqide-server.8.18.0 (passed)
- coqide-server.8.19.0 (passed)
- coqide-server.8.19.1 (passed)
- coqide-server.8.19.2 (passed)
- coqide-server.8.20.0 (passed)
- coqide-server.8.20.1 (passed)
- coqide-server.9.0.0 (passed)
- coqide-server.9.0.1 (passed)
- coqide-server.9.1.0 (passed)
- coqide-server.9.1.1 (passed)
- coqide-server.9.2.0 (passed)
- coqide.8.13.0 (passed)
- coqide.8.13.1 (passed)
- coqide.8.13.2 (passed)
- coqide.8.14.0 (passed)
- coqide.8.14.1 (passed)
- coqide.8.15.0 (passed)
- coqide.8.15.1 (passed)
- coqide.8.15.2 (passed)
- coqide.8.16.0 (passed)
- coqide.8.16.1 (passed)
- coqide.8.17.0 (passed)
- coqide.8.17.1 (passed)
- coqide.8.18.0 (passed)
- coqide.8.19.0 (passed)
- coqide.8.19.1 (passed)
- coqide.8.19.2 (passed)
- coqide.8.20.0 (passed)
- coqide.8.20.1 (passed)
- cryptodbm.0.84.2 (passed)
- cryptokit.1.14 (passed)
- cryptokit.1.16.1 (passed)
- cryptokit.1.20 (passed)
- cryptoverif.2.02 (passed)
- ctypes-zarith.0.1.0 (passed)
- ctypes-zarith.0.2.0 (passed)
- current-albatross-deployer.1.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- current-web-pipelines.0.1 (passed)
- current_examples.0.5 (passed)
- current_examples.0.6.2 (passed)
- current_examples.0.7.1 (passed)
- current_examples.0.7.2 (passed)
- current_examples.0.7.3 (passed)
- current_examples.0.7.4 (passed)
- current_github.0.5 (passed)
- current_github.0.6.2 (passed)
- current_github.0.7.1 (passed)
- current_github.0.7.2 (passed)
- current_github.0.7.3 (passed)
- current_github.0.7.4 (passed)
- current_gitlab.0.6.2 (passed)
- current_gitlab.0.7.1 (passed)
- current_gitlab.0.7.2 (passed)
- current_gitlab.0.7.3 (passed)
- current_gitlab.0.7.4 (passed)
- current_ocluster.0.1 (passed)
- current_ocluster.0.2 (passed)
- current_ocluster.0.2.1 (passed)
- current_ocluster.0.3.0 (passed)
- current_rpc.0.7.4 (passed)
- current_slack.0.6.2 (passed)
- current_slack.0.7.1 (passed)
- current_slack.0.7.2 (passed)
- current_slack.0.7.3 (passed)
- current_slack.0.7.4 (passed)
- current_web.0.5 (passed)
- current_web.0.6.2 (passed)
- current_web.0.7.1 (passed)
- current_web.0.7.2 (passed)
- current_web.0.7.3 (passed)
- current_web.0.7.4 (passed)
- daft.0.0.3 (passed)
- data-encoding.0.1 (passed)
- data-encoding.0.1.1 (passed)
- data-encoding.0.2 (passed)
- data-encoding.0.3 (passed)
- data-encoding.0.4 (passed)
- data-encoding.0.5 (passed)
- data-encoding.0.5.1 (passed)
- data-encoding.0.5.2 (passed)
- data-encoding.0.5.3 (passed)
- data-encoding.0.6 (passed)
- data-encoding.0.7 (passed)
- data-encoding.0.7.1 (passed)
- data-encoding.1.0.0 (passed)
- data-encoding.1.0.1 (passed)
- dblp-api.0.1.1 (passed)
- dblp.0.1.1 (passed)
- decimal.0.0.3 (passed)
- decimal.0.1.1 (passed)
- decimal.0.2.1 (passed)
- decimal.0.3.0 (passed)
- decimal.0.3.1 (passed)
- decimal.0.4.0 (passed)
- decimal.1.0.0 (passed)
- decimal.1.0.1 (passed)
- decimal.1.0.2 (passed)
- diffast-api.0.1.1 (passed)
- diffast-api.0.2 (passed)
- diffast-api.0.3.5.1 (passed)
- diffast-api.0.3.6 (passed)
- diffast-cli.0.1.1 (passed)
- diffast-cli.0.2 (passed)
- diffast-cli.0.3.5.1 (passed)
- diffast-cli.0.3.6 (passed)
- diffast-core.0.1 (passed)
- diffast-core.0.1.1 (passed)
- diffast-core.0.2 (passed)
- diffast-core.0.3.5.1 (passed)
- diffast-core.0.3.6 (passed)
- diffast-git-cli.0.1.1 (passed)
- diffast-git-cli.0.2 (passed)
- diffast-git-cli.0.3.5.1 (passed)
- diffast-git-cli.0.3.6 (passed)
- diffast-git.0.1 (passed)
- diffast-git.0.1.1 (passed)
- diffast-git.0.2 (passed)
- diffast-git.0.3.5.1 (passed)
- diffast-git.0.3.6 (passed)
- diffast-langs-common.0.1 (passed)
- diffast-langs-common.0.1.1 (passed)
- diffast-langs-common.0.2 (passed)
- diffast-langs-common.0.3.5.1 (passed)
- diffast-langs-common.0.3.6 (passed)
- diffast-langs-cpp-parsing-cli.0.1.1 (passed)
- diffast-langs-cpp-parsing-cli.0.2 (passed)
- diffast-langs-cpp-parsing.0.1.1 (passed)
- diffast-langs-cpp-parsing.0.2 (passed)
- diffast-langs-cpp-parsing.0.3.5.1 (passed)
- diffast-langs-cpp-parsing.0.3.6 (passed)
- diffast-langs-cpp-spec.0.1.1 (passed)
- diffast-langs-cpp-spec.0.2 (passed)
- diffast-langs-cpp-spec.0.3.5.1 (passed)
- diffast-langs-cpp-spec.0.3.6 (passed)
- diffast-langs-cpp.0.1.1 (passed)
- diffast-langs-cpp.0.2 (passed)
- diffast-langs-cpp.0.3.5.1 (passed)
- diffast-langs-cpp.0.3.6 (passed)
- diffast-langs-fortran-parsing-cli.0.1.1 (passed)
- diffast-langs-fortran-parsing-cli.0.2 (passed)
- diffast-langs-fortran-parsing.0.1.1 (passed)
- diffast-langs-fortran-parsing.0.2 (passed)
- diffast-langs-fortran-parsing.0.3.5.1 (passed)
- diffast-langs-fortran-parsing.0.3.6 (passed)
- diffast-langs-fortran-spec.0.1.1 (passed)
- diffast-langs-fortran-spec.0.2 (passed)
- diffast-langs-fortran-spec.0.3.5.1 (passed)
- diffast-langs-fortran-spec.0.3.6 (passed)
- diffast-langs-fortran.0.1.1 (passed)
- diffast-langs-fortran.0.2 (passed)
- diffast-langs-fortran.0.3.5.1 (passed)
- diffast-langs-fortran.0.3.6 (passed)
- diffast-langs-java-parsing-cli.0.1.1 (passed)
- diffast-langs-java-parsing-cli.0.2 (passed)
- diffast-langs-java-parsing.0.1.1 (passed)
- diffast-langs-java-parsing.0.2 (passed)
- diffast-langs-java-parsing.0.3.5.1 (passed)
- diffast-langs-java-parsing.0.3.6 (passed)
- diffast-langs-java-spec.0.1.1 (passed)
- diffast-langs-java-spec.0.2 (passed)
- diffast-langs-java-spec.0.3.5.1 (passed)
- diffast-langs-java-spec.0.3.6 (passed)
- diffast-langs-java.0.1.1 (passed)
- diffast-langs-java.0.2 (passed)
- diffast-langs-java.0.3.5.1 (passed)
- diffast-langs-java.0.3.6 (passed)
- diffast-langs-python-parsing-cli.0.1.1 (passed)
- diffast-langs-python-parsing-cli.0.2 (passed)
- diffast-langs-python-parsing.0.1.1 (passed)
- diffast-langs-python-parsing.0.2 (passed)
- diffast-langs-python-parsing.0.3.5.1 (passed)
- diffast-langs-python-parsing.0.3.6 (passed)
- diffast-langs-python-spec.0.1.1 (passed)
- diffast-langs-python-spec.0.2 (passed)
- diffast-langs-python-spec.0.3.5.1 (passed)
- diffast-langs-python-spec.0.3.6 (passed)
- diffast-langs-python.0.1.1 (passed)
- diffast-langs-python.0.2 (passed)
- diffast-langs-python.0.3.5.1 (passed)
- diffast-langs-python.0.3.6 (passed)
- diffast-langs-verilog-parsing-cli.0.1.1 (passed)
- diffast-langs-verilog-parsing-cli.0.2 (passed)
- diffast-langs-verilog-parsing.0.1.1 (passed)
- diffast-langs-verilog-parsing.0.2 (passed)
- diffast-langs-verilog-parsing.0.3.5.1 (passed)
- diffast-langs-verilog-parsing.0.3.6 (passed)
- diffast-langs-verilog-spec.0.1.1 (passed)
- diffast-langs-verilog-spec.0.2 (passed)
- diffast-langs-verilog-spec.0.3.5.1 (passed)
- diffast-langs-verilog-spec.0.3.6 (passed)
- diffast-langs-verilog.0.1.1 (passed)
- diffast-langs-verilog.0.2 (passed)
- diffast-langs-verilog.0.3.5.1 (passed)
- diffast-langs-verilog.0.3.6 (passed)
- diffast-misc.0.1 (passed)
- diffast-misc.0.1.1 (passed)
- diffast-misc.0.3.5.1 (passed)
- diffast-misc.0.3.6 (passed)
- diffast.0.1.1 (passed)
- diffast.0.2 (passed)
- diffast.0.3.5.1 (passed)
- diffast.0.3.6 (passed)
- dkim-bin.0.10.0 (passed)
- dkim-bin.0.6.0 (passed)
- dkim-bin.0.8.0 (passed)
- dkim-bin.0.9.0 (passed)
- dkim-lwt-unix.0.10.0 (passed)
- dkim-lwt-unix.0.8.0 (passed)
- dkim-lwt-unix.0.9.0 (passed)
- dkim-mirage.0.10.0 (passed)
- dkim-mirage.0.6.0 (passed)
- dkim-mirage.0.8.0 (passed)
- dkim-mirage.0.9.0 (passed)
- dkim.0.10.0 (passed)
- dkim.0.6.0 (passed)
- dkim.0.8.0 (passed)
- dkim.0.9.0 (passed)
- dmarc.0.0.1 (passed)
- dns-certify.10.1.0 (passed)
- dns-certify.10.2.0 (passed)
- dns-certify.10.2.1 (passed)
- dns-certify.10.2.2 (passed)
- dns-certify.10.2.3 (passed)
- dns-certify.10.2.4 (passed)
- dns-certify.8.0.0 (passed)
- dns-certify.9.1.0 (passed)
- dns-cli.10.1.0 (passed)
- dns-cli.10.2.0 (passed)
- dns-cli.10.2.1 (passed)
- dns-cli.10.2.2 (passed)
- dns-cli.10.2.3 (passed)
- dns-cli.10.2.4 (passed)
- dns-cli.8.0.0 (passed)
- dns-cli.9.1.0 (passed)
- dns-client-lwt.10.1.0 (passed)
- dns-client-lwt.10.2.0 (passed)
- dns-client-lwt.10.2.1 (passed)
- dns-client-lwt.10.2.2 (passed)
- dns-client-lwt.10.2.3 (passed)
- dns-client-lwt.10.2.4 (passed)
- dns-client-lwt.7.0.3 (passed)
- dns-client-lwt.8.0.0 (passed)
- dns-client-lwt.9.1.0 (passed)
- dns-client-mirage.10.1.0 (passed)
- dns-client-mirage.10.2.0 (passed)
- dns-client-mirage.10.2.1 (passed)
- dns-client-mirage.10.2.2 (passed)
- dns-client-mirage.10.2.3 (passed)
- dns-client-mirage.10.2.4 (passed)
- dns-client-mirage.7.0.3 (passed)
- dns-client-mirage.8.0.0 (passed)
- dns-client-mirage.9.1.0 (passed)
- dns-client.6.3.0 (passed)
- dns-client.6.4.0 (passed)
- dns-resolver.10.1.0 (passed)
- dns-resolver.10.2.0 (passed)
- dns-resolver.10.2.1 (passed)
- dns-resolver.10.2.2 (passed)
- dns-resolver.10.2.3 (passed)
- dns-resolver.10.2.4 (passed)
- dns-resolver.8.0.0 (passed)
- dns-resolver.9.1.0 (passed)
- dns-stub.10.1.0 (passed)
- dns-stub.10.2.0 (passed)
- dns-stub.10.2.1 (passed)
- dns-stub.10.2.2 (passed)
- dns-stub.10.2.3 (passed)
- dns-stub.10.2.4 (passed)
- dns-stub.8.0.0 (passed)
- dns-stub.9.1.0 (passed)
- dnsrobot.0.1.0 (passed)
- dnssec.8.0.0 (passed)
- docker_hub.0.1.0 (passed)
- docker_hub.0.1.1 (passed)
- docker_hub.0.2.0 (passed)
- docteur-solo5.0.0.2 (failed: solo5-bindings-hvt.0.6.9 failed to build)
- docteur-solo5.0.0.4 (passed)
- docteur-solo5.0.0.5 (passed)
- docteur-solo5.0.0.6 (passed)
- docteur-solo5.0.0.7 (passed)
- docteur-unix.0.0.2 (failed: [SKIP] Package not available)
- docteur-unix.0.0.3 (passed)
- docteur-unix.0.0.5 (passed)
- docteur-unix.0.0.6 (passed)
- docteur-unix.0.0.7 (passed)
- docteur.0.0.1 (failed: solo5-bindings-hvt.0.6.9 failed to build)
- docteur.0.0.2 (passed)
- docteur.0.0.3 (passed)
- docteur.0.0.4 (passed)
- docteur.0.0.5 (passed)
- docteur.0.0.6 (passed)
- docteur.0.0.7 (passed)
- doculib.1.3.1 (passed)
- doculib.1.3.2 (passed)
- doculib.1.3.3 (passed)
- doculib.1.3.4 (passed)
- doculib.1.3.5 (passed)
- doi2bib.0.6.2 (passed)
- doi2bib.0.7.6 (passed)
- doi2bib.0.7.7 (passed)
- doi2bib.0.7.9 (passed)
- doi2bib.0.9.0 (passed)
- doi2bib.0.9.1 (passed)
- doi2bib.0.9.2 (passed)
- dolmen_bin.0.10 (passed)
- dolmen_bin.0.8 (passed)
- dolmen_bin.0.8.1 (passed)
- dolmen_bin.0.9 (passed)
- dolmen_model.0.10 (passed)
- dolmen_model.0.8 (passed)
- dolmen_model.0.8.1 (passed)
- dolmen_model.0.9 (passed)
- dream-accept.0.1.0 (passed)
- dream-cli.0.1.0 (passed)
- dream-cli.0.2.0 (passed)
- dream-encoding.0.1.0 (passed)
- dream-encoding.0.2.0 (passed)
- dream-encoding.0.3.0 (passed)
- dream-html.0.0.3 (passed)
- dream-html.0.1.0 (passed)
- dream-html.1.0.0 (passed)
- dream-html.1.1.0 (passed)
- dream-html.1.2.0 (passed)
- dream-html.2.0.0 (passed)
- dream-html.2.1.0 (passed)
- dream-html.3.0.0 (passed)
- dream-html.3.0.1 (passed)
- dream-html.3.1.0 (passed)
- dream-html.3.10.0 (passed)
- dream-html.3.10.1 (passed)
- dream-html.3.11.0 (passed)
- dream-html.3.11.1 (passed)
- dream-html.3.11.2 (passed)
- dream-html.3.2.0 (passed)
- dream-html.3.3.1 (passed)
- dream-html.3.4.1 (passed)
- dream-html.3.5.2 (passed)
- dream-html.3.6.0 (passed)
- dream-html.3.6.1 (passed)
- dream-html.3.6.2 (passed)
- dream-html.3.7.0 (passed)
- dream-html.3.8.0 (passed)
- dream-html.3.9.5 (passed)
- dream-htmx.0.1.0 (passed)
- dream-inertia.0.0.1 (passed)
- dream-livereload.0.1.0 (passed)
- dream-livereload.0.2.0 (passed)
- dream-serve.1.0.0 (passed)
- dream-serve.1.0.1 (passed)
- dream.1.0.0~alpha1 (passed)
- dream.1.0.0~alpha2 (passed)
- dream.1.0.0~alpha3 (passed)
- dream.1.0.0~alpha4 (passed)
- dream.1.0.0~alpha5 (passed)
- dream.1.0.0~alpha6 (passed)
- dream.1.0.0~alpha7 (passed)
- dream.1.0.0~alpha8 (passed)
- dream_middleware_ext.0.1.0 (passed)
- dream_middleware_ext.0.1.1 (passed)
- dropbox.0.2 (passed)
- dropbox_lwt_unix.0.2 (passed)
- elina.1.0 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.1 (failed: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types])
- elina.1.3 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3.2 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- eliom.10.1.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.1.2 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.2.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.3.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.3.1 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- eliom.10.4.0 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- eliom.10.4.1 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- eliom.11.0.0 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- eliom.11.0.1 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- eliom.11.1.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- eliom.11.1.1 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- email_message.v0.14.0 (passed)
- email_message.v0.15.0 (passed)
- email_message.v0.16.0 (passed)
- equinoxe-cohttp.0.2.0 (passed)
- equinoxe-hlc.0.2.0 (passed)
- equinoxe.0.1.0 (failed: [SKIP] Package not available)
- erssical.1.1.0 (passed)
- exenum.0.84 (passed)
- exenum.0.86 (passed)
- farith.0.1 (passed)
- feat.20220407 (passed)
- ff-bench.0.6.2 (passed)
- ff-pbt.0.5.0 (passed)
- ff-pbt.0.6.0 (passed)
- ff-pbt.0.6.1 (passed)
- ff-pbt.0.6.2 (passed)
- ff-sig.0.5.0 (passed)
- ff-sig.0.6.0 (passed)
- ff-sig.0.6.1 (passed)
- ff-sig.0.6.2 (passed)
- ff.0.2.1 (passed)
- ff.0.2.2 (passed)
- ff.0.3.0 (passed)
- ff.0.4.0 (passed)
- ff.0.5.0 (passed)
- ff.0.6.0 (passed)
- ff.0.6.1 (passed)
- ff.0.6.2 (passed)
- fm-simplex-plugin.1.01 (passed)
- fm-simplex-plugin.1.30 (failed: alt-ergo.1.30 failed to build)
- frama-c-lannotate.0.1 (passed)
- frama-c-lannotate.0.2 (passed)
- frama-c-lannotate.0.2.3 (passed)
- frama-c-lannotate.0.2.4 (passed)
- frama-c-lannotate.0.2.5 (passed)
- frama-c-luncov.0.1 (passed)
- frama-c-luncov.0.2 (passed)
- frama-c-luncov.0.2.1 (passed)
- frama-c-luncov.0.2.4 (passed)
- frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
- frama-c-metacsl.0.10 (passed)
- frama-c-metacsl.0.10~beta (passed)
- frama-c-metacsl.0.2 (passed)
- frama-c-metacsl.0.3 (passed)
- frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
- frama-c-metacsl.0.5 (passed)
- frama-c-metacsl.0.5~beta (passed)
- frama-c-metacsl.0.6 (passed)
- frama-c-metacsl.0.7 (passed)
- frama-c-metacsl.0.8 (passed)
- frama-c-metacsl.0.8~beta (passed)
- frama-c-metacsl.0.9 (passed)
- frama-c-metacsl.0.9~beta (passed)
- frama-c.20.0 (passed)
- frama-c.21.0 (passed)
- frama-c.21.1 (passed)
- frama-c.22.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.24.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.25.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.25.0~beta (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.26.0 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.27.0 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR=/home/opam/.opam/4.14/man install".)
- frama-c.27.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.27.1 (passed)
- frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j255 @ptests_config".)
- frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j255 @ptests_config".)
- frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j255 @ptests_config".)
- frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j71 @ptests_config".)
- frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j255 @ptests_config".)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j255 @ptests_config".)
- frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j255 @ptests_config".)
- frama-c.31.0 (passed)
- frama-c.31.0~beta (passed)
- frama-c.32.0 (passed)
- frama-c.32.0~beta (passed)
- frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.18 (passed)
- frama-clang.0.0.18~beta (passed)
- frama-clang.0.0.19 (passed)
- frama_c_codex.1.0-rc4 (passed)
- gapi-ocaml.0.4.7 (passed)
- git-cohttp-unix.3.6.0 (passed)
- git-mirage.3.15.0 (passed)
- git-mirage.3.16.1 (passed)
- git-mirage.3.17.0 (passed)
- git-mirage.3.18.0 (passed)
- git-mirage.3.8.0 (passed)
- git-net.0.2.0 (passed)
- git-net.0.2.1 (passed)
- git-paf.3.15.0 (passed)
- git-paf.3.16.1 (passed)
- git-paf.3.17.0 (passed)
- git-paf.3.18.0 (passed)
- git-paf.3.8.0 (passed)
- git-unix.2.1.3 (passed)
- git-unix.3.15.0 (passed)
- git-unix.3.16.1 (passed)
- git-unix.3.17.0 (passed)
- git-unix.3.18.0 (passed)
- git-unix.3.6.0 (failed: [SKIP] Package not available)
- git-unix.3.8.0 (failed: [SKIP] Package not available)
- github-hooks-unix.0.2.0 (passed)
- github-hooks-unix.0.5.0 (passed)
- github-hooks.0.4.0 (passed)
- github-hooks.0.5.0 (passed)
- github-unix.3.1.0 (passed)
- github-unix.4.0.0 (passed)
- github-unix.4.1.0 (passed)
- github-unix.4.2.0 (passed)
- github-unix.4.3.0 (passed)
- github-unix.4.3.1 (passed)
- github-unix.4.3.2 (passed)
- github-unix.4.4.0 (passed)
- github-unix.4.4.1 (passed)
- github-unix.4.5.0 (passed)
- github-unix.4.5.1 (passed)
- gitlab-unix.0.1.0 (passed)
- gitlab-unix.0.1.1 (passed)
- gitlab-unix.0.1.2 (passed)
- gitlab-unix.0.1.3 (passed)
- gitlab-unix.0.1.4 (passed)
- gitlab-unix.0.1.5 (passed)
- gitlab-unix.0.1.6 (passed)
- gitlab-unix.0.1.7 (passed)
- gitlab-unix.0.1.8 (passed)
- gitlab_pipeline_notifier.0.1 (passed)
- gluten-mirage.0.2.1 (passed)
- gluten-mirage.0.3.0 (passed)
- gluten-mirage.0.4.0 (passed)
- gluten-mirage.0.4.1 (passed)
- gluten-mirage.0.5.0 (passed)
- gluten-mirage.0.5.1 (passed)
- gluten-mirage.0.5.2 (passed)
- goblint-cil.1.7.3 (passed)
- goblint-cil.1.7.4 (passed)
- goblint-cil.1.8.0 (failed: Error while processing file; see above for details.)
- goblint-cil.1.8.2 (failed: Error while processing file; see above for details.)
- goblint-cil.2.0.0 (failed: The compilation of goblint-cil.2.0.0 failed at "dune build -p goblint-cil -j 71 @install @runtest".)
- goblint-cil.2.0.1 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.2 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.3 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.4 (passed)
- goblint-cil.2.0.5 (passed)
- goblint-cil.2.0.6 (passed)
- goblint-cil.2.0.7 (passed)
- goblint-cil.2.0.8 (passed)
- goblint-cil.2.0.9 (passed)
- goblint.2.0.0 (passed)
- goblint.2.0.1 (passed)
- goblint.2.1.0 (passed)
- goblint.2.2.1 (passed)
- goblint.2.3.0 (passed)
- goblint.2.4.0 (passed)
- goblint.2.5.0 (passed)
- goblint.2.6.0 (passed)
- goblint.2.7.1 (passed)
- google-drive-ocamlfuse.0.7.32 (passed)
- google-drive-ocamlfuse.0.8.0 (passed)
- gradescope_submit.0.2 (passed)
- gradescope_submit.2.0.1 (passed)
- gradescope_submit.2.0.2 (passed)
- graphql_jsoo_client.0.1.1 (passed)
- gremlin.0.1.1 (passed)
- h2-mirage.0.10.0 (passed)
- h2-mirage.0.11.0 (passed)
- h2-mirage.0.12.0 (passed)
- h2-mirage.0.13.0 (passed)
- h2-mirage.0.4.0 (passed)
- h2-mirage.0.5.0 (passed)
- h2-mirage.0.6.1 (passed)
- h2-mirage.0.8.0 (passed)
- h2-mirage.0.9.0 (passed)
- hacl-star.0.1 (passed)
- hacl-star.0.1.1 (passed)
- hacl-star.0.2.0 (passed)
- hacl-star.0.2.1 (passed)
- hacl-star.0.2.2 (passed)
- hacl-star.0.3.0 (passed)
- hacl-star.0.3.0-1 (passed)
- hacl-star.0.3.2 (passed)
- hacl-star.0.4.0 (passed)
- hacl-star.0.4.1 (passed)
- hacl-star.0.4.2 (passed)
- hacl-star.0.4.3 (passed)
- hacl-star.0.4.4 (passed)
- hacl-star.0.4.5 (passed)
- hacl-star.0.5.0 (passed)
- hacl-star.0.6.0 (passed)
- hacl-star.0.6.1 (passed)
- hacl-star.0.6.2 (passed)
- hacl-star.0.7.0 (passed)
- hacl-star.0.7.1 (passed)
- hacl-star.0.7.2 (passed)
- hacl.0.3 (passed)
- happy-eyeballs-lwt.0.1.3 (passed)
- happy-eyeballs-lwt.0.6.0 (passed)
- happy-eyeballs-mirage.0.1.3 (passed)
- happy-eyeballs-mirage.0.6.0 (passed)
- hardcaml.v0.14.1 (passed)
- hardcaml.v0.14.2 (passed)
- hardcaml.v0.15.0 (passed)
- hardcaml.v0.16.0 (passed)
- hardcaml_axi.v0.16.0 (passed)
- hardcaml_c.v0.15.0 (passed)
- hardcaml_c.v0.16.0 (passed)
- hardcaml_circuits.v0.15.0 (passed)
- hardcaml_circuits.v0.16.0 (passed)
- hardcaml_fixed_point.v0.15.0 (passed)
- hardcaml_fixed_point.v0.16.0 (passed)
- hardcaml_handshake.v0.16.0 (passed)
- hardcaml_of_verilog.v0.15.0 (passed)
- hardcaml_of_verilog.v0.16.0 (passed)
- hardcaml_step_testbench.v0.15.0 (passed)
- hardcaml_step_testbench.v0.16.0 (passed)
- hardcaml_verify.v0.15.0 (failed: hardcaml_waveterm.v0.15.0 failed to build)
- hardcaml_verify.v0.16.0 (passed)
- hardcaml_verilator.v0.15.0 (passed)
- hardcaml_verilator.v0.16.0 (passed)
- hardcaml_waveterm.v0.14.0 (passed)
- hardcaml_waveterm.v0.15.0 (failed: Error during linking (exit code 1))
- hardcaml_waveterm.v0.16.0 (passed)
- hardcaml_xilinx.v0.15.0 (passed)
- hardcaml_xilinx.v0.16.0 (passed)
- hardcaml_xilinx_components.v0.15.0 (passed)
- hardcaml_xilinx_components.v0.16.0 (passed)
- hardcaml_xilinx_reports.v0.16.0 (passed)
- herdtools7.7.57 (passed)
- hockmd.0.1.0 (passed)
- hol_light.3.0.0 (passed)
- hol_light.3.1.0 (passed)
- http-lwt-client.0.0.5 (passed)
- http-lwt-client.0.0.8 (passed)
- http-lwt-client.0.2.1 (passed)
- http-lwt-client.0.2.6 (passed)
- http-lwt-client.0.3.2 (passed)
- http-mirage-client.0.0.10 (passed)
- http-mirage-client.0.0.6 (passed)
- http-mirage-client.0.0.8 (passed)
- httpun-mirage.0.1.0 (passed)
- httpun-mirage.0.2.0 (passed)
- httpun-ws-mirage.0.1.0 (passed)
- httpun-ws-mirage.0.2.0 (passed)
- imguiml.v1.90.6 (passed)
- incr_dom.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- incr_dom_interactive.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- incr_dom_partial_render.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- incr_dom_sexp_form.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- incr_map.v0.16.0 (passed)
- index-bench.1.4.0 (passed)
- index-bench.1.4.1 (passed)
- influxdb-lwt.0.1.0 (passed)
- influxdb-lwt.0.2.0 (passed)
- influxdb-lwt.0.3.0 (passed)
- ip2location.8.0.0 (passed)
- ip2location.8.1.0 (passed)
- ip2location.8.1.1 (passed)
- ip2location.8.2.0 (passed)
- ip2locationio.1.0.0 (passed)
- ip2locationio.1.0.1 (passed)
- ip2locationio.1.1.0 (passed)
- ip2whois.1.0.0 (passed)
- irc-client-tls.0.7.0 (passed)
- irc-client-tls.0.7.1 (passed)
- irmin-bench.3.10.0 (passed)
- irmin-bench.3.11.0 (passed)
- irmin-bench.3.6.1 (passed)
- irmin-cli.3.10.0 (passed)
- irmin-cli.3.11.0 (passed)
- irmin-cli.3.6.1 (passed)
- irmin-client.3.10.0 (passed)
- irmin-client.3.11.0 (passed)
- irmin-containers.2.10.2 (failed: [SKIP] Package not available)
- irmin-git.3.10.0 (passed)
- irmin-git.3.11.0 (passed)
- irmin-git.3.6.1 (passed)
- irmin-graphql.3.10.0 (passed)
- irmin-graphql.3.11.0 (passed)
- irmin-graphql.3.6.1 (passed)
- irmin-http.3.6.1 (failed: Failed to get sources of cohttp.6.1.1, cohttp-lwt.6.1.1, cohttp-lwt-unix.6.1.1, http.6.1.1 (https://github.com/mirage/ocaml-cohttp/releases/download/v6.1.1/cohttp-6.1.1.tbz): curl failed)
- irmin-mirage-git.3.10.0 (passed)
- irmin-mirage-git.3.11.0 (passed)
- irmin-mirage-graphql.3.10.0 (passed)
- irmin-mirage-graphql.3.11.0 (passed)
- irmin-pack-tools.3.10.0 (passed)
- irmin-pack-tools.3.11.0 (passed)
- irmin-server.3.10.0 (passed)
- irmin-server.3.11.0 (passed)
- irmin-tezos.2.10.2 (passed)
- irmin-tezos.3.10.0 (passed)
- irmin-tezos.3.11.0 (passed)
- irmin-tezos.3.6.1 (passed)
- irmin-unix.2.10.2 (passed)
- jasmin.2022.04.0 (passed)
- jasmin.2022.09.0 (passed)
- jasmin.2022.09.2 (passed)
- jasmin.2022.09.3 (passed)
- jasmin.2023.06.0 (passed)
- jasmin.2023.06.1 (passed)
- jasmin.2023.06.2 (passed)
- jasmin.2023.06.3 (passed)
- jasmin.2023.06.4 (passed)
- jasmin.2024.07.0 (passed)
- jasmin.2024.07.1 (passed)
- jasmin.2024.07.2 (passed)
- jasmin.2024.07.3 (passed)
- jasmin.2025.02.0 (passed)
- jasmin.2025.02.1 (passed)
- jasmin.2025.06.0 (passed)
- jasmin.2025.06.1 (passed)
- jasmin.2025.06.2 (passed)
- jasmin.2025.06.3 (passed)
- jasmin.2026.03.0 (passed)
- jose.0.10.0 (passed)
- jose.0.8.2 (passed)
- jose.0.9.0 (passed)
- jupyter-archimedes.2.7.3 (passed)
- jupyter.2.8.1 (passed)
- jupyter.2.8.2 (passed)
- jupyter.2.8.3 (passed)
- jwt.0.1 (passed)
- jwto.0.1.4 (passed)
- jwto.0.2.0 (passed)
- jwto.0.2.1 (passed)
- jwto.0.3.0 (passed)
- key-parsers.0.10.1 (passed)
- key-parsers.1.0.0 (passed)
- key-parsers.1.0.1 (passed)
- key-parsers.1.1.0 (passed)
- key-parsers.1.2.1 (passed)
- key-parsers.1.3.0 (passed)
- key-parsers.1.4.0 (passed)
- key-parsers.1.5.0 (passed)
- kicadsch.0.4.0 (passed)
- kicadsch.0.5.0 (passed)
- kinetic-client.0.0.11 (passed)
- kinetic-client.0.0.9 (failed: This expression has type string but an expression was expected of type)
- kmt.0.1 (passed)
- lab.0.1.0 (passed)
- lab.0.1.1 (passed)
- lab.0.1.2 (passed)
- lab.0.1.4 (passed)
- lab.0.1.5 (passed)
- lab.0.1.7 (passed)
- lab.0.1.8 (passed)
- lablgl.1.06 (passed)
- lablgl.1.07 (passed)
- lambdapi.2.0.0 (passed)
- lambdapi.2.4.0 (passed)
- lambdapi.2.4.1 (passed)
- lambdapi.2.5.0 (passed)
- lambdapi.2.5.1 (passed)
- lambdapi.2.6.0 (passed)
- lambdapi.3.0.0 (failed: Failed to get sources of alt-ergo.2.6.2, alt-ergo-lib.2.6.2, alt-ergo-parsers.2.6.2 (https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.2/alt-ergo-2.6.2.tbz): curl failed)
- ledit.2.05 (passed)
- ledit.2.06 (passed)
- ledit.2.07 (passed)
- ledit.2.08 (passed)
- lem.2020-06-03 (passed)
- lem.2022-12-10 (passed)
- lem.2025-03-13 (passed)
- letsencrypt-app.0.5.1 (passed)
- letsencrypt-app.1.0.0 (passed)
- letsencrypt-app.1.1.0 (passed)
- letsencrypt-app.2.0.0 (passed)
- letsencrypt-dns.0.5.1 (passed)
- letsencrypt-dns.1.0.0 (passed)
- letsencrypt-dns.1.1.0 (passed)
- letsencrypt-dns.2.0.0 (passed)
- letsencrypt-mirage.0.5.1 (passed)
- letsencrypt-mirage.1.0.0 (passed)
- letsencrypt-mirage.1.1.0 (passed)
- letsencrypt-mirage.2.0.0 (passed)
- letsencrypt.0.5.1 (passed)
- letsencrypt.1.0.0 (passed)
- letsencrypt.1.1.0 (passed)
- letsencrypt.2.0.0 (passed)
- letters.0.1.0 (passed)
- letters.0.1.1 (passed)
- letters.0.2.0 (passed)
- letters.0.2.1 (passed)
- letters.0.3.0 (passed)
- letters.0.3.1 (passed)
- letters.0.3.2 (passed)
- letters.0.3.3 (passed)
- letters.0.4.0 (passed)
- libabsolute.0.1 (passed)
- libirmin.3.10.0 (passed)
- libirmin.3.11.0 (passed)
- libirmin.3.6.1 (failed: Cancelled)
- libsail.0.15 (passed)
- libsail.0.16 (passed)
- libsail.0.17.1 (passed)
- libsail.0.18 (passed)
- libsail.0.19 (passed)
- libsail.0.19.1 (passed)
- libsail.0.20 (passed)
- libsail.0.20.1 (passed)
- libzipperposition.1.5.1 (passed)
- libzipperposition.1.6 (passed)
- lichess_api.1.0.0 (passed)
- lichess_api.1.0.1 (passed)
- links-mysql.0.9.3 (passed)
- links-mysql.0.9.4 (passed)
- links-mysql.0.9.5 (passed)
- links-mysql.0.9.6 (passed)
- links-mysql.0.9.7 (passed)
- links-postgresql.0.9.3 (passed)
- links-postgresql.0.9.4 (passed)
- links-postgresql.0.9.5 (passed)
- links-postgresql.0.9.6 (passed)
- links-postgresql.0.9.7 (passed)
- links-sqlite3.0.9.3 (passed)
- links-sqlite3.0.9.4 (passed)
- links-sqlite3.0.9.5 (passed)
- links-sqlite3.0.9.6 (passed)
- links-sqlite3.0.9.7 (passed)
- links.0.9.3 (passed)
- links.0.9.4 (passed)
- links.0.9.5 (passed)
- links.0.9.6 (passed)
- links.0.9.7 (passed)
- linksem.0.7 (passed)
- linksem.0.8 (passed)
- lintcstubs.0.4.7 (passed)
- logger-p5.0.4.2 (passed)
- logger-p5.0.4.3 (passed)
- logger-p5.0.4.5 (passed)
- logtk.1.5.1 (failed: [SKIP] Package not available)
- logtk.1.6 (passed)
- lustre-v6.6.103.3 (passed)
- lustre-v6.6.107.1 (passed)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- malfunction.0.4.1 (passed)
- malfunction.0.5 (passed)
- malfunction.0.6 (passed)
- malfunction.0.7 (passed)
- malfunction.0.7.1 (passed)
- markdown_monolith.0.1.1 (passed)
- mc2.0.1 (passed)
- mec.0.1.0 (passed)
- mechaml.1.1.0 (passed)
- mechaml.1.2.0 (passed)
- mechaml.1.2.1 (passed)
- mehari-lwt-unix.0.1 (passed)
- mehari-lwt-unix.0.2 (passed)
- mehari-lwt-unix.0.3 (passed)
- mehari-lwt-unix.0.4 (passed)
- mehari-mirage.0.1 (passed)
- mehari-mirage.0.2 (passed)
- mehari-mirage.0.3 (passed)
- mehari-mirage.0.4 (passed)
- mehari.0.1 (passed)
- mehari.0.2 (passed)
- mehari.0.3 (passed)
- mehari.0.4 (passed)
- memcad.1.1.0 (failed: conf-libclang.12 failed to build)
- memtrace_viewer.v0.16.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- mimic-happy-eyeballs.0.0.5 (passed)
- mimic-happy-eyeballs.0.0.6 (passed)
- mimic-happy-eyeballs.0.0.7 (passed)
- mimic-happy-eyeballs.0.0.9 (passed)
- mirage-crypto-pk.0.10.7 (passed)
- mirage-crypto-pk.0.11.3 (passed)
- mlgmpidl.1.2.11 (passed)
- mlgmpidl.1.2.12 (passed)
- mlgmpidl.1.2.13 (passed)
- mlgmpidl.1.2.14 (passed)
- mlgmpidl.1.2.15 (passed)
- mlgmpidl.1.2.15-1 (passed)
- mlgmpidl.1.3.0 (passed)
- mopsa.1.2 (failed: "languages.universal.numeric.relational.elinainst" is an invalid)
- mqtt.0.2.2 (passed)
- mssql.2.0.3 (failed: Error during linking (exit code 1))
- mssql.2.1.0 (failed: Error during linking (exit code 1))
- mssql.2.2.0 (failed: Error during linking (exit code 1))
- mysql_protocol.3.0.1 (passed)
- mysql_protocol.3.0.2 (passed)
- mysql_protocol.3.0.3 (passed)
- nanoid.1.0.0 (passed)
- noCanren.0.3.0 (passed)
- nocoiner.0.0.1 (passed)
- nocoiner.1.0.0 (passed)
- nocrypto.0.5.4-1 (passed)
- nocrypto.0.5.4-2 (passed)
- nsq.0.5.2 (passed)
- nsq.0.5.3 (passed)
- ocaml-sat-solvers.0.7 (passed)
- ocaml-sat-solvers.0.7.1 (passed)
- ocluster-worker.0.2.1 (passed)
- ocluster-worker.0.3.0 (passed)
- ocluster.0.1 (passed)
- ocluster.0.2 (passed)
- ocluster.0.2.1 (passed)
- ocluster.0.3.0 (passed)
- ocsigen-start.6.1.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- ocsigen-start.6.1.1 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- ocsigen-start.6.1.2 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- ocsigen-start.6.2.0 (failed: js_of_ocaml-compiler.5.7.0 failed to build)
- ocsigen-start.6.3.0 (failed: js_of_ocaml-compiler.5.8.2 failed to build)
- ocsigen-start.7.0.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-start.7.1.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-toolkit.2.10.1 (passed)
- ocsigen-toolkit.2.12.2 (passed)
- ocsigen-toolkit.2.7.0 (passed)
- ocsigen-toolkit.2.8.0 (passed)
- ocsigen-toolkit.3.2.0 (passed)
- ocsigen-toolkit.3.3.1 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-toolkit.3.3.4 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-toolkit.4.0.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigen-toolkit.4.1.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ocsigenserver.5.1.0 (passed)
- ocsigenserver.5.1.2 (passed)
- ocsigenserver.6.0.0 (passed)
- ocsigenserver.7.0.0 (passed)
- ocsipersist-dbm-config.2.0.0 (passed)
- ocsipersist-dbm.1.0 (passed)
- ocsipersist-dbm.1.0.1 (passed)
- ocsipersist-dbm.1.1.0 (passed)
- ocsipersist-pgsql-config.2.0.0 (passed)
- ocsipersist-pgsql.1.0 (passed)
- ocsipersist-pgsql.1.0.1 (passed)
- ocsipersist-pgsql.1.0.2 (passed)
- ocsipersist-pgsql.1.0.3 (passed)
- ocsipersist-pgsql.1.0.4 (passed)
- ocsipersist-pgsql.1.0.5 (passed)
- ocsipersist-pgsql.1.1.0 (passed)
- ocsipersist-sqlite-config.2.0.0 (passed)
- ocsipersist-sqlite.1.0 (passed)
- ocsipersist-sqlite.1.1.0 (passed)
- ocsipersist.1.0 (passed)
- ocsipersist.1.0.1 (passed)
- ocsipersist.1.1.0 (passed)
- oframl.0.0.1 (passed)
- oidc.0.2.0 (passed)
- ojs-base.0.6.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_base.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_base.0.8.0 (passed)
- ojs_base_all.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_base_all.0.8.0 (passed)
- ojs_base_ppx.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_base_ppx.0.8.0 (passed)
- ojs_ed.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_ed.0.8.0 (passed)
- ojs_filetree.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_filetree.0.8.0 (passed)
- ojs_list.0.7.0 (failed: js_of_ocaml-compiler.5.9.1 failed to build)
- ojs_list.0.8.0 (passed)
- opam-compiler.0.1.0 (passed)
- opam-compiler.0.1.1 (passed)
- opam-publish.2.0.0 (passed)
- opam-publish.2.0.1 (passed)
- opam-publish.2.0.2 (passed)
- opam-publish.2.0.3 (passed)
- opam-publish.2.1.0 (passed)
- opam-publish.2.2.0 (passed)
- opam-publish.2.3.0 (passed)
- opam-publish.2.3.1 (passed)
- opam-publish.2.4.0 (passed)
- opam-publish.2.5.0 (passed)
- opam-publish.2.5.1 (passed)
- opam-publish.2.6.0 (passed)
- opam-publish.2.7.0 (passed)
- opam-publish.2.7.1 (passed)
- opam-publish.3.0.0 (passed)
- opencage.1.0.5 (passed)
- openstellina.0.0.3 (passed)
- opentelemetry-client-cohttp-lwt.0.10 (passed)
- opentelemetry-client-cohttp-lwt.0.11 (passed)
- opentelemetry-client-cohttp-lwt.0.11.1 (passed)
- opentelemetry-client-cohttp-lwt.0.11.2 (passed)
- opentelemetry-client-cohttp-lwt.0.12 (failed: [SKIP] Package not available)
- opentelemetry-client-cohttp-lwt.0.13 (passed)
- opentelemetry-client-cohttp-lwt.0.4 (passed)
- opentelemetry-client-cohttp-lwt.0.5 (passed)
- opentelemetry-client-cohttp-lwt.0.6 (passed)
- opentelemetry-client-cohttp-lwt.0.7 (passed)
- opentelemetry-client-cohttp-lwt.0.8 (passed)
- opentelemetry-client-cohttp-lwt.0.9 (passed)
- opium.0.17.0 (passed)
- opium.0.17.1 (passed)
- opium.0.18.0 (passed)
- oplot.0.50 (passed)
- oplot.0.71 (passed)
- opsian.0.1 (passed)
- oraft.0.1.0 (passed)
- oraft.0.1.1 (passed)
- oraft.0.2.0 (passed)
- oraft.0.3.0 (passed)
- orgeat.0.0.1 (passed)
- orpie.1.6.1 (passed)
- ortac-qcheck-stm.0.6.1 (failed: The compilation of ortac-qcheck-stm.0.6.1 failed at "dune build -p ortac-qcheck-stm -j 255 --promote-install-files=false @install @runtest".)
- ortac-qcheck-stm.0.7.0 (failed: The compilation of ortac-qcheck-stm.0.7.0 failed at "dune build -p ortac-qcheck-stm -j 255 --promote-install-files=false @install @runtest".)
- ortac-qcheck-stm.0.7.1 (failed: The compilation of ortac-qcheck-stm.0.7.1 failed at "dune build -p ortac-qcheck-stm -j 71 --promote-install-files=false @install @runtest".)
- ortac-qcheck-stm.0.7.2 (failed: The compilation of ortac-qcheck-stm.0.7.2 failed at "dune build -p ortac-qcheck-stm -j 255 --promote-install-files=false @install @runtest".)
- ortac-qcheck-stm.0.8.0 (passed)
- ortac-runtime-qcheck-stm.0.6.1 (passed)
- ortac-runtime-qcheck-stm.0.7.0 (passed)
- ortac-runtime-qcheck-stm.0.7.1 (passed)
- ortac-runtime-qcheck-stm.0.7.2 (passed)
- ortac-runtime-qcheck-stm.0.8.0 (passed)
- ortac-runtime.0.6.1 (passed)
- ortac-runtime.0.7.0 (passed)
- ortac-runtime.0.7.1 (passed)
- ortac-runtime.0.7.2 (passed)
- ortac-runtime.0.8.0 (passed)
- ortac-wrapper.0.7.0 (failed: The compilation of ortac-wrapper.0.7.0 failed at "dune build -p ortac-wrapper -j 71 --promote-install-files=false @install @runtest".)
- ortac-wrapper.0.7.1 (failed: The compilation of ortac-wrapper.0.7.1 failed at "dune build -p ortac-wrapper -j 255 --promote-install-files=false @install @runtest".)
- ortac-wrapper.0.7.2 (failed: The compilation of ortac-wrapper.0.7.2 failed at "dune build -p ortac-wrapper -j 255 --promote-install-files=false @install @runtest".)
- ortac-wrapper.0.8.0 (passed)
- osbx.1.2.4 (passed)
- osdp.1.0.0 (passed)
- osdp.1.1.0 (passed)
- osdp.1.1.1 (passed)
- osh.0.1 (passed)
- osnap.0.3.0 (failed: [SKIP] Package not available)
- ostap.0.5 (passed)
- ostap.0.6 (passed)
- ostap.0.6.1 (passed)
- otp.0.2 (failed: Failed to get sources of otp.0.2: Bad checksum)
- otp.0.2.2 (passed)
- otr.0.3.10 (passed)
- owl-jupyter.1.0 (passed)
- ozulip.0.1 (passed)
- p5scm.0.2.0 (passed)
- p5scm.0.3.1 (passed)
- p5scm.0.4.0 (passed)
- p5scm.0.5.0 (passed)
- pa_ppx.0.14 (passed)
- pa_ppx.0.15 (passed)
- pa_ppx.0.18 (passed)
- pa_ppx.0.19 (failed: [SKIP] Package not available)
- pa_ppx.0.20 (failed: [SKIP] Package not available)
- pa_ppx_hashcons.0.11 (passed)
- pa_ppx_migrate.0.11 (passed)
- pa_ppx_migrate.0.13 (passed)
- pa_ppx_migrate_ocaml_parsetree.0.01 (passed)
- pa_ppx_q_ast.0.11 (failed: [SKIP] Package not available)
- pa_ppx_quotation2extension.0.02 (passed)
- pa_ppx_regexp.0.05 (passed)
- pa_ppx_static.0.02 (passed)
- pa_ppx_string.0.01 (passed)
- pa_ppx_unique.0.11 (passed)
- paf-cohttp.0.6.0 (passed)
- paf-cohttp.0.8.0 (passed)
- paf.0.1.0 (passed)
- paf.0.5.0 (passed)
- paf.0.6.0 (passed)
- paf.0.7.0 (passed)
- paf.0.8.0 (passed)
- pardi.2.0.2 (passed)
- pardi.2.0.3 (passed)
- pardi.2.0.4 (passed)
- pardi.3.1.1 (passed)
- pardi.3.2.0 (passed)
- pari-bindings.0.1 (failed: passing argument 4 of 'sd_string' from incompatible pointer type [-Wincompatible-pointer-types])
- pari.0.1 (failed: pari-bindings.0.1 failed to build)
- parsley.0.0.1 (passed)
- petrol.1.0.0 (passed)
- petrol.1.2.0 (failed: Failed to get sources of sexplib0.v0.17.0: curl failed)
- pgn_parser.1.0.0 (passed)
- pgn_parser.1.0.1 (passed)
- pgsolver.4.3 (passed)
- pgx_lwt_mirage.1.0 (passed)
- pgx_lwt_mirage.2.0 (passed)
- pgx_lwt_mirage.2.1 (passed)
- pgx_lwt_mirage.2.2 (passed)
- picasso.0.1 (passed)
- picasso.0.2.0 (passed)
- picasso.0.3.0 (passed)
- picasso.0.4.0 (passed)
- pilat.1.6 (failed: frama-c.22.0 failed to build)
- pkcs11-cli.0.18.0 (passed)
- pkcs11-cli.1.0.0 (passed)
- pkcs11-cli.1.0.1 (passed)
- pkcs11-driver.0.18.0 (passed)
- pkcs11-driver.1.0.0 (passed)
- pkcs11-driver.1.0.1 (passed)
- pkcs11-rev.0.18.0 (passed)
- pkcs11-rev.1.0.0 (passed)
- pkcs11-rev.1.0.1 (passed)
- pkcs11.0.10.0 (passed)
- pkcs11.0.11.0 (passed)
- pkcs11.0.12.0 (passed)
- pkcs11.0.13.0 (passed)
- pkcs11.0.14.0 (passed)
- pkcs11.0.15.0 (passed)
- pkcs11.0.16.0 (passed)
- pkcs11.0.17.0 (passed)
- pkcs11.0.17.1 (passed)
- pkcs11.0.18.0 (passed)
- pkcs11.0.9.0 (passed)
- pkcs11.1.0.0 (passed)
- pkcs11.1.0.1 (passed)
- plebeia.1.0.0 (passed)
- plebeia.2.0.0 (passed)
- plebeia.2.0.1 (passed)
- plebeia.2.0.2 (passed)
- plebeia.2.1.0 (passed)
- plebeia.2.2.0 (passed)
- plotkicadsch.0.7.0 (passed)
- plotkicadsch.0.8.0 (passed)
- plotkicadsch.0.9.0 (passed)
- polka.2.71.10 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
- polka.2.71.15 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
- polynomial.0.3.0 (passed)
- polynomial.0.4.0 (passed)
- ppx_decimal.1.0.0 (passed)
- ppx_decimal.1.0.1 (passed)
- ppx_decimal.1.0.2 (passed)
- ppx_deriving_hardcaml.v0.14.0 (passed)
- ppx_deriving_hardcaml.v0.15.0 (passed)
- ppx_deriving_hardcaml.v0.16.0 (passed)
- ppx_dream_eml.1.0 (passed)
- ppx_rapper_async.3.0.0 (passed)
- ppx_rapper_async.3.1.0 (passed)
- ppx_rapper_lwt.3.0.0 (passed)
- ppx_rapper_lwt.3.1.0 (passed)
- prbnmcn-basic-structures.0.0.1 (passed)
- prbnmcn-dagger-stats.0.0.1 (passed)
- prbnmcn-dagger-stats.0.0.2 (passed)
- prbnmcn-dagger-test.0.0.1 (passed)
- prbnmcn-dagger-test.0.0.2 (passed)
- prbnmcn-linalg.0.0.1 (passed)
- prbnmcn-proptest.0.0.1 (passed)
- prbnmcn-stats.0.0.1 (failed: [SKIP] Package not available)
- prbnmcn-stats.0.0.2 (passed)
- prbnmcn-stats.0.0.3 (passed)
- prbnmcn-stats.0.0.4 (passed)
- prbnmcn-stats.0.0.5 (passed)
- prbnmcn-stats.0.0.6 (passed)
- prbnmcn-stats.0.0.7 (passed)
- prbnmcn-stats.0.0.8 (passed)
- primes.1.3.5 (passed)
- profiler-plugin.1.01 (passed)
- profiler-plugin.1.30 (failed: alt-ergo.1.30 failed to build)
- prometheus-app.0.5 (passed)
- prometheus-app.0.6 (passed)
- prometheus-app.0.7 (passed)
- prometheus-app.1.0 (passed)
- prometheus-app.1.1 (passed)
- prometheus-app.1.2 (passed)
- prometheus-app.1.3 (passed)
- prometheus-liquidsoap.1 (passed)
- prometheus-liquidsoap.2 (passed)
- prooftree.0.14 (passed)
- proton.1.0.14 (passed)
- proton.1.0.15 (passed)
- proton.1.0.16 (passed)
- proton.1.0.17 (passed)
- publish.0.3.4+transition (passed)
- pxshot.0.1.2 (passed)
- qdrant.0.1.0 (passed)
- quests.0.1.3 (passed)
- randoml.0.1.5 (passed)
- rdbg.1.196.12 (passed)
- redis-async.v0.15.0 (passed)
- redis-async.v0.16.0 (passed)
- resp-mirage.0.10.0 (passed)
- resp-mirage.0.11.0 (passed)
- resp-unix.0.10.0 (passed)
- resp-unix.0.11.0 (passed)
- resp-unix.0.9 (failed: [SKIP] Package not available)
- resp-unix.0.9.1 (failed: [SKIP] Package not available)
- resto-cohttp-self-serving-client.0.10 (passed)
- resto-cohttp-self-serving-client.0.6 (passed)
- resto-cohttp-self-serving-client.0.6.1 (passed)
- resto-cohttp-self-serving-client.0.7 (passed)
- resto-cohttp-self-serving-client.0.8 (passed)
- resto-cohttp-self-serving-client.0.9 (passed)
- resto-cohttp-self-serving-client.1.0 (passed)
- resto-cohttp-self-serving-client.1.1 (passed)
- resto-cohttp-self-serving-client.1.2 (passed)
- resto-cohttp-server.0.10 (passed)
- resto-cohttp-server.0.4 (passed)
- resto-cohttp-server.0.5 (passed)
- resto-cohttp-server.0.6 (passed)
- resto-cohttp-server.0.6.1 (passed)
- resto-cohttp-server.0.7 (passed)
- resto-cohttp-server.0.8 (passed)
- resto-cohttp-server.0.9 (passed)
- resto-cohttp-server.1.0 (passed)
- resto-cohttp-server.1.1 (passed)
- resto-cohttp-server.1.2 (passed)
- rfc6287.1.0.3 (failed: [SKIP] Package not available)
- rfc6287.1.0.4 (passed)
- rfc7748.1.0 (passed)
- river.0.2 (passed)
- river.0.3 (passed)
- river.0.4 (passed)
- rocq-core.9.0.0 (passed)
- rocq-core.9.0.1 (passed)
- rocq-core.9.1.0 (passed)
- rocq-core.9.1.1 (passed)
- rocq-core.9.2.0 (passed)
- rocq-devtools.9.1.0 (passed)
- rocq-devtools.9.1.1 (passed)
- rocq-devtools.9.2.0 (passed)
- rocq-prover.9.0.0 (passed)
- rocq-prover.meta.1 (passed)
- rocq-runtime.9.0.0 (passed)
- rocq-runtime.9.0.1 (passed)
- rocq-runtime.9.1.0 (passed)
- rocq-runtime.9.1.1 (passed)
- rocq-runtime.9.2.0 (passed)
- rocq-stdlib.9.0.0 (passed)
- rocqide.9.0.0 (passed)
- rocqide.9.0.1 (passed)
- rocqide.9.1.0 (passed)
- rocqide.9.1.1 (passed)
- rocqide.9.2.0 (passed)
- safemoney.0.1.0 (passed)
- safemoney.0.1.1 (passed)
- safemoney.0.2.0 (passed)
- safemoney.0.3.0 (passed)
- sail.0.13 (passed)
- sail.0.14 (passed)
- sail.0.15 (passed)
- sail.0.16 (passed)
- sail.0.17.1 (passed)
- sail.0.18 (passed)
- sail.0.19 (passed)
- sail.0.19.1 (passed)
- sail.0.20 (passed)
- sail.0.20.1 (passed)
- sail_c_backend.0.15 (passed)
- sail_c_backend.0.16 (passed)
- sail_c_backend.0.17.1 (passed)
- sail_c_backend.0.18 (passed)
- sail_c_backend.0.19 (passed)
- sail_c_backend.0.19.1 (passed)
- sail_c_backend.0.20 (passed)
- sail_c_backend.0.20.1 (passed)
- sail_coq_backend.0.15 (passed)
- sail_coq_backend.0.16 (passed)
- sail_coq_backend.0.17.1 (passed)
- sail_coq_backend.0.18 (passed)
- sail_coq_backend.0.19 (passed)
- sail_coq_backend.0.19.1 (passed)
- sail_coq_backend.0.20 (passed)
- sail_coq_backend.0.20.1 (passed)
- sail_doc_backend.0.16 (passed)
- sail_doc_backend.0.17.1 (passed)
- sail_doc_backend.0.18 (passed)
- sail_doc_backend.0.19 (passed)
- sail_doc_backend.0.19.1 (passed)
- sail_doc_backend.0.20 (passed)
- sail_doc_backend.0.20.1 (passed)
- sail_latex_backend.0.15 (passed)
- sail_latex_backend.0.16 (passed)
- sail_latex_backend.0.17.1 (passed)
- sail_latex_backend.0.18 (passed)
- sail_latex_backend.0.19 (passed)
- sail_latex_backend.0.19.1 (passed)
- sail_latex_backend.0.20 (passed)
- sail_latex_backend.0.20.1 (passed)
- sail_lean_backend.0.19 (passed)
- sail_lean_backend.0.19.1 (passed)
- sail_lean_backend.0.20 (passed)
- sail_lean_backend.0.20.1 (passed)
- sail_lem_backend.0.15 (passed)
- sail_lem_backend.0.16 (passed)
- sail_lem_backend.0.17.1 (passed)
- sail_lem_backend.0.18 (passed)
- sail_lem_backend.0.19 (passed)
- sail_lem_backend.0.19.1 (passed)
- sail_lem_backend.0.20 (passed)
- sail_lem_backend.0.20.1 (passed)
- sail_ocaml_backend.0.15 (passed)
- sail_ocaml_backend.0.16 (passed)
- sail_ocaml_backend.0.17.1 (passed)
- sail_ocaml_backend.0.18 (passed)
- sail_ocaml_backend.0.19 (passed)
- sail_ocaml_backend.0.19.1 (passed)
- sail_ocaml_backend.0.20 (passed)
- sail_ocaml_backend.0.20.1 (passed)
- sail_output.0.15 (passed)
- sail_output.0.16 (passed)
- sail_output.0.17.1 (passed)
- sail_output.0.18 (passed)
- sail_output.0.19 (passed)
- sail_output.0.19.1 (passed)
- sail_output.0.20 (passed)
- sail_output.0.20.1 (passed)
- sail_smt_backend.0.15 (passed)
- sail_smt_backend.0.16 (passed)
- sail_smt_backend.0.17.1 (passed)
- sail_smt_backend.0.18 (passed)
- sail_smt_backend.0.19 (passed)
- sail_smt_backend.0.19.1 (passed)
- sail_smt_backend.0.20 (passed)
- sail_smt_backend.0.20.1 (passed)
- sail_sv_backend.0.17.1 (passed)
- sail_sv_backend.0.18 (passed)
- sail_sv_backend.0.19 (passed)
- sail_sv_backend.0.19.1 (passed)
- sail_sv_backend.0.20 (passed)
- sail_sv_backend.0.20.1 (passed)
- salsa20-core.0.1.0 (failed: The compilation of salsa20-core.0.1.0 failed at "ocaml pkg/pkg.ml build --pinned false".)
- salsa20.0.1.0 (failed: The compilation of salsa20.0.1.0 failed at "ocaml pkg/pkg.ml build --pinned false".)
- salsa20.1.0.0 (passed)
- salsa20.1.1.0 (passed)
- salsa20.1.2.0 (passed)
- satML-plugin.0.99.1 (passed)
- satML-plugin.1.01 (passed)
- satML-plugin.1.30 (failed: alt-ergo.1.30 failed to build)
- savvy.0.2.0 (passed)
- savvy.0.4.0 (passed)
- sawja.1.5.7 (passed)
- scrypt-kdf.1.2.0 (passed)
- sendmail-lwt.0.1.0 (passed)
- sendmail-lwt.0.10.0 (passed)
- sendmail-lwt.0.11.0 (passed)
- sendmail-lwt.0.12.0 (passed)
- sendmail-lwt.0.12.1 (passed)
- sendmail-lwt.0.2.0 (passed)
- sendmail-lwt.0.3.0 (passed)
- sendmail-lwt.0.4.0 (passed)
- sendmail-lwt.0.4.1 (passed)
- sendmail-lwt.0.4.2 (passed)
- sendmail-lwt.0.5.0 (passed)
- sendmail-lwt.0.6.0 (passed)
- sendmail-lwt.0.7.0 (passed)
- sendmail-lwt.0.8.0 (passed)
- sendmail-lwt.0.8.1 (passed)
- sendmail-lwt.0.9.0 (passed)
- sendmail-mirage.0.10.0 (passed)
- sendmail-mirage.0.11.0 (passed)
- sendmail-mirage.0.12.0 (passed)
- sendmail-mirage.0.12.1 (passed)
- sendmail.0.1.0 (passed)
- sendmail.0.10.0 (passed)
- sendmail.0.11.0 (passed)
- sendmail.0.12.0 (passed)
- sendmail.0.12.1 (passed)
- sendmail.0.2.0 (passed)
- sendmail.0.3.0 (passed)
- sendmail.0.4.0 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.4.1 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.4.2 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.5.0 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.6.0 (passed)
- sendmail.0.7.0 (passed)
- sendmail.0.8.0 (passed)
- sendmail.0.8.1 (passed)
- sendmail.0.9.0 (passed)
- session-cohttp-async.0.4.0 (passed)
- session-cohttp-async.0.4.1 (passed)
- session-cohttp-lwt.0.4.0 (passed)
- session-cohttp-lwt.0.4.1 (passed)
- session-cohttp.0.4.0 (passed)
- session-cohttp.0.4.1 (passed)
- session-cookie-async.0.1.8 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session-cookie-lwt.0.1.8 (passed)
- session-cookie.0.1.8 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session-postgresql-async.0.4.1 (passed)
- session-postgresql-lwt.0.4.1 (passed)
- session-postgresql.0.4.0 (passed)
- session-postgresql.0.4.1 (passed)
- session-redis-lwt.0.4.0 (passed)
- session-redis-lwt.0.4.1 (passed)
- session-webmachine.0.4.0 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session-webmachine.0.4.1 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session.0.4.0 (passed)
- session.0.4.1 (passed)
- sexp_grammar.v0.16.0 (passed)
- shuttle_http.0.11.0 (passed)
- shuttle_websocket.0.11.0 (passed)
- sihl-cache.0.3.0 (passed)
- sihl-cache.0.3.0~rc2 (passed)
- sihl-cache.0.4.0 (passed)
- sihl-cache.0.4.1 (passed)
- sihl-cache.0.5.0 (passed)
- sihl-cache.0.6.0~rc1 (passed)
- sihl-cache.1.0.0 (passed)
- sihl-cache.1.0.0~rc1 (passed)
- sihl-cache.1.0.0~rc2 (passed)
- sihl-cache.1.0.0~rc3 (passed)
- sihl-cache.1.0.1 (passed)
- sihl-cache.2.0.0 (passed)
- sihl-cache.2.0.1 (passed)
- sihl-cache.3.0.0 (passed)
- sihl-cache.3.0.1 (passed)
- sihl-cache.3.0.2 (passed)
- sihl-cache.3.0.3 (passed)
- sihl-cache.3.0.4 (passed)
- sihl-cache.3.0.5 (passed)
- sihl-contract.0.2.0 (passed)
- sihl-contract.0.2.1 (passed)
- sihl-contract.0.2.2 (passed)
- sihl-contract.0.3.0~rc1 (passed)
- sihl-core.0.2.0 (passed)
- sihl-core.0.2.1 (passed)
- sihl-core.0.2.2 (passed)
- sihl-core.0.3.0~rc1 (passed)
- sihl-email.0.1.10 (passed)
- sihl-email.0.1.5 (passed)
- sihl-email.0.1.6 (passed)
- sihl-email.0.1.7 (passed)
- sihl-email.0.1.8 (passed)
- sihl-email.0.1.9 (passed)
- sihl-email.0.2.0 (passed)
- sihl-email.0.2.1 (passed)
- sihl-email.0.2.2 (passed)
- sihl-email.0.3.0 (passed)
- sihl-email.0.3.0~rc1 (passed)
- sihl-email.0.3.0~rc2 (passed)
- sihl-email.0.4.0 (passed)
- sihl-email.0.4.1 (passed)
- sihl-email.0.5.0 (passed)
- sihl-email.0.6.0~rc1 (passed)
- sihl-email.1.0.0 (passed)
- sihl-email.1.0.0~rc1 (passed)
- sihl-email.1.0.0~rc2 (passed)
- sihl-email.1.0.0~rc3 (passed)
- sihl-email.1.0.1 (passed)
- sihl-email.2.0.0 (passed)
- sihl-email.2.0.1 (passed)
- sihl-email.3.0.0 (passed)
- sihl-email.3.0.1 (passed)
- sihl-email.3.0.2 (passed)
- sihl-email.3.0.3 (passed)
- sihl-email.3.0.4 (passed)
- sihl-email.3.0.5 (passed)
- sihl-facade.0.3.0~rc1 (passed)
- sihl-persistence.0.2.0 (passed)
- sihl-persistence.0.2.1 (passed)
- sihl-persistence.0.2.2 (passed)
- sihl-persistence.0.3.0~rc1 (passed)
- sihl-queue.0.1.10 (passed)
- sihl-queue.0.1.5 (passed)
- sihl-queue.0.1.6 (passed)
- sihl-queue.0.1.7 (passed)
- sihl-queue.0.1.8 (passed)
- sihl-queue.0.1.9 (passed)
- sihl-queue.0.2.0 (passed)
- sihl-queue.0.2.1 (passed)
- sihl-queue.0.2.2 (passed)
- sihl-queue.0.3.0 (passed)
- sihl-queue.0.3.0~rc1 (passed)
- sihl-queue.0.3.0~rc2 (passed)
- sihl-queue.0.4.0 (passed)
- sihl-queue.0.4.1 (passed)
- sihl-queue.0.5.0 (passed)
- sihl-queue.0.6.0~rc1 (passed)
- sihl-queue.1.0.0 (passed)
- sihl-queue.1.0.0~rc1 (passed)
- sihl-queue.1.0.0~rc2 (passed)
- sihl-queue.1.0.0~rc3 (passed)
- sihl-queue.1.0.1 (passed)
- sihl-queue.2.0.0 (passed)
- sihl-queue.2.0.1 (passed)
- sihl-queue.3.0.0 (passed)
- sihl-queue.3.0.1 (passed)
- sihl-queue.3.0.2 (passed)
- sihl-queue.3.0.3 (passed)
- sihl-queue.3.0.4 (passed)
- sihl-queue.3.0.5 (passed)
- sihl-session.0.3.0~rc1 (passed)
- sihl-storage.0.1.10 (passed)
- sihl-storage.0.1.5 (passed)
- sihl-storage.0.1.6 (passed)
- sihl-storage.0.1.7 (passed)
- sihl-storage.0.1.8 (passed)
- sihl-storage.0.1.9 (passed)
- sihl-storage.0.2.0 (passed)
- sihl-storage.0.2.1 (passed)
- sihl-storage.0.2.2 (passed)
- sihl-storage.0.3.0 (passed)
- sihl-storage.0.3.0~rc1 (passed)
- sihl-storage.0.3.0~rc2 (passed)
- sihl-storage.0.4.0 (passed)
- sihl-storage.0.4.1 (passed)
- sihl-storage.0.5.0 (passed)
- sihl-storage.0.6.0~rc1 (passed)
- sihl-storage.1.0.0 (passed)
- sihl-storage.1.0.0~rc1 (passed)
- sihl-storage.1.0.0~rc2 (passed)
- sihl-storage.1.0.0~rc3 (passed)
- sihl-storage.1.0.1 (passed)
- sihl-storage.2.0.0 (passed)
- sihl-storage.2.0.1 (passed)
- sihl-storage.3.0.0 (passed)
- sihl-storage.3.0.1 (passed)
- sihl-storage.3.0.2 (passed)
- sihl-storage.3.0.3 (passed)
- sihl-storage.3.0.4 (passed)
- sihl-storage.3.0.5 (passed)
- sihl-token.0.3.0 (passed)
- sihl-token.0.3.0~rc1 (passed)
- sihl-token.0.3.0~rc2 (passed)
- sihl-token.0.4.0 (passed)
- sihl-token.0.4.1 (passed)
- sihl-token.0.5.0 (passed)
- sihl-token.0.6.0~rc1 (passed)
- sihl-token.1.0.0 (passed)
- sihl-token.1.0.0~rc1 (passed)
- sihl-token.1.0.0~rc2 (passed)
- sihl-token.1.0.0~rc3 (passed)
- sihl-token.1.0.1 (passed)
- sihl-token.2.0.0 (passed)
- sihl-token.2.0.1 (passed)
- sihl-token.3.0.0 (passed)
- sihl-token.3.0.1 (passed)
- sihl-token.3.0.2 (passed)
- sihl-token.3.0.3 (passed)
- sihl-token.3.0.4 (passed)
- sihl-token.3.0.5 (passed)
- sihl-type.0.2.0 (passed)
- sihl-type.0.2.1 (passed)
- sihl-type.0.2.2 (passed)
- sihl-user.0.2.0 (passed)
- sihl-user.0.2.1 (passed)
- sihl-user.0.2.2 (passed)
- sihl-user.0.3.0 (passed)
- sihl-user.0.3.0~rc1 (passed)
- sihl-user.0.3.0~rc2 (passed)
- sihl-user.0.4.0 (passed)
- sihl-user.0.4.1 (passed)
- sihl-user.0.5.0 (passed)
- sihl-user.0.6.0~rc1 (passed)
- sihl-user.1.0.0 (passed)
- sihl-user.1.0.0~rc1 (passed)
- sihl-user.1.0.0~rc2 (passed)
- sihl-user.1.0.0~rc3 (passed)
- sihl-user.1.0.1 (passed)
- sihl-user.2.0.0 (passed)
- sihl-user.2.0.1 (passed)
- sihl-user.3.0.0 (passed)
- sihl-user.3.0.1 (passed)
- sihl-user.3.0.2 (passed)
- sihl-user.3.0.3 (passed)
- sihl-user.3.0.4 (passed)
- sihl-user.3.0.5 (passed)
- sihl-web.0.2.0 (passed)
- sihl-web.0.2.1 (passed)
- sihl-web.0.2.2 (passed)
- sihl-web.0.3.0~rc1 (passed)
- sihl.0.1.10 (passed)
- sihl.0.1.5 (failed: [SKIP] Package not available)
- sihl.0.1.6 (failed: [SKIP] Package not available)
- sihl.0.1.7 (failed: [SKIP] Package not available)
- sihl.0.1.8 (passed)
- sihl.0.1.9 (passed)
- sihl.0.2.0 (passed)
- sihl.0.2.1 (passed)
- sihl.0.2.2 (passed)
- sihl.0.3.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.0.3.0~rc1 (passed)
- sihl.0.3.0~rc2 (failed: [SKIP] Package not available)
- sihl.0.4.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.0.4.1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.0.5.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.0.6.0~rc1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.0~rc1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.0~rc2 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.0~rc3 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.1.0.1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.2.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.2.0.1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.1 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.2 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.3 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.4 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- sihl.3.0.5 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- slacko.0.14.1 (passed)
- slacko.0.15.0 (passed)
- slipshow.0.0.32 (passed)
- slipshow.0.0.33 (passed)
- slipshow.0.1.1 (passed)
- slipshow.0.10.0 (passed)
- slipshow.0.2.0 (passed)
- slipshow.0.3.0 (passed)
- slipshow.0.4.1 (passed)
- slipshow.0.5.0 (passed)
- slipshow.0.6.0 (passed)
- slipshow.0.7.0 (passed)
- slipshow.0.8.0 (passed)
- slipshow.0.8.1 (passed)
- slipshow.0.9.0 (passed)
- smtml.0.1.2 (passed)
- smtml.0.10.0 (passed)
- smtml.0.11.0 (passed)
- smtml.0.12.0 (passed)
- smtml.0.13.0 (passed)
- smtml.0.14.0 (passed)
- smtml.0.15.0 (passed)
- smtml.0.16.0 (passed)
- smtml.0.17.0 (passed)
- smtml.0.18.0 (passed)
- smtml.0.19.0 (passed)
- smtml.0.20.0 (passed)
- smtml.0.21.0 (passed)
- smtml.0.22.0 (passed)
- smtml.0.23.0 (passed)
- smtml.0.24.0 (passed)
- smtml.0.7.0 (passed)
- smtml.0.8.0 (passed)
- smtml.0.9.0 (passed)
- solidity-alcotest.0.2.0 (passed)
- solidity-common.0.2.0 (passed)
- solidity-parser.0.2.0 (passed)
- solidity-test.0.2.0 (passed)
- solidity-typechecker.0.2.0 (passed)
- spotify-web-api.0.2.1 (passed)
- ssh-agent.0.2.0 (passed)
- ssh-agent.0.3.0 (passed)
- ssh-agent.0.3.1 (passed)
- ssh-agent.0.4.0 (passed)
- ssh-agent.0.4.1 (passed)
- telegraml.2.2.0 (passed)
- terminus-cohttp.0.1.0 (passed)
- terminus-hlc.0.1.0 (passed)
- textrazor.0.1 (passed)
- textrazor.0.1.1 (passed)
- tezos-base58.1.0.0 (passed)
- tezos-context-hash.1.0.0 (passed)
- tezt-performance-regression.17.1 (passed)
- tezt-performance-regression.17.2 (passed)
- tezt-performance-regression.17.3 (passed)
- tidy_email_mailgun.0.0.1 (passed)
- tidy_email_sendgrid.0.0.1 (passed)
- tidy_email_smtp.0.0.1 (passed)
- tldr.0.3.0 (passed)
- tls-async.0.15.2 (passed)
- tls-async.0.17.0 (passed)
- tls-async.2.0.1 (passed)
- tls-async.2.0.2 (passed)
- tls-async.2.0.3 (passed)
- tls-async.2.0.4 (passed)
- tls-liquidsoap.1 (passed)
- tls-lwt.0.16.0 (passed)
- tls-lwt.0.17.3 (passed)
- tls-lwt.0.17.5 (passed)
- tls-lwt.1.0.4 (passed)
- tls-lwt.2.0.1 (passed)
- tls-lwt.2.0.2 (passed)
- tls-lwt.2.0.3 (passed)
- tls-lwt.2.0.4 (passed)
- tls-mirage.0.14.1 (passed)
- tls-mirage.0.15.4 (passed)
- tls-mirage.0.16.0 (passed)
- tls-mirage.0.17.3 (passed)
- tls-mirage.0.17.5 (passed)
- tls-mirage.1.0.4 (passed)
- tls-mirage.2.0.1 (passed)
- tls-mirage.2.0.2 (passed)
- tls-mirage.2.0.3 (passed)
- tls-mirage.2.0.4 (passed)
- tls.0.12.8 (passed)
- tls.0.14.1 (passed)
- tls.0.15.2 (passed)
- tls.0.15.4 (passed)
- tls.0.16.0 (passed)
- tls.0.17.0 (passed)
- tls.0.17.1 (passed)
- tls.0.17.3 (passed)
- tls.0.17.5 (passed)
- tls.1.0.4 (passed)
- tls.2.0.1 (passed)
- tls.2.0.2 (passed)
- tls.2.0.3 (passed)
- tls.2.0.4 (passed)
- tptp.0.3.2 (passed)
- twirp_cohttp_lwt_unix.0.1 (passed)
- twirp_cohttp_lwt_unix.0.2 (passed)
- twostep.1.0.1 (passed)
- ufind.0.2.0 (passed)
- ulex-camlp5.1.3 (passed)
- ulid.0.1 (passed)
- universo.2.7 (passed)
- uspf-lwt.0.0.4 (passed)
- uspf-lwt.0.1.0 (passed)
- uspf-lwt.0.2.0 (passed)
- uspf-mirage.0.0.4 (passed)
- uspf-mirage.0.1.0 (passed)
- uspf-mirage.0.2.0 (passed)
- uspf-unix.0.0.3 (passed)
- uspf-unix.0.0.4 (passed)
- uspf.0.0.3 (passed)
- uspf.0.0.4 (passed)
- uspf.0.1.0 (passed)
- uspf.0.2.0 (passed)
- voqc.0.1 (passed)
- voqc.0.2.0 (passed)
- voqc.0.2.1 (passed)
- voqc.0.3.0 (passed)
- vscoq-language-server.2.0.1+coq8.18 (passed)
- vscoq-language-server.2.0.2+coq8.18 (passed)
- vscoq-language-server.2.0.3+coq8.18 (passed)
- vscoq-language-server.2.1.0+coq8.19 (passed)
- vscoq-language-server.2.1.2 (passed)
- vscoq-language-server.2.1.3 (passed)
- vscoq-language-server.2.1.4 (passed)
- vscoq-language-server.2.1.7 (passed)
- vscoq-language-server.2.2.0 (passed)
- vscoq-language-server.2.2.1 (passed)
- vscoq-language-server.2.2.3 (passed)
- vscoq-language-server.2.2.4 (passed)
- vscoq-language-server.2.2.5 (passed)
- vscoq-language-server.2.2.6 (passed)
- vscoq-language-server.2.3.3 (passed)
- vscoq-language-server.2.3.4 (passed)
- vsrocq-language-server.2.3.0 (passed)
- vsrocq-language-server.2.3.1 (passed)
- vsrocq-language-server.2.3.3 (passed)
- vsrocq-language-server.2.3.4 (passed)
- webauthn.0.1.0 (passed)
- webauthn.0.2.0 (passed)
- websocket-lwt-unix.2.14 (passed)
- websocket-lwt-unix.2.15 (passed)
- websocket-lwt-unix.2.16 (passed)
- websocket-lwt-unix.2.17 (passed)
- websocket-lwt.2.12 (passed)
- why3-coq.1.4.0 (passed)
- why3-coq.1.4.1 (passed)
- why3-coq.1.5.0 (passed)
- why3-coq.1.5.1 (passed)
- why3-coq.1.6.0 (passed)
- why3-coq.1.7.0 (passed)
- why3-coq.1.7.1 (passed)
- why3-coq.1.7.2 (passed)
- why3-coq.1.8.0 (passed)
- why3-coq.1.8.1 (passed)
- why3-coq.1.8.2 (passed)
- why3-ide.1.8.0 (passed)
- why3-ide.1.8.1 (passed)
- why3-ide.1.8.2 (passed)
- why3.1.8.0 (passed)
- why3.1.8.1 (passed)
- why3.1.8.2 (passed)
- why3find.1.1.1 (passed)
- why3find.1.2.0 (passed)
- why3find.1.3.0 (passed)
- ws-server.0.1 (passed)
- x509.0.11.2 (failed: [SKIP] Package not available)
- x509.0.12.0 (passed)
- x509.0.14.1 (passed)
- x509.0.15.0 (passed)
- x509.0.16.5 (passed)
- x509.0.6.3 (passed)
- x509.0.7.0 (passed)
- x509.0.7.1 (passed)
- x509.0.8.1 (passed)
- x509.0.9.0 (passed)
- x509.1.0.6 (passed)
- yices2.0.0.2 (failed: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types])
- yices2.0.0.3 (failed: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types])
- yices2_bindings.0.1 (passed)
- yices2_bindings.0.2 (passed)
- yocaml_git.1.0.0 (passed)
- yocaml_unix.1.0.0 (passed)
- yultracer.0.2.0 (passed)
- yurt.0.5 (passed)
- yurt.0.6 (passed)
- z3.4.13.0-1 (passed)
- z3.4.13.0-2 (passed)
- z3.4.13.0-3 (passed)
- z3.4.13.2 (passed)
- z3.4.13.3 (passed)
- z3.4.14.1 (passed)
- z3.4.15.1 (passed)
- z3.4.15.2 (passed)
- z3_tptp.4.10.1 (failed: [SKIP] Package not available)
- z3_tptp.4.10.2 (failed: [SKIP] Package not available)
- z3_tptp.4.11.0 (failed: [SKIP] Package not available)
- z3_tptp.4.11.2 (failed: [SKIP] Package not available)
- z3_tptp.4.8.13 (failed: [SKIP] Package not available)
- z3_tptp.4.8.14 (failed: [SKIP] Package not available)
- z3_tptp.4.8.17 (failed: [SKIP] Package not available)
- z3_tptp.4.9.1 (failed: [SKIP] Package not available)
- zarith.1.10 (passed)
- zarith.1.11 (passed)
- zarith.1.7-1 (passed)
- zeit.0.1.0 (passed)
- zenon_modulo.0.5.0 (passed)
- zipperposition-tools.1.6 (passed)
- zipperposition.1.5.1 (passed)
- zipperposition.1.6 (passed)
- revdeps (passed)
- conf-perl-ipc-system-simple.4 (passed)
- 5.4
- conf-perl-ipc-system-simple.4 (passed)
- revdeps (passed)
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- frama-clang.0.0.19 (passed)
- ledit.2.06 (passed)
- ledit.2.07 (passed)
- ledit.2.08 (passed)
- logger-p5.0.4.2 (passed)
- logger-p5.0.4.3 (passed)
- logger-p5.0.4.5 (passed)
- lustre-v6.6.103.3 (passed)
- lustre-v6.6.107.1 (passed)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- rdbg.1.196.12 (passed)
- revdeps (passed)
- conf-perl-string-shellquote.4 (passed)
- revdeps (passed)
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- frama-clang.0.0.19 (passed)
- ledit.2.06 (passed)
- ledit.2.07 (passed)
- ledit.2.08 (passed)
- logger-p5.0.4.2 (passed)
- logger-p5.0.4.3 (passed)
- logger-p5.0.4.5 (passed)
- lustre-v6.6.103.3 (passed)
- lustre-v6.6.107.1 (passed)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- rdbg.1.196.12 (passed)
- revdeps (passed)
- conf-perl.3 (passed)
- revdeps (passed)
- absolute.0.1 (passed)
- absolute.0.2 (passed)
- absolute.0.3 (passed)
- albatross.1.2.0 (passed)
- albatross.1.4.3 (passed)
- albatross.1.5.4 (passed)
- albatross.2.3.0 (passed)
- albatross.2.4.1 (passed)
- albatross.2.5.0 (passed)
- albatross.2.5.1 (passed)
- albatross.2.6.0 (passed)
- albatross.2.6.1 (passed)
- albatross.2.6.2 (passed)
- alt-ergo-free.2.4.3 (passed)
- alt-ergo-lib.2.4.2 (passed)
- alt-ergo-lib.2.4.3 (passed)
- alt-ergo-lib.2.5.1 (passed)
- alt-ergo-lib.2.5.2 (passed)
- alt-ergo-lib.2.5.3 (passed)
- alt-ergo-lib.2.5.4 (passed)
- alt-ergo-lib.2.6.0 (failed: [SKIP] Package not available)
- alt-ergo-lib.2.6.1 (failed: [SKIP] Package not available)
- alt-ergo-lib.2.6.2 (failed: [SKIP] Package not available)
- alt-ergo-parsers.2.4.2 (passed)
- alt-ergo-parsers.2.4.3 (passed)
- alt-ergo-parsers.2.5.1 (passed)
- alt-ergo-parsers.2.5.2 (passed)
- alt-ergo-parsers.2.5.3 (passed)
- alt-ergo-parsers.2.5.4 (passed)
- alt-ergo-parsers.2.6.0 (passed)
- alt-ergo-parsers.2.6.1 (passed)
- alt-ergo-parsers.2.6.2 (passed)
- alt-ergo-plugin-ab-why3.2.5.1 (passed)
- alt-ergo-plugin-ab-why3.2.5.2 (passed)
- alt-ergo-plugin-ab-why3.2.5.3 (passed)
- alt-ergo-plugin-ab-why3.2.5.4 (passed)
- alt-ergo-plugin-ab-why3.2.6.0 (passed)
- alt-ergo-plugin-ab-why3.2.6.1 (passed)
- alt-ergo-plugin-ab-why3.2.6.2 (passed)
- alt-ergo.2.4.2 (passed)
- alt-ergo.2.4.3 (passed)
- alt-ergo.2.5.1 (failed: The compilation of alt-ergo.2.5.1 failed at "dune build -p alt-ergo -j 71 --promote-install-files=false @install @runtest".)
- alt-ergo.2.5.2 (failed: The compilation of alt-ergo.2.5.2 failed at "dune build -p alt-ergo -j 71 --promote-install-files=false @install @runtest".)
- alt-ergo.2.5.3 (passed)
- alt-ergo.2.5.4 (passed)
- alt-ergo.2.6.0 (passed)
- alt-ergo.2.6.1 (passed)
- alt-ergo.2.6.2 (passed)
- altgr-ergo.2.4.2 (passed)
- altgr-ergo.2.4.3 (passed)
- anthropic.0.1.0 (passed)
- apron.v0.9.14 (passed)
- apron.v0.9.14~beta.2 (passed)
- apron.v0.9.15 (passed)
- apronext.1.0 (passed)
- apronext.1.0.1 (passed)
- apronext.1.0.2 (passed)
- apronext.1.0.3 (passed)
- apronext.1.0.4 (passed)
- arc.0.0.1 (passed)
- asn1-combinators.0.2.6 (passed)
- async_rpc_websocket.v0.17.0 (passed)
- async_smtp.v0.17.0 (passed)
- async_websocket.v0.17.0 (passed)
- awa-mirage.0.0.5 (passed)
- awa-mirage.0.1.0 (passed)
- awa-mirage.0.2.0 (passed)
- awa-mirage.0.3.0 (passed)
- awa-mirage.0.3.1 (passed)
- awa-mirage.0.4.0 (passed)
- awa-mirage.0.5.2 (passed)
- awa.0.0.5 (passed)
- awa.0.1.0 (passed)
- awa.0.2.0 (passed)
- awa.0.3.0 (passed)
- awa.0.3.1 (passed)
- awa.0.4.0 (passed)
- awa.0.5.2 (passed)
- aws-lwt.1.2 (passed)
- azblob.0.1.0 (passed)
- azure-cosmos-db.0.2.0 (passed)
- azure-cosmos-db.0.2.1 (passed)
- azure-cosmos-db.0.2.2 (passed)
- azure-cosmos-db.0.2.3 (failed: [SKIP] Package not available)
- azure-cosmos-db.0.2.4 (failed: [SKIP] Package not available)
- azure-cosmos-db.0.3.0 (failed: [SKIP] Package not available)
- azure-cosmos-db.0.3.1 (failed: [SKIP] Package not available)
- azure-cosmos-db.0.3.2 (failed: [SKIP] Package not available)
- bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
- bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
- bigdecimal.v0.17.0 (passed)
- bignum.v0.17.0 (passed)
- binary_tree.1.0 (passed)
- binsec.0.10.0 (passed)
- binsec.0.10.1 (passed)
- binsec.0.8.2 (passed)
- binsec.0.9.0 (passed)
- binsec.0.9.1 (passed)
- binsec_codex.1.0-rc4 (passed)
- bitcoin-cohttp-async.3.0 (passed)
- bitcoin-cohttp-lwt.3.0 (passed)
- bitcoin-ocurl.3.0 (passed)
- bitcoin.3.0 (passed)
- bitpack_serializer.0.1.0 (passed)
- bitwuzla-cxx.0.4.0 (failed: 'abs' is not a member of 'std')
- bitwuzla-cxx.0.5.0 (passed)
- bitwuzla-cxx.0.6.0 (passed)
- bitwuzla-cxx.0.6.1 (passed)
- bitwuzla-cxx.0.7.0 (passed)
- bitwuzla-cxx.0.8.0 (passed)
- bitwuzla-cxx.0.8.2 (passed)
- bitwuzla-cxx.0.9.0 (passed)
- bitwuzla.1.0.0 (passed)
- bitwuzla.1.0.1 (passed)
- bitwuzla.1.0.2 (passed)
- bitwuzla.1.0.3 (passed)
- bitwuzla.1.0.4 (passed)
- bitwuzla.1.0.5 (passed)
- bls12-381-gen.0.4.1 (failed: [SKIP] Package not available)
- bls12-381-gen.0.4.2 (failed: [SKIP] Package not available)
- bls12-381-gen.0.4.3 (failed: [SKIP] Package not available)
- bls12-381-gen.0.4.4 (failed: [SKIP] Package not available)
- bls12-381-gen.0.5.0 (failed: [SKIP] Package not available)
- bls12-381-hash.0.0.1 (failed: [SKIP] Package not available)
- bls12-381-hash.0.0.2 (failed: [SKIP] Package not available)
- bls12-381-hash.0.0.3 (failed: [SKIP] Package not available)
- bls12-381-hash.0.0.4 (failed: [SKIP] Package not available)
- bls12-381-hash.0.0.5 (failed: [SKIP] Package not available)
- bls12-381-hash.1.0.0 (failed: [SKIP] Package not available)
- bls12-381-js-gen.0.4.1 (passed)
- bls12-381-js-gen.0.4.2 (passed)
- bls12-381-js-gen.0.4.3 (passed)
- bls12-381-js-gen.0.5.0 (passed)
- bls12-381-js.0.4.1 (passed)
- bls12-381-js.0.4.2 (passed)
- bls12-381-js.0.4.3 (passed)
- bls12-381-js.0.5.0 (passed)
- bls12-381-signature.0.0.1 (failed: [SKIP] Package not available)
- bls12-381-signature.1.0.0 (failed: [SKIP] Package not available)
- bls12-381-unix.1.1.0 (failed: [SKIP] Package not available)
- bls12-381-unix.1.1.1 (failed: [SKIP] Package not available)
- bls12-381-unix.2.0.0 (failed: [SKIP] Package not available)
- bls12-381-unix.2.0.1 (failed: [SKIP] Package not available)
- bls12-381.0.4.1 (failed: [SKIP] Package not available)
- bls12-381.0.4.2 (passed)
- bls12-381.0.4.3 (passed)
- bls12-381.0.5.0 (passed)
- bls12-381.1.0.0 (passed)
- bls12-381.1.0.1 (passed)
- bls12-381.1.0.2 (passed)
- bls12-381.1.1.0 (passed)
- bls12-381.1.1.1 (passed)
- bls12-381.2.0.0 (passed)
- bls12-381.2.0.1 (passed)
- bls12-381.3.0.0 (failed: [SKIP] Package not available)
- bls12-381.3.0.1 (failed: [SKIP] Package not available)
- bls12-381.3.0.2 (failed: [SKIP] Package not available)
- bls12-381.3.0.3 (failed: [SKIP] Package not available)
- bls12-381.4.0.0 (failed: [SKIP] Package not available)
- bls12-381.5.0.0 (failed: [SKIP] Package not available)
- bls12-381.6.0.0 (failed: [SKIP] Package not available)
- bls12-381.6.0.1 (passed)
- bls12-381.6.1.0 (passed)
- bn128.0.1.2 (passed)
- bn128.0.1.3 (passed)
- bogue-tutorials.0.2.0 (passed)
- builder.0.3.0 (passed)
- builder.0.3.2 (passed)
- builder.0.4.0 (passed)
- ca-certs-nss.3.101 (passed)
- ca-certs-nss.3.101-1 (passed)
- ca-certs-nss.3.103 (passed)
- ca-certs-nss.3.104 (passed)
- ca-certs-nss.3.107 (passed)
- ca-certs-nss.3.108 (passed)
- ca-certs-nss.3.108-1 (passed)
- ca-certs-nss.3.113.1 (passed)
- ca-certs-nss.3.114 (passed)
- ca-certs-nss.3.115 (passed)
- ca-certs-nss.3.117 (passed)
- ca-certs-nss.3.118 (passed)
- ca-certs-nss.3.121 (passed)
- ca-certs-nss.3.57 (passed)
- ca-certs-nss.3.59 (passed)
- ca-certs-nss.3.60 (passed)
- ca-certs-nss.3.63 (passed)
- ca-certs-nss.3.63.1 (passed)
- ca-certs-nss.3.64 (passed)
- ca-certs-nss.3.64.0.1 (passed)
- ca-certs-nss.3.66 (passed)
- ca-certs-nss.3.71 (passed)
- ca-certs-nss.3.71.0.1 (passed)
- ca-certs-nss.3.74 (passed)
- ca-certs-nss.3.77 (passed)
- ca-certs-nss.3.80 (passed)
- ca-certs-nss.3.83 (passed)
- ca-certs-nss.3.86 (passed)
- ca-certs-nss.3.89.1 (passed)
- ca-certs-nss.3.92 (passed)
- ca-certs-nss.3.95 (passed)
- ca-certs-nss.3.98 (passed)
- ca-certs.0.2.0 (passed)
- ca-certs.0.2.3 (passed)
- ca-certs.1.0.1 (passed)
- caisar.5.0 (passed)
- calli.0.1 (passed)
- calli.0.2 (passed)
- camlp5.8.04.00 (passed)
- canary.0.0.1 (passed)
- canary.0.0.4 (passed)
- capnp-rpc-net.1.2.2 (passed)
- capnp-rpc-net.1.2.3 (passed)
- capnp-rpc-net.1.2.4 (passed)
- capnp-rpc-net.2.1 (passed)
- capnp-rpc-net.2.1.1 (passed)
- capnp-rpc-unix.1.2.2 (passed)
- capnp-rpc-unix.1.2.3 (failed: [SKIP] Package not available)
- capnp-rpc-unix.1.2.4 (failed: Cancelled)
- capnp-rpc-unix.2.1 (failed: Cancelled)
- capnp-rpc-unix.2.1.1 (failed: Cancelled)
- caqti-async.2.1.1 (passed)
- caqti-async.2.1.2 (passed)
- caqti-async.2.2.4 (passed)
- caqti-driver-mariadb.2.1.1 (passed)
- caqti-driver-mariadb.2.2.4 (passed)
- caqti-driver-pgx.2.1.1 (passed)
- caqti-driver-pgx.2.2.4 (passed)
- caqti-driver-postgresql.2.1.1 (passed)
- caqti-driver-postgresql.2.1.2 (passed)
- caqti-driver-postgresql.2.2.4 (passed)
- caqti-driver-sqlite3.2.1.1 (passed)
- caqti-driver-sqlite3.2.2.4 (passed)
- caqti-dynload.2.0.1 (passed)
- caqti-eio.2.1.1 (passed)
- caqti-eio.2.1.2 (passed)
- caqti-eio.2.2.4 (passed)
- caqti-lwt.2.1.1 (passed)
- caqti-lwt.2.2.4 (passed)
- caqti-miou.2.2.4 (passed)
- caqti-mirage.2.0.1 (passed)
- caqti-mirage.2.1.1 (passed)
- caqti-mirage.2.1.2 (passed)
- caqti-mirage.2.2.4 (passed)
- caqti-tls.2.1.1 (passed)
- caqti-tls.2.1.2 (passed)
- caqti-type-calendar.2.0.1 (passed)
- caqti.2.1.1 (passed)
- caqti.2.1.2 (passed)
- caqti.2.2.4 (passed)
- carbon.0.1.0 (failed: [SKIP] Package not available)
- carbon.0.2.0 (passed)
- catala.0.2.0 (passed)
- certify.0.2 (passed)
- certify.0.3.0 (passed)
- certify.0.3.1 (passed)
- certify.0.3.2 (passed)
- certify.0.3.3 (passed)
- chess_com_api.1.0.0 (passed)
- chess_com_api.1.0.1 (passed)
- class_group_vdf.0.0.1 (failed: [SKIP] Package not available)
- class_group_vdf.0.0.2 (failed: ld returned 1 exit status)
- class_group_vdf.0.0.4 (failed: [SKIP] Package not available)
- class_group_vdf.0.0.5 (failed: [SKIP] Package not available)
- claudius.1.0.1 (passed)
- claudius.1.1.2 (passed)
- claudius.1.2.1 (passed)
- cohttp-bench.6.0.0 (passed)
- cohttp-bench.6.1.1 (passed)
- cohttp-lwt-unix.2.5.8 (passed)
- cohttp-lwt-unix.4.0.0 (passed)
- cohttp-lwt-unix.4.1.2 (passed)
- cohttp-lwt-unix.5.1.0 (passed)
- cohttp-lwt-unix.5.3.0 (passed)
- cohttp-lwt-unix.6.0.0 (passed)
- cohttp-lwt-unix.6.0.0~beta2 (passed)
- cohttp-lwt-unix.6.1.0 (passed)
- cohttp-lwt-unix.6.1.1 (passed)
- cohttp-lwt-unix.6.2.1 (passed)
- cohttp-mirage.6.0.0 (passed)
- cohttp-mirage.6.1.0 (passed)
- cohttp-mirage.6.1.1 (passed)
- cohttp-mirage.6.2.1 (passed)
- cohttp_async_websocket.v0.17.0 (passed)
- comby-semantic.1.7.0 (passed)
- compsort.0.9.2 (passed)
- conduit-lwt-unix.2.3.0 (passed)
- conduit-lwt-unix.4.0.2 (passed)
- conduit-lwt-unix.6.1.0 (passed)
- conduit-lwt-unix.6.2.3 (passed)
- conduit-lwt-unix.7.0.0 (passed)
- conduit-lwt-unix.8.0.0 (passed)
- conduit-mirage.6.2.2 (passed)
- conduit-mirage.6.2.3 (passed)
- conduit-mirage.7.1.0 (passed)
- conduit-mirage.8.0.0 (passed)
- conex-mirage-crypto.0.11.1 (passed)
- conex-mirage-crypto.1.0.0 (passed)
- conf-perl-ipc-system-simple.1 (passed)
- conf-perl-ipc-system-simple.2 (passed)
- conf-perl-ipc-system-simple.3 (passed)
- conf-perl-string-shellquote.1 (passed)
- conf-perl-string-shellquote.2 (passed)
- conf-perl-string-shellquote.3 (passed)
- content_security_policy.v0.17.0 (passed)
- coq-core.8.17.0 (passed)
- coq-core.8.17.1 (passed)
- coq-core.8.18.0 (passed)
- coq-core.8.19.0 (passed)
- coq-core.8.19.1 (passed)
- coq-core.8.19.2 (passed)
- coq-core.8.20.0 (passed)
- coq-core.8.20.1 (passed)
- coq-core.9.0.0 (passed)
- coq-core.9.0.1 (passed)
- coq-core.9.1.0 (passed)
- coq-core.9.1.1 (passed)
- coq-core.9.2.0 (passed)
- coq-lsp.0.2.0+8.17 (passed)
- coq-lsp.0.2.0+8.18 (passed)
- coq-lsp.0.2.0+8.19 (passed)
- coq-lsp.0.2.0+8.20 (passed)
- coq-lsp.0.2.2+8.17 (passed)
- coq-lsp.0.2.2+8.18 (passed)
- coq-lsp.0.2.2+8.19 (passed)
- coq-lsp.0.2.2+8.20 (passed)
- coq-lsp.0.2.3+8.17 (passed)
- coq-lsp.0.2.3+8.18 (passed)
- coq-lsp.0.2.3+8.19 (passed)
- coq-lsp.0.2.3+8.20 (passed)
- coq-lsp.0.2.3+9.0 (passed)
- coq-lsp.0.2.4+8.20 (passed)
- coq-lsp.0.2.4+9.0 (passed)
- coq-lsp.0.2.4+9.1 (passed)
- coq-lsp.0.2.5+8.20 (passed)
- coq-lsp.0.2.5+9.0 (passed)
- coq-lsp.0.2.5+9.1 (passed)
- coq-serapi.8.20.0+0.20.0 (passed)
- coq-stdlib.8.17.0 (passed)
- coq-stdlib.8.17.1 (passed)
- coq-stdlib.8.18.0 (passed)
- coq-stdlib.8.19.0 (passed)
- coq-stdlib.8.19.1 (passed)
- coq-stdlib.8.19.2 (passed)
- coq-stdlib.8.20.0 (passed)
- coq-stdlib.8.20.1 (passed)
- coq-stdlib.9.0.0 (passed)
- coq-waterproof.3.0.0+8.20 (failed: Can't find file waterproof.cmxs on loadpath.)
- coq-waterproof.3.1.0+9.0 (passed)
- coq-waterproof.3.1.0+9.1 (passed)
- coq.8.17.0 (passed)
- coq.8.17.1 (passed)
- coq.8.18.0 (passed)
- coq.8.19.0 (passed)
- coq.8.19.1 (passed)
- coq.8.19.2 (passed)
- coq.8.20.0 (passed)
- coq.8.20.1 (passed)
- coq.9.0.0 (passed)
- coq.9.0.1 (passed)
- coq.9.1.0 (passed)
- coq.9.1.1 (passed)
- coqide-server.8.17.0 (passed)
- coqide-server.8.17.1 (passed)
- coqide-server.8.18.0 (passed)
- coqide-server.8.19.0 (passed)
- coqide-server.8.19.1 (passed)
- coqide-server.8.19.2 (passed)
- coqide-server.8.20.0 (passed)
- coqide-server.8.20.1 (passed)
- coqide-server.9.0.0 (passed)
- coqide-server.9.0.1 (passed)
- coqide-server.9.1.0 (passed)
- coqide-server.9.1.1 (passed)
- coqide-server.9.2.0 (passed)
- coqide.8.17.0 (passed)
- coqide.8.17.1 (passed)
- coqide.8.18.0 (passed)
- coqide.8.19.0 (passed)
- coqide.8.19.1 (passed)
- coqide.8.19.2 (passed)
- coqide.8.20.0 (passed)
- coqide.8.20.1 (passed)
- cryptokit.1.16.1 (passed)
- cryptokit.1.20 (passed)
- cryptoverif.2.02 (passed)
- current-albatross-deployer.1.0.0 (failed: Failed to get sources of cohttp.5.3.1: curl failed)
- current-web-pipelines.0.1 (passed)
- current_examples.0.5 (passed)
- current_examples.0.6.2 (failed: [SKIP] Package not available)
- current_examples.0.7.1 (passed)
- current_examples.0.7.2 (passed)
- current_examples.0.7.3 (passed)
- current_examples.0.7.4 (passed)
- current_github.0.5 (passed)
- current_github.0.6.2 (passed)
- current_github.0.7.1 (passed)
- current_github.0.7.2 (passed)
- current_github.0.7.3 (passed)
- current_github.0.7.4 (passed)
- current_gitlab.0.6.2 (passed)
- current_gitlab.0.7.1 (passed)
- current_gitlab.0.7.2 (passed)
- current_gitlab.0.7.3 (passed)
- current_gitlab.0.7.4 (passed)
- current_ocluster.0.1 (passed)
- current_ocluster.0.2 (passed)
- current_ocluster.0.2.1 (passed)
- current_ocluster.0.3.0 (passed)
- current_rpc.0.7.4 (passed)
- current_slack.0.6.2 (passed)
- current_slack.0.7.1 (passed)
- current_slack.0.7.2 (passed)
- current_slack.0.7.3 (passed)
- current_slack.0.7.4 (passed)
- current_web.0.5 (passed)
- current_web.0.6.2 (passed)
- current_web.0.7.1 (passed)
- current_web.0.7.2 (passed)
- current_web.0.7.3 (passed)
- current_web.0.7.4 (passed)
- daft.0.0.4 (passed)
- data-encoding.0.2 (passed)
- data-encoding.0.3 (passed)
- data-encoding.0.4 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.5 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.5.1 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.5.2 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.5.3 (failed: exception File "test/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.6 (failed: exception File "test/pbt/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.7 (failed: exception File "test/pbt/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.0.7.1 (failed: exception File "test/pbt/test_sub_string.ml", line 35, characters 2-8: Assertion failed)
- data-encoding.1.0.0 (failed: The compilation of data-encoding.1.0.0 failed at "dune runtest -p data-encoding -j 71".)
- data-encoding.1.0.1 (failed: The compilation of data-encoding.1.0.1 failed at "dune runtest -p data-encoding -j 255".)
- dblp-api.0.1.1 (passed)
- dblp.0.1.1 (passed)
- decimal.0.0.3 (passed)
- decimal.0.1.1 (passed)
- decimal.0.2.1 (passed)
- decimal.0.3.0 (passed)
- decimal.0.3.1 (passed)
- decimal.0.4.0 (passed)
- decimal.1.0.0 (passed)
- decimal.1.0.1 (passed)
- decimal.1.0.2 (passed)
- diffast-api.0.1.1 (passed)
- diffast-api.0.2 (passed)
- diffast-api.0.3.5.1 (passed)
- diffast-api.0.3.6 (passed)
- diffast-cli.0.1.1 (passed)
- diffast-cli.0.2 (passed)
- diffast-cli.0.3.5.1 (passed)
- diffast-cli.0.3.6 (passed)
- diffast-core.0.1 (passed)
- diffast-core.0.1.1 (passed)
- diffast-core.0.2 (passed)
- diffast-core.0.3.5.1 (passed)
- diffast-core.0.3.6 (passed)
- diffast-git-cli.0.1.1 (passed)
- diffast-git-cli.0.2 (passed)
- diffast-git-cli.0.3.5.1 (passed)
- diffast-git-cli.0.3.6 (passed)
- diffast-git.0.1 (passed)
- diffast-git.0.1.1 (passed)
- diffast-git.0.2 (passed)
- diffast-git.0.3.5.1 (passed)
- diffast-git.0.3.6 (passed)
- diffast-langs-common.0.3.6 (passed)
- diffast-langs-cpp-parsing.0.3.6 (passed)
- diffast-langs-cpp-spec.0.1.1 (passed)
- diffast-langs-cpp-spec.0.2 (passed)
- diffast-langs-cpp-spec.0.3.5.1 (passed)
- diffast-langs-cpp-spec.0.3.6 (passed)
- diffast-langs-cpp.0.3.6 (passed)
- diffast-langs-fortran-parsing.0.3.6 (passed)
- diffast-langs-fortran-spec.0.1.1 (passed)
- diffast-langs-fortran-spec.0.2 (passed)
- diffast-langs-fortran-spec.0.3.5.1 (passed)
- diffast-langs-fortran-spec.0.3.6 (passed)
- diffast-langs-fortran.0.3.6 (passed)
- diffast-langs-java-parsing.0.3.6 (passed)
- diffast-langs-java-spec.0.1.1 (passed)
- diffast-langs-java-spec.0.2 (passed)
- diffast-langs-java-spec.0.3.5.1 (passed)
- diffast-langs-java-spec.0.3.6 (passed)
- diffast-langs-java.0.3.6 (passed)
- diffast-langs-python-parsing.0.3.6 (passed)
- diffast-langs-python-spec.0.1.1 (passed)
- diffast-langs-python-spec.0.2 (passed)
- diffast-langs-python-spec.0.3.5.1 (passed)
- diffast-langs-python-spec.0.3.6 (passed)
- diffast-langs-python.0.3.6 (passed)
- diffast-langs-verilog-parsing.0.3.6 (passed)
- diffast-langs-verilog-spec.0.1.1 (passed)
- diffast-langs-verilog-spec.0.2 (passed)
- diffast-langs-verilog-spec.0.3.5.1 (passed)
- diffast-langs-verilog-spec.0.3.6 (passed)
- diffast-langs-verilog.0.3.6 (passed)
- diffast-misc.0.1 (passed)
- diffast-misc.0.1.1 (passed)
- diffast-misc.0.3.5.1 (passed)
- diffast-misc.0.3.6 (passed)
- diffast.0.3.6 (passed)
- dkim-bin.0.10.0 (passed)
- dkim-bin.0.6.0 (passed)
- dkim-bin.0.8.0 (passed)
- dkim-bin.0.9.0 (passed)
- dkim-lwt-unix.0.10.0 (passed)
- dkim-lwt-unix.0.8.0 (passed)
- dkim-lwt-unix.0.9.0 (passed)
- dkim-mirage.0.10.0 (passed)
- dkim-mirage.0.6.0 (passed)
- dkim-mirage.0.8.0 (passed)
- dkim-mirage.0.9.0 (passed)
- dkim.0.10.0 (passed)
- dkim.0.6.0 (passed)
- dkim.0.8.0 (passed)
- dkim.0.9.0 (passed)
- dmarc.0.0.1 (passed)
- dns-certify.10.1.0 (passed)
- dns-certify.10.2.0 (passed)
- dns-certify.10.2.1 (passed)
- dns-certify.10.2.2 (passed)
- dns-certify.10.2.3 (passed)
- dns-certify.10.2.4 (passed)
- dns-certify.8.0.0 (passed)
- dns-certify.9.1.0 (passed)
- dns-cli.10.1.0 (passed)
- dns-cli.10.2.0 (passed)
- dns-cli.10.2.1 (passed)
- dns-cli.10.2.2 (passed)
- dns-cli.10.2.3 (passed)
- dns-cli.10.2.4 (passed)
- dns-cli.8.0.0 (passed)
- dns-cli.9.1.0 (passed)
- dns-client-lwt.10.1.0 (passed)
- dns-client-lwt.10.2.0 (passed)
- dns-client-lwt.10.2.1 (passed)
- dns-client-lwt.10.2.2 (passed)
- dns-client-lwt.10.2.3 (passed)
- dns-client-lwt.10.2.4 (passed)
- dns-client-lwt.7.0.3 (passed)
- dns-client-lwt.8.0.0 (passed)
- dns-client-lwt.9.1.0 (passed)
- dns-client-miou-unix.10.1.0 (passed)
- dns-client-miou-unix.10.2.0 (passed)
- dns-client-miou-unix.10.2.1 (passed)
- dns-client-miou-unix.10.2.2 (passed)
- dns-client-miou-unix.10.2.3 (passed)
- dns-client-miou-unix.10.2.4 (passed)
- dns-client-mirage.10.1.0 (passed)
- dns-client-mirage.10.2.0 (passed)
- dns-client-mirage.10.2.1 (passed)
- dns-client-mirage.10.2.2 (passed)
- dns-client-mirage.10.2.3 (passed)
- dns-client-mirage.10.2.4 (passed)
- dns-client-mirage.7.0.3 (passed)
- dns-client-mirage.8.0.0 (passed)
- dns-client-mirage.9.1.0 (passed)
- dns-client.6.3.0 (passed)
- dns-client.6.4.0 (passed)
- dns-resolver.10.1.0 (passed)
- dns-resolver.10.2.0 (passed)
- dns-resolver.10.2.1 (passed)
- dns-resolver.10.2.2 (passed)
- dns-resolver.10.2.3 (passed)
- dns-resolver.10.2.4 (passed)
- dns-resolver.8.0.0 (passed)
- dns-resolver.9.1.0 (passed)
- dns-stub.10.1.0 (passed)
- dns-stub.10.2.0 (passed)
- dns-stub.10.2.1 (passed)
- dns-stub.10.2.2 (passed)
- dns-stub.10.2.3 (passed)
- dns-stub.10.2.4 (passed)
- dns-stub.8.0.0 (passed)
- dns-stub.9.1.0 (passed)
- dnsrobot.0.1.0 (passed)
- dnssec.8.0.0 (passed)
- docker_hub.0.1.0 (passed)
- docker_hub.0.1.1 (passed)
- docker_hub.0.2.0 (passed)
- docteur-solo5.0.0.4 (passed)
- docteur-solo5.0.0.5 (passed)
- docteur-solo5.0.0.6 (passed)
- docteur-solo5.0.0.7 (passed)
- docteur-unix.0.0.5 (passed)
- docteur-unix.0.0.6 (passed)
- docteur-unix.0.0.7 (passed)
- docteur.0.0.4 (passed)
- docteur.0.0.5 (passed)
- docteur.0.0.6 (passed)
- docteur.0.0.7 (passed)
- doculib.1.3.1 (passed)
- doculib.1.3.2 (passed)
- doculib.1.3.3 (passed)
- doculib.1.3.4 (passed)
- doculib.1.3.5 (passed)
- doi2bib.0.6.2 (passed)
- doi2bib.0.7.6 (passed)
- doi2bib.0.7.7 (passed)
- doi2bib.0.7.9 (passed)
- doi2bib.0.9.0 (passed)
- doi2bib.0.9.1 (passed)
- doi2bib.0.9.2 (passed)
- dolmen_bin.0.10 (passed)
- dolmen_bin.0.8 (passed)
- dolmen_bin.0.8.1 (passed)
- dolmen_bin.0.9 (passed)
- dolmen_model.0.10 (passed)
- dolmen_model.0.8 (passed)
- dolmen_model.0.8.1 (passed)
- dolmen_model.0.9 (passed)
- dream-accept.0.1.0 (passed)
- dream-cli.0.2.0 (passed)
- dream-encoding.0.2.0 (passed)
- dream-encoding.0.3.0 (passed)
- dream-html.0.0.3 (passed)
- dream-html.0.1.0 (passed)
- dream-html.1.0.0 (passed)
- dream-html.1.1.0 (passed)
- dream-html.1.2.0 (passed)
- dream-html.2.0.0 (passed)
- dream-html.2.1.0 (passed)
- dream-html.3.0.0 (passed)
- dream-html.3.0.1 (passed)
- dream-html.3.1.0 (passed)
- dream-html.3.11.2 (passed)
- dream-html.3.2.0 (passed)
- dream-html.3.3.1 (passed)
- dream-html.3.4.1 (passed)
- dream-html.3.5.2 (passed)
- dream-html.3.6.0 (passed)
- dream-html.3.6.1 (passed)
- dream-html.3.6.2 (passed)
- dream-html.3.7.0 (passed)
- dream-html.3.8.0 (passed)
- dream-htmx.0.1.0 (passed)
- dream-inertia.0.0.1 (passed)
- dream-livereload.0.2.0 (passed)
- dream-serve.1.0.1 (passed)
- dream.1.0.0~alpha8 (failed: [SKIP] Package not available)
- dream_middleware_ext.0.1.0 (passed)
- dream_middleware_ext.0.1.1 (passed)
- dropbox.0.2 (passed)
- dropbox_lwt_unix.0.2 (passed)
- elina.1.0 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- elina.1.3.2 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
- eliom.12.0.0 (passed)
- eliom.12.0.1 (passed)
- email_message.v0.17.0 (passed)
- equinoxe-cohttp.0.2.0 (passed)
- equinoxe-hlc.0.2.0 (passed)
- erssical.1.1.0 (passed)
- exenum.0.86 (passed)
- farith.0.1 (passed)
- feat.20220407 (passed)
- ff-bench.0.6.2 (passed)
- ff-pbt.0.5.0 (passed)
- ff-pbt.0.6.0 (failed: [SKIP] Package not available)
- ff-pbt.0.6.1 (failed: [SKIP] Package not available)
- ff-pbt.0.6.2 (failed: [SKIP] Package not available)
- ff-sig.0.5.0 (passed)
- ff-sig.0.6.0 (failed: [SKIP] Package not available)
- ff-sig.0.6.1 (failed: [SKIP] Package not available)
- ff-sig.0.6.2 (failed: [SKIP] Package not available)
- ff.0.2.1 (passed)
- ff.0.2.2 (passed)
- ff.0.3.0 (passed)
- ff.0.4.0 (passed)
- ff.0.5.0 (passed)
- ff.0.6.0 (failed: [SKIP] Package not available)
- ff.0.6.1 (failed: [SKIP] Package not available)
- ff.0.6.2 (failed: [SKIP] Package not available)
- forester.4.0.0 (passed)
- forester.4.0.1 (passed)
- frama-c-lannotate.0.2.4 (passed)
- frama-c-lannotate.0.2.5 (passed)
- frama-c-luncov.0.2.4 (passed)
- frama-c-metacsl.0.10 (passed)
- frama-c-metacsl.0.10~beta (passed)
- frama-c-metacsl.0.9 (passed)
- frama-c-metacsl.0.9~beta (passed)
- frama-c.31.0 (failed: The compilation of frama-c.31.0 failed at "dune build -j71 @ptests_config".)
- frama-c.31.0~beta (failed: The compilation of frama-c.31.0~beta failed at "dune build -j255 @ptests_config".)
- frama-c.32.0 (passed)
- frama-c.32.0~beta (passed)
- frama-clang.0.0.19 (passed)
- frama_c_codex.1.0-rc4 (passed)
- gapi-ocaml.0.4.7 (passed)
- gemini.0.3.0 (passed)
- giflib.1.0.2 (passed)
- giflib.1.0.3 (passed)
- giflib.1.1.0 (passed)
- git-mirage.3.15.0 (passed)
- git-mirage.3.16.1 (passed)
- git-mirage.3.17.0 (passed)
- git-mirage.3.18.0 (passed)
- git-net.0.2.0 (passed)
- git-net.0.2.1 (passed)
- git-paf.3.15.0 (passed)
- git-paf.3.16.1 (passed)
- git-paf.3.17.0 (passed)
- git-paf.3.18.0 (passed)
- git-unix.3.15.0 (passed)
- git-unix.3.16.1 (passed)
- git-unix.3.17.0 (passed)
- git-unix.3.18.0 (passed)
- github-hooks-unix.0.5.0 (passed)
- github-hooks.0.5.0 (passed)
- github-unix.4.1.0 (passed)
- github-unix.4.2.0 (passed)
- github-unix.4.3.0 (passed)
- github-unix.4.3.1 (passed)
- github-unix.4.3.2 (passed)
- github-unix.4.4.0 (passed)
- github-unix.4.4.1 (passed)
- github-unix.4.5.0 (passed)
- github-unix.4.5.1 (passed)
- gitlab-unix.0.1.3 (passed)
- gitlab-unix.0.1.4 (passed)
- gitlab-unix.0.1.5 (passed)
- gitlab-unix.0.1.6 (passed)
- gitlab-unix.0.1.7 (passed)
- gitlab-unix.0.1.8 (passed)
- gitlab_pipeline_notifier.0.1 (passed)
- gluten-mirage.0.3.0 (passed)
- gluten-mirage.0.4.0 (passed)
- gluten-mirage.0.4.1 (passed)
- gluten-mirage.0.5.0 (passed)
- gluten-mirage.0.5.1 (passed)
- gluten-mirage.0.5.2 (passed)
- goblint-cil.2.0.0 (failed: The compilation of goblint-cil.2.0.0 failed at "dune build -p goblint-cil -j 255 @install @runtest".)
- goblint-cil.2.0.1 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.2 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.3 (failed: Cabs2cil had some errors)
- goblint-cil.2.0.4 (passed)
- goblint-cil.2.0.5 (passed)
- goblint-cil.2.0.6 (passed)
- goblint-cil.2.0.7 (passed)
- goblint-cil.2.0.8 (passed)
- goblint-cil.2.0.9 (passed)
- goblint.2.2.1 (passed)
- goblint.2.3.0 (passed)
- goblint.2.4.0 (passed)
- goblint.2.5.0 (passed)
- goblint.2.6.0 (passed)
- goblint.2.7.1 (passed)
- google-drive-ocamlfuse.0.7.32 (passed)
- google-drive-ocamlfuse.0.8.0 (passed)
- gradescope_submit.0.2 (passed)
- gradescope_submit.2.0.1 (passed)
- gradescope_submit.2.0.2 (passed)
- h2-mirage.0.10.0 (passed)
- h2-mirage.0.13.0 (passed)
- h2-mirage.0.9.0 (passed)
- hacl-star.0.7.2 (passed)
- happy-eyeballs-lwt.0.1.3 (passed)
- happy-eyeballs-lwt.0.6.0 (passed)
- happy-eyeballs-mirage.0.1.3 (passed)
- happy-eyeballs-mirage.0.6.0 (passed)
- hardcaml-lua.0.0.1 (passed)
- hardcaml.v0.17.1 (passed)
- hardcaml_axi.v0.17.0 (passed)
- hardcaml_c.v0.17.0 (passed)
- hardcaml_circuits.v0.17.0 (passed)
- hardcaml_fixed_point.v0.17.0 (passed)
- hardcaml_handshake.v0.17.0 (passed)
- hardcaml_verilator.v0.17.0 (passed)
- hardcaml_xilinx.v0.17.0 (passed)
- hardcaml_xilinx_components.v0.17.0 (passed)
- hardcaml_xilinx_reports.v0.17.0 (passed)
- herdtools7.7.57 (passed)
- http-lwt-client.0.0.8 (passed)
- http-lwt-client.0.2.1 (passed)
- http-lwt-client.0.2.6 (passed)
- http-lwt-client.0.3.2 (passed)
- http-mirage-client.0.0.10 (passed)
- http-mirage-client.0.0.6 (passed)
- http-mirage-client.0.0.8 (passed)
- httpcats.0.0.1 (passed)
- httpcats.0.1.0 (passed)
- httpcats.0.2.0 (passed)
- httpcats.0.2.1 (passed)
- httpun-mirage.0.1.0 (passed)
- httpun-mirage.0.2.0 (passed)
- httpun-ws-mirage.0.1.0 (passed)
- httpun-ws-mirage.0.2.0 (passed)
- hurl.0.0.1~beta1 (passed)
- imguiml.v1.90.6 (passed)
- incr_map.v0.17.0 (passed)
- influxdb-lwt.0.1.0 (passed)
- influxdb-lwt.0.2.0 (passed)
- influxdb-lwt.0.3.0 (passed)
- ip2location.8.0.0 (passed)
- ip2location.8.1.0 (passed)
- ip2location.8.1.1 (passed)
- ip2location.8.2.0 (passed)
- ip2locationio.1.0.1 (passed)
- ip2locationio.1.1.0 (passed)
- ip2whois.1.0.0 (passed)
- irc-client-tls.0.7.0 (passed)
- irc-client-tls.0.7.1 (passed)
- irmin-bench.3.10.0 (passed)
- irmin-bench.3.11.0 (passed)
- irmin-cli.3.10.0 (passed)
- irmin-cli.3.11.0 (passed)
- irmin-client.3.10.0 (passed)
- irmin-client.3.11.0 (passed)
- irmin-git.3.10.0 (passed)
- irmin-git.3.11.0 (passed)
- irmin-graphql.3.10.0 (passed)
- irmin-graphql.3.11.0 (passed)
- irmin-mirage-git.3.10.0 (passed)
- irmin-mirage-git.3.11.0 (passed)
- irmin-mirage-graphql.3.10.0 (passed)
- irmin-mirage-graphql.3.11.0 (passed)
- irmin-server.3.10.0 (passed)
- irmin-server.3.11.0 (passed)
- irmin-tezos.3.10.0 (passed)
- irmin-tezos.3.11.0 (passed)
- jasmin.2023.06.2 (passed)
- jasmin.2023.06.3 (passed)
- jasmin.2023.06.4 (passed)
- jasmin.2024.07.0 (passed)
- jasmin.2024.07.1 (passed)
- jasmin.2024.07.2 (passed)
- jasmin.2024.07.3 (passed)
- jasmin.2025.02.0 (passed)
- jasmin.2025.02.1 (passed)
- jasmin.2025.06.0 (passed)
- jasmin.2025.06.1 (passed)
- jasmin.2025.06.2 (passed)
- jasmin.2025.06.3 (passed)
- jasmin.2026.03.0 (passed)
- jose.0.10.0 (failed: [SKIP] Package not available)
- jose.0.8.2 (failed: [SKIP] Package not available)
- jose.0.9.0 (failed: [SKIP] Package not available)
- jupyter.3.0.1 (passed)
- jwt.0.1 (passed)
- jwto.0.1.4 (passed)
- jwto.0.2.0 (passed)
- jwto.0.2.1 (passed)
- jwto.0.3.0 (passed)
- key-parsers.1.0.0 (passed)
- key-parsers.1.0.1 (passed)
- key-parsers.1.1.0 (passed)
- key-parsers.1.2.1 (passed)
- key-parsers.1.3.0 (passed)
- kicadsch.0.4.0 (passed)
- kicadsch.0.5.0 (passed)
- kinetic-client.0.0.11 (passed)
- kmt.0.1 (passed)
- lab.0.1.4 (passed)
- lab.0.1.5 (passed)
- lab.0.1.7 (passed)
- lab.0.1.8 (passed)
- lambdapi.2.6.0 (passed)
- lambdapi.3.0.0 (failed: Failed to get sources of alt-ergo.2.6.2, alt-ergo-lib.2.6.2, alt-ergo-parsers.2.6.2 (https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.2/alt-ergo-2.6.2.tbz): curl failed)
- ledit.2.06 (passed)
- ledit.2.07 (passed)
- ledit.2.08 (passed)
- lem.2022-12-10 (passed)
- lem.2025-03-13 (passed)
- letsencrypt-app.0.5.1 (passed)
- letsencrypt-app.1.0.0 (passed)
- letsencrypt-app.1.1.0 (passed)
- letsencrypt-app.2.0.0 (passed)
- letsencrypt-dns.0.5.1 (passed)
- letsencrypt-dns.1.0.0 (passed)
- letsencrypt-dns.1.1.0 (passed)
- letsencrypt-dns.2.0.0 (passed)
- letsencrypt-mirage.0.5.1 (passed)
- letsencrypt-mirage.1.0.0 (passed)
- letsencrypt-mirage.1.1.0 (passed)
- letsencrypt-mirage.2.0.0 (passed)
- letsencrypt.0.5.1 (passed)
- letsencrypt.1.0.0 (passed)
- letsencrypt.1.1.0 (passed)
- letsencrypt.2.0.0 (passed)
- letters.0.1.0 (passed)
- letters.0.1.1 (passed)
- letters.0.2.0 (passed)
- letters.0.2.1 (passed)
- letters.0.3.0 (passed)
- letters.0.3.1 (passed)
- letters.0.3.2 (passed)
- letters.0.3.3 (passed)
- letters.0.4.0 (passed)
- libabsolute.0.1 (passed)
- libirmin.3.10.0 (passed)
- libirmin.3.11.0 (passed)
- libsail.0.18 (passed)
- libsail.0.19 (passed)
- libsail.0.19.1 (passed)
- libsail.0.20 (passed)
- libsail.0.20.1 (passed)
- lichess_api.1.0.0 (passed)
- lichess_api.1.0.1 (passed)
- linksem.0.8 (passed)
- logger-p5.0.4.2 (passed)
- logger-p5.0.4.3 (passed)
- logger-p5.0.4.5 (passed)
- lustre-v6.6.103.3 (passed)
- lustre-v6.6.107.1 (passed)
- lutin.2.71.10 (failed: polka.2.71.15 failed to build)
- lutin.2.71.15 (failed: polka.2.71.15 failed to build)
- markdown_monolith.0.1.1 (passed)
- mc2.0.1 (passed)
- mec.0.1.0 (failed: [SKIP] Package not available)
- mehari-eio-unix.0.1 (passed)
- mehari-eio.0.1 (passed)
- mehari-eio.0.2 (passed)
- mehari-eio.0.3 (passed)
- mehari-eio.0.4 (passed)
- mehari-lwt-unix.0.1 (passed)
- mehari-lwt-unix.0.2 (passed)
- mehari-lwt-unix.0.3 (passed)
- mehari-lwt-unix.0.4 (passed)
- mehari-mirage.0.1 (passed)
- mehari-mirage.0.2 (passed)
- mehari-mirage.0.3 (passed)
- mehari-mirage.0.4 (passed)
- mehari.0.1 (passed)
- mehari.0.2 (passed)
- mehari.0.3 (passed)
- mehari.0.4 (passed)
- mhttp-client.0.0.1 (passed)
- mhttp-server.0.0.1 (passed)
- mhttp.0.0.1 (passed)
- mimic-happy-eyeballs.0.0.5 (passed)
- mimic-happy-eyeballs.0.0.6 (passed)
- mimic-happy-eyeballs.0.0.7 (passed)
- mimic-happy-eyeballs.0.0.9 (passed)
- mirage-crypto-pk.0.10.7 (passed)
- mirage-crypto-pk.0.11.3 (passed)
- mlgmpidl.1.2.15 (passed)
- mlgmpidl.1.2.15-1 (passed)
- mlgmpidl.1.3.0 (passed)
- mnet-cli.0.0.1 (passed)
- mnet-dns.0.0.1 (passed)
- mnet-happy-eyeballs.0.0.1 (passed)
- mnet-tls.0.0.1 (passed)
- mnet.0.0.1 (passed)
- mopsa.1.2 (failed: "languages.universal.numeric.relational.elinainst" is an invalid)
- mqtt.0.2.2 (passed)
- mysql_protocol.3.0.1 (passed)
- mysql_protocol.3.0.2 (passed)
- mysql_protocol.3.0.3 (passed)
- nanoid.1.0.0 (passed)
- nocoiner.0.0.1 (passed)
- nocoiner.1.0.0 (passed)
- nocrypto.0.5.4-1 (passed)
- nocrypto.0.5.4-2 (passed)
- ocluster-worker.0.2.1 (passed)
- ocluster-worker.0.3.0 (passed)
- ocluster.0.1 (passed)
- ocluster.0.2.1 (passed)
- ocluster.0.3.0 (passed)
- ocsigen-start.8.0.0 (passed)
- ocsigen-toolkit.4.2.0 (passed)
- ocsigenserver.5.1.0 (passed)
- ocsigenserver.5.1.2 (passed)
- ocsigenserver.6.0.0 (passed)
- ocsigenserver.7.0.0 (passed)
- ocsipersist-dbm-config.2.0.0 (passed)
- ocsipersist-dbm.1.0 (passed)
- ocsipersist-dbm.1.0.1 (passed)
- ocsipersist-dbm.1.1.0 (passed)
- ocsipersist-pgsql-config.2.0.0 (passed)
- ocsipersist-pgsql.1.0 (passed)
- ocsipersist-pgsql.1.0.1 (passed)
- ocsipersist-pgsql.1.0.2 (passed)
- ocsipersist-pgsql.1.0.3 (passed)
- ocsipersist-pgsql.1.0.4 (passed)
- ocsipersist-pgsql.1.0.5 (passed)
- ocsipersist-pgsql.1.1.0 (passed)
- ocsipersist-sqlite-config.2.0.0 (passed)
- ocsipersist-sqlite.1.0 (passed)
- ocsipersist-sqlite.1.1.0 (passed)
- ocsipersist.1.0 (passed)
- ocsipersist.1.0.1 (passed)
- ocsipersist.1.1.0 (passed)
- oframl.0.0.1 (passed)
- oidc.0.2.0 (passed)
- ojs_base.0.8.0 (passed)
- ojs_base.0.9.0 (passed)
- ojs_base_all.0.8.0 (passed)
- ojs_base_all.0.9.0 (passed)
- ojs_base_ppx.0.8.0 (failed: The value lid_name has type Longident.t Location.loc)
- ojs_base_ppx.0.9.0 (passed)
- ojs_ed.0.8.0 (passed)
- ojs_ed.0.9.0 (passed)
- ojs_filetree.0.8.0 (passed)
- ojs_filetree.0.9.0 (passed)
- ojs_list.0.8.0 (passed)
- ojs_list.0.9.0 (passed)
- opam-publish.2.0.2 (passed)
- opam-publish.2.0.3 (passed)
- opam-publish.2.1.0 (passed)
- opam-publish.2.2.0 (passed)
- opam-publish.2.3.0 (passed)
- opam-publish.2.3.1 (passed)
- opam-publish.2.4.0 (passed)
- opam-publish.2.5.0 (passed)
- opam-publish.2.5.1 (passed)
- opam-publish.2.6.0 (passed)
- opam-publish.2.7.0 (passed)
- opam-publish.2.7.1 (passed)
- opam-publish.3.0.0 (passed)
- opencage.1.0.5 (passed)
- openstellina.0.0.3 (passed)
- opentelemetry-client-cohttp-eio.0.12 (passed)
- opentelemetry-client-cohttp-eio.0.13 (passed)
- opentelemetry-client-cohttp-lwt.0.10 (passed)
- opentelemetry-client-cohttp-lwt.0.11 (passed)
- opentelemetry-client-cohttp-lwt.0.11.1 (passed)
- opentelemetry-client-cohttp-lwt.0.11.2 (passed)
- opentelemetry-client-cohttp-lwt.0.12 (passed)
- opentelemetry-client-cohttp-lwt.0.13 (passed)
- opentelemetry-client-cohttp-lwt.0.4 (passed)
- opentelemetry-client-cohttp-lwt.0.5 (passed)
- opentelemetry-client-cohttp-lwt.0.6 (passed)
- opentelemetry-client-cohttp-lwt.0.7 (passed)
- opentelemetry-client-cohttp-lwt.0.8 (passed)
- opentelemetry-client-cohttp-lwt.0.9 (passed)
- opium.0.17.0 (passed)
- opium.0.17.1 (passed)
- opium.0.18.0 (passed)
- oraft.0.3.0 (passed)
- orgeat.0.0.1 (passed)
- ortac-runtime-qcheck-stm.0.6.1 (passed)
- ortac-runtime-qcheck-stm.0.7.0 (passed)
- ortac-runtime-qcheck-stm.0.7.1 (passed)
- ortac-runtime-qcheck-stm.0.7.2 (passed)
- ortac-runtime-qcheck-stm.0.8.0 (passed)
- ortac-runtime.0.6.1 (passed)
- ortac-runtime.0.7.0 (passed)
- ortac-runtime.0.7.1 (passed)
- ortac-runtime.0.7.2 (passed)
- ortac-runtime.0.8.0 (passed)
- orthologic-coq.0.9.1 (passed)
- osdp.1.1.1 (passed)
- osnap.0.3.0 (failed: [SKIP] Package not available)
- otp.0.2 (failed: Failed to get sources of otp.0.2: Bad checksum)
- otp.0.2.2 (passed)
- otr.0.3.10 (passed)
- owl-jupyter.1.0 (passed)
- p5scm.0.5.0 (passed)
- paf-cohttp.0.6.0 (passed)
- paf-cohttp.0.8.0 (passed)
- paf.0.1.0 (passed)
- paf.0.5.0 (passed)
- paf.0.6.0 (passed)
- paf.0.7.0 (passed)
- paf.0.8.0 (passed)
- pardi.2.0.4 (passed)
- pardi.3.1.1 (passed)
- pardi.3.2.0 (passed)
- pari-bindings.0.1 (failed: passing argument 4 of 'sd_string' from incompatible pointer type [-Wincompatible-pointer-types])
- pari.0.1 (failed: pari-bindings.0.1 failed to build)
- parsley.0.0.1 (passed)
- petrol.1.0.0 (passed)
- petrol.1.2.0 (passed)
- pgn_parser.1.0.0 (passed)
- pgn_parser.1.0.1 (passed)
- pgx_lwt_mirage.2.2 (passed)
- picasso.0.1 (passed)
- picasso.0.2.0 (passed)
- picasso.0.3.0 (passed)
- picasso.0.4.0 (passed)
- plotkicadsch.0.9.0 (passed)
- polka.2.71.10 (failed: implicit declaration of function 'failwith'; did you mean 'caml_failwith'? [-Wimplicit-function-declaration])
- polka.2.71.15 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
- polymarket.0.1.0 (passed)
- polymarket.0.2.0 (passed)
- polynomial.0.3.0 (failed: [SKIP] Package not available)
- polynomial.0.4.0 (failed: [SKIP] Package not available)
- ppx_decimal.1.0.0 (passed)
- ppx_decimal.1.0.1 (passed)
- ppx_decimal.1.0.2 (passed)
- ppx_dream_eml.1.0 (passed)
- ppx_hardcaml.v0.17.0 (passed)
- ppx_hardcaml.v0.17.1 (passed)
- prbnmcn-basic-structures.0.0.1 (passed)
- prbnmcn-dagger-stats.0.0.1 (passed)
- prbnmcn-dagger-stats.0.0.2 (passed)
- prbnmcn-dagger-stats.0.0.3 (passed)
- prbnmcn-dagger-stats.0.0.4 (passed)
- prbnmcn-dagger-stats.0.0.5 (passed)
- prbnmcn-dagger-stats.0.0.6 (passed)
- prbnmcn-dagger-test.0.0.1 (passed)
- prbnmcn-dagger-test.0.0.2 (passed)
- prbnmcn-dagger-test.0.0.3 (passed)
- prbnmcn-dagger-test.0.0.4 (passed)
- prbnmcn-dagger-test.0.0.5 (passed)
- prbnmcn-dagger-test.0.0.6 (passed)
- prbnmcn-linalg.0.0.1 (passed)
- prbnmcn-proptest.0.0.1 (passed)
- prbnmcn-stats.0.0.1 (failed: [SKIP] Package not available)
- prbnmcn-stats.0.0.2 (passed)
- prbnmcn-stats.0.0.3 (passed)
- prbnmcn-stats.0.0.4 (passed)
- prbnmcn-stats.0.0.5 (passed)
- prbnmcn-stats.0.0.6 (passed)
- prbnmcn-stats.0.0.7 (passed)
- prbnmcn-stats.0.0.8 (passed)
- primes.1.3.5 (passed)
- prometheus-app.0.6 (passed)
- prometheus-app.0.7 (passed)
- prometheus-app.1.0 (passed)
- prometheus-app.1.1 (passed)
- prometheus-app.1.2 (passed)
- prometheus-app.1.3 (passed)
- prometheus-liquidsoap.1 (passed)
- prometheus-liquidsoap.2 (passed)
- prooftree.0.14 (passed)
- proton.1.0.14 (passed)
- proton.1.0.15 (passed)
- proton.1.0.16 (passed)
- proton.1.0.17 (passed)
- publish.0.3.4+transition (passed)
- pxshot.0.1.2 (passed)
- qdrant.0.1.0 (passed)
- quests.0.1.3 (passed)
- quill.1.0.0~alpha1 (passed)
- quill.1.0.0~alpha2 (passed)
- randoml.0.1.5 (failed: failed to run custom build command for `ocaml-boxroot-sys v0.2.0`)
- raven.1.0.0~alpha1 (passed)
- raven.1.0.0~alpha2 (passed)
- rdbg.1.196.12 (passed)
- redis-async.v0.17.0 (passed)
- resp-mirage.0.10.0 (passed)
- resp-mirage.0.11.0 (passed)
- resp-unix.0.10.0 (passed)
- resp-unix.0.11.0 (passed)
- resto-cohttp-self-serving-client.0.10 (passed)
- resto-cohttp-self-serving-client.0.9 (passed)
- resto-cohttp-self-serving-client.1.0 (passed)
- resto-cohttp-self-serving-client.1.1 (passed)
- resto-cohttp-self-serving-client.1.2 (passed)
- resto-cohttp-server.0.10 (passed)
- resto-cohttp-server.0.4 (passed)
- resto-cohttp-server.0.5 (passed)
- resto-cohttp-server.0.9 (passed)
- resto-cohttp-server.1.0 (passed)
- resto-cohttp-server.1.1 (passed)
- resto-cohttp-server.1.2 (passed)
- rfc6287.1.0.3 (failed: [SKIP] Package not available)
- rfc6287.1.0.4 (passed)
- river.0.4 (passed)
- rocq-core.9.0.0 (passed)
- rocq-core.9.0.1 (passed)
- rocq-core.9.1.0 (passed)
- rocq-core.9.1.1 (passed)
- rocq-core.9.2.0 (passed)
- rocq-devtools.9.1.0 (passed)
- rocq-devtools.9.1.1 (passed)
- rocq-devtools.9.2.0 (passed)
- rocq-prover.9.0.0 (passed)
- rocq-prover.meta.1 (passed)
- rocq-runtime.9.0.0 (passed)
- rocq-runtime.9.0.1 (passed)
- rocq-runtime.9.1.0 (passed)
- rocq-runtime.9.1.1 (passed)
- rocq-runtime.9.2.0 (passed)
- rocq-stdlib.9.0.0 (passed)
- rocqide.9.0.0 (passed)
- rocqide.9.0.1 (passed)
- rocqide.9.1.0 (passed)
- rocqide.9.1.1 (passed)
- rocqide.9.2.0 (passed)
- safemoney.0.2.0 (passed)
- safemoney.0.3.0 (passed)
- sail.0.18 (passed)
- sail.0.19 (passed)
- sail.0.19.1 (passed)
- sail.0.20 (passed)
- sail.0.20.1 (passed)
- sail_c_backend.0.18 (passed)
- sail_c_backend.0.19 (passed)
- sail_c_backend.0.19.1 (passed)
- sail_c_backend.0.20 (passed)
- sail_c_backend.0.20.1 (passed)
- sail_coq_backend.0.18 (passed)
- sail_coq_backend.0.19 (passed)
- sail_coq_backend.0.19.1 (passed)
- sail_coq_backend.0.20 (passed)
- sail_coq_backend.0.20.1 (passed)
- sail_doc_backend.0.18 (passed)
- sail_doc_backend.0.19 (passed)
- sail_doc_backend.0.19.1 (passed)
- sail_doc_backend.0.20 (passed)
- sail_doc_backend.0.20.1 (passed)
- sail_latex_backend.0.18 (passed)
- sail_latex_backend.0.19 (passed)
- sail_latex_backend.0.19.1 (passed)
- sail_latex_backend.0.20 (passed)
- sail_latex_backend.0.20.1 (passed)
- sail_lean_backend.0.19 (passed)
- sail_lean_backend.0.19.1 (passed)
- sail_lean_backend.0.20 (passed)
- sail_lean_backend.0.20.1 (passed)
- sail_lem_backend.0.18 (passed)
- sail_lem_backend.0.19 (passed)
- sail_lem_backend.0.19.1 (passed)
- sail_lem_backend.0.20 (passed)
- sail_lem_backend.0.20.1 (passed)
- sail_ocaml_backend.0.18 (passed)
- sail_ocaml_backend.0.19 (passed)
- sail_ocaml_backend.0.19.1 (passed)
- sail_ocaml_backend.0.20 (passed)
- sail_ocaml_backend.0.20.1 (passed)
- sail_output.0.18 (passed)
- sail_output.0.19 (passed)
- sail_output.0.19.1 (passed)
- sail_output.0.20 (passed)
- sail_output.0.20.1 (passed)
- sail_smt_backend.0.18 (passed)
- sail_smt_backend.0.19 (passed)
- sail_smt_backend.0.19.1 (passed)
- sail_smt_backend.0.20 (passed)
- sail_smt_backend.0.20.1 (passed)
- sail_sv_backend.0.18 (passed)
- sail_sv_backend.0.19 (passed)
- sail_sv_backend.0.19.1 (passed)
- sail_sv_backend.0.20 (passed)
- sail_sv_backend.0.20.1 (passed)
- salsa20-core.0.1.0 (failed: The compilation of salsa20-core.0.1.0 failed at "ocaml pkg/pkg.ml build --pinned false".)
- salsa20.0.1.0 (failed: The compilation of salsa20.0.1.0 failed at "ocaml pkg/pkg.ml build --pinned false".)
- salsa20.1.0.0 (passed)
- salsa20.1.1.0 (passed)
- salsa20.1.2.0 (passed)
- savvy.0.2.0 (passed)
- savvy.0.4.0 (passed)
- scrypt-kdf.1.2.0 (passed)
- sendmail-lwt.0.10.0 (passed)
- sendmail-lwt.0.11.0 (passed)
- sendmail-lwt.0.12.0 (passed)
- sendmail-lwt.0.12.1 (passed)
- sendmail-lwt.0.2.0 (passed)
- sendmail-lwt.0.3.0 (passed)
- sendmail-lwt.0.4.0 (passed)
- sendmail-lwt.0.4.1 (passed)
- sendmail-lwt.0.4.2 (passed)
- sendmail-lwt.0.5.0 (passed)
- sendmail-lwt.0.6.0 (passed)
- sendmail-lwt.0.7.0 (passed)
- sendmail-lwt.0.8.0 (passed)
- sendmail-lwt.0.8.1 (passed)
- sendmail-lwt.0.9.0 (passed)
- sendmail-miou-unix.0.10.0 (passed)
- sendmail-miou-unix.0.11.0 (passed)
- sendmail-miou-unix.0.12.0 (passed)
- sendmail-miou-unix.0.12.1 (passed)
- sendmail-mirage.0.10.0 (passed)
- sendmail-mirage.0.11.0 (passed)
- sendmail-mirage.0.12.0 (passed)
- sendmail-mirage.0.12.1 (passed)
- sendmail.0.10.0 (passed)
- sendmail.0.11.0 (passed)
- sendmail.0.12.0 (passed)
- sendmail.0.12.1 (passed)
- sendmail.0.2.0 (passed)
- sendmail.0.3.0 (passed)
- sendmail.0.4.0 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.4.1 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.4.2 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.5.0 (failed: Failed to get sources of cmdliner.2.1.0: curl failed)
- sendmail.0.6.0 (passed)
- sendmail.0.7.0 (passed)
- sendmail.0.8.0 (passed)
- sendmail.0.8.1 (passed)
- sendmail.0.9.0 (passed)
- session-cohttp-async.0.4.1 (passed)
- session-cohttp-lwt.0.4.1 (passed)
- session-cohttp.0.4.1 (passed)
- session-cookie-async.0.1.8 (passed)
- session-cookie-lwt.0.1.8 (passed)
- session-cookie.0.1.8 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session-postgresql-async.0.4.1 (passed)
- session-postgresql-lwt.0.4.1 (passed)
- session-postgresql.0.4.1 (passed)
- session-redis-lwt.0.4.1 (passed)
- session-webmachine.0.4.1 (failed: Failed to get sources of cstruct.6.2.0, cstruct-lwt.6.2.0 (https://github.com/mirage/ocaml-cstruct/releases/download/v6.2.0/cstruct-6.2.0.tbz): curl failed)
- session.0.4.1 (passed)
- sexp_grammar.v0.17.0 (passed)
- shuttle_websocket.0.12.0 (passed)
- simple_httpd_caqti.1.0 (failed: Failed to get sources of simple_httpd.1.0, simple_httpd_caqti.1.0 (https://github.com/craff/simple_httpd/archive/refs/tags/1.0.tar.gz): Bad checksum)
- simple_httpd_caqti.1.0.1 (passed)
- slacko.0.14.1 (passed)
- slacko.0.15.0 (passed)
- slipshow.0.0.32 (passed)
- slipshow.0.0.33 (passed)
- slipshow.0.1.1 (passed)
- slipshow.0.10.0 (passed)
- slipshow.0.2.0 (passed)
- slipshow.0.3.0 (passed)
- slipshow.0.4.1 (passed)
- slipshow.0.5.0 (passed)
- slipshow.0.6.0 (passed)
- slipshow.0.7.0 (passed)
- slipshow.0.8.0 (passed)
- slipshow.0.8.1 (passed)
- slipshow.0.9.0 (passed)
- smtml.0.1.2 (failed: [SKIP] Package not available)
- smtml.0.10.0 (failed: [SKIP] Package not available)
- smtml.0.11.0 (failed: [SKIP] Package not available)
- smtml.0.12.0 (failed: [SKIP] Package not available)
- smtml.0.13.0 (failed: [SKIP] Package not available)
- smtml.0.14.0 (failed: [SKIP] Package not available)
- smtml.0.15.0 (failed: [SKIP] Package not available)
- smtml.0.16.0 (failed: [SKIP] Package not available)
- smtml.0.17.0 (failed: [SKIP] Package not available)
- smtml.0.18.0 (failed: [SKIP] Package not available)
- smtml.0.19.0 (failed: [SKIP] Package not available)
- smtml.0.20.0 (failed: [SKIP] Package not available)
- smtml.0.21.0 (failed: [SKIP] Package not available)
- smtml.0.22.0 (passed)
- smtml.0.23.0 (passed)
- smtml.0.24.0 (passed)
- smtml.0.7.0 (failed: [SKIP] Package not available)
- smtml.0.8.0 (failed: [SKIP] Package not available)
- smtml.0.9.0 (failed: [SKIP] Package not available)
- snf_mcp.0.2.0 (passed)
- snf_mcp.0.2.1 (passed)
- solidity-common.0.2.0 (passed)
- solidity-parser.0.2.0 (passed)
- spotify-web-api.0.2.1 (passed)
- ssh-agent.0.2.0 (passed)
- ssh-agent.0.3.0 (passed)
- ssh-agent.0.3.1 (passed)
- ssh-agent.0.4.0 (passed)
- ssh-agent.0.4.1 (passed)
- starred_ml.0.0.2 (passed)
- starred_ml.0.0.3 (passed)
- starred_ml.0.0.4 (passed)
- starred_ml.0.0.5 (passed)
- starred_ml.0.0.6 (passed)
- starred_ml.0.0.7 (passed)
- starred_ml.0.0.8 (passed)
- starred_ml.0.0.9 (passed)
- stog_all.1.1.0 (passed)
- stog_server.1.1.0 (passed)
- stog_server_multi.1.1.0 (passed)
- symex.0.1 (passed)
- symex.0.2 (passed)
- textrazor.0.1 (passed)
- textrazor.0.1.1 (passed)
- tezos-base58.1.0.0 (passed)
- tezos-context-hash.1.0.0 (passed)
- tidy_email_mailgun.0.0.1 (passed)
- tidy_email_sendgrid.0.0.1 (passed)
- tidy_email_smtp.0.0.1 (passed)
- tls-async.2.0.1 (passed)
- tls-async.2.0.2 (passed)
- tls-async.2.0.3 (passed)
- tls-async.2.0.4 (passed)
- tls-eio.0.16.0 (failed: [SKIP] Package not available)
- tls-eio.0.17.1 (failed: [SKIP] Package not available)
- tls-eio.0.17.5 (passed)
- tls-eio.2.0.1 (passed)
- tls-eio.2.0.2 (passed)
- tls-eio.2.0.3 (passed)
- tls-eio.2.0.4 (passed)
- tls-liquidsoap.1 (passed)
- tls-lwt.0.16.0 (passed)
- tls-lwt.0.17.3 (passed)
- tls-lwt.0.17.5 (passed)
- tls-lwt.1.0.4 (passed)
- tls-lwt.2.0.1 (passed)
- tls-lwt.2.0.2 (passed)
- tls-lwt.2.0.3 (passed)
- tls-lwt.2.0.4 (passed)
- tls-miou-unix.2.0.1 (passed)
- tls-miou-unix.2.0.2 (passed)
- tls-miou-unix.2.0.3 (passed)
- tls-miou-unix.2.0.4 (passed)
- tls-mirage.0.14.1 (passed)
- tls-mirage.0.15.4 (passed)
- tls-mirage.0.16.0 (passed)
- tls-mirage.0.17.3 (passed)
- tls-mirage.0.17.5 (passed)
- tls-mirage.1.0.4 (passed)
- tls-mirage.2.0.1 (passed)
- tls-mirage.2.0.2 (passed)
- tls-mirage.2.0.3 (passed)
- tls-mirage.2.0.4 (passed)
- tls.0.12.8 (passed)
- tls.0.14.1 (passed)
- tls.0.15.2 (passed)
- tls.0.15.4 (passed)
- tls.0.16.0 (passed)
- tls.0.17.0 (passed)
- tls.0.17.1 (passed)
- tls.0.17.3 (passed)
- tls.0.17.5 (passed)
- tls.1.0.4 (passed)
- tls.2.0.1 (passed)
- tls.2.0.2 (passed)
- tls.2.0.3 (passed)
- tls.2.0.4 (passed)
- twirp_cohttp_lwt_unix.0.1 (passed)
- twirp_cohttp_lwt_unix.0.2 (passed)
- twostep.1.0.1 (passed)
- ufind.0.2.0 (passed)
- ulid.0.1 (passed)
- universo.2.7 (passed)
- uspf-lwt.0.0.4 (passed)
- uspf-lwt.0.1.0 (passed)
- uspf-lwt.0.2.0 (passed)
- uspf-mirage.0.0.4 (passed)
- uspf-mirage.0.1.0 (passed)
- uspf-mirage.0.2.0 (passed)
- uspf-unix.0.0.3 (passed)
- uspf-unix.0.0.4 (passed)
- uspf.0.0.3 (passed)
- uspf.0.0.4 (passed)
- uspf.0.1.0 (passed)
- uspf.0.2.0 (passed)
- vif.0.0.1~beta1 (failed: The compilation of vif.0.0.1~beta1 failed at "dune runtest -p vif -j1".)
- vif.0.0.1~beta2 (failed: The compilation of vif.0.0.1~beta2 failed at "dune runtest -p vif -j1".)
- vifu.0.0.1~beta2 (passed)
- voqc.0.1 (passed)
- vscoq-language-server.2.1.7 (passed)
- vscoq-language-server.2.2.0 (passed)
- vscoq-language-server.2.2.1 (passed)
- vscoq-language-server.2.2.3 (passed)
- vscoq-language-server.2.2.4 (passed)
- vscoq-language-server.2.2.5 (passed)
- vscoq-language-server.2.2.6 (passed)
- vscoq-language-server.2.3.3 (passed)
- vscoq-language-server.2.3.4 (passed)
- vsrocq-language-server.2.3.0 (passed)
- vsrocq-language-server.2.3.1 (passed)
- vsrocq-language-server.2.3.3 (passed)
- vsrocq-language-server.2.3.4 (passed)
- webauthn.0.1.0 (passed)
- webauthn.0.2.0 (passed)
- websocket-lwt-unix.2.14 (passed)
- websocket-lwt-unix.2.15 (passed)
- websocket-lwt-unix.2.16 (passed)
- websocket-lwt-unix.2.17 (passed)
- why3-coq.1.8.2 (passed)
- why3-ide.1.8.2 (passed)
- why3.1.8.2 (passed)
- why3find.1.1.1 (failed: The compilation of why3find.1.1.1 failed at "dune build -p why3find -j 71 --promote-install-files=false @install @runtest".)
- why3find.1.2.0 (passed)
- why3find.1.3.0 (passed)
- ws-server.0.1 (passed)
- x509.0.11.2 (failed: [SKIP] Package not available)
- x509.0.12.0 (passed)
- x509.0.14.1 (passed)
- x509.0.15.0 (passed)
- x509.0.16.5 (passed)
- x509.0.6.3 (passed)
- x509.0.7.0 (passed)
- x509.0.7.1 (passed)
- x509.0.8.1 (passed)
- x509.0.9.0 (passed)
- x509.1.0.6 (passed)
- yocaml_git.1.0.0 (passed)
- yocaml_git.2.1.0 (failed: [SKIP] Package not available)
- yocaml_git.2.2.0 (failed: [SKIP] Package not available)
- yocaml_git.2.3.0 (passed)
- yocaml_git.2.4.0 (passed)
- yocaml_git.2.4.1 (passed)
- yocaml_git.2.5.0 (passed)
- yocaml_git.2.6.0 (passed)
- yocaml_git.2.7.0 (passed)
- yocaml_git.2.8.0 (passed)
- yocaml_git.3.0.0 (passed)
- yocaml_unix.1.0.0 (passed)
- yocaml_unix.2.1.0 (failed: [SKIP] Package not available)
- yocaml_unix.2.2.0 (failed: [SKIP] Package not available)
- yocaml_unix.2.3.0 (passed)
- yocaml_unix.2.4.0 (passed)
- yocaml_unix.2.4.1 (passed)
- yocaml_unix.2.5.0 (passed)
- yocaml_unix.2.6.0 (passed)
- yocaml_unix.2.7.0 (passed)
- yocaml_unix.2.8.0 (passed)
- yocaml_unix.3.0.0 (passed)
- yultracer.0.2.0 (passed)
- yurt.0.5 (passed)
- yurt.0.6 (passed)
- z3.4.13.0-1 (passed)
- z3.4.13.0-2 (passed)
- z3.4.13.0-3 (passed)
- z3.4.13.2 (passed)
- z3.4.13.3 (passed)
- z3.4.14.1 (passed)
- z3.4.15.1 (passed)
- z3.4.15.2 (passed)
- z3_tptp.4.10.1 (failed: [SKIP] Package not available)
- z3_tptp.4.10.2 (failed: [SKIP] Package not available)
- z3_tptp.4.11.0 (failed: [SKIP] Package not available)
- z3_tptp.4.11.2 (failed: [SKIP] Package not available)
- z3_tptp.4.8.14 (failed: [SKIP] Package not available)
- z3_tptp.4.8.17 (failed: [SKIP] Package not available)
- z3_tptp.4.9.1 (failed: [SKIP] Package not available)
- zarith.1.10 (passed)
- zarith.1.11 (passed)
- zarith.1.7-1 (passed)
- zeit.0.1.0 (passed)
- zenon_modulo.0.5.0 (passed)
- revdeps (passed)
- conf-perl-ipc-system-simple.4 (passed)
- 4.14