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