Location | Package Name | Status | Breaks |
---|---|---|---|
lang/coq | coq-8.15.2nb13 | indirect-failed | 2 |
devel/why3 | why3-1.5.1nb1 | indirect-failed | 1 |
x11/ocaml-lablgtk3 | ocaml-lablgtk3-3.1.3nb10 | indirect-failed | 2 |
math/ocaml-num | ocaml-num-1.4nb1 | failed | 6 |
devel/ocaml-ppx_deriving | ocaml-ppx_deriving-5.2.1 | indirect-failed | 3 |
devel/ocaml-ppx_import | ocaml-ppx_import-1.10.0 | indirect-failed | 1 |
devel/ocaml-yojson | ocaml-yojson-1.7.0nb2 | indirect-failed | 3 |
math/ocaml-zarith | ocaml-zarith-1.12nb1 | failed | 3 |