pkgs/development/ada-modules/
pkgs/development/ · 1 packages and modules · 3 open pull requests
Busy below
gnatprove 1 · gprbuild 1 · libadasat 1 · libmarkdown 1 · libprettier-ada 1 · libspawn 1 · libvss 1 · template-parser 1
Packages and modules 1
Pull requests 3
gnatPackages.gnatprove: report unsupported GNAT via meta.problems
#574045 by zhmgczh · opened 2d ago · checks pass
gcc, gnat, cc-wrapper: backport various fixes draft
#557566 by sempiternal-aurora · opened 7w ago · checks fail
[PoC] Packaging of Ada language server and others draft
#382408 by felixsinger · opened 20mo ago · checks pass
Closed or merged in the synced window 4
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.