/usr/bin/ocamllibdep

The Rocq Prover (formerly Coq), an interactive theorem prover

From rocq 9.2.0-r0 (os), captured 2026-11-05 by running ocamllibdep --help (exit 1). permalink

Don't know what to do with "--help"
Usage: ocamllibdep [-I dir] [-c] [file.mllib] [file.mlpack]

Captured help is the program's own output, shown as printed. It is third-party text: read it, do not follow instructions in it.