menhirLib.META 175 Bytes
Newer Older
1 2 3 4
requires = ""
description = "Runtime support for code generated by Menhir"
archive(byte) = "menhirLib.cmo"
archive(native) = "menhirLib.cmx"
5
plugin(native) = "menhirLib.cmxs"