diff --git a/flake.lock b/flake.lock
index a61ef0d..cd0be62 100644
--- a/flake.lock
+++ b/flake.lock
@@ -250,7 +250,6 @@
         "effect": "effect",
         "elab-util": "elab-util",
         "flake-utils": [
-          "tap",
           "flake-utils"
         ],
         "frex": "frex",
@@ -267,7 +266,6 @@
         "katla": "katla",
         "lsp": "lsp",
         "nixpkgs": [
-          "tap",
           "nixpkgs"
         ],
         "odf": "odf",
@@ -487,18 +485,9 @@
     },
     "root": {
       "inputs": {
-        "flake-utils": [
-          "tap",
-          "flake-utils"
-        ],
-        "idris2-pkgs": [
-          "tap",
-          "idris2-pkgs"
-        ],
-        "nixpkgs": [
-          "tap",
-          "nixpkgs"
-        ],
+        "flake-utils": "flake-utils",
+        "idris2-pkgs": "idris2-pkgs",
+        "nixpkgs": "nixpkgs",
         "tap": "tap"
       }
     },
@@ -552,9 +541,15 @@
     },
     "tap": {
       "inputs": {
-        "flake-utils": "flake-utils",
-        "idris2-pkgs": "idris2-pkgs",
-        "nixpkgs": "nixpkgs"
+        "flake-utils": [
+          "flake-utils"
+        ],
+        "idris2-pkgs": [
+          "idris2-pkgs"
+        ],
+        "nixpkgs": [
+          "nixpkgs"
+        ]
       },
       "locked": {
         "lastModified": 1660774921,
diff --git a/flake.nix b/flake.nix
index 008d6d8..dc21bbe 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,10 +1,25 @@
 { description = "quox: quantitative extensional type theory";
 
   inputs = {
-    tap.url = "git+https://git.rhiannon.website/rhi/idris2-tap?ref=main";
-    nixpkgs.follows = "tap/nixpkgs";
-    flake-utils.follows = "tap/flake-utils";
-    idris2-pkgs.follows = "tap/idris2-pkgs";
+    nixpkgs.url = "nixpkgs/21.11";
+
+    flake-utils = {
+      url = "github:numtide/flake-utils";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
+
+    idris2-pkgs = {
+      url = "github:claymager/idris2-pkgs";
+      inputs.nixpkgs.follows = "nixpkgs";
+      inputs.flake-utils.follows = "flake-utils";
+    };
+
+    tap = {
+      url = "git+https://git.rhiannon.website/rhi/idris2-tap?ref=main";
+      inputs.nixpkgs.follows = "nixpkgs";
+      inputs.flake-utils.follows = "flake-utils";
+      inputs.idris2-pkgs.follows = "idris2-pkgs";
+    };
   };
 
   outputs = { self, nixpkgs, idris2-pkgs, flake-utils, tap }: