dune-installed-libraries(1) on Linux
The text ee02d28f25f7, as Debian 10 (Buster) shipped it.
Print out libraries installed on the system.
Flags it lists
-
--auto-promote -
--config-file -
--debug-backtraces -
--debug-dependency-path -
--debug-findlib -
--default-target -
--dev -
--diff-command -
--display -
--for-release-of-packages -
--force -
--ignore-promoted-rules -
--na -
--no-buffer -
--no-config -
--not-available -
--only-packages -
--profile -
--root -
--stats -
--verbose -
--version -
--watch -
--workspace -
-f -
-j -
-p -
-w -
-x