Alire

Alire

@alire-project

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

Issues looking for funding

Alire doesn't support extending another project
type: enhancement

#1050 opened in alire-project/alire

10
Fund
How to explicitly declare to build an executable?

#997 opened in alire-project/alire

2
Fund
alr toolchain selection assistant hangs on Windows

#1088 opened in alire-project/alire

9
Fund
Unexpected file in index: .DS_Store.
type: enhancement

#1059 opened in alire-project/alire

4
Fund
alr exec does not pass escape codes to the child process

#1062 opened in alire-project/alire

1
👍1
Fund
A single dash in the command line causes a crash
cost: 1-low

#1038 opened in alire-project/alire

Fund
Uninstalling alire fails
os: Windows

#988 opened in alire-project/alire

1
Fund
Enhancement proposal for crate.gpr and crate_config.gpr.

#1183 opened in alire-project/alire

8
Fund
Alire release notifications and automatic updates
type: enhancement

#1029 opened in alire-project/alire

1
Fund
Prefer membership test to increase readability

#1240 opened in alire-project/alire

1
Fund
Add alr coverage testing to the GitHub workflows
type: enhancement
area: backend

#1115 opened in alire-project/alire

2
Fund
violation of restriction "No_Implementation_Pragmas" in *_config.ads

#1091 opened in alire-project/alire

3
Fund
please version bump, aws 22.0

#1079 opened in alire-project/alire

👍3
Fund
alr exec documentation improvements?
type: enhancement

#1068 opened in alire-project/alire

1
👍2
Fund
alr show --dependents does not handle abstract crates

#1194 opened in alire-project/alire

Fund
Split out alire-index-checks from alire-index
type: enhancement
area: backend

#1051 opened in alire-project/alire

Fund
Generate config file for use in shell-scripts or Makefiles

#1155 opened in alire-project/alire

13
Fund
alr toolchain accepts twice the same tool in the command line and eventually errs obscurely with an exception
cost: 0-trivial

#1052 opened in alire-project/alire

Fund
Error on first installation

#976 opened in alire-project/alire

6
Fund
Self-build generates wrong OS
cost: 0-trivial

#1053 opened in alire-project/alire

5
Fund
1
…
3
4
5
…
15
© Polar Software Inc. 2025

Platform

Create an AccountProducts & SubscriptionsCheckoutsCustomer Portal

Company

VisionBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsContact