Closed jjd27 closed 4 years ago
/cc @diml the maintainer of the lambda-term
package.
I got the same error; I ended up doing opam install lambda-term.1.11
, then opam install utop
, and that seem to have worked.
Same issue there. Solved by what yuyube23 suggested.
This has been fixed in 1.13 release.
This issue is stale because it has been open 90 days with no activity. Remove the stale label, or comment, or this will be closed in 15 days.