DUNE-ROCQ(1) Dune Manual DUNE-ROCQ(1) (NAME) dune-rocq - Rocq (SYNOPSIS) dune rocq top FILE -- ARGS (COMMANDS) top [OPTION] ROCQFILE [ARGS] ( ) Rocq . (COMMON OPTIONS) --help[=FMT] (=auto) FMT. FMT auto pager groff plain . auto pager TERM dumb plain . --version . (EXIT STATUS) dune rocq : 0 . 1 . 130 . (SEE ALSO) dune(1) Dune 3.24.2 DUNE-ROCQ(1)