Hi Bill,
This is an interesting point. May I ask why you need to install a JRE
extension? Is this for a package you intend to upload in the Debian
archive or for your private usage?
AFAIK this extension mechanism is rarely used, and it is going to be
removed in Java 9 as part of the JEP 220, so I
On 08.11.2014 22:17, Bill Zaumen wrote:
[...]
> The problem is that extensions are really java libraries but the
> Debian policy for libraries does not cover them as it does not allow
> the libraries to be installed in the correct location. Either that
> policy needs to be modified or a new sectio
2 matches
Mail list logo
