Doc index - menhir Packages contains this documentation Package: menhir apt-get install menhir Manuals in package: menhir(1) Documentations in package: menhir Package: menhir-doc apt-get install menhir-doc Documentations in package: menhir menhir-doc Documentation root: https://dweb.link/ipfs/bafybeid4g2glcstniinng5qzbq674aqz3vccfbunca77naxhl7kjn65bja