Just a friendly ping on this; we have a whole bunch of packages we'd
love to be reproducible within Debian and this is the only remaining
blocker for them :)
Maybe someone in Debian could come up with a patch, since it is
important to you. I doubt I will be able to look at it before August,
at best. Sorry. -k