23 lines
542 B
Text
23 lines
542 B
Text
|
bin/opam
|
||
|
|
bin/opam-admin
|
||
|
|
man/man1/opam-admin-check.1.gz
|
||
|
|
man/man1/opam-admin-make.1.gz
|
||
|
|
man/man1/opam-admin.1.gz
|
||
|
|
man/man1/opam-check.1.gz
|
||
|
|
man/man1/opam-config.1.gz
|
||
|
|
man/man1/opam-help.1.gz
|
||
|
|
man/man1/opam-info.1.gz
|
||
|
|
man/man1/opam-init.1.gz
|
||
|
|
man/man1/opam-install.1.gz
|
||
|
|
man/man1/opam-list.1.gz
|
||
|
|
man/man1/opam-pin.1.gz
|
||
|
|
man/man1/opam-reinstall.1.gz
|
||
|
|
man/man1/opam-remote.1.gz
|
||
|
|
man/man1/opam-remove.1.gz
|
||
|
|
man/man1/opam-repository.1.gz
|
||
|
|
man/man1/opam-search.1.gz
|
||
|
|
man/man1/opam-switch.1.gz
|
||
|
|
man/man1/opam-update.1.gz
|
||
|
|
man/man1/opam-upgrade.1.gz
|
||
|
|
man/man1/opam.1.gz
|