description = "psmt2-frontend: A parser and a type-checker for a polymorphic extension of the SMT-LIB 2 standard"
version = "0.1"
archive(byte) = "psmt2Frontend.cma"
archive(native) = "psmt2Frontend.cmxa"
archive(native, plugin) = "psmt2Frontend.cmxs"
archive(byte, plugin) = "psmt2Frontend.cma"
requires = ""
exists_if = "psmt2Frontend.cma"
