morbig icon indicating copy to clipboard operation
morbig copied to clipboard

Published 20 hours ago • verified publisher icon colis-anr

Not installable through OPAM on bytecode only switches

Open Niols opened this issue 5 years ago • 1 comments

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

Niols avatar Jul 25 '19 14:07 Niols

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

treinen avatar Jan 22 '21 17:01 treinen

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

Niols avatar Apr 19 '23 17:04 Niols