| 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 |
| devel/ocaml-yojson | ocaml-yojson-1.7.0nb2 | indirect-failed | 3 |
| devel/ocaml-ppx_import | ocaml-ppx_import-1.10.0 | indirect-failed | 1 |
| devel/ocaml-ppx_deriving | ocaml-ppx_deriving-5.2.1 | indirect-failed | 3 |