menhirSdk.META 187 Bytes
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1 2 3 4
requires = ""
description = "Toolkit for postprocessing Menhir automata (.cmly files)"
archive(byte) = "menhirSdk.cmo"
archive(native) = "menhirSdk.cmx"
5
plugin(native) = "menhirSdk.cmxs"