From ed03527c6d8904330da05a151bbc458bcd889fe3 Mon Sep 17 00:00:00 2001 From: "Volkmar W. Pogatzki" Date: Fri, 24 Feb 2023 17:22:55 +0100 Subject: [PATCH] dev-java/osgi-compendium: use jakarta-servlet-api instead of tomcat-servlet-api MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Volkmar W. Pogatzki Signed-off-by: Miroslav Šulc --- ...endium-4.3.1-r3.ebuild => osgi-compendium-4.3.1-r4.ebuild} | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) rename dev-java/osgi-compendium/{osgi-compendium-4.3.1-r3.ebuild => osgi-compendium-4.3.1-r4.ebuild} (90%) diff --git a/dev-java/osgi-compendium/osgi-compendium-4.3.1-r3.ebuild b/dev-java/osgi-compendium/osgi-compendium-4.3.1-r4.ebuild similarity index 90% rename from dev-java/osgi-compendium/osgi-compendium-4.3.1-r3.ebuild rename to dev-java/osgi-compendium/osgi-compendium-4.3.1-r4.ebuild index 42efea848da44..0ca616b9fb7cf 100644 --- a/dev-java/osgi-compendium/osgi-compendium-4.3.1-r3.ebuild +++ b/dev-java/osgi-compendium/osgi-compendium-4.3.1-r4.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -19,7 +19,7 @@ CP_DEPEND=" dev-java/glassfish-persistence:0 dev-java/osgi-core-api:0 dev-java/osgi-foundation:0 - dev-java/tomcat-servlet-api:4.0" + dev-java/jakarta-servlet-api:4" DEPEND="${CP_DEPEND} >=virtual/jdk-1.8:*"