fast-downward: 22.06.1 -> 22.12.0
This commit is contained in:
parent
8392158289
commit
470662f51b
1 changed files with 2 additions and 2 deletions
|
@ -9,13 +9,13 @@
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "fast-downward";
|
pname = "fast-downward";
|
||||||
version = "22.06.1";
|
version = "22.12.0";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "aibasel";
|
owner = "aibasel";
|
||||||
repo = "downward";
|
repo = "downward";
|
||||||
rev = "release-${version}";
|
rev = "release-${version}";
|
||||||
sha256 = "sha256-SBksyZoLR1MtyJUbGigGIbT72qVpN+nznU/bmJGYRz8=";
|
sha256 = "sha256-GwZ5BGzLRMgWNBaA7M2D2p9OxvdyWqm+sTwxGpcI/qY=";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ cmake python3.pkgs.wrapPython ];
|
nativeBuildInputs = [ cmake python3.pkgs.wrapPython ];
|
||||||
|
|
Loading…
Reference in a new issue