Alire

Alire

@alire-project

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

Subscriptions

Free

Free

Included

Public posts

Products

Donation

Pay what you want

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