-rw-r--r-- | 49 | root |
root |
/usr/lib64/ocaml/qcheck/QCheck_runner.ml
|
-rw-r--r-- | 808 | root |
root |
/usr/lib64/ocaml/qcheck/dune-package
|
-rw-r--r-- | 817 | root |
root |
/usr/lib64/ocaml/qcheck/opam
|
-rw-r--r-- | 6294 | root |
root |
/usr/lib64/ocaml/qcheck/qCheck_runner.cmi
|
-rw-r--r-- | 18982 | root |
root |
/usr/lib64/ocaml/qcheck/qCheck_runner.cmt
|
-rw-r--r-- | 1505 | root |
root |
/usr/lib64/ocaml/qcheck/qCheck_runner.cmx
|
-rw-r--r-- | 2814 | root |
root |
/usr/lib64/ocaml/qcheck/qcheck.a
|
-rw-r--r-- | 8784 | root |
root |
/usr/lib64/ocaml/qcheck/qcheck.cma
|
-rw-r--r-- | 1512 | root |
root |
/usr/lib64/ocaml/qcheck/qcheck.cmxa
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/ocaml-qcheck-devel
|
-rw-r--r-- | 11276 | root |
root |
/usr/share/doc/ocaml-qcheck-devel/CHANGELOG.md
|
-rw-r--r-- | 11796 | root |
root |
/usr/share/doc/ocaml-qcheck-devel/README.adoc
|
drwxr-xr-x | 0 | root |
root |
/usr/share/licenses/ocaml-qcheck-devel
|
-rw-r--r-- | 1337 | root |
root |
/usr/share/licenses/ocaml-qcheck-devel/LICENSE
|