(lang dune 3.16)
(name facile)
(version 1.1.4)
(sections
 (lib /var/tmp/portage/dev-ml/facile-1.1.4/image/usr/lib64/ocaml/facile)
 (libexec /var/tmp/portage/dev-ml/facile-1.1.4/image/usr/lib64/ocaml/facile)
 (doc /var/tmp/portage/dev-ml/facile-1.1.4/image/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)
 (main_module_name Facile)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name facile__)
     (visibility public)
     (kind alias)
     (source (path Facile__) (impl (path facile__.ml-gen))))
    (name Facile)
    (modules
     (module
      (obj_name facile)
      (visibility public)
      (source (path Facile) (intf (path facile.mli)) (impl (path facile.ml))))
     (module
      (obj_name facile__Fcl_alldiff)
      (visibility public)
      (source
       (path Fcl_alldiff)
       (intf (path fcl_alldiff.mli))
       (impl (path fcl_alldiff.ml))))
     (module
      (obj_name facile__Fcl_arith)
      (visibility public)
      (source
       (path Fcl_arith)
       (intf (path fcl_arith.mli))
       (impl (path fcl_arith.ml))))
     (module
      (obj_name facile__Fcl_boolean)
      (visibility public)
      (source
       (path Fcl_boolean)
       (intf (path fcl_boolean.mli))
       (impl (path fcl_boolean.ml))))
     (module
      (obj_name facile__Fcl_conjunto)
      (visibility public)
      (source
       (path Fcl_conjunto)
       (intf (path fcl_conjunto.mli))
       (impl (path fcl_conjunto.ml))))
     (module
      (obj_name facile__Fcl_cstr)
      (visibility public)
      (source
       (path Fcl_cstr)
       (intf (path fcl_cstr.mli))
       (impl (path fcl_cstr.ml))))
     (module
      (obj_name facile__Fcl_data)
      (visibility public)
      (source
       (path Fcl_data)
       (intf (path fcl_data.mli))
       (impl (path fcl_data.ml))))
     (module
      (obj_name facile__Fcl_debug)
      (visibility public)
      (source
       (path Fcl_debug)
       (intf (path fcl_debug.mli))
       (impl (path fcl_debug.ml))))
     (module
      (obj_name facile__Fcl_domain)
      (visibility public)
      (source
       (path Fcl_domain)
       (intf (path fcl_domain.mli))
       (impl (path fcl_domain.ml))))
     (module
      (obj_name facile__Fcl_expr)
      (visibility public)
      (source
       (path Fcl_expr)
       (intf (path fcl_expr.mli))
       (impl (path fcl_expr.ml))))
     (module
      (obj_name facile__Fcl_fdArray)
      (visibility public)
      (source
       (path Fcl_fdArray)
       (intf (path fcl_fdArray.mli))
       (impl (path fcl_fdArray.ml))))
     (module
      (obj_name facile__Fcl_float)
      (visibility public)
      (source
       (path Fcl_float)
       (intf (path fcl_float.mli))
       (impl (path fcl_float.ml))))
     (module
      (obj_name facile__Fcl_gcc)
      (visibility public)
      (source
       (path Fcl_gcc)
       (intf (path fcl_gcc.mli))
       (impl (path fcl_gcc.ml))))
     (module
      (obj_name facile__Fcl_genesis)
      (visibility public)
      (source
       (path Fcl_genesis)
       (intf (path fcl_genesis.mli))
       (impl (path fcl_genesis.ml))))
     (module
      (obj_name facile__Fcl_goals)
      (visibility public)
      (source
       (path Fcl_goals)
       (intf (path fcl_goals.mli))
       (impl (path fcl_goals.ml))))
     (module
      (obj_name facile__Fcl_interval)
      (visibility public)
      (source
       (path Fcl_interval)
       (intf (path fcl_interval.mli))
       (impl (path fcl_interval.ml))))
     (module
      (obj_name facile__Fcl_invariant)
      (visibility public)
      (source
       (path Fcl_invariant)
       (intf (path fcl_invariant.mli))
       (impl (path fcl_invariant.ml))))
     (module
      (obj_name facile__Fcl_linear)
      (visibility public)
      (source
       (path Fcl_linear)
       (intf (path fcl_linear.mli))
       (impl (path fcl_linear.ml))))
     (module
      (obj_name facile__Fcl_misc)
      (visibility public)
      (source
       (path Fcl_misc)
       (intf (path fcl_misc.mli))
       (impl (path fcl_misc.ml))))
     (module
      (obj_name facile__Fcl_nonlinear)
      (visibility public)
      (source
       (path Fcl_nonlinear)
       (intf (path fcl_nonlinear.mli))
       (impl (path fcl_nonlinear.ml))))
     (module
      (obj_name facile__Fcl_opti)
      (visibility public)
      (source
       (path Fcl_opti)
       (intf (path fcl_opti.mli))
       (impl (path fcl_opti.ml))))
     (module
      (obj_name facile__Fcl_reify)
      (visibility public)
      (source
       (path Fcl_reify)
       (intf (path fcl_reify.mli))
       (impl (path fcl_reify.ml))))
     (module
      (obj_name facile__Fcl_setDomain)
      (visibility public)
      (source
       (path Fcl_setDomain)
       (intf (path fcl_setDomain.mli))
       (impl (path fcl_setDomain.ml))))
     (module
      (obj_name facile__Fcl_sorting)
      (visibility public)
      (source
       (path Fcl_sorting)
       (intf (path fcl_sorting.mli))
       (impl (path fcl_sorting.ml))))
     (module
      (obj_name facile__Fcl_stak)
      (visibility public)
      (source
       (path Fcl_stak)
       (intf (path fcl_stak.mli))
       (impl (path fcl_stak.ml))))
     (module
      (obj_name facile__Fcl_var)
      (visibility public)
      (source
       (path Fcl_var)
       (intf (path fcl_var.mli))
       (impl (path fcl_var.ml))))))
   (wrapped true))))
