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