Antonio Rojas pushed new tag 8.19.1-3 at Arch Linux / Packaging / Packages / coq
-- This project does not include diff previews in email notifications. View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/tree/8.19.1-3 You're receiving this email because of your account on gitlab.archlinux.org.
