version = "1.14"
description = ""
requires = ""
archive(byte) = "zarith.cma"
archive(native) = "zarith.cmxa"
plugin(byte) = "zarith.cma"
plugin(native) = "zarith.cmxs"
package "top" (
  directory = "top"
  version = "1.14"
  description = ""
  requires = "compiler-libs.toplevel zarith"
  archive(byte) = "zarith_top.cma"
  archive(native) = "zarith_top.cmxa"
  plugin(byte) = "zarith_top.cma"
  plugin(native) = "zarith_top.cmxs"
)