(lang dune 3.4)
(name facile)
(version 1.1.4)
(sections
 (lib /usr/lib64/ocaml/facile)
 (libexec /usr/lib64/ocaml/facile)
 (doc /usr/doc/facile))
(files
 (lib
  (META
   dune-package
   facile.a
   facile.cma
   facile.cmi
   facile.cmt
   facile.cmti
   facile.cmx
   facile.cmxa
   facile.ml
   facile.mli
   facile__.cmi
   facile__.cmt
   facile__.cmx
   facile__.ml
   facile__Fcl_alldiff.cmi
   facile__Fcl_alldiff.cmt
   facile__Fcl_alldiff.cmti
   facile__Fcl_alldiff.cmx
   facile__Fcl_arith.cmi
   facile__Fcl_arith.cmt
   facile__Fcl_arith.cmti
   facile__Fcl_arith.cmx
   facile__Fcl_boolean.cmi
   facile__Fcl_boolean.cmt
   facile__Fcl_boolean.cmti
   facile__Fcl_boolean.cmx
   facile__Fcl_conjunto.cmi
   facile__Fcl_conjunto.cmt
   facile__Fcl_conjunto.cmti
   facile__Fcl_conjunto.cmx
   facile__Fcl_cstr.cmi
   facile__Fcl_cstr.cmt
   facile__Fcl_cstr.cmti
   facile__Fcl_cstr.cmx
   facile__Fcl_data.cmi
   facile__Fcl_data.cmt
   facile__Fcl_data.cmti
   facile__Fcl_data.cmx
   facile__Fcl_debug.cmi
   facile__Fcl_debug.cmt
   facile__Fcl_debug.cmti
   facile__Fcl_debug.cmx
   facile__Fcl_domain.cmi
   facile__Fcl_domain.cmt
   facile__Fcl_domain.cmti
   facile__Fcl_domain.cmx
   facile__Fcl_expr.cmi
   facile__Fcl_expr.cmt
   facile__Fcl_expr.cmti
   facile__Fcl_expr.cmx
   facile__Fcl_fdArray.cmi
   facile__Fcl_fdArray.cmt
   facile__Fcl_fdArray.cmti
   facile__Fcl_fdArray.cmx
   facile__Fcl_float.cmi
   facile__Fcl_float.cmt
   facile__Fcl_float.cmti
   facile__Fcl_float.cmx
   facile__Fcl_gcc.cmi
   facile__Fcl_gcc.cmt
   facile__Fcl_gcc.cmti
   facile__Fcl_gcc.cmx
   facile__Fcl_genesis.cmi
   facile__Fcl_genesis.cmt
   facile__Fcl_genesis.cmti
   facile__Fcl_genesis.cmx
   facile__Fcl_goals.cmi
   facile__Fcl_goals.cmt
   facile__Fcl_goals.cmti
   facile__Fcl_goals.cmx
   facile__Fcl_interval.cmi
   facile__Fcl_interval.cmt
   facile__Fcl_interval.cmti
   facile__Fcl_interval.cmx
   facile__Fcl_invariant.cmi
   facile__Fcl_invariant.cmt
   facile__Fcl_invariant.cmti
   facile__Fcl_invariant.cmx
   facile__Fcl_linear.cmi
   facile__Fcl_linear.cmt
   facile__Fcl_linear.cmti
   facile__Fcl_linear.cmx
   facile__Fcl_misc.cmi
   facile__Fcl_misc.cmt
   facile__Fcl_misc.cmti
   facile__Fcl_misc.cmx
   facile__Fcl_nonlinear.cmi
   facile__Fcl_nonlinear.cmt
   facile__Fcl_nonlinear.cmti
   facile__Fcl_nonlinear.cmx
   facile__Fcl_opti.cmi
   facile__Fcl_opti.cmt
   facile__Fcl_opti.cmti
   facile__Fcl_opti.cmx
   facile__Fcl_reify.cmi
   facile__Fcl_reify.cmt
   facile__Fcl_reify.cmti
   facile__Fcl_reify.cmx
   facile__Fcl_setDomain.cmi
   facile__Fcl_setDomain.cmt
   facile__Fcl_setDomain.cmti
   facile__Fcl_setDomain.cmx
   facile__Fcl_sorting.cmi
   facile__Fcl_sorting.cmt
   facile__Fcl_sorting.cmti
   facile__Fcl_sorting.cmx
   facile__Fcl_stak.cmi
   facile__Fcl_stak.cmt
   facile__Fcl_stak.cmti
   facile__Fcl_stak.cmx
   facile__Fcl_var.cmi
   facile__Fcl_var.cmt
   facile__Fcl_var.cmti
   facile__Fcl_var.cmx
   fcl_alldiff.ml
   fcl_alldiff.mli
   fcl_arith.ml
   fcl_arith.mli
   fcl_boolean.ml
   fcl_boolean.mli
   fcl_conjunto.ml
   fcl_conjunto.mli
   fcl_cstr.ml
   fcl_cstr.mli
   fcl_data.ml
   fcl_data.mli
   fcl_debug.ml
   fcl_debug.mli
   fcl_domain.ml
   fcl_domain.mli
   fcl_expr.ml
   fcl_expr.mli
   fcl_fdArray.ml
   fcl_fdArray.mli
   fcl_float.ml
   fcl_float.mli
   fcl_gcc.ml
   fcl_gcc.mli
   fcl_genesis.ml
   fcl_genesis.mli
   fcl_goals.ml
   fcl_goals.mli
   fcl_interval.ml
   fcl_interval.mli
   fcl_invariant.ml
   fcl_invariant.mli
   fcl_linear.ml
   fcl_linear.mli
   fcl_misc.ml
   fcl_misc.mli
   fcl_nonlinear.ml
   fcl_nonlinear.mli
   fcl_opti.ml
   fcl_opti.mli
   fcl_reify.ml
   fcl_reify.mli
   fcl_setDomain.ml
   fcl_setDomain.mli
   fcl_sorting.ml
   fcl_sorting.mli
   fcl_stak.ml
   fcl_stak.mli
   fcl_var.ml
   fcl_var.mli
   opam))
 (libexec (facile.cmxs))
 (doc (CHANGES.md LICENSE.md README.md)))
