(lang dune 2.5)
(name num)
(version 1.3)
(library
 (name num)
 (kind normal)
 (synopsis "Arbitrary-precision rational arithmetic")
 (archives (byte num.cma) (native num.cmxa))
 (plugins (byte num.cma) (native num.cmxs))
 (native_archives num.a)
 (requires num.core)
 (modes byte native)
 (modules (unwrapped)))
(library
 (name num.core)
 (kind normal)
 (archives (byte core/num_core.cma) (native core/num_core.cmxa))
 (plugins (byte core/num_core.cma) (native core/num_core.cmxs))
 (foreign_objects core/bng.o core/bng_generic.o core/nat_stubs.o)
 (foreign_archives core/libnum_core_stubs.a)
 (native_archives core/num_core.a)
 (modes byte native)
 (modules
  (unwrapped
   ((name Arith_flags)
    (obj_name arith_flags)
    (visibility public)
    (impl)
    (intf))
   ((name Arith_status)
    (obj_name arith_status)
    (visibility public)
    (impl)
    (intf))
   ((name Big_int) (obj_name big_int) (visibility public) (impl) (intf))
   ((name Int_misc) (obj_name int_misc) (visibility public) (impl) (intf))
   ((name Nat) (obj_name nat) (visibility public) (impl) (intf))
   ((name Num) (obj_name num) (visibility public) (impl) (intf))
   ((name Ratio) (obj_name ratio) (visibility public) (impl) (intf)))))
(library
 (name num.top)
 (kind normal)
 (archives (byte top/num_top.cma) (native top/num_top.cmxa))
 (plugins (byte top/num_top.cma) (native top/num_top.cmxs))
 (native_archives top/num_top.a)
 (requires num compiler-libs)
 (modes byte)
 (modules
  (unwrapped
   ((name Num_top) (obj_name num_top) (visibility public) (impl) (intf))
   ((name Num_top_printers)
    (obj_name num_top_printers)
    (visibility public)
    (impl)
    (intf)))))
