description = "Why3 library"
version = "1.8.2"
archive(byte) = "why3.cma"
archive(native) = "why3.cmxa"
plugin(byte) = "why3.cma"
plugin(native) = "why3.cmxs"
requires = "menhirLib re unix zarith dynlink zip mlmpfr zarith apron apron.polkaMPQ sexplib"
