[arch-commits] Commit in z3/trunk (PKGBUILD)

[Felix Yan]

    Date: Sunday, December 24, 2017 @ 08:37:59
  Author: felixonmars
Revision: 275686

upgpkg: z3 4.6.0-1

Modified:
  z3/trunk/PKGBUILD

----------+
 PKGBUILD |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2017-12-24 07:22:54 UTC (rev 275685)
+++ PKGBUILD	2017-12-24 08:37:59 UTC (rev 275686)
@@ -3,8 +3,8 @@
 # Contributor: rudy.matela
 
 pkgname=z3
-pkgver=4.5.0
-pkgrel=4
+pkgver=4.6.0
+pkgrel=1
 pkgdesc="A high-performance theorem prover"
 arch=('x86_64')
 url="https://github.com/Z3Prover/z3"
@@ -13,7 +13,7 @@
 makedepends=('python2') # 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib')
 optdepends=('python2-setuptools: bindings for python2')
 source=("https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz")
-sha256sums=('aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c')
+sha512sums=('92a87292db17ceb4a90e45bce4f6237fe0437a7a5e147b4b63a2cb793e2d59fc04a6aa579ddb904280eac08b4a85c600df092d4c2fa99239199514b9c0363243')
 
 build() {
   cd "$srcdir/$pkgname-$pkgname-$pkgver"