nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-21 03:25:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
45301bd77d
nixpkgs/pkgs/development/tools/build-managers/gprbuild
History
sternenseemann edfba44b90 gprbuild, gprbuild-boot: bump gprconfig_kb to 22.0.0 
gprconfig_kb finally also saw a new release, so it matches the gprbuild
version again.
2021-11-16 00:25:34 +01:00
..
boot.nix gprbuild, gprbuild-boot: bump gprconfig_kb to 22.0.0 2021-11-16 00:25:34 +01:00
default.nix
gpr-project-path-hook.sh
nixpkgs-gnat.xml