pyrox.dev
fast-downward: 22.12.0 -> 23.06.0
+2
-2
pkgs/applications/science/logic/fast-downward/default.nix
+2
-2
pkgs/applications/science/logic/fast-downward/default.nix
···
9
10
stdenv.mkDerivation rec {
11
pname = "fast-downward";
12
-
version = "22.12.0";
13
14
src = fetchFromGitHub {
15
owner = "aibasel";
16
repo = "downward";
17
rev = "release-${version}";
18
-
sha256 = "sha256-GwZ5BGzLRMgWNBaA7M2D2p9OxvdyWqm+sTwxGpcI/qY=";
19
};
20
21
nativeBuildInputs = [ cmake python3.pkgs.wrapPython ];
···
9
10
stdenv.mkDerivation rec {
11
pname = "fast-downward";
12
+
version = "23.06.0";
13
14
src = fetchFromGitHub {
15
owner = "aibasel";
16
repo = "downward";
17
rev = "release-${version}";
18
+
sha256 = "sha256-yNaMyS47yxc/p5Rs/kHwD/pgjGXnHBdybYdo1GIEmA4=";
19
};
20
21
nativeBuildInputs = [ cmake python3.pkgs.wrapPython ];