(library
 (name facile)
 (kind normal)
 (archives (byte facile.cma) (native facile.cmxa))
 (plugins (byte facile.cma) (native facile.cmxs))
 (native_archives facile.a)
 (requires stdlib-shims)
 (main_module_name Facile)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Facile)
   (modules
    ((name Facile) (obj_name facile) (visibility public) (impl) (intf))
    ((name Fcl_alldiff)
     (obj_name facile__Fcl_alldiff)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_arith)
     (obj_name facile__Fcl_arith)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_boolean)
     (obj_name facile__Fcl_boolean)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_conjunto)
     (obj_name facile__Fcl_conjunto)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_cstr)
     (obj_name facile__Fcl_cstr)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_data)
     (obj_name facile__Fcl_data)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_debug)
     (obj_name facile__Fcl_debug)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_domain)
     (obj_name facile__Fcl_domain)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_expr)
     (obj_name facile__Fcl_expr)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_fdArray)
     (obj_name facile__Fcl_fdArray)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_float)
     (obj_name facile__Fcl_float)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_gcc)
     (obj_name facile__Fcl_gcc)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_genesis)
     (obj_name facile__Fcl_genesis)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_goals)
     (obj_name facile__Fcl_goals)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_interval)
     (obj_name facile__Fcl_interval)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_invariant)
     (obj_name facile__Fcl_invariant)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_linear)
     (obj_name facile__Fcl_linear)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_misc)
     (obj_name facile__Fcl_misc)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_nonlinear)
     (obj_name facile__Fcl_nonlinear)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_opti)
     (obj_name facile__Fcl_opti)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_reify)
     (obj_name facile__Fcl_reify)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_setDomain)
     (obj_name facile__Fcl_setDomain)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_sorting)
     (obj_name facile__Fcl_sorting)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_stak)
     (obj_name facile__Fcl_stak)
     (visibility public)
     (impl)
     (intf))
    ((name Fcl_var)
     (obj_name facile__Fcl_var)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Facile__)
    (obj_name facile__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
