Backup_Repos/pentoo-overlay
1
0
Fork 0
mirror of https://github.com/pentoo/pentoo-overlay synced 2026-04-23 23:31:00 +02:00
Code Issues Projects Releases Wiki Activity

jakarta-servlet-api: move to my overlay

Browse source
This commit is contained in:
Anton Bolshakov 2024-10-07 10:55:06 +08:00
parent 135ceb9931
commit cb7a75dab6
No known key found for this signature in database
GPG key ID: 32BDCED870788F04
2 changed files with 0 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
dev-java/jakarta-servlet-api/Manifest
View file

@ -1 +0,0 @@
DIST jakarta.servlet-api-5.0.0-sources.jar 397095 BLAKE2B 31a1ebb08dc5d43f85309ef813e003d9e0d4f40189059387e9b63627e43aea659c7773e02505e6e1b0dbabd170f3f05323618ef3f35f9414882b7885483649e9 SHA512 9a48f4183df2ca000842ef799add2046f7851d8dbb3f1014c3370a6859a9bb9d95e8251cc3b6d899d114c835b7ad404582e0c8785f2707eab8d7570260fba76b

19
dev-java/jakarta-servlet-api/jakarta-servlet-api-5.0.0.ebuild
View file

@ -1,19 +0,0 @@
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
JAVA_PKG_IUSE="doc source"
MAVEN_ID="jakarta.servlet:jakarta.servlet-api:5.0.0"
inherit java-pkg-2 java-pkg-simple
DESCRIPTION="Jakarta Servlet API"
HOMEPAGE="https://jakarta.ee/specifications/servlet/5.0/"
SRC_URI="https://repo1.maven.org/maven2/jakarta/servlet/jakarta.servlet-api/${PV}/jakarta.servlet-api-${PV}-sources.jar"
LICENSE="EPL-2.0 GPL-2-with-classpath-exception"
SLOT="5"
KEYWORDS="amd64 ~arm64 x86"
RDEPEND=">=virtual/jre-11"
DEPEND=">=virtual/jdk-11"