Felix Yan pushed new tag 1.3.4-503 at Arch Linux / Packaging / Packages / idris
-- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/idris/-/tree/1.3.4-503 You're receiving this email because of your account on gitlab.archlinux.org. Manage all notifications: https://gitlab.archlinux.org/-/profile/notifications | Help: https://gitlab.archlinux.org/help
