On Thu, Feb 15, 2018 at 10:58:01AM +0100, Thibaut Paumard wrote:
Well, in retrospect it would have been good to declare:Depends: default-jre-headless (>= 1:1.8), default-jre-headless (<< 2:)
Honestly, the best thing would have just been to depend on openjdk-8-jre-headless instead of messing around with default-jre-headless.
Michael Stone