Alire

Alire

@alire-project

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

Issues looking for funding

Feature: ALR PUBLISH --UPDATE

#1730 opened in alire-project/alire

Fund
alr publish should run alr test rather than attempt to build
type: enhancement

#1785 opened in alire-project/alire

Fund
Allow --format with alr publish --status
type: enhancement

#1903 opened in alire-project/alire

Fund
Issues when using several alternatives for external dependency on a given OS
type: enhancement

#1709 opened in alire-project/alire

1
Fund
Several extractions of same pins results in problems

#1701 opened in alire-project/alire

Fund
New alr test with built-in runner

#1881 opened in alire-project/alire

Fund
[aarch64 musl] gprbuild: no archive builder in configuration

#1723 opened in alire-project/alire

2
Fund
Propose a template install documentation for crate's README

#1886 opened in alire-project/alire

Fund
Prefer membership test to increase readability

#1240 opened in alire-project/alire

1
Fund
During deployment, restart download if there was a (network) failure
type: enhancement

#1734 opened in alire-project/alire

3
Fund
Can't force post-fetch anymore

#1677 opened in alire-project/alire

2
Fund
Too long paths on Windows
type: enhancement

#1762 opened in alire-project/alire

Fund
Does v2.0.2 really need d3d12.dll?

#1805 opened in alire-project/alire

Fund
Alire Index: many crates don't have a website, but the repository could be used

#1678 opened in alire-project/alire

2
👍1
Fund
alr -r action post-fetch does not set any environment variables

#1682 opened in alire-project/alire

Fund
Documentation has bad link.
type: documentation
area: website

#1830 opened in alire-project/alire

Fund
Request: Make a package / toolchain for msys2

#1889 opened in alire-project/alire

Fund
-Wl,-gc-sections linker switch is never included

#1811 opened in alire-project/alire

Fund
Alire bug detected (Running alr run)

#1809 opened in alire-project/alire

Fund
There is no asdf plugin to install alire.

#1853 opened in alire-project/alire

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

Platform

Create an AccountProducts & SubscriptionsCheckoutsCustomer Portal

Company

VisionBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsContact