Flagged Out-of-Date Comment: mathcomp

exists flagged mathcomp out-of-date on 2021-12-21 (UTC) for the following reason:

https://github.com/math-comp/math-comp/releases