Alire

Alire

@alire-project

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

Issues looking for funding

xmlada build script fails on msys2

#1061 opened in alire-project/alire

1
Fund
Crate submission check enhancements
type: enhancement
area: backend

#624 opened in alire-project/alire

Fund
Cross toolchain selection breaks native get configuration
semver: minor

#1613 opened in alire-project/alire

2
Fund
Consider using github releases for msys2 initial download
type: enhancement
type: RFC

#555 opened in alire-project/alire

1
Fund
1
…
12
13
14
15
16
© Polar Software Inc. 2025

Platform

Create an AccountProducts & SubscriptionsCheckoutsCustomer Portal

Company

VisionBrand AssetsTerms of ServicePrivacy Policy

Community

Join our DiscordGitHubX / Twitter

Support

DocsContact