From 86a8f814589330d59914a9a89f4c518993cd8ce1 Mon Sep 17 00:00:00 2001 From: Kevin Mihelich Date: Sat, 27 Apr 2024 16:15:48 +0000 Subject: [PATCH] extra/z3 to 4.13.0-2 --- extra/z3/.SRCINFO | 2 +- extra/z3/PKGBUILD | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extra/z3/.SRCINFO b/extra/z3/.SRCINFO index 6b40616b0..66be8dbd4 100644 --- a/extra/z3/.SRCINFO +++ b/extra/z3/.SRCINFO @@ -1,7 +1,7 @@ pkgbase = z3 pkgdesc = High-performance theorem prover pkgver = 4.13.0 - pkgrel = 1 + pkgrel = 2 url = https://github.com/Z3Prover/z3 arch = x86_64 license = MIT diff --git a/extra/z3/PKGBUILD b/extra/z3/PKGBUILD index 919125efd..5f43a00cf 100644 --- a/extra/z3/PKGBUILD +++ b/extra/z3/PKGBUILD @@ -9,7 +9,7 @@ pkgbase=z3 pkgname=('z3' 'python-z3-solver') pkgver=4.13.0 _commit=3049f578a8f98a0b0992eca193afe57a73b30ca3 -pkgrel=1 +pkgrel=2 pkgdesc='High-performance theorem prover' url='https://github.com/Z3Prover/z3' arch=('x86_64')