Alire

Alire

@alire-project

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

Issues looking for funding

Allow running "alr publish" in msys or mingw shell
type: bug
state: needs info

#1215 opened in alire-project/alire

2
Fund
Alr 1.1.0-rc1, macOS, Big Sur issues: Quarantine and Outdated custom indexes cause misleading advice
type: bug

#796 opened in alire-project/alire

6
Fund
Update Policies document about test crates, demo crates, etc
type: documentation
cost: 0-trivial

#776 opened in alire-project/alire

👍1
Fund
Initialize libraries with nested test crate
type: enhancement

#1711 opened in alire-project/alire

Fund
Package Alire in Winget
area: backend

#1665 opened in alire-project/alire

1
Fund
alr run does not accept scenario variables

#722 opened in alire-project/alire

Fund
[RFC] In manifest change log entries
type: feature

#881 opened in alire-project/alire

Fund
Use release proxies in lockfile instead of full releases
type: enhancement
cost: 3-high

#724 opened in alire-project/alire

👍1
Fund
Improve documentation about version sets
type: documentation

#1187 opened in alire-project/alire

Fund
Update Policy to clarify withdrawing/superseding of releases

#427 opened in alire-project/alire

Fund
pinning a crate in a remote monorepo (i.e., using --use=URL) does not setup GPR_PROJECT_PATH
type: bug

#1552 opened in alire-project/alire

3
Fund
Suggestion: implement command to print the environment needed for running installed crates

#1572 opened in alire-project/alire

1
Fund
Interactive command-line
type: feature
type: usability
cost: 4-extreme
semver: major

#1601 opened in alire-project/alire

Fund
Obstacles to the generation of Debian packages
type: feature
os: Linux

#1556 opened in alire-project/alire

Fund
Publishing a local tar file on Windows (without Msys2) fails

#632 opened in alire-project/alire

1
Fund
Default build using GNAT Pro 23.0 fails

#1201 opened in alire-project/alire

Fund
Obscure message "No release visited in round 3"
type: bug
state: needs info

#1520 opened in alire-project/alire

3
Fund
Script to locally test releases on CI dockers
type: feature

#161 opened in alire-project/alire

👍1
Fund
Proper human text management
type: enhancement
cost: 4-extreme
cost: 3-high
type: refactor

#1602 opened in alire-project/alire

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

#791 opened in alire-project/alire

1
Fund
1
2
3
4
5
…
15
© Polar Software Inc. 2024

Platform

Create an AccountProducts & SubscriptionsDonationsIssue Funding

Company

CareersBlogBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsFAQContact