about summary refs log tree commit diff
path: root/pkgs/development/ada-modules/gnatprove
AgeCommit message (Collapse)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
2024-02-25gnatPackages: Add scope for all ada packagesThomas Heijligen1-0/+96
Ada depencencies musst be build with the same gnat version as the project. Use a namespace as preperation to build with different gnat versions. gprbuild and gnatprove are still globaly visable.