nixpkgs/pkgs/development/ada-modules
2024-07-14 19:10:09 +08:00
..
gnatcoll
gnatprove treewide: sha256 -> hash attribute for fetchgit (manually) 2024-07-14 19:10:09 +08:00
gprbuild
xmlada