Arch Linux
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
Package agda 2.6.4-25 (x86_64) already flagged
agda
has already been flagged out-of-date.
You can return to the package details page for
agda
.