Jelle van der Waa pushed to branch main at Arch Linux / Packaging / Packages /
z3
Commits:
de90d480 by Jelle van der Waa at 2024-11-17T11:15:21+01:00
upgpkg: 4.13.0-3: Rebuild for Python 3.13
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,7 +1,7 @@
pkgbase = z3
pkgdesc = High-performance theorem prover
pkgver = 4.13.0
- pkgrel = 2
+ pkgrel = 3
url = https://github.com/Z3Prover/z3
arch = x86_64
license = MIT
=====================================
PKGBUILD
=====================================
@@ -6,7 +6,7 @@ pkgbase=z3
pkgname=('z3' 'python-z3-solver')
pkgver=4.13.0
_commit=3049f578a8f98a0b0992eca193afe57a73b30ca3
-pkgrel=2
+pkgrel=3
pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3'
arch=('x86_64')
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/de90d4809b53f155ca09f484f097e142240a6f1f
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/z3/-/commit/de90d4809b53f155ca09f484f097e142240a6f1f
You're receiving this email because of your account on gitlab.archlinux.org.
