gnat15Packages.gpr2 25.0.0 single
Framework for analyzing the GNAT Project (GPR) files
- Name
gpr2-25.0.0- Package set
- gnat15Packages
- Homepage
- https://github.com/AdaCore/gpr
- License
- Apache-2.0, GPL-3.0-only
- Source
- pkgs/development/ada-modules/gpr2/default.nix:61
- Derivation
/nix/store/dgmh4hpb5p0vpcfs5z8vkp35k4zx86jp-gpr2-25.0.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| heijligen | Thomas Heijligen | GitHub · src@posteo.de | listed on package |
Dependencies 9
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gnat15Packages.gnatcoll-core 25.0.0 | propagatedBuildInputs | 17 | single | |
| gnat15Packages.gnatcoll-gmp 25.0.0 | propagatedBuildInputs | 2 | single | |
| gnat15Packages.gnatcoll-iconv 25.0.0 | propagatedBuildInputs | 4 | single | |
| gnat15Packages.xmlada 25.0.0 | propagatedBuildInputs | 19 | single | |
| gnat15 15.3.0 | nativeBuildInputs | 21 | team-only | |
| gnat15Packages.gprbuild 25.0.0 | nativeBuildInputs | 18 | single | |
| which 2.25 | nativeBuildInputs | 69,127 | single | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gnat15Packages.gnatprove fsf-15_2025-06-10 | buildInputs | 0 | single |