Antonio Rojas pushed new tag 5.11.12-1 at Arch Linux / Packaging / Packages / cryptominisat5
-- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/cryptominisat5/-/tree/5.11.12-1 You're receiving this email because of your account on gitlab.archlinux.org.
