[arch-commits] Commit in z3/trunk (PKGBUILD)
Felix Yan
felixonmars at gemini.archlinux.org
Tue Jan 11 20:22:55 UTC 2022
Date: Tuesday, January 11, 2022 @ 20:22:55
Author: felixonmars
Revision: 1100977
upgpkg: z3 4.8.14-1
Modified:
z3/trunk/PKGBUILD
----------+
PKGBUILD | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
===================================================================
--- PKGBUILD 2022-01-11 20:22:40 UTC (rev 1100976)
+++ PKGBUILD 2022-01-11 20:22:55 UTC (rev 1100977)
@@ -4,8 +4,8 @@
pkgbase=z3
pkgname=('z3' 'python-z3')
-pkgver=4.8.13
-pkgrel=2
+pkgver=4.8.14
+pkgrel=1
pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3'
arch=('x86_64')
@@ -13,7 +13,7 @@
# 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib'
makedepends=('cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs')
source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz)
-sha512sums=('c5e8f34525ed3b6b2935d7f01ce2f90f5dd99b4cdd035664b36c967fb1c7f3b05abed45c7288e2261723e73d68728ee91a0f67d92012d86b04598d7b54369c30')
+sha512sums=('10170516ca472258d2f9df28cd036e43023a76a25f1e1670290c62f3890d935bf82770970054a5fd3a0f02559409e7ed4b18fb08347c040ff2f9e0918e152aab')
prepare() {
cd $pkgbase-z3-$pkgver
More information about the arch-commits
mailing list