From 7d769e0ed430ace30be19a0ad43a285342e386b8 Mon Sep 17 00:00:00 2001 From: Manuel Date: Thu, 14 Mar 2024 21:36:01 +0100 Subject: [PATCH] alr_appimage renamed to alr2appimage --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1de2841..bf5ef00 100644 --- a/README.md +++ b/README.md @@ -271,7 +271,7 @@ A curated list of awesome resources related to the Ada and SPARK programming lan ### Build and Package - [alire](https://github.com/alire-project/alire) - A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam. -- [alr-appimage](https://github.com/mgrojo/alr-appimage) - A tool for automatically creating an AppImage executable from an Alire crate. +- [alr2appimage](https://github.com/mgrojo/alr2appimage) - A tool for automatically creating an AppImage executable from an Alire crate. - [aura](https://github.com/annexi-strayline/AURA) - An integrated build and source/package management tool with a more hands-on versioning approach. Alternative to alire and gprbuild. Optimized for CI/CD pipelines. - [gprbuild](https://github.com/AdaCore/gprbuild) - Adacore multi-language software build tool. - [ravenadm](https://github.com/jrmarino/ravenadm) - Administration tool for Ravenports http://www.ravenports.com.