Alire

Alire

@alire-project

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

Issues looking for funding

Removing a configured local index from disk prevents using alr
type: bug

#174 opened in alire-project/alire

1
Fund
How to explicitly declare to build an executable?

#997 opened in alire-project/alire

2
Fund
Support for Apple Silicon
type: feature
semver: minor

#1630 opened in alire-project/alire

👍2
Fund
alr publish requires anonymous git access in origin
type: enhancement

#1219 opened in alire-project/alire

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

#1701 opened in alire-project/alire

Fund
Adding knowledge of libc-variant to alire
type: feature
type: RFC

#1713 opened in alire-project/alire

8
Fund
Building libadalang_tools fails

#1209 opened in alire-project/alire

1
Fund
Have a way to add build switches instead of just replacing them
type: feature

#1494 opened in alire-project/alire

Fund
Manual workflow for expensive/online tests
area: backend

#1578 opened in alire-project/alire

Fund
Two alr processes in the same folder
type: enhancement

#1670 opened in alire-project/alire

1
Fund
Overlapping cases in manifest don't err nor match
type: bug

#1729 opened in alire-project/alire

2
Fund
[RFC] Compilers, cross-compilers, dependencies

#728 opened in alire-project/alire

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

#830 opened in alire-project/alire

Fund
"path" property didn't make to new index
type: regression

#178 opened in alire-project/alire

Fund
alr should return an error status to the shell when it fails

#1226 opened in alire-project/alire

1
Fund
Reconsider blindly running actions by default
type: feature
type: security

#990 opened in alire-project/alire

Fund
On macOS, download appropriate alr binary
area: website

#1672 opened in alire-project/alire

Fund
Structured output
type: feature
cost: 2-medium
semver: minor

#1600 opened in alire-project/alire

Fund
Alr Edit But Detected
type: bug

#1724 opened in alire-project/alire

2
Fund
Curl issue
type: bug

#1543 opened in alire-project/alire

7
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