[shakna]

You can grab and build the index from here [0], and add your own indices (with varying priorities).

But if you want to actually proxy the individual download files, you'll need to iterate over the index files themselves, download them, and change their locations, which isn't overly difficult, but seems a bit beyond scope of a community index.

[0] https://github.com/alire-project/alire-index

[touisteur]

Thanks for this, shakna.

As I'm trying to upgrade our whole bash-monster GNAT+gnatcoll+lal+florist+gtkada+younameit to the latest GNAT PRO continuous delivery, I wish I could just let some better tool do this...