https://github.com/agda/agda-categories/releases/tag/v0.1.7.2
Flagged Out-of-Date Comment: agda-categories
a821 flagged agda-categories out-of-date on 2023-06-13 (UTC) for the following reason:
a821 flagged agda-categories out-of-date on 2023-06-13 (UTC) for the following reason:
https://github.com/agda/agda-categories/releases/tag/v0.1.7.2