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