colis-anr / morbig

A static parser for POSIX Shell
Other
190 stars 8 forks source link

Not installable through OPAM on bytecode only switches #111

Closed Niols closed 1 year ago

Niols commented 4 years ago

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

treinen commented 3 years ago

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

Niols commented 1 year ago

https://github.com/colis-anr/morbig/pull/157 is evidence enough that the bug has, indeed, been fixed.