diff --git a/flake.nix b/flake.nix
index 607fda7..de80f27 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Lean 4 Nix Flake";
 
   inputs = {
-    nixpkgs.url = "github:nixos/nixpkgs/nixos-24.11";
+    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
     flake-parts.url = "github:hercules-ci/flake-parts";
   };
 
diff --git a/templates/dependency/flake.nix b/templates/dependency/flake.nix
index c8f0c13..ffacdc7 100644
--- a/templates/dependency/flake.nix
+++ b/templates/dependency/flake.nix
@@ -2,9 +2,9 @@
   description = "Lean 4 Example Project";
 
   inputs = {
-    nixpkgs.url = "github:nixos/nixpkgs/nixos-24.11";
+    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
     flake-parts.url = "github:hercules-ci/flake-parts";
-    lean4-nix.url = "github:lenianiva/lean4-nix";
+    lean4-nix.url = "github:argumentcomputer/lean4-nix";
   };
 
   outputs = inputs @ {
diff --git a/templates/minimal/flake.nix b/templates/minimal/flake.nix
index cff37b4..ecbbe6d 100644
--- a/templates/minimal/flake.nix
+++ b/templates/minimal/flake.nix
@@ -2,9 +2,9 @@
   description = "Lean 4 Example Project";
 
   inputs = {
-    nixpkgs.url = "github:nixos/nixpkgs/nixos-24.11";
+    nixpkgs.url = "github:nixos/nixpkgs/nixos-unstable";
     flake-parts.url = "github:hercules-ci/flake-parts";
-    lean4-nix.url = "github:lenianiva/lean4-nix";
+    lean4-nix.url = "github:argumentcomputer/lean4-nix";
   };
 
   outputs = inputs @ {