Pin dhall prelude better

2021-04-26 11:54:44 +02:00 · 2021-04-26 11:54:44 +02:00 · 3e20b54020
parent a992e9f2b8
commit 3e20b54020
1 changed files with 5 additions and 1 deletions
--- a/home-manager/roles/kassandra/uiConfig.dhall
+++ b/home-manager/roles/kassandra/uiConfig.dhall
@ -1,6 +1,10 @@
 let types = ./types.dhall

-let Prelude = https://prelude.dhall-lang.org/v20.1.0/package.dhall sha256:26b0ef498663d269e4dc6a82b0ee289ec565d683ef4c00d0ebdd25333a5a3c98
+let Prelude =
+      { List.map
+        =
+          https://prelude.dhall-lang.org/v20.1.0/List/map.dhall sha256:dd845ffb4568d40327f2a817eb42d1c6138b929ca758d50bc33112ef3c885680
+      }

 let confWid =
      \(name : Text) ->