-rwxr-xr-x | 9439480 | root |
root |
/usr/bin/opam
|
-rwxr-xr-x | 4476624 | 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/98
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/cb
|
lrwxrwxrwx | 34 | root |
root |
/usr/lib/.build-id/98/948648fb9dd2bcf862e411fc42333f634a24c5
|
lrwxrwxrwx | 24 | root |
root |
/usr/lib/.build-id/cb/3edaa7140fae588b24ae88f18e63a998ec9cad
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/opam
|
-rw-r--r-- | 449 | root |
root |
/usr/share/doc/opam/AUTHORS
|
-rw-r--r-- | 81611 | root |
root |
/usr/share/doc/opam/CHANGES
|
-rw-r--r-- | 518 | root |
root |
/usr/share/doc/opam/CONTRIBUTING.md
|
-rw-r--r-- | 10198 | 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-- | 7068 | root |
root |
/usr/share/man/man1/opam-admin-add-constraint.1.xz
|
-rw-r--r-- | 6964 | root |
root |
/usr/share/man/man1/opam-admin-add-hashes.1.xz
|
-rw-r--r-- | 7016 | root |
root |
/usr/share/man/man1/opam-admin-cache.1.xz
|
-rw-r--r-- | 7012 | root |
root |
/usr/share/man/man1/opam-admin-check.1.xz
|
-rw-r--r-- | 7960 | root |
root |
/usr/share/man/man1/opam-admin-filter.1.xz
|
-rw-r--r-- | 612 | root |
root |
/usr/share/man/man1/opam-admin-help.1.xz
|
-rw-r--r-- | 7088 | root |
root |
/usr/share/man/man1/opam-admin-index.1.xz
|
-rw-r--r-- | 6980 | root |
root |
/usr/share/man/man1/opam-admin-lint.1.xz
|
-rw-r--r-- | 8408 | root |
root |
/usr/share/man/man1/opam-admin-list.1.xz
|
-rw-r--r-- | 6996 | root |
root |
/usr/share/man/man1/opam-admin-make.1.xz
|
-rw-r--r-- | 7060 | root |
root |
/usr/share/man/man1/opam-admin-upgrade.1.xz
|
-rw-r--r-- | 7148 | root |
root |
/usr/share/man/man1/opam-admin.1.xz
|
-rw-r--r-- | 7112 | root |
root |
/usr/share/man/man1/opam-clean.1.xz
|
-rw-r--r-- | 7700 | root |
root |
/usr/share/man/man1/opam-config.1.xz
|
-rw-r--r-- | 7316 | root |
root |
/usr/share/man/man1/opam-env.1.xz
|
-rw-r--r-- | 7136 | root |
root |
/usr/share/man/man1/opam-exec.1.xz
|
-rw-r--r-- | 596 | root |
root |
/usr/share/man/man1/opam-help.1.xz
|
-rw-r--r-- | 7504 | root |
root |
/usr/share/man/man1/opam-info.1.xz
|
-rw-r--r-- | 9316 | root |
root |
/usr/share/man/man1/opam-init.1.xz
|
-rw-r--r-- | 8956 | root |
root |
/usr/share/man/man1/opam-install.1.xz
|
-rw-r--r-- | 988 | root |
root |
/usr/share/man/man1/opam-installer.1.xz
|
-rw-r--r-- | 8360 | root |
root |
/usr/share/man/man1/opam-lint.1.xz
|
-rw-r--r-- | 9008 | root |
root |
/usr/share/man/man1/opam-list.1.xz
|
-rw-r--r-- | 7504 | root |
root |
/usr/share/man/man1/opam-lock.1.xz
|
-rw-r--r-- | 7060 | root |
root |
/usr/share/man/man1/opam-option.1.xz
|
-rw-r--r-- | 9580 | root |
root |
/usr/share/man/man1/opam-pin.1.xz
|
-rw-r--r-- | 8524 | root |
root |
/usr/share/man/man1/opam-reinstall.1.xz
|
-rw-r--r-- | 7196 | root |
root |
/usr/share/man/man1/opam-remote.1.xz
|
-rw-r--r-- | 8592 | root |
root |
/usr/share/man/man1/opam-remove.1.xz
|
-rw-r--r-- | 8000 | root |
root |
/usr/share/man/man1/opam-repository.1.xz
|
-rw-r--r-- | 8728 | root |
root |
/usr/share/man/man1/opam-search.1.xz
|
-rw-r--r-- | 7616 | root |
root |
/usr/share/man/man1/opam-show.1.xz
|
-rw-r--r-- | 6956 | root |
root |
/usr/share/man/man1/opam-source.1.xz
|
-rw-r--r-- | 10060 | root |
root |
/usr/share/man/man1/opam-switch.1.xz
|
-rw-r--r-- | 8496 | root |
root |
/usr/share/man/man1/opam-uninstall.1.xz
|
-rw-r--r-- | 8704 | root |
root |
/usr/share/man/man1/opam-unpin.1.xz
|
-rw-r--r-- | 7292 | root |
root |
/usr/share/man/man1/opam-update.1.xz
|
-rw-r--r-- | 8480 | root |
root |
/usr/share/man/man1/opam-upgrade.1.xz
|
-rw-r--r-- | 7020 | root |
root |
/usr/share/man/man1/opam-var.1.xz
|
-rw-r--r-- | 7468 | root |
root |
/usr/share/man/man1/opam.1.xz
|