Felix Yan pushed new tag 1.12.0-18 at Arch Linux / Packaging / Packages / 
haskell-tamarin-prover-sapic

-- 
View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-sapic/-/tree/1.12.0-18
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


Reply via email to