Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-sapic
Commits: 3260d4c4 by Felix Yan at 2023-09-09T01:29:50+03:00 upgpkg: 1.8.0-2: rebuild with blaze-builder 0.4.2.3 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -3,7 +3,7 @@ _hkgname=tamarin-prover-sapic pkgname=haskell-tamarin-prover-sapic pkgver=1.8.0 -pkgrel=1 +pkgrel=2 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/3260d4c4fce1c49b0d8fb0a6eb29aa4d4c4c7f99 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-sapic/-/commit/3260d4c4fce1c49b0d8fb0a6eb29aa4d4c4c7f99 You're receiving this email because of your account on gitlab.archlinux.org.
