On Tue, Aug 01, 2017 at 12:05:34AM +0200, Petter Reinholdtsen wrote: > So, perhaps now is a good time to rename the -dev package? > What do the rest of you think? Any of you have time to follow > up the migration process? I doubt I will any time soon. :(
Personally, I don't see much value in gratuitous renaming of packages. The original "bug" reported was: "The -dev package should be named libfishsound-dev, without the 1, so that reverse dependencies don't need to bump their build dependency whenever the ABI changes." And it's now been nearly 8 years, and that fear still hasn't actually come true. It hasn't changed ABI, so it would be a bit ironic to make this be a self-fulfilling prophecy and break the rdeps just to close this bug :) If it ever does change ABI, *that* might be a good time to rename this, but even then, if you don't want coinstallability, you still wouldn't *have* to rename the -dev package from what it is now, so this problem could be avoided that way too. In https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=557765#10, the maintainer at the time wrote: > close 557765 > tags 557765 wontfix but just didn't actually CC the control server with that. So if you just want to get this off the triage radar, that seems like the better option to me - unless I'm missing something like there being an actual ABI change about to happen. Cheers, Ron
