dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

gprbuild, gprbuild-boot: 21.0.0 -> 22.0.0

Browse Source
This commit is contained in:
sternenseemann 2021-11-01 12:57:38 +01:00 committed by sterni
parent 2458ae6a72
commit 7f96c6f037
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,13 +7,13 @@
}:
let
version = "21.0.0";
version = "22.0.0";
gprConfigKbSrc = fetchFromGitHub {
name = "gprconfig-kb-${version}-src";
owner = "AdaCore";
repo = "gprconfig_kb";
rev = "v${version}";
rev = "v21.0.0"; # TODO(@sternenseemann): no 22.0.0 yet
sha256 = "11qmzfdd0ipmhxl4k2hjidqc9i40bywrfkbiivd3lhscxca5pxpg";
};
in
@ -27,7 +27,7 @@ stdenv.mkDerivation {
owner = "AdaCore";
repo = "gprbuild";
rev = "v${version}";
sha256 = "1knpwasbrz6sxh3dhkc4izchcz4km04j77r4vxxhi23fbd8v1ynj";
sha256 = "0rv0ha0kxzab5hhv0jzkjkmchhlvlx8fci8xalnngrgb9nd4r3v8";
};
nativeBuildInputs = [