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.
This commit is contained in:
parent
269c2a2283
commit
edfba44b90
|
@ -13,8 +13,8 @@ let
|
|||
name = "gprconfig-kb-${version}-src";
|
||||
owner = "AdaCore";
|
||||
repo = "gprconfig_kb";
|
||||
rev = "v21.0.0"; # TODO(@sternenseemann): no 22.0.0 yet
|
||||
sha256 = "11qmzfdd0ipmhxl4k2hjidqc9i40bywrfkbiivd3lhscxca5pxpg";
|
||||
rev = "v${version}";
|
||||
sha256 = "0zvd0v5cz0zd1hfnhdd91c6sr3bbv1w715j2gvzx3vxlpx1c2q4n";
|
||||
};
|
||||
in
|
||||
|
||||
|
|
Loading…
Reference in a new issue