···26}:
2728let
29- version = "1.15.0";
3031 # build stimuli file for PGO build and the script to generate it
32 # independently of the foot's build, so we can cache the result
···96 src = fetchFromGitea {
97 domain = "codeberg.org";
98 owner = "dnkl";
99- repo = pname;
100 rev = version;
101- hash = "sha256-ji0e5E2yy0wYbzw38nuQRoRcd83FsJh6E5TabtUP1g8=";
102 };
103104 depsBuildBuild = [
···26}:
2728let
29+ version = "1.15.1";
3031 # build stimuli file for PGO build and the script to generate it
32 # independently of the foot's build, so we can cache the result
···96 src = fetchFromGitea {
97 domain = "codeberg.org";
98 owner = "dnkl";
99+ repo = "foot";
100 rev = version;
101+ hash = "sha256-YCwmPSn+XtF7HkMOFJft7j/2vr+8UE59yu/iGZ1dT8A=";
102 };
103104 depsBuildBuild = [