On 2014-06-29 Yves-Alexis Perez <cor...@debian.org> wrote: [...] > Well, I'd say the whole point of using the unversionned -dev package > would be to let the maintainers handle the transition themselves. I'm ok > with updating the build-dep, but does it means the unversionned -dev > package will be gone?
Hello, It is going to be removed and the name is going to be burned for while, yes. cu Andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure' -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
