SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

facile rpm build for : Mandriva 2010. For other distributions click facile.

Name : facile
Version : 1.1 Vendor : Mandriva
Release : 9mdv2010.1 Date : 2010-01-25 23:19:07
Group : System/Libraries Source RPM : facile-1.1-9mdv2010.1.src.rpm
Size : 1.71 MB
Packager : Nicolas Lécureuil < nlecureuil_mandriva_com>
Summary : Constraint programming library
Description :
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

RPM found in directory: /vol/rzm6/linux-mandriva/official/2010.1/i586/media/main/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  facile-1.1-9mdv2010.1.i586.rpm
     Search for other platforms
facile-1.1-9mdv2010.1.sparc.rpm
facile-1.1-9mdv2010.1.alpha.rpm
facile-1.1-9mdv2010.1.ppc.rpm
facile-1.1-9mdv2010.1.ia64.rpm
facile-1.1-9mdv2010.1.s390.rpm

Provides :
facile
facile(x86-32)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
ocaml
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1
ocaml = 3.11.2


Content of RPM :
/usr/lib/ocaml/facile
/usr/lib/ocaml/facile/facile.a
/usr/lib/ocaml/facile/facile.cma
/usr/lib/ocaml/facile/facile.cmi
/usr/lib/ocaml/facile/facile.cmxa
/usr/lib/ocaml/facile/facile.mli
/usr/lib/ocaml/facile/fcl_alldiff.mli
/usr/lib/ocaml/facile/fcl_arith.mli
/usr/lib/ocaml/facile/fcl_boolean.mli
/usr/lib/ocaml/facile/fcl_conjunto.mli
/usr/lib/ocaml/facile/fcl_cstr.mli
/usr/lib/ocaml/facile/fcl_data.mli
/usr/lib/ocaml/facile/fcl_debug.mli
/usr/lib/ocaml/facile/fcl_domain.mli
/usr/lib/ocaml/facile/fcl_expr.mli
/usr/lib/ocaml/facile/fcl_fdArray.mli
/usr/lib/ocaml/facile/fcl_float.mli
/usr/lib/ocaml/facile/fcl_gcc.mli
/usr/lib/ocaml/facile/fcl_genesis.mli
/usr/lib/ocaml/facile/fcl_goals.mli
/usr/lib/ocaml/facile/fcl_interval.mli
/usr/lib/ocaml/facile/fcl_invariant.mli
/usr/lib/ocaml/facile/fcl_linear.mli
/usr/lib/ocaml/facile/fcl_misc.mli
/usr/lib/ocaml/facile/fcl_nonlinear.mli
/usr/lib/ocaml/facile/fcl_opti.mli
/usr/lib/ocaml/facile/fcl_reify.mli
/usr/lib/ocaml/facile/fcl_setDomain.mli
/usr/lib/ocaml/facile/fcl_sorting.mli
/usr/lib/ocaml/facile/fcl_stak.mli
There is 1 files more in these RPM.

 
ICM