nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 18:33:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
7b560e9728
nixpkgs/pkgs/development/tools/build-managers/gprbuild
History
sternenseemann e3ef549a59 gprbuild, gprbuild-boot: 22.0.0 -> 23.0.0
2022-11-16 12:42:27 +01:00
..
boot.nix gprbuild, gprbuild-boot: 22.0.0 -> 23.0.0 2022-11-16 12:42:27 +01:00
default.nix
gpr-project-path-hook.sh
nixpkgs-gnat.xml