gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-24 18:58:08 -07:00
Code Issues Projects Releases Wiki Activity

dev-java/osgi-compendium: use jakarta-servlet-api instead of tomcat-servlet-api

Browse Source 
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
This commit is contained in:
Volkmar W. Pogatzki
2023-02-24 17:22:55 +01:00
committed by Miroslav Šulc
parent bf49b5a18b
commit ed03527c6d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
dev-java/osgi-compendium/osgi-compendium-4.3.1-r3.ebuild → dev-java/osgi-compendium/osgi-compendium-4.3.1-r4.ebuild
View File

@@ -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:*"