Closed EricBishton closed 1 month ago
It looks like the dev team has moved on, so you can't build from this distribution without updating via opam (which doesn't work; issue #1).
This should no longer be an issue, see #1.
It looks like the dev team has moved on, so you can't build from this distribution without updating via opam (which doesn't work; issue #1).