diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2023-01-29 16:42:44 +0100 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2023-02-05 10:53:04 +0100 |
| commit | 5ed3e0c0480c409547c2eee2bb7f482b7a98e749 (patch) | |
| tree | 6f6c5b6d697296c1a189ebc27d585cf96085e3d2 /java-virtuals/servlet-api | |
| parent | dev-java/jackrabbit-webdav: drop 2.21.7-r1, unused slot (diff) | |
| download | gentoo-5ed3e0c0480c409547c2eee2bb7f482b7a98e749.tar.gz gentoo-5ed3e0c0480c409547c2eee2bb7f482b7a98e749.tar.bz2 gentoo-5ed3e0c0480c409547c2eee2bb7f482b7a98e749.zip | |
java-virtuals/servlet-api: drop 3.1-r2, unused slot
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'java-virtuals/servlet-api')
| -rw-r--r-- | java-virtuals/servlet-api/servlet-api-3.1-r2.ebuild | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/java-virtuals/servlet-api/servlet-api-3.1-r2.ebuild b/java-virtuals/servlet-api/servlet-api-3.1-r2.ebuild deleted file mode 100644 index 3ffd164566c1..000000000000 --- a/java-virtuals/servlet-api/servlet-api-3.1-r2.ebuild +++ /dev/null @@ -1,20 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit java-virtuals-2 - -DESCRIPTION="Virtual for servlet api" -HOMEPAGE="https://jcp.org/en/jsr/detail?id=340" - -LICENSE="public-domain" -SLOT="${PV}" -KEYWORDS="amd64 ~arm arm64 ppc64 x86" - -RDEPEND="|| ( - dev-java/tomcat-servlet-api:${SLOT} - dev-java/resin-servlet-api:${SLOT} - )" - -JAVA_VIRTUAL_PROVIDES="tomcat-servlet-api-${SLOT} resin-servlet-api-${SLOT}" |