Olivier Cailloux, le lun. 22 nov. 2021 17:32:41 +0100, a ecrit: > Maybe I am nitpicking here, but it would be more correct, I suppose, to > just depend on java-runtime rather than on default-jre OR java-runtime.
That would fail on buildds which cannot decide which package it is supposed to install to provide java-runtime. Samuel
