Flagged Out-of-Date Comment: fstar

Score_Under flagged fstar out-of-date on 2022-06-16 (UTC) for the following reason:

https://github.com/FStarLang/FStar/releases/tag/v2022.01.15