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 pkgs/development: remove unused fetchpatch arguments 2024-05-24 02:53:57 +02:00
xmlada