pkgs/development/ada-modules/gnatprove/
pkgs/development/ada-modules/ · 0 packages and modules · 1 open pull requests
Pull requests 1
gnatPackages.gnatprove: report unsupported GNAT via meta.problems
#574045 by zhmgczh · opened 2d ago · checks pass
Closed or merged in the synced window 2
gnat{,13,14,15,16}Packages: 25.0.0 -> 26.0.0, fix build
#521558 by sempiternal-aurora · closed 6w ago
Issues 0
None open.