version = "2.4.2"
description = ""
requires = "alt-ergo-lib camlzip dynlink psmt2-frontend stdlib-shims"
archive(byte) = "AltErgoParsers.cma"
archive(native) = "AltErgoParsers.cmxa"
plugin(byte) = "AltErgoParsers.cma"
plugin(native) = "AltErgoParsers.cmxs"
linkopts(javascript) = "+alt-ergo-parsers/missing_primitives.js"
jsoo_runtime = "missing_primitives.js"