mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-10-20 13:27:19 -07:00
13 lines
395 B
XML
13 lines
395 B
XML
<?xml version='1.0' encoding='UTF-8'?>
|
|
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
|
<pkgmetadata>
|
|
<herd>java</herd>
|
|
<use>
|
|
<flag name="readline">Use GNU readline instead of jline</flag>
|
|
<flag name="servletapi">Add optional support for servlet-api</flag>
|
|
</use>
|
|
<upstream>
|
|
<remote-id type="sourceforge">jython</remote-id>
|
|
</upstream>
|
|
</pkgmetadata>
|