Flagged Out-of-Date Comment: fstar-bin

susurri flagged fstar-bin out-of-date on 2023-04-22 (UTC) for the following reason:

stable release v2022.01.15, or unstable release v2023.04.08