-rwxr-xr-x | 6220516 | root |
root |
/usr/bin/opam
|
-rwxr-xr-x | 3033436 | root |
root |
/usr/bin/opam-installer
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/9c
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/ae
|
lrwxrwxrwx | 24 | root |
root |
/usr/lib/.build-id/9c/a9286928d0cdde4aeb1314f44c88c01b2a47bc
|
lrwxrwxrwx | 34 | root |
root |
/usr/lib/.build-id/ae/a3c8a1023ecc5ad64dd47fcd2b2ae18512de18
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/ocaml/opam-installer
|
-rw-r--r-- | 1 | root |
root |
/usr/lib/ocaml/opam-installer/META
|
-rw-r--r-- | 1019 | root |
root |
/usr/lib/ocaml/opam-installer/opam
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/opam
|
-rw-r--r-- | 449 | root |
root |
/usr/share/doc/opam/AUTHORS
|
-rw-r--r-- | 36144 | root |
root |
/usr/share/doc/opam/CHANGES
|
-rw-r--r-- | 518 | root |
root |
/usr/share/doc/opam/CONTRIBUTING.md
|
-rw-r--r-- | 9730 | root |
root |
/usr/share/doc/opam/README.md
|
drwxr-xr-x | 0 | root |
root |
/usr/share/licenses/opam
|
-rw-r--r-- | 26959 | root |
root |
/usr/share/licenses/opam/LICENSE
|
-rw-r--r-- | 4916 | root |
root |
/usr/share/man/man1/opam-admin-cache.1.xz
|
-rw-r--r-- | 5848 | root |
root |
/usr/share/man/man1/opam-admin-filter.1.xz
|
-rw-r--r-- | 4996 | root |
root |
/usr/share/man/man1/opam-admin-index.1.xz
|
-rw-r--r-- | 4888 | root |
root |
/usr/share/man/man1/opam-admin-lint.1.xz
|
-rw-r--r-- | 6312 | root |
root |
/usr/share/man/man1/opam-admin-list.1.xz
|
-rw-r--r-- | 4972 | root |
root |
/usr/share/man/man1/opam-admin-upgrade.1.xz
|
-rw-r--r-- | 5028 | root |
root |
/usr/share/man/man1/opam-admin.1.xz
|
-rw-r--r-- | 5032 | root |
root |
/usr/share/man/man1/opam-clean.1.xz
|
-rw-r--r-- | 5888 | root |
root |
/usr/share/man/man1/opam-config.1.xz
|
-rw-r--r-- | 5188 | root |
root |
/usr/share/man/man1/opam-env.1.xz
|
-rw-r--r-- | 5056 | root |
root |
/usr/share/man/man1/opam-exec.1.xz
|
-rw-r--r-- | 592 | root |
root |
/usr/share/man/man1/opam-help.1.xz
|
-rw-r--r-- | 5328 | root |
root |
/usr/share/man/man1/opam-info.1.xz
|
-rw-r--r-- | 7144 | root |
root |
/usr/share/man/man1/opam-init.1.xz
|
-rw-r--r-- | 6632 | root |
root |
/usr/share/man/man1/opam-install.1.xz
|
-rw-r--r-- | 980 | root |
root |
/usr/share/man/man1/opam-installer.1.xz
|
-rw-r--r-- | 5072 | root |
root |
/usr/share/man/man1/opam-lint.1.xz
|
-rw-r--r-- | 6912 | root |
root |
/usr/share/man/man1/opam-list.1.xz
|
-rw-r--r-- | 7152 | root |
root |
/usr/share/man/man1/opam-pin.1.xz
|
-rw-r--r-- | 6336 | root |
root |
/usr/share/man/man1/opam-reinstall.1.xz
|
-rw-r--r-- | 5116 | root |
root |
/usr/share/man/man1/opam-remote.1.xz
|
-rw-r--r-- | 6400 | root |
root |
/usr/share/man/man1/opam-remove.1.xz
|
-rw-r--r-- | 5944 | root |
root |
/usr/share/man/man1/opam-repository.1.xz
|
-rw-r--r-- | 6624 | root |
root |
/usr/share/man/man1/opam-search.1.xz
|
-rw-r--r-- | 5472 | root |
root |
/usr/share/man/man1/opam-show.1.xz
|
-rw-r--r-- | 4872 | root |
root |
/usr/share/man/man1/opam-source.1.xz
|
-rw-r--r-- | 7284 | root |
root |
/usr/share/man/man1/opam-switch.1.xz
|
-rw-r--r-- | 6300 | root |
root |
/usr/share/man/man1/opam-uninstall.1.xz
|
-rw-r--r-- | 6260 | root |
root |
/usr/share/man/man1/opam-unpin.1.xz
|
-rw-r--r-- | 5100 | root |
root |
/usr/share/man/man1/opam-update.1.xz
|
-rw-r--r-- | 6264 | root |
root |
/usr/share/man/man1/opam-upgrade.1.xz
|
-rw-r--r-- | 4796 | root |
root |
/usr/share/man/man1/opam-var.1.xz
|
-rw-r--r-- | 5336 | root |
root |
/usr/share/man/man1/opam.1.xz
|