Nixfmt

2025-01-09 10:58:16 -05:00 · 2025-01-09 10:58:16 -05:00 · cf648f81ad
commit cf648f81ad
parent 1e35472464
7 changed files with 78 additions and 56 deletions
--- a/devshells/idris2.nix
+++ b/devshells/idris2.nix
@ -23,7 +23,10 @@
              "/share"
            ];
          };
-          libPackages = with pkgs; [ readline70 openssl ];
+          libPackages = with pkgs; [
+            readline70
+            openssl
+          ];
        in
        pkgs.mkShell {
          buildInputs =