Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / 
tamarin-prover


Commits:
8720ebb6 by Felix Yan at 2025-04-04T14:59:38+08:00
upgpkg: 1.10.0-42: rebuild with doctest 0.21.0

- - - - -


2 changed files:

- .SRCINFO
- PKGBUILD


Changes:

=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
 pkgbase = tamarin-prover
        pkgdesc = The Tamarin prover for security protocol analysis
        pkgver = 1.10.0
-       pkgrel = 41
+       pkgrel = 42
        url = https://tamarin-prover.github.io
        arch = x86_64
        license = GPL


=====================================
PKGBUILD
=====================================
@@ -3,7 +3,7 @@
 
 pkgname=tamarin-prover
 pkgver=1.10.0
-pkgrel=41
+pkgrel=42
 pkgdesc="The Tamarin prover for security protocol analysis"
 url="https://tamarin-prover.github.io";
 license=("GPL")



View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/tamarin-prover/-/commit/8720ebb634f490a859caa89e148642d53f099176

-- 
View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/tamarin-prover/-/commit/8720ebb634f490a859caa89e148642d53f099176
You're receiving this email because of your account on gitlab.archlinux.org.


Reply via email to