First beta release of Alire, the package manager for Ada/SPARK

Re:First beta release of Alire, the package manager for Ada/... by MaxBarraclough on Sunday November 01, 2020 @05:05AM (#24958433)

Congratulations to all involved, this looks like a great addition to the Ada ecosystem.

I like the use of tags to clarify which projects are in SPARK.

I realise it's in beta, but, some feedback: on the linked Crates page, there doesn't seem to be a way to browse the source of the projects. I was expecting to be able to click a link and be taken to something akin to a GitHub page, but this doesn't seem to be possible. Some of the crates link to project home pages.

Also, it would be neat if the Network graph page showed which projects were in SPARK, perhaps by using colour.

[ Parent | on HN ]

Re:First beta release of Alire, the package manager for Ada/... by Fabien_C on Monday November 02, 2020 @02:45AM (#24965557)

Thanks for your feedback :)

- there doesn't seem to be a way to browse the source of the projects.

That's true, so far the contributors for crates have the option to provide a link to a website. This link can be to the repo, but it is not mandatory.

- it would be neat if the Network graph page showed which projects were in SPARK

Good idea :)

Please open issues on the repo so we can keep track of your ideas: https://github.com/alire-project/alire

[ Parent | on HN ]

Re:First beta release of Alire, the package manager for Ada/... by MaxBarraclough on Tuesday November 03, 2020 @12:33PM (#24981807)

Done. https://github.com/alire-project/alire/issues/603

[ Parent | on HN ]