| drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/pa_pipebang
|
| -rw-r--r-- | 314 | root |
root |
/usr/lib/ocaml/pa_pipebang/META
|
| -rw-r--r-- | 7552 | root |
root |
/usr/lib/ocaml/pa_pipebang/pa_pipebang.a
|
| -rw-r--r-- | 10336 | root |
root |
/usr/lib/ocaml/pa_pipebang/pa_pipebang.cma
|
| -rw-r--r-- | 879 | root |
root |
/usr/lib/ocaml/pa_pipebang/pa_pipebang.cmi
|
| -rw-r--r-- | 948 | root |
root |
/usr/lib/ocaml/pa_pipebang/pa_pipebang.cmx
|
| -rw-r--r-- | 954 | root |
root |
/usr/lib/ocaml/pa_pipebang/pa_pipebang.cmxa
|
| -rwxr-xr-x | 9576 | root |
root |
/usr/lib/ocaml/pa_pipebang/pa_pipebang.cmxs
|
| -rw-r--r-- | 500 | root |
root |
/usr/lib/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
|
