As I wrote on the MP, this shoudn't actually hurt, apt will fall back to the alternative dependency. Seems the Debian maintainer is already aware of this, so I see nothing further to be done here. Thanks!
As I wrote on the MP, this shoudn't actually hurt, apt will fall back to the alternative dependency. Seems the Debian maintainer is already aware of this, so I see nothing further to be done here. Thanks!