Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

facile-1.1.4-5 RPM for aarch64

From OpenMandriva Cooker for aarch64 / main / release

Name: facile Distribution: OpenMandriva Lx
Version: 1.1.4 Vendor: OpenMandriva
Release: 5 Build date: Thu May 23 18:53:30 2024
Group: System/Libraries Build host: altra-6.openmandriva.org
Size: 2854283 Source RPM: facile-1.1.4-5.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://facile.recherche.enac.fr/
Summary: Constraint programming library
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

Provides

Requires

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, Wed Jun 12 23:13:32 2024