Website:

Author:

• AdaCore

Maintainer:

• chouteau@adacore.com

License:

GPL-3.0-or-later WITH GCC-exception-3.1

Version:

25.0.0

Alire CI:

Dependencies:

No dependency.

Dependents:

No dependents.

Badge: