Install this package:
emerge -a dev-ml/menhir
If the package is masked, you can unmask it using the autounmask tool or standard emerge options:
autounmask dev-ml/menhir
Or alternatively:
emerge --autounmask-write -a dev-ml/menhir
| Version | EAPI | Keywords | Slot |
|---|---|---|---|
| 20260112 | 8 | ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86 | 0/20260112 |
<pkgmetadata> <maintainer type="project"> <email>ml@gentoo.org</email> <name>ML</name> </maintainer> </pkgmetadata>
Manage flags for this package:
euse -i <flag> -p dev-ml/menhir |
euse -E <flag> -p dev-ml/menhir |
euse -D <flag> -p dev-ml/menhir
| Flag | Description | 20260112 |
|---|---|---|
| ocamlopt | ⚠️ | ⊕ |
| Type | File | Size | Versions |
|---|---|---|---|
| DIST | menhir-20260112.tar.bz2 | 1654919 bytes | 20260112 |
| Type | File | Size |
|---|