Le 10/11/2022 à 22:15, Thorsten Glaser a écrit :
The application defines default-jre (>= 2:1.11) | java-runtime (>= 11) but openjdk-11-jre does not yet Provides java-runtime, only java11-runtime. This will force the user to 17.
But openjdk-17-jre also provides java11-runtime. So even with: default-jre (>= 2:1.11) | java11-runtime there is no guarantee Java 11 will be used. If you want Java 11 only, you'll be able to depend on: openjdk-11-jre | java-runtime (= 11) Emmanuel Bourg