Login

Alire

@alire-project

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

Issues looking for funding

Alire documentation overhaul

#897 opened in alire-project/alire

1
Fund
alr search should include external by default
type: enhancement

#1310 opened in alire-project/alire

1
👍1
Fund
Support for Apple Silicon
type: feature
semver: minor

#1630 opened in alire-project/alire

👍2
Fund
Documentation mentions toolchain install option, but it doesn't appear to be supported.
type: documentation

#1741 opened in alire-project/alire

1
Fund
Check for -dev in versions in the publishing assistant
type: enhancement

#1223 opened in alire-project/alire

Fund
alr build always builds all targets
type: enhancement
cost: 1-low

#698 opened in alire-project/alire

4
Fund
Incorrect error message when keys are not found
type: enhancement
type: usability

#1744 opened in alire-project/alire

1
Fund
Refactor functionality from alr-* into alire-*
type: enhancement

#114 opened in alire-project/alire

Fund
Alire doesn't see symbolic link to crate file in local index

#254 opened in alire-project/alire

Fund
Two alr processes in the same folder
type: enhancement

#1670 opened in alire-project/alire

1
Fund
gnat_avr_elf compiler description says it's a RISC-V compiler?

#1531 opened in alire-project/alire

1
Fund
CI Author author check doesn't support renames
type: bug
area: backend

#830 opened in alire-project/alire

Fund
Auto alr update on changes of linked manifests
type: bug
type: usability

#1662 opened in alire-project/alire

Fund
Several crates per repository (monorepos)
type: feature
type: RFC
type: usability

#737 opened in alire-project/alire

2
👍1
Fund
Missing bash autocomplete features
type: enhancement

#552 opened in alire-project/alire

Fund
Fast syntactic check
type: feature
cost: 1-low

#733 opened in alire-project/alire

Fund
Alr Build on Ubuntu 18.04 with gnat-7.5.0 on ARMv8
type: enhancement

#889 opened in alire-project/alire

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

#1755 opened in alire-project/alire

5
Fund
Substitutable dependencies
type: RFC
type: regression

#106 opened in alire-project/alire

2
Fund
Testsuite failures on aarch64-apple-darwin

#1012 opened in alire-project/alire

5
Fund
1
…
7
8
9
…
15
© Polar Software Inc. 2024

Platform

Create an AccountProducts & SubscriptionsDonationsIssue Funding

Company

CareersBlogBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsFAQContact