Sophie

Sophie

distrib > Mageia > 7 > i586 > media > core-release > by-pkgid > 76ce0dfcc82fba60cf04a684470506b4 > files

facile-1.1.3-5.mga7.i586.rpm

Files

drwxr-xr-x 0 root root /usr/lib/ocaml/facile
-rw-r--r--834728 root root /usr/lib/ocaml/facile/facile.a
-rw-r--r--1217989 root root /usr/lib/ocaml/facile/facile.cma
-rw-r--r-- 68562 root root /usr/lib/ocaml/facile/facile.cmi
-rw-r--r-- 18143 root root /usr/lib/ocaml/facile/facile.cmxa
-rw-r--r-- 19251 root root /usr/lib/ocaml/facile/facile.mli
-rw-r--r-- 1423 root root /usr/lib/ocaml/facile/fcl_alldiff.mli
-rw-r--r-- 5978 root root /usr/lib/ocaml/facile/fcl_arith.mli
-rw-r--r-- 1126 root root /usr/lib/ocaml/facile/fcl_boolean.mli
-rw-r--r-- 3591 root root /usr/lib/ocaml/facile/fcl_conjunto.mli
-rw-r--r-- 8106 root root /usr/lib/ocaml/facile/fcl_cstr.mli
-rw-r--r-- 1731 root root /usr/lib/ocaml/facile/fcl_data.mli
-rw-r--r-- 1746 root root /usr/lib/ocaml/facile/fcl_debug.mli
-rw-r--r-- 7236 root root /usr/lib/ocaml/facile/fcl_domain.mli
-rw-r--r-- 2095 root root /usr/lib/ocaml/facile/fcl_expr.mli
-rw-r--r-- 2251 root root /usr/lib/ocaml/facile/fcl_fdArray.mli
-rw-r--r-- 1280 root root /usr/lib/ocaml/facile/fcl_float.mli
-rw-r--r-- 1738 root root /usr/lib/ocaml/facile/fcl_gcc.mli
-rw-r--r-- 1432 root root /usr/lib/ocaml/facile/fcl_genesis.mli
-rw-r--r-- 9062 root root /usr/lib/ocaml/facile/fcl_goals.mli
-rw-r--r-- 1312 root root /usr/lib/ocaml/facile/fcl_interval.mli
-rw-r--r-- 5189 root root /usr/lib/ocaml/facile/fcl_invariant.mli
-rw-r--r-- 1628 root root /usr/lib/ocaml/facile/fcl_linear.mli
-rw-r--r-- 3207 root root /usr/lib/ocaml/facile/fcl_misc.mli
-rw-r--r-- 1959 root root /usr/lib/ocaml/facile/fcl_nonlinear.mli
-rw-r--r-- 1962 root root /usr/lib/ocaml/facile/fcl_opti.mli
-rw-r--r-- 2644 root root /usr/lib/ocaml/facile/fcl_reify.mli
-rw-r--r-- 3405 root root /usr/lib/ocaml/facile/fcl_setDomain.mli
-rw-r--r-- 1758 root root /usr/lib/ocaml/facile/fcl_sorting.mli
-rw-r--r-- 3547 root root /usr/lib/ocaml/facile/fcl_stak.mli
-rw-r--r-- 9402 root root /usr/lib/ocaml/facile/fcl_var.mli
drwxr-xr-x 0 root root /usr/share/doc/facile
-rw-r--r-- 19235 root root /usr/share/doc/facile/LICENSE
-rw-r--r-- 1344 root root /usr/share/doc/facile/README