public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #122184 from divanorama/patch-3

Browse Source 
idrisPackages.sdl2: fix sources sha256
This commit is contained in:
Pavol Rusnak 2021-05-08 14:56:04 +02:00 committed by GitHub
commit 54fa457b25
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/idris-modules/sdl2.nix
View File

@ -12,8 +12,11 @@ build-idris-package rec {
idrisDeps = [ effects ]; idrisDeps = [ effects ];
extraBuildInputs = [ nativeBuildInputs = [
pkg-config pkg-config
];
extraBuildInputs = [
SDL2 SDL2
SDL2_gfx SDL2_gfx
]; ];
@ -24,7 +27,7 @@ build-idris-package rec {
owner = "steshaw"; owner = "steshaw";
repo = "idris-sdl2"; repo = "idris-sdl2";
rev = version; rev = version;
sha256 = "0hqhg7l6wpkdbzrdjvrbqymmahziri07ba0hvbii7dd2p0h248fv"; sha256 = "1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a";
}; };
meta = { meta = {