On Thu, Apr 12, 2018 at 05:34:24PM +0100, Jonathan Dowland wrote:
> On Thu, Mar 29, 2018 at 04:29:03PM +0300, Adrian Bunk wrote:
> > The JRE dependency is currently:
> > openjdk-8-jre | java8-runtime
> >
> > This should instead be:
> > default-jre | java8-runtime
>
> I would like to avoid
On Thu, Mar 29, 2018 at 04:29:03PM +0300, Adrian Bunk wrote:
The JRE dependency is currently:
openjdk-8-jre | java8-runtime
This should instead be:
default-jre | java8-runtime
I would like to avoid having the dependencies be satisfyable by
something that does not provide java8-runtime.
Hi Adrian, thanks for the report.
On Thu, Mar 29, 2018 at 04:29:03PM +0300, Adrian Bunk wrote:
The JRE dependency is currently:
openjdk-8-jre | java8-runtime
This should instead be:
default-jre | java8-runtime
This would avoid apt preferring a non-default JRE
(currently openjdk-9-jre is the
Package: wadc
Version: 2.2-1
Severity: minor
The JRE dependency is currently:
openjdk-8-jre | java8-runtime
This should instead be:
default-jre | java8-runtime
This would avoid apt preferring a non-default JRE
(currently openjdk-9-jre is the default).
4 matches
Mail list logo