mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-07 14:47:27 -08:00
82ed567944
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: 8b7d27c5cb
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
17 lines
565 B
XML
17 lines
565 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<maintainer type="project">
|
|
<email>java@gentoo.org</email>
|
|
</maintainer>
|
|
<upstream>
|
|
<doc>https://jakarta.ee/specifications/servlet/</doc>
|
|
<remote-id type="github">jakartaee/servlet</remote-id>
|
|
</upstream>
|
|
<slots>
|
|
<slot name="4">provides javax.servlet</slot>
|
|
<slot name="6">https://jakarta.ee/specifications/servlet/6.0/</slot>
|
|
<slot name="6.1">https://jakarta.ee/specifications/servlet/6.1/</slot>
|
|
</slots>
|
|
</pkgmetadata>
|