facile-1.1.4-1 RPM for x86_64

From OpenMandriva Cooker for x86_64 / main / release

FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

Provides

• facile
• facile(x86-64)
• ocaml(Facile)
• ocaml(Fcl_alldiff)
• ocaml(Fcl_arith)
• ocaml(Fcl_boolean)
• ocaml(Fcl_conjunto)
• ocaml(Fcl_cstr)
• ocaml(Fcl_data)
• ocaml(Fcl_debug)
• ocaml(Fcl_domain)
• ocaml(Fcl_expr)
• ocaml(Fcl_fdArray)
• ocaml(Fcl_float)
• ocaml(Fcl_gcc)
• ocaml(Fcl_genesis)
• ocaml(Fcl_goals)
• ocaml(Fcl_interval)
• ocaml(Fcl_invariant)
• ocaml(Fcl_linear)
• ocaml(Fcl_misc)
• ocaml(Fcl_nonlinear)
• ocaml(Fcl_opti)
• ocaml(Fcl_reify)
• ocaml(Fcl_setDomain)
• ocaml(Fcl_sorting)
• ocaml(Fcl_stak)
• ocaml(Fcl_var)
• ocamlx(Facile)
• ocamlx(Fcl_alldiff)
• ocamlx(Fcl_arith)
• ocamlx(Fcl_boolean)
• ocamlx(Fcl_conjunto)
• ocamlx(Fcl_cstr)
• ocamlx(Fcl_data)
• ocamlx(Fcl_debug)
• ocamlx(Fcl_domain)
• ocamlx(Fcl_expr)
• ocamlx(Fcl_fdArray)
• ocamlx(Fcl_float)
• ocamlx(Fcl_gcc)
• ocamlx(Fcl_genesis)
• ocamlx(Fcl_goals)
• ocamlx(Fcl_interval)
• ocamlx(Fcl_invariant)
• ocamlx(Fcl_linear)
• ocamlx(Fcl_misc)
• ocamlx(Fcl_nonlinear)
• ocamlx(Fcl_opti)
• ocamlx(Fcl_reify)
• ocamlx(Fcl_setDomain)
• ocamlx(Fcl_sorting)
• ocamlx(Fcl_stak)
• ocamlx(Fcl_var)

Requires

• ocaml
• ocaml-compiler-libs
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

GPLv2+

Files

/usr/lib64/ocaml/facile
/usr/lib64/ocaml/facile/facile.a
/usr/lib64/ocaml/facile/facile.cma
/usr/lib64/ocaml/facile/facile.cmi
/usr/lib64/ocaml/facile/facile.cmxa
/usr/lib64/ocaml/facile/facile.mli
/usr/lib64/ocaml/facile/fcl_alldiff.mli
/usr/lib64/ocaml/facile/fcl_arith.mli
/usr/lib64/ocaml/facile/fcl_boolean.mli
/usr/lib64/ocaml/facile/fcl_conjunto.mli
/usr/lib64/ocaml/facile/fcl_cstr.mli
/usr/lib64/ocaml/facile/fcl_data.mli
/usr/lib64/ocaml/facile/fcl_debug.mli
/usr/lib64/ocaml/facile/fcl_domain.mli
/usr/lib64/ocaml/facile/fcl_expr.mli
/usr/lib64/ocaml/facile/fcl_fdArray.mli
/usr/lib64/ocaml/facile/fcl_float.mli
/usr/lib64/ocaml/facile/fcl_gcc.mli
/usr/lib64/ocaml/facile/fcl_genesis.mli
/usr/lib64/ocaml/facile/fcl_goals.mli
/usr/lib64/ocaml/facile/fcl_interval.mli
/usr/lib64/ocaml/facile/fcl_invariant.mli
/usr/lib64/ocaml/facile/fcl_linear.mli
/usr/lib64/ocaml/facile/fcl_misc.mli
/usr/lib64/ocaml/facile/fcl_nonlinear.mli
/usr/lib64/ocaml/facile/fcl_opti.mli
/usr/lib64/ocaml/facile/fcl_reify.mli
/usr/lib64/ocaml/facile/fcl_setDomain.mli
/usr/lib64/ocaml/facile/fcl_sorting.mli
/usr/lib64/ocaml/facile/fcl_stak.mli
/usr/lib64/ocaml/facile/fcl_var.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 23 23:03:24 2024