The reason why we named them .ddeb was to *avoid* getting them into the main archive. It would make mirrors explode, as well as doubling the size of Packages.gz.
The long-term goal is to get them into a separate archive (such as dbgsym.ubuntu.com). -- Please don't use the 'ddeb' extension; make it plain old 'deb' instead. https://bugs.launchpad.net/bugs/118214 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs