description = "Why3 library"
version = "1.2.1"
archive(byte) = "why3.cma"
archive(native) = "why3.cmxa"
plugin(native) = "why3.cmxs"
requires = "str unix num dynlink menhirLib zip"

package "extract" (
  description = "Why3 support library for extracted code"
  version = "1.2.1"
  requires = "zarith"
  archive(byte) = "why3extract.cma"
  archive(native) = "why3extract.cmxa"
  plugin(native) = "why3extract.cmxs"
)
