From 9f70f39340f3e4d6fc638b62db8ddb1e8295b09f Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Sun, 23 Jun 2024 15:54:55 +0200
Subject: chore(deps): extract tools.refinery.z3

Moved to https://github.com/graphs4value/refinery-z3
---
 z3/subprojects/solver-linux-aarch64/build.gradle.kts | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 z3/subprojects/solver-linux-aarch64/build.gradle.kts

(limited to 'z3/subprojects/solver-linux-aarch64/build.gradle.kts')

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")
-}
-- 
cgit v1.2.3-70-g09d2