Alire's repositories
alire-index
Community index for the Alire project
GNAT-FSF-builds
Builds of the GNAT Ada compiler from FSF GCC releases
ada_spark_workflow
A demo of best practices for open-source Ada/SPARK development
semantic_versioning
Semantic versioning in Ada
alire.ada.dev
Official website for the project
setup-alire
GitHub action to setup Alire (the Ada/SPARK package manager)
simple_logging
Easy to use logging facilities for output to console in Ada programs
alire-crates-ci
CI testing of crates in default alire index
dockerfiles
Dockerfiles used to test Alire in supported Linux distributions. They do not contain Alire, but a complete GNAT toolchain.
check-author
GitHub Action to check author permision on Alire crate files
dak_simple_components
Simple Components by Dmitry A. Kazakov
gnatcov-to-codecovio-action
GitHub actions to upload coverage results from gnatcov to codecov.io
smart_pointers
Christoph Karl Walter Grein's Smart Pointers
alire-index-checks
Checks on submissions to Alire indexes
alr-install
Run `alr install` to make some executable crate available
gnatcoll-core
GNAT Components Collection – Core packages
test-index
Index for tests that require an online index