Would it not be a good idea to use yum-style package groups instead of planetccrma-* metapackages? I don't really know if there are really people out there still using apt or other tools, I can gather some stats on the mirror at Ircam but it will have to wait until next week. -- Arnaud