Package agda-stdlib 1.7.3-1 (x86_64) already flagged
agda-stdlib has already been flagged out-of-date.
You can return to the package details page for agda-stdlib.
agda-stdlib has already been flagged out-of-date.
You can return to the package details page for agda-stdlib.