Hi, I need portmidi which is currently provided by the Multimedia project in the Games project as a dependency for mame. Could that be added via aggregate or would that be a problem for the combination of repos? -- Guido Berhoerster