mirror/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2026-07-30 07:18:37 -09:00
Code Issues Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/GP-5772_Dan_finishPcodeStepper'

Browse Source
This commit is contained in:
ghidra1
2025-06-30 09:58:55 -04:00
parent a483a4e28c 3099cc9006
commit 211a432cdb
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gradle/support/fetchDependencies.gradle
View File

@@ -62,8 +62,8 @@ file("${REPO_DIR}/Ghidra/application.properties").withReader { reader ->
// Z3 download versions (https://github.com/Z3Prover/z3/releases)
// NOTE: Changing these versions also requires appropriate changes to the sha256 values for each of
// the Z3 files specified in the dependency list below. These versions may also be specified
// elsewhere within the Ghidra source/build code.
// the Z3 files specified in the dependency list below. These versions are also be specified
// elsewhere within the build.gradle code.
ext.Z3_VER = "4.13.0"
ext.Z3_ARM64_OSX_VER = "11.0"
ext.Z3_X64_OSX_VER = "11.7.10"