1 files changed, 2 insertions, 0 deletions

diff --git a/z3/subprojects/solver-linux-aarch64/build.gradle.kts b/z3/subprojects/solver-linux-aarch64/build.gradle.kts
index a8e7e259..a26409d2 100644
--- a/z3/subprojects/solver-linux-aarch64/build.gradle.kts
+++ b/z3/subprojects/solver-linux-aarch64/build.gradle.kts
@@ -8,6 +8,8 @@ plugins {
         id("tools.refinery.z3.gradle.java-library")
 }
 
+mavenArtifact.nameSuffix = "Linux aarch64"
+
 tasks.jar {
         // License information is redundant here, since it already gets added to the POM.
         exclude("**/*.license")