Login

Alire

@alire-project

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

Issues looking for funding

[RFC] alr install for cross-workspace availability of heavy crates
type: feature
type: RFC

#482 opened in alire-project/alire

2
šŸ‘1
Fund
unclear error message
type: enhancement

#1087 opened in alire-project/alire

1
Fund
Simplify Boolean expression
type: enhancement

#1239 opened in alire-project/alire

1
Fund
Initialize libraries with nested test crate
type: enhancement

#1711 opened in alire-project/alire

Fund
Warn about unsupported platform for missing externals
type: enhancement

#1654 opened in alire-project/alire

Fund
alr exec does not pass escape codes to the child process

#1062 opened in alire-project/alire

1
šŸ‘1
Fund
Detect changes in manifests from linked dependencies
type: enhancement
cost: 2-medium

#752 opened in alire-project/alire

Fund
get gpr file from alire.toml via command line
type: feature

#1151 opened in alire-project/alire

9
Fund
Toolchain origin mix detector may have an uninitialized variable hidden bug
type: bug

#973 opened in alire-project/alire

Fund
Dependency Graph Extractor crate not working correctly

#1067 opened in alire-project/alire

3
Fund
Feature request: custom commands (extending Alire)

#1352 opened in alire-project/alire

3
Fund
Adding trusted sites
type: enhancement
cost: 1-low

#814 opened in alire-project/alire

2
Fund
Alternate test for crates that cannot be built on their own
type: enhancement
cost: 2-medium

#943 opened in alire-project/alire

Fund
Suggestion: --look= switch
type: enhancement

#1281 opened in alire-project/alire

4
Fund
[RFC] Explicitly document subcrates
type: feature
type: RFC

#1122 opened in alire-project/alire

3
Fund
alr init --in-place broken?
type: bug

#531 opened in alire-project/alire

3
Fund
Read-only mode of source code files in the cache
type: enhancement

#1668 opened in alire-project/alire

1
Fund
alire.ada.dev: no crate pages for external dependencies
area: website

#590 opened in alire-project/alire

Fund
Parameters for installing external crates
type: feature

#1582 opened in alire-project/alire

3
Fund
Proposal: distribute FSF SPARK with alr toolchain
type: enhancement
cost: 3-high

#791 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