diff --git a/build/build-maven-publish.xml b/build/build-maven-publish.xml
index 0f5c74a704..a0364726ff 100644
--- a/build/build-maven-publish.xml
+++ b/build/build-maven-publish.xml
@@ -145,16 +145,31 @@ SPDX-License-Identifier: Apache-2.0
         <ivy:artifactproperty name="[artifact].revision" value="[revision]"/>
         <property name="stage.solver" value="z3"/>
         <property name="stage.revision" value="${com.microsoft.z3.revision}"/>
+        <property name="libDir.x64" value="lib/java-contrib/x64"/>
+        <property name="libDir.arm64" value="lib/java-contrib/arm64"/>
         <!-- prepare the pom-file -->
         <generate-solver-pom-file/>
         <!-- then publish the files -->
+        <!-- common Java files -->
         <stage-solver-file filename="com.microsoft.z3" fileending="jar"/>
-        <stage-solver-file filename="libz3java" classifier="libz3java" fileending="so"/>
-        <stage-solver-file filename="libz3java" classifier="libz3java" fileending="dll"/>
-        <stage-solver-file filename="libz3java" classifier="libz3java" fileending="dylib"/>
-        <stage-solver-file filename="libz3" classifier="libz3" fileending="so"/>
-        <stage-solver-file filename="libz3" classifier="libz3" fileending="dll"/>
-        <stage-solver-file filename="libz3" classifier="libz3" fileending="dylib"/>
+        <stage-solver-file filename="com.microsoft.z3-sources" fileending="jar" classifier="sources" filedirectory="lib/java-contrib"/>
+        <stage-solver-file filename="com.microsoft.z3-javadoc" fileending="jar" classifier="javadoc" filedirectory="lib/java-contrib"/>
+        <!-- for x64 arch -->
+        <stage-solver-file filename="libz3java" classifier="libz3java-x64" filedirectory="${libDir.x64}" fileending="so"/>
+        <stage-solver-file filename="libz3java" classifier="libz3java-x64" filedirectory="${libDir.x64}" fileending="dll"/>
+        <stage-solver-file filename="libz3java" classifier="libz3java-x64" filedirectory="${libDir.x64}" fileending="dylib"/>
+        <stage-solver-file filename="libz3" classifier="libz3-x64" filedirectory="${libDir.x64}" fileending="so"/>
+        <stage-solver-file filename="libz3" classifier="libz3-x64" filedirectory="${libDir.x64}" fileending="dll"/>
+        <stage-solver-file filename="libz3" classifier="libz3-x64" filedirectory="${libDir.x64}" fileending="dylib"/>
+        <!-- for arm64 arch -->
+        <!-- TODO: Z3 forgot to include Java bindings into its Linux-ARM64 release in 4.13.2,
+              so we ignore those files currently. See https://github.com/Z3Prover/z3/issues/7406 -->
+        <!-- <stage-solver-file filename="libz3java" classifier="libz3java-arm64" filedirectory="${libDir.arm64}" fileending="so"/> -->
+        <stage-solver-file filename="libz3java" classifier="libz3java-arm64" filedirectory="${libDir.arm64}" fileending="dll"/>
+        <stage-solver-file filename="libz3java" classifier="libz3java-arm64" filedirectory="${libDir.arm64}" fileending="dylib"/>
+        <!-- <stage-solver-file filename="libz3" classifier="libz3-arm64" filedirectory="${libDir.arm64}" fileending="so"/> -->
+        <stage-solver-file filename="libz3" classifier="libz3-arm64" filedirectory="${libDir.arm64}" fileending="dll"/>
+        <stage-solver-file filename="libz3" classifier="libz3-arm64" filedirectory="${libDir.arm64}" fileending="dylib"/>
     </target>
 
     <target name="stage-bitwuzla" depends="build-dependencies, install-contrib"
diff --git a/lib/ivy.xml b/lib/ivy.xml
index e93ef50770..0d01084393 100644
--- a/lib/ivy.xml
+++ b/lib/ivy.xml
@@ -161,7 +161,7 @@ SPDX-License-Identifier: Apache-2.0
 
         <!-- Solver Binaries -->
         <dependency org="org.sosy_lab" name="javasmt-solver-mathsat" rev="5.6.10" conf="runtime-mathsat->solver-mathsat" />
-        <dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="4.13.0" conf="runtime-z3->solver-z3; contrib->sources,javadoc" />
+        <dependency org="org.sosy_lab" name="javasmt-solver-z3" rev="4.13.0" conf="runtime-z3->solver-z3; contrib->sources,javadoc,solver-z3-x64,solver-z3-arm64" />
         <dependency org="org.sosy_lab" name="javasmt-solver-opensmt" rev="2.6.0-g2f72cc0e" conf="runtime-opensmt->solver-opensmt; contrib->sources,javadoc" />
         <dependency org="org.sosy_lab" name="javasmt-solver-optimathsat" rev="1.7.1-sosy0" conf="runtime-optimathsat->solver-optimathsat" />
         <dependency org="org.sosy_lab" name="javasmt-solver-cvc4" rev="1.8-prerelease-2020-06-24-g7825d8f28" conf="runtime-cvc4->solver-cvc4" />