Alire

Alire

@alire-project

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

Issues looking for funding

Alire documentation overhaul

#897 opened in alire-project/alire

1
Fund
Pinning with the command line a dependency wrongly complains about it already being a dependency
cost: 0-trivial
cost: 1-low

#917 opened in alire-project/alire

Fund
Detect bad macOS setups from Alire
type: enhancement
type: usability
os: macOS
help wanted

#944 opened in alire-project/alire

7
Fund
Update Policies document about test crates, demo crates, etc
type: documentation
cost: 0-trivial

#776 opened in alire-project/alire

👍1
Fund
[RFC] In manifest change log entries

#881 opened in alire-project/alire

Fund
Detect changes in manifests from linked dependencies
type: enhancement
cost: 2-medium

#752 opened in alire-project/alire

Fund
Toolchain origin mix detector may have an uninitialized variable hidden bug

#973 opened in alire-project/alire

Fund
Tags page in the website
area: website

#738 opened in alire-project/alire

2
👍1
Fund
Reject generic crate names that may conflict with subcrates
type: enhancement
cost: 0-trivial
cost: 1-low

#969 opened in alire-project/alire

👍1
Fund
Alternate test for crates that cannot be built on their own
type: enhancement
cost: 2-medium

#943 opened in alire-project/alire

Fund
Prefer membership test to increase readability

#1240 opened in alire-project/alire

1
Fund
CI Author author check doesn't support renames
area: backend

#830 opened in alire-project/alire

Fund
Error encountered when installing a crate: "Mismatched branch in checked out community index"

#945 opened in alire-project/alire

4
Fund
Documentation: Questions not answered yet.

#951 opened in alire-project/alire

8
Fund
Several crates per repository (monorepos)
type: RFC
type: usability

#737 opened in alire-project/alire

2
👍1
Fund
Reconsider blindly running actions by default
type: security

#990 opened in alire-project/alire

Fund
Cannot build alire 1.1.0 on Debian 10 (Buster)

#860 opened in alire-project/alire

3
Fund
Candidate system package count wrong
type: enhancement

#750 opened in alire-project/alire

1
Fund
alr run with ambiguous bins
cost: 0-trivial

#892 opened in alire-project/alire

1
Fund
gitignore have multiple entries

#828 opened in alire-project/alire

6
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