Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-utils
Commits: a0a5373d by Felix Yan at 2023-09-21T19:44:15+03:00 upgpkg: 1.8.0-4: rebuild with pcre-light 0.4.1.2 - - - - - 1 changed file: - PKGBUILD Changes: ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-utils pkgname=haskell-tamarin-prover-utils pkgver=1.8.0 -pkgrel=3 +pkgrel=4 pkgdesc="Utility 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-utils/-/commit/a0a5373d8c37d6ad49c19bc0be526196dc34f777 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-utils/-/commit/a0a5373d8c37d6ad49c19bc0be526196dc34f777 You're receiving this email because of your account on gitlab.archlinux.org.
