Alire

Alire

@alire-project

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

Issues looking for funding

Testsuite fails when run against alr built with alr build command

#1271 opened in alire-project/alire

1
Fund
Quantified Expressions not used when possible

#1237 opened in alire-project/alire

Fund
alr search should include external by default
type: enhancement

#1310 opened in alire-project/alire

1
👍1
Fund
Alire refuses to recognize system libgmp on Fedora
area: catalog contents

#1320 opened in alire-project/alire

3
Fund
Default style checks too pedantic for the general public

#1623 opened in alire-project/alire

2
Fund
alire.ada.dev: add link to corresponding license page in https://spdx.org/licenses

#1280 opened in alire-project/alire

3
Fund
Add category to crate information

#1277 opened in alire-project/alire

1
Fund
Suggestion for Alire.ada.dev: post page

#1300 opened in alire-project/alire

1
Fund
Manual workflow for expensive/online tests
area: backend

#1578 opened in alire-project/alire

Fund
Codebase improvements: Apply typing to many Standard.String objects

#1272 opened in alire-project/alire

1
Fund
Building alr on Windows includes the os_linux source directory

#1255 opened in alire-project/alire

4
Fund
"alr index --del"

#1311 opened in alire-project/alire

2
Fund
Trying to disable msys2 on first alr run will still trigger its installation

#1323 opened in alire-project/alire

Fund
Add user specified IDE or Editor during the initialization process

#1203 opened in alire-project/alire

6
👍1
Fund
Suggestion: --look= switch
type: enhancement

#1281 opened in alire-project/alire

4
Fund
Prefer membership test to increase readability

#1240 opened in alire-project/alire

1
Fund
Suggestion: Reduce use of ASCII

#1299 opened in alire-project/alire

Fund
ERROR: No index.toml file found in index

#1242 opened in alire-project/alire

6
Fund
Vocabulary
type: enhancement
type: documentation

#1200 opened in alire-project/alire

1
Fund
Maintain hardcoded info out-of-source in separate repo
type: enhancement
type: RFC

#1222 opened in alire-project/alire

1
Fund
1
…
4
5
6
…
15
© Polar Software Inc. 2025

Platform

Create an AccountProducts & SubscriptionsCheckoutsCustomer Portal

Company

VisionBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsContact