-rwxr-xr-x | 3370480 | root |
root |
/usr/bin/opam
|
-rwxr-xr-x | 3404064 | root |
root |
/usr/bin/opam-admin
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/opam
|
-rw-r--r-- | 316 | root |
root |
/usr/share/doc/opam/AUTHORS
|
-rw-r--r-- | 12202 | root |
root |
/usr/share/doc/opam/CHANGES
|
-rw-r--r-- | 440 | root |
root |
/usr/share/doc/opam/CONTRIBUTING
|
-rw-r--r-- | 43717 | root |
root |
/usr/share/doc/opam/LICENSE
|
-rw-r--r-- | 3647 | root |
root |
/usr/share/doc/opam/README.md
|
-rw-r--r-- | 1040 | root |
root |
/usr/share/man/man1/opam-admin-check.1.xz
|
-rw-r--r-- | 640 | root |
root |
/usr/share/man/man1/opam-admin-make.1.xz
|
-rw-r--r-- | 488 | root |
root |
/usr/share/man/man1/opam-admin.1.xz
|
-rw-r--r-- | 328 | root |
root |
/usr/share/man/man1/opam-check.1.xz
|
-rw-r--r-- | 2852 | root |
root |
/usr/share/man/man1/opam-config.1.xz
|
-rw-r--r-- | 484 | root |
root |
/usr/share/man/man1/opam-help.1.xz
|
-rw-r--r-- | 1612 | root |
root |
/usr/share/man/man1/opam-info.1.xz
|
-rw-r--r-- | 2448 | root |
root |
/usr/share/man/man1/opam-init.1.xz
|
-rw-r--r-- | 2244 | root |
root |
/usr/share/man/man1/opam-install.1.xz
|
-rw-r--r-- | 1756 | root |
root |
/usr/share/man/man1/opam-list.1.xz
|
-rw-r--r-- | 1796 | root |
root |
/usr/share/man/man1/opam-pin.1.xz
|
-rw-r--r-- | 1936 | root |
root |
/usr/share/man/man1/opam-reinstall.1.xz
|
-rw-r--r-- | 1848 | root |
root |
/usr/share/man/man1/opam-remote.1.xz
|
-rw-r--r-- | 2180 | root |
root |
/usr/share/man/man1/opam-remove.1.xz
|
-rw-r--r-- | 1856 | root |
root |
/usr/share/man/man1/opam-repository.1.xz
|
-rw-r--r-- | 1704 | root |
root |
/usr/share/man/man1/opam-search.1.xz
|
-rw-r--r-- | 2784 | root |
root |
/usr/share/man/man1/opam-switch.1.xz
|
-rw-r--r-- | 1796 | root |
root |
/usr/share/man/man1/opam-update.1.xz
|
-rw-r--r-- | 2000 | root |
root |
/usr/share/man/man1/opam-upgrade.1.xz
|
-rw-r--r-- | 1844 | root |
root |
/usr/share/man/man1/opam.1.xz
|