Website:

Author:

• docandrew

Maintainer:

• docandrew <jonfandrew@fastmail.com>

License:

MIT OR Apache-2.0 WITH LLVM-exception

Version:

0.2.0

Alire CI:

Dependencies:

• gnatprove ^15.1.0

Dependents:

No dependents.

Badge: