On 04/05/2023 20.32, Yves-Alexis Perez wrote:
Indeed, for some reason that depend is missing, we'll fix it for the next upload. Not sure about the severity though (especially at freeze time).
Well, the -dev package is apparently useless without it (there seem to be no users currently, otherwise it should have been caught earlier). And a simple targeted bugfix would be perfectly fine for the freeze.
AndreasPS: I filed a dozen or so of these bugs yesterday, fixes are getting uploaded ...