Nina Chlóe Kassandra Reiß 5f4923a127 Install gnatprove systemwide

2026-06-11 15:56:00 +02:00

.gitea/workflows

Install gnatprove systemwide

2026-06-11 15:56:00 +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%