Date: Monday, January 16, 2023 @ 11:05:25 Author: felixonmars Revision: 1385657
upgpkg: tamarin-prover 1.6.1-272: rebuild with inspection-testing 0.5.0.1 Modified: tamarin-prover/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-01-16 11:05:10 UTC (rev 1385656) +++ PKGBUILD 2023-01-16 11:05:25 UTC (rev 1385657) @@ -3,7 +3,7 @@ pkgname=tamarin-prover pkgver=1.6.1 -pkgrel=271 +pkgrel=272 pkgdesc="The Tamarin prover for security protocol analysis" url="https://tamarin-prover.github.io"; license=("GPL")
