Alire

Alire

@alire-project

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

Issues looking for funding

alr doc a la cargo doc
type: RFC

#162 opened in alire-project/alire

1
Fund
Website: substring search
type: enhancement
area: website

#183 opened in alire-project/alire

2
Fund
Initialize libraries with nested test crate
type: enhancement

#1711 opened in alire-project/alire

Fund
Warn about unsupported platform for missing externals
type: enhancement

#1654 opened in alire-project/alire

Fund
[RFC] How to make "Alire aware" tools

#1802 opened in alire-project/alire

Fund
Show latest addition / updates on website

#1056 opened in alire-project/alire

2
👍2
Fund
Strangely formatted message in 80 columns: ◷ Searching... [...]

#1329 opened in alire-project/alire

1
Fund
Build flag

#952 opened in alire-project/alire

2
Fund
[RFC] Override a dependency version across the whole solution
type: enhancement
type: RFC
cost: 1-low
cost: 2-medium

#1112 opened in alire-project/alire

1
Fund
Building libadalang_tools fails

#1209 opened in alire-project/alire

1
Fund
Website: Tags not wrapping on tags page.

#1380 opened in alire-project/alire

Fund
Missing executables in zipada=56.0.2
type: broken release

#869 opened in alire-project/alire

1
Fund
Change warn: to warning:

#587 opened in alire-project/alire

1
👍1
Fund
[RFC] Compilers, cross-compilers, dependencies

#728 opened in alire-project/alire

2
Fund
Suggestion: implement command to print the environment needed for running installed crates

#1572 opened in alire-project/alire

1
Fund
alr publish doesn't ask user for installation of external dependancies.
type: enhancement

#1679 opened in alire-project/alire

1
Fund
Check that crate submissions don't include the alire folder
type: enhancement
area: backend

#384 opened in alire-project/alire

Fund
Toolchain kind detection is misclassifying alire-provided toolchains
cost: 0-trivial

#930 opened in alire-project/alire

Fund
Alr command line help needs help

#1150 opened in alire-project/alire

2
Fund
Proposal: distribute FSF SPARK with alr toolchain
type: enhancement
cost: 3-high

#791 opened in alire-project/alire

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

Platform

Create an AccountProducts & SubscriptionsCheckoutsCustomer Portal

Company

VisionBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsContact