This website requires JavaScript.
Explore
Help
Sign In
gador
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
4854bedee5f53cb673ebf99a6d5641fb327c6bd3
nixpkgs
/
pkgs
/
development
/
ada-modules
T
History
sternenseemann
ebb16d0fe0
gnatPackages: AdaCore 2025 updates (
#352856
)
2024-12-21 21:24:19 +01:00
..
gnatcoll
gnatPackages.gnatcoll-*(db): 24.0.0 -> 25.0.0
2024-11-30 22:41:37 +01:00
gnatprove
gnatPackages.gpr2: 24.0.0 -> 25.0.0
2024-11-30 22:41:37 +01:00
gpr2
gnatPackages.gpr2: 24.0.0 -> 25.0.0
2024-11-30 22:41:37 +01:00
gprbuild
gnatPackages: AdaCore 2025 updates (
#352856
)
2024-12-21 21:24:19 +01:00
xmlada
…
sternenseemann