Felix Yan pushed new tag 2.6.4.1-13 at Arch Linux / Packaging / Packages / agda

-- 
View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/agda/-/tree/2.6.4.1-13
You're receiving this email because of your account on gitlab.archlinux.org.


Reply via email to