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

facile-1.1.3-4 RPM for x86_64

From OpenMandriva Cooker for x86_64 / main / release

Name: facile Distribution: OpenMandriva Lx
Version: 1.1.3 Vendor: OpenMandriva
Release: 4 Build date: Mon Aug 30 05:15:15 2021
Group: System/Libraries Build host: server-tawern-3.openmandriva.org
Size: 2667579 Source RPM: facile-1.1.3-4.src.rpm
Packager: bero_massbuild <bero+massbuild@lindev.ch>
Url: http://www.recherche.enac.fr/log/facile/
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, Thu Oct 21 23:02:44 2021