Alire

Alire

@alire-project

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

Issues looking for funding

database file for <dependency> does not exist ... could not find database

#747 opened in alire-project/alire

7
Fund
alire seems to pick cached version of crates instead of exiting with error

#1089 opened in alire-project/alire

4
Fund
Adding knowledge of libc-variant to alire
type: RFC

#1713 opened in alire-project/alire

8
Fund
Package Alire in Winget
area: backend

#1665 opened in alire-project/alire

1
Fund
Dependency Graph Extractor crate not working correctly

#1067 opened in alire-project/alire

3
Fund
Identify global variables or have settings unset both
type: enhancement

#1681 opened in alire-project/alire

1
Fund
alr build always builds all targets
type: enhancement
cost: 1-low

#698 opened in alire-project/alire

4
Fund
Use tests rather than plain build during alr publish
type: enhancement

#1905 opened in alire-project/alire

Fund
Allow alr printenv to succeed outside of a crate
type: enhancement

#1060 opened in alire-project/alire

1
Fund
Interactive Init
type: enhancement

#1204 opened in alire-project/alire

2
Fund
Should the Windows install add Alire to PATH?

#1376 opened in alire-project/alire

👍2
Fund
GPRless crates
type: RFC

#627 opened in alire-project/alire

👍1
Fund
Limit the number of concurrent processes when doing alr install
type: enhancement

#1898 opened in alire-project/alire

Fund
Alr Build on Ubuntu 18.04 with gnat-7.5.0 on ARMv8
type: enhancement

#889 opened in alire-project/alire

7
Fund
alr overrides the git from PATH with the MSYS2 version

#1821 opened in alire-project/alire

Fund
On macOS, download appropriate alr binary
area: website

#1672 opened in alire-project/alire

2
Fund
manifest_version in alire.toml to allow ignoring new unknown fields

#1907 opened in alire-project/alire

Fund
Specifying a branch/commit when adding an index from a private git repo using ssh fails
type: regression

#1897 opened in alire-project/alire

Fund
Proper human text management
type: enhancement
cost: 4-extreme
cost: 3-high
type: refactor

#1602 opened in alire-project/alire

Fund
Suggestion: Crate annotations

#1269 opened in alire-project/alire

Fund
1
…
7
8
9
…
16
© Polar Software Inc. 2025

Platform

Create an AccountProducts & SubscriptionsCheckoutsCustomer Portal

Company

VisionBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsContact