@Piervit `lambda-term` is at 3.3.2 now: https://opam.ocaml.org/packages/lambda-term/lambda-term.3.3.2 Can it be supported? Opam page states < 3.3.0: https://opam.ocaml.org/packages/gufo
@Piervit
lambda-termis at 3.3.2 now: https://opam.ocaml.org/packages/lambda-term/lambda-term.3.3.2Can it be supported? Opam page states < 3.3.0: https://opam.ocaml.org/packages/gufo