[Mingw-users] Multiple repositories in profile.xml

[LRN <lr...@gm...>]

How do i put more than one repo in there? I've tried adding extra 
<repository catalogue="..."></repository> alongside the default one, but 
that doesn't work right. mingw-get acquires the second repo, but tries 
to pull mingw32 packages from it. If i remove mingw32 repo and leave 
only the extra one, and clear mingw-get cache, it pulls it all right, 
but pulls it as package-list.xml . Which means that if i put the default 
repo back in, they're going to conflict - they both want to be the 
`package-list.xml'. Renaming the package list and adding the right 
prefix to the catalogue url (such as 
"http://foo/bar/baz/bonkers-%f.xml.lzma" didn't work - it still saves it 
as package-list.xml