requires = "" description = "Toolkit for postprocessing Menhir automata (.cmly files)" archive(byte) = "menhirSdk.cmo" archive(native) = "menhirSdk.cmx" plugin(native) = "menhirSdk.cmxs"