SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

facile rpm build for : PCLinuxOS. For other distributions click facile.

Name : facile
Version : 1.1 Vendor : (none)
Release : 3pclos2011 Date : 2011-08-04 08:59:26
Group : System/Libraries Source RPM : facile-1.1-3pclos2011.src.rpm
Size : 1.97 MB
Packager : (none)
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/rzm3/linux-pclinuxos/pclinuxos/apt/pclinuxos/64bit/RPMS.x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  facile-1.1-3pclos2011.x86_64.rpm
     

Provides :
facile
facile(x86-64)

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


Content of RPM :
/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
There is 1 files more in these RPM.

 
ICM