Login

Alire

@alire-project

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

Issues looking for funding

Encoding problem in Windows 10
type: bug

#727 opened in alire-project/alire

4
Fund
xmlada build script fails on msys2

#1061 opened in alire-project/alire

1
Fund
Crate submission check enhancements
type: enhancement
area: backend

#624 opened in alire-project/alire

Fund
Cross toolchain selection breaks native get configuration
semver: minor

#1613 opened in alire-project/alire

1
Fund
Homebrew on macOS

#1172 opened in alire-project/alire

1
Fund
Need native ARM64 Linux toolchain

#1509 opened in alire-project/alire

12
Fund
Running 'alr with FOO --use https://bla.blou' raises PROGRAM_ERROR if FOO already pinnedI
type: bug

#1082 opened in alire-project/alire

1
Fund
Website: Display crate status for each tested platforms
type: feature
area: website

#184 opened in alire-project/alire

Fund
Consider using github releases for msys2 initial download
type: enhancement
type: RFC

#555 opened in alire-project/alire

1
Fund
Don't treat warnings as errors

#1386 opened in alire-project/alire

7
👍2
Fund
alr run with ambiguous bins
type: bug
cost: 0-trivial

#892 opened in alire-project/alire

1
Fund
1
…
11
12
13
14
15
© Polar Software Inc. 2024

Platform

Create an AccountProducts & SubscriptionsDonationsIssue Funding

Company

CareersBlogBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsFAQContact