On Mon, 14 Aug 2017 15:03:01 +0200, mpan wrote: >Another case: sometimes multiple packages in the official repo may >deliver the same thing: see jre8-openjdk and jre7-openjdk
Those packages provide java-runtime and java-runtime-openjdk, but you could install both packages and if a package needs a special version of java-runtime and java-runtime-openjdk, it depends either on the package jre8-openjdk or jre7-openjdk. This is something completely different.
