chore(deps): extract tools.refinery.z3

Moved to https://github.com/graphs4value/refinery-z3

1 files changed, 0 insertions, 16 deletions

diff --git a/z3/subprojects/solver-linux-aarch64/build.gradle.kts b/z3/subprojects/solver-linux-aarch64/build.gradle.kts
deleted file mode 100644
index a26409d2..00000000
--- a/z3/subprojects/solver-linux-aarch64/build.gradle.kts
+++ /dev/null
@@ -1,16 +0,0 @@
-/*
- * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
- *
- * SPDX-License-Identifier: Apache-2.0
- */
-
-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")
-}