Issues

• Not compatible with Ocaml 5.3

  ocamllibs/ocaml-in-python#8 · Filter by author Josef-Thorne-A opened on Jan 13, 2025

• Test suite fails

  ocamllibs/ocaml-in-python#7 · Filter by author ejgallego opened on Mar 15, 2024

• Linking error

  ocamllibs/ocaml-in-python#6 · Filter by author ejgallego opened on Mar 15, 2024

• Error in type reflection

  ocamllibs/ocaml-in-python#5 · Filter by author ejgallego opened on Mar 14, 2024

• Undefined external when importing Coq library

  ocamllibs/ocaml-in-python#4 · Filter by author ejgallego opened on Mar 14, 2024
  1

• Error when calling a external library

  ocamllibs/ocaml-in-python#3 · Filter by author bguil opened on Jul 20, 2022