Alire

Alire

@alire-project

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

Issues looking for funding

Error if MacPorts installation not updated

#1418 opened in alire-project/alire

Fund
Add to crate naming policies to put the "lib" at the end
type: RFC
type: documentation

#1224 opened in alire-project/alire

1
Fund
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
Warn about unsupported platform for missing externals
type: enhancement

#1654 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
Use Templates_Parser for cleaner file generation
type: feature

#11 opened in alire-project/alire

1
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
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
Consider using github releases for msys2 initial download
type: enhancement
type: RFC

#555 opened in alire-project/alire

1
Fund
Split out alire-index-checks from alire-index
type: enhancement
area: backend

#1051 opened in alire-project/alire

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

#892 opened in alire-project/alire

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

#1755 opened in alire-project/alire

5
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