Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-theory
Commits: 59214848 by Felix Yan at 2023-08-14T16:57:24+03:00 upgpkg: 1.6.1-145: rebuild with generic-deriving 1.14.5 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-theory pkgname=haskell-tamarin-prover-theory pkgver=1.6.1 -pkgrel=144 +pkgrel=145 pkgdesc="Security protocol types and constraint solver library for the tamarin prover" url="http://www.infsec.ethz.ch/research/software/tamarin"; license=("GPL") View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-theory/-/commit/5921484892b262452fdf0c34ddda2174fefbfa4a -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-theory/-/commit/5921484892b262452fdf0c34ddda2174fefbfa4a You're receiving this email because of your account on gitlab.archlinux.org.
