Bug#894367: wadc: JRE dependency should be default-jre | java8-runtime

2018-04-12 Thread Adrian Bunk
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

Bug#894367: wadc: JRE dependency should be default-jre | java8-runtime

2018-04-12 Thread Jonathan Dowland
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.

Bug#894367: wadc: JRE dependency should be default-jre | java8-runtime

2018-03-30 Thread Jonathan Dowland
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

Bug#894367: wadc: JRE dependency should be default-jre | java8-runtime

2018-03-29 Thread Adrian Bunk
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).