Add rocq --print-version
(same as coqc --print-version
)
#4586
Loading
rocq --print-version
(same as coqc --print-version
)
#4586