Flagged Out-of-Date Comment: rnxcmp-bin

kikislater flagged rnxcmp-bin out-of-date on 2022-03-02 (UTC) for the following reason:

https://terras.gsi.go.jp/ja/crx2rnx.html 4.1.0 out !