Nina Chlóe Kassandra Reiß 32633ed60b Shipping gnatprove doesn't work

2026-06-11 15:55:05 +02:00

.gitea/workflows

Ship gnatprove with package

2026-06-11 15:49:55 +02:00

src

Add Conversion from DDM to DD

2026-06-11 15:26:59 +02:00

.gitignore

Add gitignore

2026-06-10 11:16:31 +02:00

alire.toml

Shipping gnatprove doesn't work

2026-06-11 15:55:05 +02:00

grl.gpr

init

2026-06-10 10:46:39 +02:00

S

Description

No description provided

49 KiB

Languages

Ada 76.8%

Nix 14.8%

Python 8.4%