b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

gprbuild, gprbuild-boot: 22.0.0 -> 23.0.0

Browse source
This commit is contained in:
sternenseemann 2022-11-13 14:13:28 +01:00
parent 9a7a5256fd
commit e3ef549a59
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/development/tools/build-managers/gprbuild/boot.nix
View file

@ -7,14 +7,14 @@
}:
let
version = "22.0.0";
version = "23.0.0";
gprConfigKbSrc = fetchFromGitHub {
name = "gprconfig-kb-${version}-src";
owner = "AdaCore";
repo = "gprconfig_kb";
rev = "v${version}";
sha256 = "0zvd0v5cz0zd1hfnhdd91c6sr3bbv1w715j2gvzx3vxlpx1c2q4n";
sha256 = "1rhskq4r2plf3ia67k08misygnpr9knzw3kp3kyv5778lra8y6s2";
};
in
@ -27,7 +27,7 @@ stdenv.mkDerivation {
owner = "AdaCore";
repo = "gprbuild";
rev = "v${version}";
sha256 = "0rv0ha0kxzab5hhv0jzkjkmchhlvlx8fci8xalnngrgb9nd4r3v8";
sha256 = "1ciaq4nh98vd7r5i11v353c1ms9s5yph0yxk4fkryc6bvkm4666x";
};
nativeBuildInputs = [