treewide: replace SRI hashes

2020-06-01 15:24:19 +02:00
parent 19dab239bb
commit b7ddbd52bd
51 changed files with 59 additions and 59 deletions
@@ -24,7 +24,7 @@ build-idris-package rec {
    owner = "steshaw";
    repo = "idris-sdl2";
    rev = version;
-    sha256 = "sha256:1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a";
+    sha256 = "0hqhg7l6wpkdbzrdjvrbqymmahziri07ba0hvbii7dd2p0h248fv";
  };

  meta = {