Alire

Alire

@alire-project

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

Issues looking for funding

Index-worthy projects
area: catalog contents

#193 opened in alire-project/alire

3
Fund
Dependencies libgpr, gnatcoll_gmp error while building
type: broken release

#771 opened in alire-project/alire

10
Fund
man page for alr

#376 opened in alire-project/alire

4
Fund
Simplify Boolean expression
type: enhancement

#1239 opened in alire-project/alire

1
Fund
alr test puts escape sequences in reports
type: regression
cost: 0-trivial

#831 opened in alire-project/alire

11
Fund
Official aarch64 build

#1666 opened in alire-project/alire

3
👍3
Fund
Rebuilding crates that should be cached
state: needs info

#1798 opened in alire-project/alire

Fund
Updating a crate that pins a crate that pins a missing crate missing feedback

#1715 opened in alire-project/alire

Fund
Incorrect error message when keys are not found
type: enhancement
type: usability

#1744 opened in alire-project/alire

1
Fund
alr init with project name being a keyword fails

#1321 opened in alire-project/alire

1
Fund
Overlapping cases in manifest don't err nor match

#1729 opened in alire-project/alire

2
Fund
alr publish --monitor

#1908 opened in alire-project/alire

Fund
alr publish --tar on Windows fails in step 5
state: needs info

#1216 opened in alire-project/alire

4
Fund
Please add pugi_xml binding
area: catalog contents

#213 opened in alire-project/alire

Fund
alire.ada.dev: no crate pages for external dependencies
area: website

#590 opened in alire-project/alire

Fund
Unit tests for selected subprograms
type: enhancement

#1900 opened in alire-project/alire

Fund
Building Crates in Nix

#1769 opened in alire-project/alire

3
Fund
Alr Edit But Detected

#1724 opened in alire-project/alire

2
Fund
Curl issue

#1543 opened in alire-project/alire

7
Fund
alr build runs post_fetch action
type: broken release
state: needs info

#1235 opened in alire-project/alire

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

Platform

Create an AccountProducts & SubscriptionsCheckoutsCustomer Portal

Company

VisionBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsContact