Alire

Alire

@alire-project

A package manager for the Ada language and its formally verifiable SPARK subset.

Issues looking for funding

External System Crate Install Fails as Root (i.e. without sudo)
type: enhancement

#1212 opened in alire-project/alire

Fund
AWS fails to build
type: broken release

#911 opened in alire-project/alire

3
Fund
alr get timeout and crash on solving crates

#1761 opened in alire-project/alire

1
Fund
xmlada build script fails on msys2

#1061 opened in alire-project/alire

1
Fund
Crate submission check enhancements
type: enhancement
area: backend

#624 opened in alire-project/alire

Fund
Cross toolchain selection breaks native get configuration
semver: minor

#1613 opened in alire-project/alire

2
Fund
alr toolchain needs "purge" command

#1468 opened in alire-project/alire

Fund
alr test output garbled without --no-tty

#1149 opened in alire-project/alire

Fund
Need native ARM64 Linux toolchain

#1509 opened in alire-project/alire

12
Fund
Fail to build test results in failure without explanation

#1921 opened in alire-project/alire

Fund
[RFC] Explicitly document subcrates
type: RFC

#1122 opened in alire-project/alire

3
Fund
Test for project paths

#281 opened in alire-project/alire

Fund
Show pins without explicit dependency in graphs
type: enhancement
cost: 2-medium

#753 opened in alire-project/alire

Fund
Optional dependencies
type: enhancement

#107 opened in alire-project/alire

Fund
Improve alr toolchain detection of complete toolchain
type: enhancement

#1752 opened in alire-project/alire

3
Fund
Default build using GNAT Pro 23.0 fails

#1201 opened in alire-project/alire

Fund
Consider using github releases for msys2 initial download
type: enhancement
type: RFC

#555 opened in alire-project/alire

1
Fund
Running Windows CI, problem with alr run

#1065 opened in alire-project/alire

3
Fund
Testsuite failures on aarch64-apple-darwin

#1012 opened in alire-project/alire

5
Fund
1
…
11
12
13
14
15
© Polar Software Inc. 2025

Platform

Create an AccountProducts & SubscriptionsCheckoutsCustomer Portal

Company

VisionBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsContact