Sophie

Sophie

distrib > Mageia > 4 > x86_64 > by-pkgid > 8a63281ff4b22db24d9640668e58cbcb > files

ocaml-creal-devel-0.7-6.mga4.x86_64.rpm

Files

-rw-r--r-- 2448 root root /usr/lib64/ocaml/creal/cr.mli
-rw-r--r--249968 root root /usr/lib64/ocaml/creal/creal.a
-rw-r--r-- 1082 root root /usr/lib64/ocaml/creal/creal.cmxa
-rw-r--r-- 3343 root root /usr/lib64/ocaml/creal/creal.mli
-rw-r--r-- 32826 root root /usr/lib64/ocaml/creal/gmp.a
-rw-r--r-- 443 root root /usr/lib64/ocaml/creal/gmp.cmxa
-rw-r--r-- 9737 root root /usr/lib64/ocaml/creal/gmp.mli
-rw-r--r--101802 root root /usr/lib64/ocaml/creal/libcreal.a
-rw-r--r--101802 root root /usr/lib64/ocaml/creal/libmlgmp.a