Login

Alire

@alire-project

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

Subscriptions

Free

Free
Public posts

Crowdfunded Issues

View all
Running unit tests
type: feature

#496 opened in alire-project/alire

19
👍2
Fund
Generate config file for use in shell-scripts or Makefiles
type: feature

#1155 opened in alire-project/alire

13
Fund
alr test puts escape sequences in reports
type: bug
type: regression
cost: 0-trivial

#831 opened in alire-project/alire

11
Fund
Dependencies libgpr, gnatcoll_gmp error while building
type: broken release

#771 opened in alire-project/alire

10
Fund
Alire doesn't support extending another project
type: enhancement

#1050 opened in alire-project/alire

10
Fund
alr toolchain selection assistant hangs on Windows

#1088 opened in alire-project/alire

9
Fund
Don't treat warnings as errors

#1386 opened in alire-project/alire

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

#1151 opened in alire-project/alire

9
Fund
Documentation: Questions not answered yet.

#951 opened in alire-project/alire

8
Fund
Enhancement proposal for crate.gpr and crate_config.gpr.

#1183 opened in alire-project/alire

8
Fund
© Polar Software Inc. 2024

Platform

Create an AccountProducts & SubscriptionsDonationsIssue Funding

Company

CareersBlogBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsFAQContact