idris-modules: lib.mapAttrsToList -> lib.attrValues

2025-10-26 15:33:35 +09:00
parent 1b42cb3018
commit 20739c715f
1 changed files with 1 additions and 1 deletions
@@ -65,7 +65,7 @@ let

      # The set of libraries that comes with idris

-      builtins = pkgs.lib.mapAttrsToList (name: value: value) builtins_;
+      builtins = pkgs.lib.attrValues builtins_;

      # Libraries