version = "2.3.3"
description = ""
requires = "alt-ergo-lib camlzip dynlink psmt2-frontend"
archive(byte) = "AltErgoParsers.cma"
archive(native) = "AltErgoParsers.cmxa"
plugin(byte) = "AltErgoParsers.cma"
plugin(native) = "AltErgoParsers.cmxs"