Alire

Alire

@alire-project

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

Issues looking for funding

Alire book
type: documentation

#368 opened in alire-project/alire

4
Fund
alr update should report the failed crate name when something goes wrong
type: enhancement
type: usability

#378 opened in alire-project/alire

Fund
Use some Spawn_With_Environment for spawns
type: enhancement

#474 opened in alire-project/alire

Fund
ncursesada crate release for OpenSUSE

#414 opened in alire-project/alire

5
Fund
List of Debian Ada packages for possible indexing as system crates
area: catalog contents

#314 opened in alire-project/alire

Fund
alr index and priority

#370 opened in alire-project/alire

1
Fund
Internationalization

#179 opened in alire-project/alire

Fund
Alire doesn't see symbolic link to crate file in local index

#254 opened in alire-project/alire

Fund
External crates which are provided natively by a particular OS

#1673 opened in alire-project/alire

1
Fund
Remove global states
type: enhancement

#160 opened in alire-project/alire

Fund
Prefer membership test to increase readability

#1240 opened in alire-project/alire

1
Fund
Calling alr --help gives a non-zero exit status

#1206 opened in alire-project/alire

1
Fund
Running unit tests

#496 opened in alire-project/alire

19
👍2
Fund
Passing target-specific scenario variables to gprbuild

#235 opened in alire-project/alire

2
Fund
init --template

#8 opened in alire-project/alire

2
Fund
auto-gpr-with: only with the project files of direct dependencies
type: enhancement
type: usability

#469 opened in alire-project/alire

Fund
License compatibility

#7 opened in alire-project/alire

2
Fund
gentoo portage

#23 opened in alire-project/alire

1
👍2
Fund
Script to locally test releases on CI dockers

#161 opened in alire-project/alire

👍1
Fund
Substitutable dependencies
type: RFC
type: regression

#106 opened in alire-project/alire

2
Fund
1
2
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