Website:

https://github.com/AdaCore/SPARKlib

Author:

• AdaCore

Maintainers:

• chouteau@adacore.com
• sagaert@adacore.com

License:

Apache-2.0 WITH LLVM-exception

Version:

15.1.0

Alire CI:

Dependencies:

No dependency.

Dependents:

No dependents.

Badge: