Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-sapic
Commits: 9768089f by Felix Yan at 2023-08-14T17:05:05+03:00 upgpkg: 1.6.1-145: rebuild with generic-deriving 1.14.5 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ _hkgname=tamarin-prover-sapic pkgname=haskell-tamarin-prover-sapic pkgver=1.6.1 -pkgrel=144 +pkgrel=145 pkgdesc="Library for input processes in SAPIC calculus 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-sapic/-/commit/9768089f2dd40972317826ac3641da37664e6ea1 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-sapic/-/commit/9768089f2dd40972317826ac3641da37664e6ea1 You're receiving this email because of your account on gitlab.archlinux.org.
