| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/ocaml/pa_pipebang
|
| -rw-r--r-- | 314 | root |
root |
/usr/lib64/ocaml/pa_pipebang/META
|
| -rw-r--r-- | 11002 | root |
root |
/usr/lib64/ocaml/pa_pipebang/pa_pipebang.a
|
| -rw-r--r-- | 10077 | root |
root |
/usr/lib64/ocaml/pa_pipebang/pa_pipebang.cma
|
| -rw-r--r-- | 776 | root |
root |
/usr/lib64/ocaml/pa_pipebang/pa_pipebang.cmi
|
| -rw-r--r-- | 885 | root |
root |
/usr/lib64/ocaml/pa_pipebang/pa_pipebang.cmx
|
| -rw-r--r-- | 891 | root |
root |
/usr/lib64/ocaml/pa_pipebang/pa_pipebang.cmxa
|
| -rwxr-xr-x | 18040 | root |
root |
/usr/lib64/ocaml/pa_pipebang/pa_pipebang.cmxs
|
| -rw-r--r-- | 500 | root |
root |
/usr/lib64/ocaml/pa_pipebang/pa_pipebang.ml
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-pipebang
|
| -rw-r--r-- | 730 | root |
root |
/usr/share/doc/ocaml-pipebang/INRIA-DISCLAIMER.txt
|
| -rw-r--r-- | 11358 | root |
root |
/usr/share/doc/ocaml-pipebang/LICENSE.txt
|
| -rw-r--r-- | 752 | root |
root |
/usr/share/doc/ocaml-pipebang/THIRD-PARTY.txt
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-pipebang/sample
|
| -rw-r--r-- | 32 | root |
root |
/usr/share/doc/ocaml-pipebang/sample/test.ml
|
