SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

facile rpm build for : Mandrake Other. For other distributions click facile.

Name : facile
Version : 1.1 Vendor : Mandriva
Release : 12 Date : 2012-10-24 00:28:41
Group : System/Libraries Source RPM : facile-1.1-12.src.rpm
Size : 2.02 MB
Packager : Crispin Boylan < crisb_mandriva_org>
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/devel/cooker/i586/media/main/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  facile-1.1-12-mdv2012.0.i586.rpm
     Search for other platforms
facile-1.1-12-mdv2012.0.sparc.rpm
facile-1.1-12-mdv2012.0.alpha.rpm
facile-1.1-12-mdv2012.0.ppc.rpm
facile-1.1-12-mdv2012.0.ia64.rpm
facile-1.1-12-mdv2012.0.s390.rpm

Provides :
facile

Requires :
ocaml
rpmlib(PayloadIsXz) <= 5.2-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