rnx2rtcm(1) on Linux
The text 6b31a5104ba0, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster) shipped it. The page shows this text now.
rinex to rtcm converter
Flags it lists
-
-out -
-sta -
-ti -
-typ -
-x