alire-index

I do not know the exact rationale of the Alire devs, but Ada already uses (since 83) the word "package" to indicate a module or namespace, so calling dependencies a "crate" seems to avoid confusion with an Ada "package". The crates of the community index [1] are somewhat vetted because they are added to the index using a PR on GitHub. You're not required to use these external crates though, you can create your own monorepo if you want. My personal experience has been that a package manager (for any language) makes it much easier to download and build some project. There's a decent amount of packages in the Ada standard library, but it's not up to the level of Go's. Ada has a subset called SPARK for functional specification and static verification, so you can write, and some of the crates are actually written in SPARK. It's quite fun to wr

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