Felix Yan pushed new tag 2.6.4.1-32 at Arch Linux / Packaging / Packages / agda
-- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/tree/2.6.4.1-32 You're receiving this email because of your account on gitlab.archlinux.org.
