diff --git a/pkgs/development/idris-modules/array.nix b/pkgs/development/idris-modules/array.nix
index a35b9c5be36a..d31482cf68ed 100644
--- a/pkgs/development/idris-modules/array.nix
+++ b/pkgs/development/idris-modules/array.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "idris-hackers";
     repo = "idris-array";
     rev = "eb5c034d3c65b5cf465bd0715e65859b8f69bf15";
-    sha256 = "148dnyd664vnxi04zjsyjbs1y51dq0zz98005q9c042k4jcfpfjh";
+    hash = "sha256-ULrrmCRTEMASLgCg9D/ALRQf9JJey09A7HYTY5q3DZE=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/bi.nix b/pkgs/development/idris-modules/bi.nix
index 9ea6004049d7..9d8dfeee623e 100644
--- a/pkgs/development/idris-modules/bi.nix
+++ b/pkgs/development/idris-modules/bi.nix
@@ -19,7 +19,7 @@ build-idris-package {
     owner = "sbp";
     repo = "idris-bi";
     rev = "6bd90fb30b06ab02438efb5059e2fc699fdc7787";
-    sha256 = "1px550spigl8k1m1r64mjrw7qjvipa43xy95kz1pb5ibmy84d6r3";
+    hash = "sha256-I5tGkK8rlnXDnyX5Poi6cUt8eJaVmBxqmIi+eDUopd8=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/bifunctors.nix b/pkgs/development/idris-modules/bifunctors.nix
index 74ea6ece78bb..e7bdd7244263 100644
--- a/pkgs/development/idris-modules/bifunctors.nix
+++ b/pkgs/development/idris-modules/bifunctors.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "japesinator";
     repo = "Idris-Bifunctors";
     rev = "be7b8bde88331ad3af87e5c0a23fc0f3d52f3868";
-    sha256 = "0cfp58lhm2g0g1vrpb0mh71qb44n2yvg5sil9ndyf2sqd5ria6yq";
+    hash = "sha256-2BsVc2lYC+ebTTTq8rYXlpCFw4EVrJt3eOCJCikq1zE=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/bytes.nix b/pkgs/development/idris-modules/bytes.nix
index b14ab358b0ff..5f87e8d34eb1 100644
--- a/pkgs/development/idris-modules/bytes.nix
+++ b/pkgs/development/idris-modules/bytes.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "ziman";
     repo = "idris-bytes";
     rev = "c0ed9db526d4529780f9d7d2636a40faa07661a5";
-    sha256 = "1xyb7k0mrk5imjf5jr2gvqwvasbfy6j4lxvz99r9icfz7crz8dfp";
+    hash = "sha256-1zX0MzvfsZhySn93SqTxbmm1Od5PZFmcrLHMXME8y/c=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/canvas.nix b/pkgs/development/idris-modules/canvas.nix
index aabce4535d21..efd2e5781268 100644
--- a/pkgs/development/idris-modules/canvas.nix
+++ b/pkgs/development/idris-modules/canvas.nix
@@ -13,7 +13,7 @@ build-idris-package {
     owner = "JinWuZhao";
     repo = "idriscanvas";
     rev = "2957c78c0721ec3afaee9d64e051a8f8d9b6f426";
-    sha256 = "0jirkqciv3j1phpm2v6fmch40b5a01rmqdng16y8mihq1wb70ayy";
+    hash = "sha256-3itwFg8Yxoq8Cc82XHMAqixAIKvObFEvvEGOHRmeOUo=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/categories.nix b/pkgs/development/idris-modules/categories.nix
index d26e7daebd98..c7823824fb07 100644
--- a/pkgs/development/idris-modules/categories.nix
+++ b/pkgs/development/idris-modules/categories.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "danilkolikov";
     repo = "categories";
     rev = "a1e0ac0f0da2e336a7d3900051892ff7ed504c35";
-    sha256 = "1bbmm8zif5d5wckdaddw6q3c39w6ms1cxrlrmkdn7bik88dawff2";
+    hash = "sha256-wjmuGkIzrmPbrJnmzoKuhqfBBja8NdUm46UVFz+qda0=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/coda.nix b/pkgs/development/idris-modules/coda.nix
index 9fde026cee7c..43bffa900bf1 100644
--- a/pkgs/development/idris-modules/coda.nix
+++ b/pkgs/development/idris-modules/coda.nix
@@ -13,7 +13,7 @@ build-idris-package {
     owner = "ostera";
     repo = "idris-coda";
     rev = "0d8b29b7b73aa1ea80bf216e5e6dea5e81156e32";
-    sha256 = "07wps3pyp4ph0vj3640x561gkjkbcdq1if9h6sjjb30924sbdxfg";
+    hash = "sha256-z/W2NBEJjCWlNjC5GHBja8r5gikdEDPkBvCS6+/Qlx8=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/comonad.nix b/pkgs/development/idris-modules/comonad.nix
index 517f934a6d64..9dc1f219db39 100644
--- a/pkgs/development/idris-modules/comonad.nix
+++ b/pkgs/development/idris-modules/comonad.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "vmchale";
     repo = "comonad";
     rev = "23282592d4506708bdff79bfe1770c5f7a4ccb92";
-    sha256 = "0iiknx6gj4wr9s59iz439c63h3887pilymxrc80v79lj1lsk03ac";
+    hash = "sha256-TA0wNQ2SprMBYrlXT+M9CA04DEuD/JiKTpkT+Uy3M0Y=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/composition.nix b/pkgs/development/idris-modules/composition.nix
index 834e135a81e2..40d202be5558 100644
--- a/pkgs/development/idris-modules/composition.nix
+++ b/pkgs/development/idris-modules/composition.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "vmchale";
     repo = "composition";
     rev = "8f05e8db750793a9992b315dc0a2c327b837ec8b";
-    sha256 = "05424xzxx6f3ig0ravib15nr34nqvaq8spcj6b1512raqrvkkay8";
+    hash = "sha256-yKs5d8Yqi1DCMpJdjbDa2JKRbQkrbpXBi8OZ3n8nghQ=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/config.nix b/pkgs/development/idris-modules/config.nix
index 9e22601f081e..087726f56e75 100644
--- a/pkgs/development/idris-modules/config.nix
+++ b/pkgs/development/idris-modules/config.nix
@@ -22,7 +22,7 @@ build-idris-package {
     owner = "benclifford";
     repo = "idris-config";
     rev = "92f98652f5cb06a76c47809f16c661ec6cf11048";
-    sha256 = "1w2w2l4drvkf8mdzh3lwn6l5lnkbxlx9p22s7spw82n5s4wib6c9";
+    hash = "sha256-iZkVOdHFCsSvPlqImzrta1paqLGcDvhbRW7u3AgVXPA=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/console.nix b/pkgs/development/idris-modules/console.nix
index c3cc91eedc95..ff466635641c 100644
--- a/pkgs/development/idris-modules/console.nix
+++ b/pkgs/development/idris-modules/console.nix
@@ -20,7 +20,7 @@ build-idris-package {
     owner = "pierrebeaucamp";
     repo = "idris-console";
     rev = "14b6bd6bf6bd78dd3935e3de12e16f8ee41e29e4";
-    sha256 = "0cn4fwnf3sg6269pbfbhnmsvyaya4d8479n2hy039idxzzkxw0yb";
+    hash = "sha256-ywPe5/+9xTSAh8KmQ1Ajyiu/dbVwuXWTEebp4Sx3xDI=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/containers.nix b/pkgs/development/idris-modules/containers.nix
index d0b016d3e249..687e97b9a6b9 100644
--- a/pkgs/development/idris-modules/containers.nix
+++ b/pkgs/development/idris-modules/containers.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "jfdm";
     repo = "idris-containers";
     rev = "fb96aaa3f40faa432cd7a36d956dbc4fe9279234";
-    sha256 = "0vyjadd9sb8qcbzvzhnqwc8wa7ma770c10xhn96jsqsnzr81k52d";
+    hash = "sha256-TZQZUP5WYy1NsrCDwMA5qh7FEePYwr//YhgtnVpT0m8=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/cube.nix b/pkgs/development/idris-modules/cube.nix
index 23934471dcb2..15c089aa0e2f 100644
--- a/pkgs/development/idris-modules/cube.nix
+++ b/pkgs/development/idris-modules/cube.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "aatxe";
     repo = "cube.idr";
     rev = "edf66d82b3a363dc65c6f5416c9e24e746bad71e";
-    sha256 = "11k45j0b4qabj6zhwjvynyj56nmssf7d4fnkv66bd2w1pxnshzxg";
+    hash = "sha256-r3+obb+Bi7aM2dM60o7TulpTpLd+Sw6/kUthsoAsZIY=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/derive.nix b/pkgs/development/idris-modules/derive.nix
index 7a36001be9de..b578b988bcea 100644
--- a/pkgs/development/idris-modules/derive.nix
+++ b/pkgs/development/idris-modules/derive.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "david-christiansen";
     repo = "derive-all-the-instances";
     rev = "0a9a5082d4ab6f879a2c141d1a7b645fa73fd950";
-    sha256 = "06za15m1kv9mijzll5712crry4iwx3b0fjv76gy9vv1p10gy2g4m";
+    hash = "sha256-lTzhHwg37J38M2dLB9boPBKfMxPhFEq/jDXtGWoJ6hs=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/dict.nix b/pkgs/development/idris-modules/dict.nix
index f803f7f3fe33..c5ed3f8fc5af 100644
--- a/pkgs/development/idris-modules/dict.nix
+++ b/pkgs/development/idris-modules/dict.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "be5invis";
     repo = "idris-dict";
     rev = "dddc7c9f45e079b151ee03c9752b968ceeab9dab";
-    sha256 = "18riq40vapg884y92w10w51j4896ah984zm5hisfv1sm9qbgx8ii";
+    hash = "sha256-MaL+Fk5Vh+10hKV+ghJUJiEiQ+EgcJE8QehdtQHBMaM=";
   };
 
   postUnpack = ''
diff --git a/pkgs/development/idris-modules/dom.nix b/pkgs/development/idris-modules/dom.nix
index bcc28b5dba6a..63b8df5fa6cd 100644
--- a/pkgs/development/idris-modules/dom.nix
+++ b/pkgs/development/idris-modules/dom.nix
@@ -20,7 +20,7 @@ build-idris-package {
     owner = "pierrebeaucamp";
     repo = "idris-dom";
     rev = "6e5a2d143f62ef422358924ee7db6e8147cdc531";
-    sha256 = "16z9mykw2d9rjikn07kd6igb53jgaqi8zby4nc4n0gmplmhwdx4x";
+    hash = "sha256-nfTGYaW3PmAJs8SvjyJWT46yXjRtHmBnlDk1waev6Zs=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/electron.nix b/pkgs/development/idris-modules/electron.nix
index a94526d6b0d2..74ae1522dcac 100644
--- a/pkgs/development/idris-modules/electron.nix
+++ b/pkgs/development/idris-modules/electron.nix
@@ -20,7 +20,7 @@ build-idris-package {
     owner = "jheiling";
     repo = "idris-electron";
     rev = "f0e86f52b8e5a546a2bf714709b659c1c0b04395";
-    sha256 = "1rpa7yjvfpzl06h0qbk54jd2n52nmgpf7nq5aamcinqh7h5gbiwn";
+    hash = "sha256-lsf1CjwQ28iqUgXb4+6rVhQrmiRlLgygAfRft6U/6uY=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/eternal.nix b/pkgs/development/idris-modules/eternal.nix
index de52277821ce..2912228b1690 100644
--- a/pkgs/development/idris-modules/eternal.nix
+++ b/pkgs/development/idris-modules/eternal.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "Heather";
     repo = "Control.Eternal.Idris";
     rev = "2f84b0dd49a7a29a2f852ba96cabfe8322e0852b";
-    sha256 = "1x8cwngiqi05f3wll0niznm47jj2byivx4mh5xf4sb47kciwkxvs";
+    hash = "sha256-evfJI5uHLE1cL7CSvqNfQspDqv3RAkr5cAVEHJ/lDPU=";
   };
 
   postUnpack = ''
diff --git a/pkgs/development/idris-modules/farrp.nix b/pkgs/development/idris-modules/farrp.nix
index 19e3edd3bb90..ef45d2f25f0e 100644
--- a/pkgs/development/idris-modules/farrp.nix
+++ b/pkgs/development/idris-modules/farrp.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "lambda-11235";
     repo = "FarRP";
     rev = "d592957232968743f8862e49d5a8d52e13340444";
-    sha256 = "1zrf750d7x1cz7kkgcx4ipa87hkg10adwii4qqvz9vpjap7vh7h0";
+    hash = "sha256-AB64z1Xy7vQ3xiRG3hQIb8KD1I2kszfn+Sz000A5Lv8=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/free.nix b/pkgs/development/idris-modules/free.nix
index 38a71bdc116e..08fd76aaca97 100644
--- a/pkgs/development/idris-modules/free.nix
+++ b/pkgs/development/idris-modules/free.nix
@@ -13,7 +13,7 @@ build-idris-package {
     owner = "idris-hackers";
     repo = "idris-free";
     rev = "919950fb6a9d97c139c2d102402fec094a99c397";
-    sha256 = "1n4daf1acjkd73an4m31yp9g616crjb7h5z02f1gj29wm3dbx5s7";
+    hash = "sha256-R5e+2qg8CfmCE+AXeJbMzATz0vVhVGLVOG1KpoJTjdg=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/fsm.nix b/pkgs/development/idris-modules/fsm.nix
index 047b2f3d513b..8764e101de9c 100644
--- a/pkgs/development/idris-modules/fsm.nix
+++ b/pkgs/development/idris-modules/fsm.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "ctford";
     repo = "flying-spaghetti-monster";
     rev = "9253db1048d155b9d72dd5319f0a2072b574d406";
-    sha256 = "0n1kqpxysl3dji0zd8c47ir4144s0n3pb8i1mqp6ylma3r7rlg1l";
+    hash = "sha256-NDyaTx6qUm8uriGidYcFmpBAcjyEofZBlG1Q7fvFM1g=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/glfw.nix b/pkgs/development/idris-modules/glfw.nix
index 359ba66f9f50..3172884dbcee 100644
--- a/pkgs/development/idris-modules/glfw.nix
+++ b/pkgs/development/idris-modules/glfw.nix
@@ -23,7 +23,7 @@ build-idris-package {
     owner = "eckart";
     repo = "glfw-idris";
     rev = "10220a734b69f3b884683041a1a9c533800b663a";
-    sha256 = "045ylaj66g5m4syzhqxlaxmivy8y7jznkcf1y7w4awa4y5znyqqd";
+    hash = "sha256-DWNvf/FEcUX48cGxab88Hvkda1e0Y/i9JrU8Y6SivhA=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/graphviz.nix b/pkgs/development/idris-modules/graphviz.nix
index 2df9e62e3e84..7ff083e8d173 100644
--- a/pkgs/development/idris-modules/graphviz.nix
+++ b/pkgs/development/idris-modules/graphviz.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "mgttlinger";
     repo = "idris-graphviz";
     rev = "805da92ac888530134c3b4090fae0d025d86bb05";
-    sha256 = "12kzgjlwq6adflfc5zxpgjnaiszhiab6dcp878ysbz3zr2sihljx";
+    hash = "sha256-XVIYtch//KU9OuiyZpaK8OuorHy3/8IcdU0ZzKl8f4o=";
   };
 
   postUnpack = ''
diff --git a/pkgs/development/idris-modules/hamt.nix b/pkgs/development/idris-modules/hamt.nix
index 4fb2db977a31..e08e4d620c4a 100644
--- a/pkgs/development/idris-modules/hamt.nix
+++ b/pkgs/development/idris-modules/hamt.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "bamboo";
     repo = "idris-hamt";
     rev = "e70f3eedddb5ccafea8e386762b8421ba63c495a";
-    sha256 = "0m2yjr20dxkfmn3nzc68l6vh0rdaw6b637yijwl4c83b5xiac1mi";
+    hash = "sha256-sQamYi9rIEYol9GfYZbhqmUAt6HIsG+HrW72BkSWXlQ=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/hezarfen.nix b/pkgs/development/idris-modules/hezarfen.nix
index 66f61651a0c9..8b5831b19aef 100644
--- a/pkgs/development/idris-modules/hezarfen.nix
+++ b/pkgs/development/idris-modules/hezarfen.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "joom";
     repo = "hezarfen";
     rev = "079884d85619cd187ae67230480a1f37327f8d78";
-    sha256 = "0z4150gavpx64m3l0xbjjz9dcir7zij9hvd69k98zvhw7i27b1xp";
+    hash = "sha256-t4d1RDwc7o/STKZtmGT8J0fW0pdydUBHJabfrR4ogXw=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/hrtime.nix b/pkgs/development/idris-modules/hrtime.nix
index f373c6134074..07e029079640 100644
--- a/pkgs/development/idris-modules/hrtime.nix
+++ b/pkgs/development/idris-modules/hrtime.nix
@@ -15,7 +15,7 @@ build-idris-package {
     owner = "pierrebeaucamp";
     repo = "idris-hrtime";
     rev = "e1f54ce74bde871010ae76d9afd42048cd2aae83";
-    sha256 = "0rmmpi1kp1h7ficmcxbxkny9lq9pjli2qhwy17vgbgx8fx60m8l0";
+    hash = "sha256-gKIKTHeov/X2CZ5DLCKVN2GavJ19dVZZdAeGO0O8tWY=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/html.nix b/pkgs/development/idris-modules/html.nix
index 66c97ee4671e..ffbc45e9fc69 100644
--- a/pkgs/development/idris-modules/html.nix
+++ b/pkgs/development/idris-modules/html.nix
@@ -20,7 +20,7 @@ build-idris-package {
     owner = "pierrebeaucamp";
     repo = "idris-html";
     rev = "f59ecc560d7008ba26dda83f11319bb24ed6c508";
-    sha256 = "0r2clvkyld3y3r6smkfb7s47qnndikwds3bx9hphidbn41wjnh0i";
+    hash = "sha256-EUAreSB2tQgvTH0N3fiMzVp8iD7LzapNHn406uemTGQ=";
   };
 
   postUnpack = ''
diff --git a/pkgs/development/idris-modules/http.nix b/pkgs/development/idris-modules/http.nix
index 63e0dfa46c3c..7d6ad1bd4981 100644
--- a/pkgs/development/idris-modules/http.nix
+++ b/pkgs/development/idris-modules/http.nix
@@ -20,7 +20,7 @@ build-idris-package {
     owner = "uwap";
     repo = "idris-http";
     rev = "dc4a31543f87c0bc44cbaa98192f0303cd8dd82e";
-    sha256 = "1abrwi5ikymff4g7a0g5wskycvhpnn895z1z1bz9r71ks554ypl8";
+    hash = "sha256-iF5PStEznJz+Cj/8kpC1F27mp+blAXUeca76GUvkeak=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/http4idris.nix b/pkgs/development/idris-modules/http4idris.nix
index 0d5f8c3c7c47..455b9cf7b733 100644
--- a/pkgs/development/idris-modules/http4idris.nix
+++ b/pkgs/development/idris-modules/http4idris.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "A1kmm";
     repo = "http4idris";
     rev = "f44ffd2a15628869c7aadf241e3c9b1ee7b40941";
-    sha256 = "16bs7rxbsq7m7jm96zkqiq8hj68l907m8xgmjrcxzl158qvzhw1w";
+    hash = "sha256-PHD4N0Yl0N9ZlvV1VA9IFBkJEY54fpOqPPVgvXo+epk=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/iaia.nix b/pkgs/development/idris-modules/iaia.nix
index 6b8777fe9f9d..c9fd5fbb66fb 100644
--- a/pkgs/development/idris-modules/iaia.nix
+++ b/pkgs/development/idris-modules/iaia.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "sellout";
     repo = "Iaia";
     rev = "dce68d2b63a26dad7c94459773eae2d42686fa05";
-    sha256 = "0209fhv8x3sw6ijrwc8a85pch97z821ygaz78va3l274xam4l659";
+    hash = "sha256-qRhKqurkCDrURuer54NA/yTIbkEKMZ5lNFyPjjZ0CQg=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/idrishighlighter.nix b/pkgs/development/idris-modules/idrishighlighter.nix
index febdda3005a4..314641f96312 100644
--- a/pkgs/development/idris-modules/idrishighlighter.nix
+++ b/pkgs/development/idris-modules/idrishighlighter.nix
@@ -19,7 +19,7 @@ build-idris-package {
     owner = "david-christiansen";
     repo = "idris-code-highlighter";
     rev = "708a29c7d1433adf7b0f69d1aec50e69b2915bba";
-    sha256 = "16ahzf2jzh7wzi4jjq94s5z9nzkgnj2962dy13s1crim53csjgw5";
+    hash = "sha256-hT+p2Sg1Zhb0CL4Jk4S0b36bftEkYSlJ/PzAL4X7UJk=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/idrisscript.nix b/pkgs/development/idris-modules/idrisscript.nix
index dbd467743dd7..3fade257ed5d 100644
--- a/pkgs/development/idris-modules/idrisscript.nix
+++ b/pkgs/development/idris-modules/idrisscript.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "idris-hackers";
     repo = "IdrisScript";
     rev = "4bb7019182392f24d2246a3e616f829156c8f091";
-    sha256 = "074ignh2hqwq4ng5nk7dswga4lm7342w7h4bmx4n03ygrn7w89ff";
+    hash = "sha256-ziXEj83PD2BJr4vAwwUZp1KiHtftTFueJZhjKKB9kRw=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/ipkgparser.nix b/pkgs/development/idris-modules/ipkgparser.nix
index f771898c9481..3be6269d1802 100644
--- a/pkgs/development/idris-modules/ipkgparser.nix
+++ b/pkgs/development/idris-modules/ipkgparser.nix
@@ -20,7 +20,7 @@ build-idris-package {
     owner = "emptyflash";
     repo = "idris-ipkg-parser";
     rev = "35cc2f54d4f3b3710f637d0a8c897bfbb32fe183";
-    sha256 = "0vn3pigqddfy7cld0386hxzdv2nkl8mdpsx97hvyvqzrdpz4wl2q";
+    hash = "sha256-WFBO/m354+03PKnr2yqi04rdfocGDdAoO961hl+8w24=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/jheiling-extras.nix b/pkgs/development/idris-modules/jheiling-extras.nix
index 8da4d38ffc1b..f7e15c9ea65e 100644
--- a/pkgs/development/idris-modules/jheiling-extras.nix
+++ b/pkgs/development/idris-modules/jheiling-extras.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "jheiling";
     repo = "idris-extras";
     rev = "20e79087043ddb00301cdc3036964a2b1c5b1c5f";
-    sha256 = "0j34a7vawrkc7nkwwnv6lsjjdcr00d85csjw06nnbh8rj4vj5ps0";
+    hash = "sha256-QN8iN5EZwWWtAVxqVlADILMmpaZmW86nPWxmrvZRZEg=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/jheiling-js.nix b/pkgs/development/idris-modules/jheiling-js.nix
index 27a7dfc876d8..432eef1aa8a4 100644
--- a/pkgs/development/idris-modules/jheiling-js.nix
+++ b/pkgs/development/idris-modules/jheiling-js.nix
@@ -19,7 +19,7 @@ build-idris-package {
     owner = "jheiling";
     repo = "idris-js";
     rev = "59763cd0c9715a9441931ae1077e501bb2ec6020";
-    sha256 = "1mvpxwszh56cfrf509qiadn7gp2l4syanhvdq6v1br0y03g8wk9v";
+    hash = "sha256-O02O3gAe5BW2wW1Dq7wmVNx3bFMRJ1BcdswU+DXvd9c=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/js.nix b/pkgs/development/idris-modules/js.nix
index 51ac7f4da9a7..3441dce7def3 100644
--- a/pkgs/development/idris-modules/js.nix
+++ b/pkgs/development/idris-modules/js.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "rbarreiro";
     repo = "idrisjs";
     rev = "1ce91ecec69a7174c20bff927aeac3928a01ed3f";
-    sha256 = "13whhccb7yjq10hnngdc8bc9z9vvyir1wjkclpz006cr4cd266ca";
+    hash = "sha256-ihkjGiOZGQD+pWxKHnL0e6ef2EKsPWshCFj6sxiDkI8=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/lens.nix b/pkgs/development/idris-modules/lens.nix
index 50996e783575..9f0921e6068a 100644
--- a/pkgs/development/idris-modules/lens.nix
+++ b/pkgs/development/idris-modules/lens.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "HuwCampbell";
     repo = "idris-lens";
     rev = "421aa76c19607693ac2f23003dc0fe82c1a3760a";
-    sha256 = "1q6lmhrwd1qg18s253sim4hg2a2wk5439p3izy1f9ygi6pv4a6mk";
+    hash = "sha256-sxpF9jXx+eSC/3HcNEiZXCjxIKlRjyI0Cg+HxjOs1OA=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/lightyear.nix b/pkgs/development/idris-modules/lightyear.nix
index b021a1b73236..7592c96f52bd 100644
--- a/pkgs/development/idris-modules/lightyear.nix
+++ b/pkgs/development/idris-modules/lightyear.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "ziman";
     repo = "lightyear";
     rev = "f737e25a09c1fe7c5fff063c53bd7458be232cc8";
-    sha256 = "05x66abhpbdm6yr0afbwfk6w04ysdk78gylj5alhgwhy4jqakv29";
+    hash = "sha256-SeypsCQe8gepKpL6h85s2hPAzXR8OQWyN7WtC5cyphc=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/logic.nix b/pkgs/development/idris-modules/logic.nix
index 41fe07531861..568cb15d4dd0 100644
--- a/pkgs/development/idris-modules/logic.nix
+++ b/pkgs/development/idris-modules/logic.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "yurrriq";
     repo = "idris-logic";
     rev = "e0bed57e17fde1237fe0358cb77b25f488a04d2f";
-    sha256 = "0kvn1p0v71vkwlchf20243c47jcfid44w5r0mx4dydijq9gylxfz";
+    hash = "sha256-33XqX8IyNt9IryAXTkiLjslD2CACCAcZ5XOHs8ENdk8=";
   };
 
   # tests fail
diff --git a/pkgs/development/idris-modules/mapping.nix b/pkgs/development/idris-modules/mapping.nix
index a333166c308c..5af9d529796e 100644
--- a/pkgs/development/idris-modules/mapping.nix
+++ b/pkgs/development/idris-modules/mapping.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "zaoqi";
     repo = "Mapping.idr";
     rev = "4f226933d4491b8fd09f9d9a7b862c0cc646b936";
-    sha256 = "1skkb7jz2lv0xg4n5m0vd9xddg3x01459dwx1jxnpc7ifask4cda";
+    hash = "sha256-qjEytXLxsGu7DJ23VEgAfbzWemob1GLJ62BT8eVZc+o=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/mhd.nix b/pkgs/development/idris-modules/mhd.nix
index f41191b20da8..3600cebecc18 100644
--- a/pkgs/development/idris-modules/mhd.nix
+++ b/pkgs/development/idris-modules/mhd.nix
@@ -22,7 +22,7 @@ build-idris-package {
     owner = "colin-adams";
     repo = "idris-libmicrohttpd";
     rev = "a8808bc06fa292d4b3389f32cb00716e43122a46";
-    sha256 = "0wvp1qi3bn4hk52vsid6acfwvwbs58sggylbpjvkxzycsbhz4nx4";
+    hash = "sha256-pFvy4dLM/z63vIv69zQqevHNHVOmRb1FmZDYNSIOd3M=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/pacman.nix b/pkgs/development/idris-modules/pacman.nix
index ba13f0889d7d..b3f04797ab9f 100644
--- a/pkgs/development/idris-modules/pacman.nix
+++ b/pkgs/development/idris-modules/pacman.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "jdublu10";
     repo = "pacman";
     rev = "263ae58aeb5147e2af9cc76411970ccd90fa9121";
-    sha256 = "02m3ic2fk3a8j50xdpq70yx30hkxzjg6idsia482sm1nlkmxxin9";
+    hash = "sha256-ycbe66Q2VC0QUVG3aJ78fUIwugcH39ZBkUiN6QSLowo=";
   };
 
   postUnpack = ''
diff --git a/pkgs/development/idris-modules/patricia.nix b/pkgs/development/idris-modules/patricia.nix
index ccc3f3bc0c13..5ea9feaa9385 100644
--- a/pkgs/development/idris-modules/patricia.nix
+++ b/pkgs/development/idris-modules/patricia.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "ChShersh";
     repo = "idris-patricia";
     rev = "24724e6d0564f2f813d0d0a58f5c5db9afe35313";
-    sha256 = "093q3qjmr93wv8pqwk0zfm3hzf14c235k9c9ip53rhg6yzcm0yqz";
+    hash = "sha256-H3tQ2ffmwTzKjYmlWYZgJLgPR3UfTI4v2nykXCUeeCQ=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/permutations.nix b/pkgs/development/idris-modules/permutations.nix
index 0f448aef8e4c..58eaf401d1be 100644
--- a/pkgs/development/idris-modules/permutations.nix
+++ b/pkgs/development/idris-modules/permutations.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "vmchale";
     repo = "permutations";
     rev = "f0de6bc721bb9d31e16f9168ded6eb6e34935881";
-    sha256 = "1dirzqy40fczbw7gp2jr51lzqsnq5vcx9z5l6194lcrq2vxgzv1s";
+    hash = "sha256-Ouz/+hY4M0pSMLT81Nku2Gr8aShZivsOX585QDz+ObY=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/pfds.nix b/pkgs/development/idris-modules/pfds.nix
index c5711d533886..406005d353e9 100644
--- a/pkgs/development/idris-modules/pfds.nix
+++ b/pkgs/development/idris-modules/pfds.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "timjb";
     repo = "idris-pfds";
     rev = "9ba39348adc45388eccf6463855f42b81333620a";
-    sha256 = "0jbrwdpzg5hgmkfk2kj5y8lgaynl79h48qdvkl1glypfh392w35f";
+    hash = "sha256-rgwu0oDuevoCnbthRGA61Hr1KPJFTjHdrA+W92/jeUk=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/pipes.nix b/pkgs/development/idris-modules/pipes.nix
index e99d81bc6f67..d7755bdd4bb6 100644
--- a/pkgs/development/idris-modules/pipes.nix
+++ b/pkgs/development/idris-modules/pipes.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "QuentinDuval";
     repo = "IdrisPipes";
     rev = "888abe405afce42015014899682c736028759d42";
-    sha256 = "1dxbqzg0qy7lkabmkj0qypywdjz5751g7h2ql8b2253dy3v0ndbs";
+    hash = "sha256-ejUL9vBtFCEWoljA80I55cvG/fUYyFmXmvR4DN7Hq7c=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/posix.nix b/pkgs/development/idris-modules/posix.nix
index 840f50ad1451..7e2463897c81 100644
--- a/pkgs/development/idris-modules/posix.nix
+++ b/pkgs/development/idris-modules/posix.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "idris-hackers";
     repo = "idris-posix";
     rev = "1e4787bc4dfcf901f2e1858e5334a6bafa5d27c4";
-    sha256 = "14y51vn18v23k56gi3b33rjjwpf02qfb00w8cfy8qycrl8rbgsmb";
+    hash = "sha256-q+q3MqKZeYy8Y4gDsBwWwF0uZR5jjfhMmUNsFOwOxZM=";
   };
 
   # tests need file permissions
diff --git a/pkgs/development/idris-modules/quantities.nix b/pkgs/development/idris-modules/quantities.nix
index e4b2fa88449d..7e4660d3ab6d 100644
--- a/pkgs/development/idris-modules/quantities.nix
+++ b/pkgs/development/idris-modules/quantities.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "timjb";
     repo = "quantities";
     rev = "76bb872bd89122043083351993140ae26eb91ead";
-    sha256 = "0fv12kdi9089b4kkr6inhqvs2s8x62nv5vqj76wzk8hy0lrzylzj";
+    hash = "sha256-8lP/MwUeovm5ORLvsq0wHWmhN4Y2mjwnWQmBFNsUYTs=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/rationals.nix b/pkgs/development/idris-modules/rationals.nix
index 8865a5e5c97c..773fc137036a 100644
--- a/pkgs/development/idris-modules/rationals.nix
+++ b/pkgs/development/idris-modules/rationals.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "mcgordonite";
     repo = "idris-binary-rationals";
     rev = "0d7010b267662d89e76e2cc8b27fd95ecca009b8";
-    sha256 = "0fc93n4pyqyrjxrspnr3vjzc09m78ni1ardq1vx9g40vmvl0n49s";
+    hash = "sha256-OhEL6K4bkJf6DrhlFaJFpybAvtwj26tzl9ljf4kdiTk=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/recursion_schemes.nix b/pkgs/development/idris-modules/recursion_schemes.nix
index 9fee3953018e..ceeee350bf2e 100644
--- a/pkgs/development/idris-modules/recursion_schemes.nix
+++ b/pkgs/development/idris-modules/recursion_schemes.nix
@@ -24,7 +24,7 @@ build-idris-package {
     owner = "vmchale";
     repo = "recursion_schemes";
     rev = "6bcbe0da561f461e7a05e29965a18ec9f87f8d82";
-    sha256 = "0rbx0yqa0fb7h7qfsvqvirc5q85z51rcwbivn6351jgn3a0inmhf";
+    hash = "sha256-DlYbgRr2yVCGsTsuznIovyBcWI4bb+3wgWc5oLAHfWU=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/refined.nix b/pkgs/development/idris-modules/refined.nix
index 24f8a8c4899d..73a1134689b7 100644
--- a/pkgs/development/idris-modules/refined.nix
+++ b/pkgs/development/idris-modules/refined.nix
@@ -13,7 +13,7 @@ build-idris-package {
     owner = "janschultecom";
     repo = "idris-refined";
     rev = "e21cdef16106a77b42d193806c1749ba6448a128";
-    sha256 = "1am7kfc51p2zlml954v8cl9xvx0g0f1caq7ni3z36xvsd7fh47yh";
+    hash = "sha256-0B8C3Wl6dzP+iPZgxYIDD/TdE2Vok5JopV/cUJibp6o=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/sdl2.nix b/pkgs/development/idris-modules/sdl2.nix
index f1170c103237..b1823367d43c 100644
--- a/pkgs/development/idris-modules/sdl2.nix
+++ b/pkgs/development/idris-modules/sdl2.nix
@@ -28,7 +28,7 @@ build-idris-package rec {
     owner = "steshaw";
     repo = "idris-sdl2";
     rev = version;
-    sha256 = "1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a";
+    hash = "sha256-ilDYSWIyJLG1Obs1+0udvyt+FJZN99PYZo0A7j+1VMs=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/semidirect.nix b/pkgs/development/idris-modules/semidirect.nix
index 3155aa5d791e..d2cbcb575f63 100644
--- a/pkgs/development/idris-modules/semidirect.nix
+++ b/pkgs/development/idris-modules/semidirect.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "clayrat";
     repo = "idris-semidirect";
     rev = "e19c58f7a25c53bba2ab058821e038bae3c093d2";
-    sha256 = "0182r9z34kbv3l78pw4qf48ng3hqj4sqzy53074mb0b2c3pikcrl";
+    hash = "sha256-NLMZ72BigVXJAaP4jzWRGI5nEXGY8IsOHXtNMn7KAgU=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/setoids.nix b/pkgs/development/idris-modules/setoids.nix
index f585f0d5b141..849517826a19 100644
--- a/pkgs/development/idris-modules/setoids.nix
+++ b/pkgs/development/idris-modules/setoids.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "danilkolikov";
     repo = "setoids";
     rev = "41b4af3b1a537d9471107a639ad77c7abee2de18";
-    sha256 = "0fl1g59s16vnrdnplps5ncv27j7a93nxp9cmqp2iavjxlzlzin1v";
+    hash = "sha256-O9j46addbhXFxZWl2+1I6sgjNrNFX3pty3aboFN5gTo=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/smproc.nix b/pkgs/development/idris-modules/smproc.nix
index 28ab452d12cf..7824883ed1d6 100644
--- a/pkgs/development/idris-modules/smproc.nix
+++ b/pkgs/development/idris-modules/smproc.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "jameshaydon";
     repo = "smproc";
     rev = "b292d6c94fe005bcd984b8e5134b6f99933aa0af";
-    sha256 = "02gqa2a32dwrvgz6pwsg8bniszbzwxlkzm53fq81sz3l9ja8ax1n";
+    hash = "sha256-NnSFlEx0fB0QdqPUP2nnf30d7UJP82v+25k3MZRQ+Ak=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/snippets.nix b/pkgs/development/idris-modules/snippets.nix
index e3b6ced72039..875d34956e04 100644
--- a/pkgs/development/idris-modules/snippets.nix
+++ b/pkgs/development/idris-modules/snippets.nix
@@ -15,7 +15,7 @@ build-idris-package {
     owner = "palladin";
     repo = "idris-snippets";
     rev = "c26d6f5ffc1cc0456279f5ac74fec5af8c09025e";
-    sha256 = "1vwyzck6yan3wifsyj02ji9l6x9rs2r02aybm90gl676s2x4mhjn";
+    hash = "sha256-VsJKutDmGPpAqssrAbLQOXVDU5QCSK9d5MMqbyb7nu8=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/software_foundations.nix b/pkgs/development/idris-modules/software_foundations.nix
index e1035148e751..bf3e282c9f9f 100644
--- a/pkgs/development/idris-modules/software_foundations.nix
+++ b/pkgs/development/idris-modules/software_foundations.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "idris-hackers";
     repo = "software-foundations";
     rev = "eaa63d1a572c78e7ce68d27fd49ffdc01457e720";
-    sha256 = "1rkjm0x79n1r3ah041a5bik7sc3rvqs42a2c3g139hlg5xd028xf";
+    hash = "sha256-riMBWi+PwjTCG0woQTTeeTB9ZlxFBQKgGjnYdDqocuY=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/specdris.nix b/pkgs/development/idris-modules/specdris.nix
index 513eb89dbdad..4b429780509a 100644
--- a/pkgs/development/idris-modules/specdris.nix
+++ b/pkgs/development/idris-modules/specdris.nix
@@ -12,7 +12,7 @@ build-idris-package {
     owner = "pheymann";
     repo = "specdris";
     rev = "625f88f5e118e53f30bcf5e5f3dcf48eb268ac21";
-    sha256 = "1gc717xf4i7z75aqazy5wqm7b1dqfyx5pprdypxz1h3980m67fsa";
+    hash = "sha256-SrtjKkBpwPD79S3fW7p3uIV1KubFf4VVOf9E4voJh70=";
   };
 
   idrisDeps = [ effects ];
diff --git a/pkgs/development/idris-modules/tap.nix b/pkgs/development/idris-modules/tap.nix
index 69428159d767..eecb337f9307 100644
--- a/pkgs/development/idris-modules/tap.nix
+++ b/pkgs/development/idris-modules/tap.nix
@@ -15,7 +15,7 @@ build-idris-package {
     owner = "ostera";
     repo = "tap-idris";
     rev = "0d019333e1883c1d60e151af1acb02e2b531e72f";
-    sha256 = "0fhlmmivq9xv89r7plrnhmvay1j7bapz3wh7y8lygwvcrllh9zxs";
+    hash = "sha256-uv8EKc1s8+cp8gfy8a9aRwavdoU203tyQrsnvGOtFDo=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/test.nix b/pkgs/development/idris-modules/test.nix
index efe069a958ed..ffa272b875b0 100644
--- a/pkgs/development/idris-modules/test.nix
+++ b/pkgs/development/idris-modules/test.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "jfdm";
     repo = "idris-testing";
     rev = "604d56f77054931b21975198be669e22427b1f52";
-    sha256 = "1pmyhs3jx6wd0pzjd3igfxb9zjs8pqmk4ah352bxjrqdnhqwrl51";
+    hash = "sha256-odDMMbQNZ9mXKAMqMiu+SMufVncvjib/BY2bLoeGvt4=";
   };
 
   doCheck = false;
diff --git a/pkgs/development/idris-modules/tfrandom.nix b/pkgs/development/idris-modules/tfrandom.nix
index bca0a7aa2b85..5767f463b2aa 100644
--- a/pkgs/development/idris-modules/tfrandom.nix
+++ b/pkgs/development/idris-modules/tfrandom.nix
@@ -12,7 +12,7 @@ build-idris-package {
     owner = "david-christiansen";
     repo = "idris-tf-random";
     rev = "202aac3b96757e8247f6e26945329d90dd668aed";
-    sha256 = "1z8pyrsm1kdsspcs3h96k38h44ss0mv39lcz7xvwg8ickys3kqxl";
+    hash = "sha256-tOM5tJ8sosd3P5/RNHYFWhMC0ZgmwaHZ1brNUHX2F/0=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/tlhydra.nix b/pkgs/development/idris-modules/tlhydra.nix
index c287a48db85b..15149a92224b 100644
--- a/pkgs/development/idris-modules/tlhydra.nix
+++ b/pkgs/development/idris-modules/tlhydra.nix
@@ -20,7 +20,7 @@ build-idris-package {
     owner = "Termina1";
     repo = "tlhydra";
     rev = "3fc9049447d9560fe16f4d36a2f2996494ac2b33";
-    sha256 = "1y3gcbc1ypv00vwa0w3v0n6ckf7gnz26xsfmgnidsaxzff3y0ymh";
+    hash = "sha256-sHrgh3O/K92ifdXpbsS377jJjAV7cKD4BmBfH9hib/g=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/tomladris.nix b/pkgs/development/idris-modules/tomladris.nix
index 1d754988a1ec..736f7d349199 100644
--- a/pkgs/development/idris-modules/tomladris.nix
+++ b/pkgs/development/idris-modules/tomladris.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "emptyflash";
     repo = "tomladris";
     rev = "0fef663e20528c455f410f01124c8e3474a96606";
-    sha256 = "0a0fc0bsr356plgzsr5sr4qmqx4838998wjwmflz10qwsv1j3zsw";
+    hash = "sha256-XP8hw9Ycg/Cpq1xylBIaiHRcMcm6ZP0fvaaMrBdgDig=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/tp.nix b/pkgs/development/idris-modules/tp.nix
index 17352a1bc9cb..4ba92fbec87e 100644
--- a/pkgs/development/idris-modules/tp.nix
+++ b/pkgs/development/idris-modules/tp.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "superfunc";
     repo = "tp";
     rev = "ef59ccf355ae462bd4f55d596e6d03a9376b67b2";
-    sha256 = "1a924qvm1dqfg419x8n35w0sz74vyyqsynz5g393f82jsrrwci8z";
+    hash = "sha256-H0XGc9ZSIDfSeOVbr7H3m5yvAS/Dop4CeQ63UDcmIqk=";
   };
 
   # tests fail with permission error
diff --git a/pkgs/development/idris-modules/tparsec.nix b/pkgs/development/idris-modules/tparsec.nix
index 5009f1a8de20..64f38c039915 100644
--- a/pkgs/development/idris-modules/tparsec.nix
+++ b/pkgs/development/idris-modules/tparsec.nix
@@ -16,7 +16,7 @@ build-idris-package {
     owner = "gallais";
     repo = "idris-tparsec";
     rev = "943c64dfcb4e1582696f68312fad88145dc3a8e4";
-    sha256 = "0pyhkafhx2pwim91ada6qrgacvahl9bpv5m486y8fph4qzf4z6mx";
+    hash = "sha256-vZpP3McEXoe8QaSWfVeiUG2mXsZGNRVSjfyKDp2a0F8=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/transducers.nix b/pkgs/development/idris-modules/transducers.nix
index 06afdc6dc60e..a849b26ab229 100644
--- a/pkgs/development/idris-modules/transducers.nix
+++ b/pkgs/development/idris-modules/transducers.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "QuentinDuval";
     repo = "IdrisReducers";
     rev = "2947ffa3559b642baeb3e43d7bb382e16bd073a8";
-    sha256 = "0wzbbp5n113mva99mqr119zwp5pgj4l6wq9033z4f0kbm2nhmcfr";
+    hash = "sha256-2bEKrahrAkf+GCBhbiiR75bLfwoh45qS2nWEYMtd63M=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/trees.nix b/pkgs/development/idris-modules/trees.nix
index afb2d510a301..83a05372c337 100644
--- a/pkgs/development/idris-modules/trees.nix
+++ b/pkgs/development/idris-modules/trees.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "clayrat";
     repo = "idris-trees";
     rev = "dc17f9598bd78ec2b283d91b3c58617960d88c85";
-    sha256 = "1c3p69875qc4zdk28im9xz45zw46ajgcmxpqmig63y0z4v3gwxww";
+    hash = "sha256-nHf+xiYf+GFerPj2yp5UhvBfyO+pRiRm+4ThclAyd7A=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/union_type.nix b/pkgs/development/idris-modules/union_type.nix
index 29aa772f094c..a78064021951 100644
--- a/pkgs/development/idris-modules/union_type.nix
+++ b/pkgs/development/idris-modules/union_type.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "berewt";
     repo = "UnionType";
     rev = "f7693036237585fe324a815a96ad101d9659c689";
-    sha256 = "1ky0h03kja2y1fjg18j46akw03wi5ng80pghh2j3ib6hxlg1rbs7";
+    hash = "sha256-R68cHu3QrDikgPBdgJ4tkQ/ApzJEovCkC14oOQeAwM8=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/vdom.nix b/pkgs/development/idris-modules/vdom.nix
index da1fb7b94434..f7c32a73b164 100644
--- a/pkgs/development/idris-modules/vdom.nix
+++ b/pkgs/development/idris-modules/vdom.nix
@@ -13,7 +13,7 @@ build-idris-package {
     owner = "brandondyck";
     repo = "idris-vdom";
     rev = "ff32c14feeac937f7418830a9a3463cd9582be8a";
-    sha256 = "0aila1qdpmhrp556dzaxk7yn7vgkwcnbp9jhw8f8pl51xs3s2kvf";
+    hash = "sha256-bk+hh+6h0Isc4lCmuyzj8+1j/Zld/WZKuRnW23BQNCo=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/vecspace.nix b/pkgs/development/idris-modules/vecspace.nix
index 5eb86f536ff9..52c7385765bf 100644
--- a/pkgs/development/idris-modules/vecspace.nix
+++ b/pkgs/development/idris-modules/vecspace.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "clayrat";
     repo = "idris-vecspace";
     rev = "6830fa13232f25e9874b3f857b79508b5f82cb99";
-    sha256 = "1dwz69cmzblyh7lnyqq2gp0a042z7h02sh5q5wf4xb500vizwkq2";
+    hash = "sha256-Ak/+4wagrE4cL7hALQA8XxCgwH0CY2/pgZ6uX1kyn7c=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/webgl.nix b/pkgs/development/idris-modules/webgl.nix
index 39bb9342847a..c355894053de 100644
--- a/pkgs/development/idris-modules/webgl.nix
+++ b/pkgs/development/idris-modules/webgl.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "pierrebeaucamp";
     repo = "idris-webgl";
     rev = "1b4ee00a06b0bccfe33eea0fa8f068cdae690e9e";
-    sha256 = "097l2pj8p33d0n3ryb8y2vp0n5isnc8bkdnad3y6raa9z1xjn3d6";
+    hash = "sha256-pg0re/hJqWz8aMq2uRCzOhYL7hYeLZ+HBW2Mi+QV9CQ=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix
index f39c86d02197..fad84fae6ec6 100644
--- a/pkgs/development/idris-modules/wl-pprint.nix
+++ b/pkgs/development/idris-modules/wl-pprint.nix
@@ -11,7 +11,7 @@ build-idris-package {
     owner = "shayan-najd";
     repo = "wl-pprint";
     rev = "97590d1679b3db07bb430783988b4cba539e9947";
-    sha256 = "0ifp76cqg340jkkzanx69vg76qivv53vh1lzv9zkp5f49prkwl5d";
+    hash = "sha256-rVA+803ElTt/2p8GuEfZO2Jz3k6mW/XnlICMh5k510U=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/wyvern.nix b/pkgs/development/idris-modules/wyvern.nix
index 32c6b0331b76..1f205ee5d22c 100644
--- a/pkgs/development/idris-modules/wyvern.nix
+++ b/pkgs/development/idris-modules/wyvern.nix
@@ -18,7 +18,7 @@ build-idris-package {
     owner = "ericqweinstein";
     repo = "wyvern";
     rev = "b9e3e5747c5b23608c6ed5e2ccf43b86caa04292";
-    sha256 = "0zihf95w7i0903zy1mzn1ldn697nf57yl80nl32dpgji72h98kh2";
+    hash = "sha256-Ak6UoDhRvtvEoBYg6k9x9iRjGw321+D/AAnEw0tyMH4=";
   };
 
   postUnpack = ''
diff --git a/pkgs/development/idris-modules/xhr.nix b/pkgs/development/idris-modules/xhr.nix
index bd43bc7adbb0..ffc6ad968385 100644
--- a/pkgs/development/idris-modules/xhr.nix
+++ b/pkgs/development/idris-modules/xhr.nix
@@ -14,7 +14,7 @@ build-idris-package {
     owner = "pierrebeaucamp";
     repo = "idris-xhr";
     rev = "fb32a748ccdb9070de3f2d6048564e34c064b362";
-    sha256 = "0l07mnarvrb4xdw0b2xqgyxq4rljw1axz5mc9w4gmhvcrzxnyfnr";
+    hash = "sha256-2Tpv+89sw/oIT6yW31XgkmaCu3+4iwV462TlnZWtB1A=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/yaml.nix b/pkgs/development/idris-modules/yaml.nix
index eb4aa037de61..59daf2395ebd 100644
--- a/pkgs/development/idris-modules/yaml.nix
+++ b/pkgs/development/idris-modules/yaml.nix
@@ -19,7 +19,7 @@ build-idris-package {
     owner = "Heather";
     repo = "Idris.Yaml";
     rev = "5afa51ffc839844862b8316faba3bafa15656db4";
-    sha256 = "1g4pi0swmg214kndj85hj50ccmckni7piprsxfdzdfhg87s0avw7";
+    hash = "sha256-h28F9EEPuvab6zrfeE+0k1XGQJGwINnsJEG8yjWIl7w=";
   };
 
   meta = {
diff --git a/pkgs/development/idris-modules/yampa.nix b/pkgs/development/idris-modules/yampa.nix
index 135a9b3bc780..fc5157322dd5 100644
--- a/pkgs/development/idris-modules/yampa.nix
+++ b/pkgs/development/idris-modules/yampa.nix
@@ -15,7 +15,7 @@ build-idris-package {
     owner = "BartAdv";
     repo = "idris-yampa";
     rev = "2120dffb3ea0de906ba2b40080956c900457cf33";
-    sha256 = "0zp495zpbvsagdzrmg9iig652zbm34qc0gdr81x0viblwqxhicx6";
+    hash = "sha256-prMIO+Z0xQ16QLk9wDAZdX1RzIsxvZp/e0rvdX9J5H4=";
   };
 
   meta = {