colis-anr/morbig

Not installable through OPAM on bytecode only switches

Closed this issue · 2 comments

Niols commented

But this is because of Menhir. See https://gitlab.inria.fr/fpottier/menhir/issues/19 for more information.

Hello, the issue against menhir has been fixed. Does this mean that this bug can be closed ?

Niols commented

#157 is evidence enough that the bug has, indeed, been fixed.