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 : 8mdv2010.0 Date : 2009-09-25 17:21:03
Group : System/Libraries Source RPM : facile-1.1-8mdv2010.0.src.rpm
Size : 1.71 MB
Packager : Olivier Blin < oblin_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.0/i586/media/main/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  facile-1.1-8mdv2010.0.i586.rpm
     Search for other platforms
facile-1.1-8mdv2010.0.sparc.rpm
facile-1.1-8mdv2010.0.alpha.rpm
facile-1.1-8mdv2010.0.ppc.rpm
facile-1.1-8mdv2010.0.ia64.rpm
facile-1.1-8mdv2010.0.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.1


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