Flagged Out-of-Date Comment: agda-cubical

phijor flagged agda-cubical out-of-date on 2022-03-21 (UTC) for the following reason:

Version 0.3 has been out since last year: https://github.com/agda/cubical/releases/tag/v0.3