Felix Yan pushed new tag 1.8.0-25 at Arch Linux / Packaging / Packages / 
haskell-tamarin-prover-utils

-- 
This project does not include diff previews in email notifications.
View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-utils/-/tree/1.8.0-25
You're receiving this email because of your account on gitlab.archlinux.org.


Reply via email to