Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-accountability
Commits: ee65fea1 by Felix Yan at 2024-03-03T18:36:26+00:00 upgpkg: 1.8.0-38: rebuild with ChasingBottoms 1.3.1.13 - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = haskell-tamarin-prover-accountability pkgdesc = Library for accountability for the tamarin prover pkgver = 1.8.0 - pkgrel = 37 + pkgrel = 38 url = http://www.infsec.ethz.ch/research/software/tamarin arch = x86_64 license = GPL ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-accountability pkgname=haskell-tamarin-prover-accountability pkgver=1.8.0 -pkgrel=37 +pkgrel=38 pkgdesc="Library for accountability 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-accountability/-/commit/ee65fea1920d55d2e1ad64aa98660d2f1f074fc6 -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-accountability/-/commit/ee65fea1920d55d2e1ad64aa98660d2f1f074fc6 You're receiving this email because of your account on gitlab.archlinux.org.