CVS commit: pkgsrc/math/z3

["Adam Ciarcinski" <adam%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   adam
Date:           Wed May 17 07:55:32 UTC 2023

Modified Files:
        pkgsrc/math/z3: Makefile.common distinfo

Log Message:
z3 py-z3: updated to 4.12.2

z3-4.12.2

updated release notes for 12.2
disable publish
remove output
reformat code to remove brackets
Implement proposed smtlib2 bitvector overflow predicates
Merge branch 'master' of https://github.com/z3prover/z3
JS/TS: add Optimize class
remove debug output
make default argument to ensure_def and mk_def explicit


To generate a diff of this commit:
cvs rdiff -u -r1.5 -r1.6 pkgsrc/math/z3/Makefile.common
cvs rdiff -u -r1.14 -r1.15 pkgsrc/math/z3/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/z3/Makefile.common
diff -u pkgsrc/math/z3/Makefile.common:1.5 pkgsrc/math/z3/Makefile.common:1.6
--- pkgsrc/math/z3/Makefile.common:1.5  Thu May 11 06:43:43 2023
+++ pkgsrc/math/z3/Makefile.common      Wed May 17 07:55:32 2023
@@ -1,9 +1,9 @@
-# $NetBSD: Makefile.common,v 1.5 2023/05/11 06:43:43 adam Exp $
+# $NetBSD: Makefile.common,v 1.6 2023/05/17 07:55:32 adam Exp $
 #
 # used by math/py-z3/Makefile
 # used by math/z3/Makefile
 
-DISTNAME=      z3-4.12.1
+DISTNAME=      z3-4.12.2
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=Z3Prover/}
 GITHUB_PROJECT=        z3

Index: pkgsrc/math/z3/distinfo
diff -u pkgsrc/math/z3/distinfo:1.14 pkgsrc/math/z3/distinfo:1.15
--- pkgsrc/math/z3/distinfo:1.14        Thu May 11 06:43:43 2023
+++ pkgsrc/math/z3/distinfo     Wed May 17 07:55:32 2023
@@ -1,8 +1,8 @@
-$NetBSD: distinfo,v 1.14 2023/05/11 06:43:43 adam Exp $
+$NetBSD: distinfo,v 1.15 2023/05/17 07:55:32 adam Exp $
 
-BLAKE2s (z3-4.12.1.tar.gz) = 375c80eb90c2cf43b6d42006fcb6618a30a4ce6bb8a761dd8849565ed3ba1ca9
-SHA512 (z3-4.12.1.tar.gz) = 031fba9cc000a8da0025f95fa3f1c7519071d1b7775b377ff3192c505bb4c7e3d267da246c9ae68c940224e055a3c30571d2c0d7fbb042ec9a3d5849543a385c
-Size (z3-4.12.1.tar.gz) = 5470095 bytes
+BLAKE2s (z3-4.12.2.tar.gz) = ded82a59e22b621a969c4e96a19343a156f73744ac4975199e519c0870c681e2
+SHA512 (z3-4.12.2.tar.gz) = 375477cbbc9837b44e752c89916409d07bf6a73830b52878aab4f376f08b37dd5ab485da225744d394ab15f2a7e1014edc3be5eb9962934c440a8d55259317e2
+Size (z3-4.12.2.tar.gz) = 5401038 bytes
 SHA1 (patch-scripts_mk__util.py) = f092c9aed3c81408a485e9c92d8dddf5db86d6fe
 SHA1 (patch-src_api_python_setup.py) = cfc4a0a388d2a096ce86cbe3ca76b32502ec380e
 SHA1 (patch-src_sat_sat__lookahead.cpp) = c091d8b267b5476e438888e82c9161599873264c