Website:

Author:

• Paul Jarrett

Maintainer:

• Paul Jarrett <jarrett.paul.young@gmail.com>

License:

GPL-3.0-or-later

Version:

0.1.0

Alire CI:

Dependencies:

• gnatprove ^15.1.0

Dependents:

No dependents.

Badge: