(lang dune 2.9)
(name zarith)
(version 1.12)
(library
 (name zarith)
 (kind normal)
 (archives (byte zarith.cma) (native zarith.cmxa))
 (plugins (byte zarith.cma) (native zarith.cmxs))
 (foreign_objects caml_z.o)
 (foreign_archives libzarith_stubs.a)
 (native_archives zarith.a)
 (modes byte native)
 (modules
  (unwrapped
   ((name Big_int_Z) (obj_name big_int_Z) (visibility public) (impl) (intf))
   ((name Q) (obj_name q) (visibility public) (impl) (intf))
   ((name Z) (obj_name z) (visibility public) (impl) (intf))
   ((name Zarith_version)
    (obj_name zarith_version)
    (visibility public)
    (impl)))))
(library
 (name zarith.top)
 (kind normal)
 (archives (byte top/zarith_top.cma) (native top/zarith_top.cmxa))
 (plugins (byte top/zarith_top.cma) (native top/zarith_top.cmxs))
 (native_archives top/zarith_top.a)
 (requires zarith compiler-libs.toplevel)
 (main_module_name Zarith_top)
 (modes byte native)
 (modules
  (singleton
   (name Zarith_top)
   (obj_name zarith_top)
   (visibility public)
   (impl))))
