-rwxr-xr-x | 25670649 | root |
root |
/usr/bin/utop
|
-rwxr-xr-x | 25675868 | root |
root |
/usr/bin/utop-full
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/ocaml/utop
|
-rw-r--r-- | 197 | root |
root |
/usr/lib/ocaml/utop/META
|
-rw-r--r-- | 959 | root |
root |
/usr/lib/ocaml/utop/dune-package
|
-rw-r--r-- | 1010 | root |
root |
/usr/lib/ocaml/utop/opam
|
-rw-r--r-- | 692488 | root |
root |
/usr/lib/ocaml/utop/uTop.cma
|
-rw-r--r-- | 11990 | root |
root |
/usr/lib/ocaml/utop/uTop.cmi
|
-rw-r--r-- | 26375 | root |
root |
/usr/lib/ocaml/utop/uTop.ml
|
-rw-r--r-- | 536 | root |
root |
/usr/lib/ocaml/utop/uTop_complete.cmi
|
-rw-r--r-- | 41122 | root |
root |
/usr/lib/ocaml/utop/uTop_complete.ml
|
-rw-r--r-- | 1359 | root |
root |
/usr/lib/ocaml/utop/uTop_history.cmi
|
-rw-r--r-- | 1701 | root |
root |
/usr/lib/ocaml/utop/uTop_history.ml
|
-rw-r--r-- | 412 | root |
root |
/usr/lib/ocaml/utop/uTop_lexer.cmi
|
-rw-r--r-- | 58462 | root |
root |
/usr/lib/ocaml/utop/uTop_lexer.ml
|
-rw-r--r-- | 893 | root |
root |
/usr/lib/ocaml/utop/uTop_main.cmi
|
-rw-r--r-- | 56857 | root |
root |
/usr/lib/ocaml/utop/uTop_main.ml
|
-rw-r--r-- | 3831 | root |
root |
/usr/lib/ocaml/utop/uTop_private.cmi
|
-rw-r--r-- | 1052 | root |
root |
/usr/lib/ocaml/utop/uTop_private.ml
|
-rw-r--r-- | 2091 | root |
root |
/usr/lib/ocaml/utop/uTop_styles.cmi
|
-rw-r--r-- | 7291 | root |
root |
/usr/lib/ocaml/utop/uTop_styles.ml
|
-rw-r--r-- | 1826 | root |
root |
/usr/lib/ocaml/utop/uTop_token.cmi
|
-rw-r--r-- | 1486 | root |
root |
/usr/lib/ocaml/utop/uTop_token.ml
|
drwxr-xr-x | 0 | root |
root |
/usr/share/utop
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/utop
|
-rw-r--r-- | 9864 | root |
root |
/usr/share/doc/utop/CHANGES.md
|
-rw-r--r-- | 10118 | root |
root |
/usr/share/doc/utop/README.md
|
-rw-r--r-- | 656 | root |
root |
/usr/share/doc/utop/utoprc-dark
|
-rw-r--r-- | 657 | root |
root |
/usr/share/doc/utop/utoprc-light
|
-rw-r--r-- | 44668 | root |
root |
/usr/share/emacs/site-lisp/utop.el
|
drwxr-xr-x | 0 | root |
root |
/usr/share/licenses/utop
|
-rw-r--r-- | 1518 | root |
root |
/usr/share/licenses/utop/LICENSE
|
-rw-r--r-- | 432 | root |
root |
/usr/share/man/man1/utop-full.1.xz
|
-rw-r--r-- | 1320 | root |
root |
/usr/share/man/man1/utop.1.xz
|
-rw-r--r-- | 1388 | root |
root |
/usr/share/man/man5/utoprc.5.xz
|
-rw-r--r-- | 656 | root |
root |
/usr/share/utop/utoprc-dark
|
-rw-r--r-- | 657 | root |
root |
/usr/share/utop/utoprc-light
|