Login

Alire

@alire-project

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

Issues looking for funding

Quantified Expressions not used when possible

#1237 opened in alire-project/alire

Fund
alr toolchain selection assistant hangs on Windows

#1088 opened in alire-project/alire

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

#917 opened in alire-project/alire

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

#831 opened in alire-project/alire

11
Fund
documentation of alr toolchain --uninstall misses argument

#985 opened in alire-project/alire

2
Fund
Unexpected file in index: .DS_Store.
type: enhancement

#1059 opened in alire-project/alire

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

#1280 opened in alire-project/alire

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

#776 opened in alire-project/alire

👍1
Fund
Gprbuild confusion between normal & external versions

#1548 opened in alire-project/alire

1
👍1
Fund
Several extractions of same pins results in problems
type: bug

#1701 opened in alire-project/alire

Fund
[RFC] In manifest change log entries
type: feature

#881 opened in alire-project/alire

Fund
alr doesn't find gprbuild
type: bug

#873 opened in alire-project/alire

4
👍1
Fund
Website: Tags not wrapping on tags page.

#1380 opened in alire-project/alire

Fund
Manifest format: multiple commands in a single action definition
type: feature
type: enhancement
type: usability

#538 opened in alire-project/alire

Fund
Prefer membership test to increase readability

#1240 opened in alire-project/alire

1
Fund
Need environment variable pointing to master project directory

#1669 opened in alire-project/alire

2
Fund
nightly build depends on glibc >= 2.32 and <= 2.34, which are not available on Ubuntu 20.04

#1526 opened in alire-project/alire

2
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
Missing bash autocomplete features
type: enhancement

#552 opened in alire-project/alire

Fund
Is there a schema available for the Alire Toml?
type: documentation

#1755 opened in alire-project/alire

5
Fund
1
…
10
11
12
…
15
© Polar Software Inc. 2024

Platform

Create an AccountProducts & SubscriptionsDonationsIssue Funding

Company

CareersBlogBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsFAQContact