···21}:
2223let
24- version = "1.6.4";
2526 # build stimuli file for PGO build and the script to generate it
27 # independently of the foot's build, so we can cache the result
28 # and avoid unnecessary rebuilds as it can take relatively long
29 # to generate
0030 stimulusGenerator = stdenv.mkDerivation {
31 pname = "foot-generate-alt-random-writes";
32 inherit version;
3334 src = fetchurl {
35 url = "https://codeberg.org/dnkl/foot/raw/tag/${version}/scripts/generate-alt-random-writes.py";
36- sha256 = "0pnc5nvqrbgx5618ylrkrs9fyxjh4jcsbryfk6vlnk8x4wyyaibz";
37 };
3839 dontUnpack = true;
···8788 src = fetchzip {
89 url = "https://codeberg.org/dnkl/${pname}/archive/${version}.tar.gz";
90- sha256 = "0awv53l3039s1rnkhdkzc0gwawlnd1m8cl4qhaijhxzzq68w0dfb";
91 };
9293 nativeBuildInputs = [
···21}:
2223let
24+ version = "1.7.0";
2526 # build stimuli file for PGO build and the script to generate it
27 # independently of the foot's build, so we can cache the result
28 # and avoid unnecessary rebuilds as it can take relatively long
29 # to generate
30+ #
31+ # For every bump, make sure that the hash is still accurate.
32 stimulusGenerator = stdenv.mkDerivation {
33 pname = "foot-generate-alt-random-writes";
34 inherit version;
3536 src = fetchurl {
37 url = "https://codeberg.org/dnkl/foot/raw/tag/${version}/scripts/generate-alt-random-writes.py";
38+ sha256 = "019bdiqfi3wx2lwrv3nhq83knc1r3lmqd5zgisa33wwshm2kyv7p";
39 };
4041 dontUnpack = true;
···8990 src = fetchzip {
91 url = "https://codeberg.org/dnkl/${pname}/archive/${version}.tar.gz";
92+ sha256 = "0w07fw7y31g891335ji3fm783r4dsk5py82qp0zx6z3rfr07paby";
93 };
9495 nativeBuildInputs = [