diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2020-06-01 10:59:41 +0200 |
|---|---|---|
| committer | Daiderd Jordan <daiderd@gmail.com> | 2020-06-01 15:24:19 +0200 |
| commit | b7ddbd52bd1ab9365436573c0c5b6d1edcc1919f (patch) | |
| tree | 4663b94e0a2c9a2e070b14884f674078e3f0d827 /pkgs/development/idris-modules | |
| parent | 19dab239bbbf26c5eb1694c4e4d4de473da99dc5 (diff) | |
treewide: replace SRI hashes
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/sdl2.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/sdl2.nix b/pkgs/development/idris-modules/sdl2.nix index 606b5a38a5f0f..2e1cdaa9be3ad 100644 --- a/pkgs/development/idris-modules/sdl2.nix +++ b/pkgs/development/idris-modules/sdl2.nix @@ -24,7 +24,7 @@ build-idris-package rec { owner = "steshaw"; repo = "idris-sdl2"; rev = version; - sha256 = "sha256:1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a"; + sha256 = "0hqhg7l6wpkdbzrdjvrbqymmahziri07ba0hvbii7dd2p0h248fv"; }; meta = { |