Alire

Alire

@alire-project

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

Issues looking for funding

Testsuite fails when run against alr built with alr build command

#1271 opened in alire-project/alire

1
Fund
Quantified Expressions not used when possible

#1237 opened in alire-project/alire

Fund
Accept '-' in crate names in CLI by noting that '_' is expected
type: enhancement

#1702 opened in alire-project/alire

Fund
alire seems to pick cached version of crates instead of exiting with error
type: bug

#1089 opened in alire-project/alire

4
Fund
Unexpected file in index: .DS_Store.
type: enhancement

#1059 opened in alire-project/alire

4
Fund
Non-recursive solver
type: refactor

#1504 opened in alire-project/alire

Fund
Command line arguments starting with '-' (dash)
type: bug
type: usability

#610 opened in alire-project/alire

Fund
Skip releases with undetected externals in alr test
type: enhancement

#362 opened in alire-project/alire

Fund
Missing executables in zipada=56.0.2
type: broken release

#869 opened in alire-project/alire

1
Fund
Feature request: maximally prefer UCRT libraries over all others in msys2

#1728 opened in alire-project/alire

4
Fund
Show pins without explicit dependency in graphs
type: enhancement
cost: 2-medium

#753 opened in alire-project/alire

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

#1668 opened in alire-project/alire

1
Fund
alr publish doesn't ask user for installation of external dependancies.
type: enhancement

#1679 opened in alire-project/alire

1
Fund
Running unit tests
type: feature

#496 opened in alire-project/alire

19
👍2
Fund
v1.0.0 build failure with FSF GCC 11.1.0

#729 opened in alire-project/alire

7
Fund
Please add pugi_xml binding

#213 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
Candidate system package count wrong
type: bug
type: enhancement

#750 opened in alire-project/alire

1
Fund
Building Crates in Nix

#1769 opened in alire-project/alire

3
Fund
Maintain hardcoded info out-of-source in separate repo
type: feature
type: enhancement
type: RFC

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