Update z3-native to 4.13.2

Closes #12249 Signed-off-by: Konrad Weihmann <[email protected]>
priv-kweihmann · Oct 1, 2024 · 61bce39 · 61bce39
1 parent 87ac678
commit 61bce39
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/...-support/z3-native/nativesdk-z3_4.13.0.bb → ...-support/z3-native/nativesdk-z3_4.13.2.bb b/...-support/z3-native/nativesdk-z3_4.13.0.bb → ...-support/z3-native/nativesdk-z3_4.13.2.bb
@@ -7,7 +7,7 @@ LIC_FILES_CHKSUM = "file://LICENSE.txt;md5=5f03ad1486a2e4ce71200ce0f9721557"
 SRC_URI = "\
     git://github.com/Z3Prover/z3;branch=master;protocol=https \
 "
-SRCREV = "3049f578a8f98a0b0992eca193afe57a73b30ca3"
+SRCREV = "9a8ff74924561557f2b0e748f95a7764540e866a"
 
 UNPACKDIR ??= "${WORKDIR}/sources-unpack"
 S = "${UNPACKDIR}/git"

diff --git a/...pes-support/z3-native/z3-native_4.13.0.bb → ...pes-support/z3-native/z3-native_4.13.2.bb b/...pes-support/z3-native/z3-native_4.13.0.bb → ...pes-support/z3-native/z3-native_4.13.2.bb
@@ -7,7 +7,7 @@ LIC_FILES_CHKSUM = "file://LICENSE.txt;md5=5f03ad1486a2e4ce71200ce0f9721557"
 SRC_URI = "\
     git://github.com/Z3Prover/z3;branch=master;protocol=https \
 "
-SRCREV = "3049f578a8f98a0b0992eca193afe57a73b30ca3"
+SRCREV = "9a8ff74924561557f2b0e748f95a7764540e866a"
 
 UNPACKDIR ??= "${WORKDIR}/sources-unpack"
 S = "${UNPACKDIR}/git"