1 files changed, 2 insertions, 0 deletions

diff --git a/z3/subprojects/solver-darwin-x86-64/build.gradle.kts b/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
index 75e59267..9e4a803d 100644
--- a/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
+++ b/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-x64-osx-10.16"
 val library = "z3java-darwin-x86-64"
 
+mavenArtifact.nameSuffix = "Darwin x86_64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }