hol-light

Reported FTBFS bugs

#1073882: FTBFS with OCaml 5.2.0 (Needs porting)

Cross build dependency satisfiability

state	architectures
missing ocaml-compiler-libs	any → any

See also

Cross builds

No build performed yet.