Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / haskell-tamarin-prover-term
Commits: 626b10bd by Felix Yan at 2024-04-23T08:59:41+00:00 upgpkg: 1.8.0-25: rebuild with math-functions 0.3.4.4 - - - - - 2 changed files: - .SRCINFO - PKGBUILD Changes: ===================================== .SRCINFO ===================================== @@ -1,7 +1,7 @@ pkgbase = haskell-tamarin-prover-term pkgdesc = Term manipulation library for the tamarin prover pkgver = 1.8.0 - pkgrel = 24 + pkgrel = 25 url = http://www.infsec.ethz.ch/research/software/tamarin arch = x86_64 license = GPL ===================================== PKGBUILD ===================================== @@ -4,7 +4,7 @@ _hkgname=tamarin-prover-term pkgname=haskell-tamarin-prover-term pkgver=1.8.0 -pkgrel=24 +pkgrel=25 pkgdesc="Term manipulation 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-term/-/commit/626b10bdb8e8fd34b2296825e692425a990c4ff8 -- This project does not include diff previews in email notifications. View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/haskell-tamarin-prover-term/-/commit/626b10bdb8e8fd34b2296825e692425a990c4ff8 You're receiving this email because of your account on gitlab.archlinux.org.