Fixed flake problem

hnaderi · Jun 1, 2024 · a055daa · a055daa
1 parent 4e83d0e
commit a055daa
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/flake.nix b/flake.nix
@@ -10,10 +10,9 @@
       let
         pkgs = import nixpkgs {
           inherit system;
-          overlays = [ typelevel-nix.overlay ];
+          overlays = [ typelevel-nix.overlays.default ];
         };
-      in
-      {
+      in {
         devShell = pkgs.devshell.mkShell {
           imports = [ typelevel-nix.typelevelShell ];
           name = "lepus-shell";
@@ -23,6 +22,5 @@
             native.enable = true;
           };
         };
-      }
-    );
+      });
 }