From 45674394e8f00e066f9dc1c18322588ef1c9cc93 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sat, 11 Feb 2023 23:34:54 +0100
Subject: [PATCH] nix flake update

---
 flake.lock | 6 +++---
 flake.nix  | 1 -
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index ec55b26..79ee853 100644
--- a/flake.lock
+++ b/flake.lock
@@ -114,11 +114,11 @@
     },
     "flake-utils": {
       "locked": {
-        "lastModified": 1659877975,
-        "narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
+        "lastModified": 1667395993,
+        "narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
+        "rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 6c2fbed..4bff0e8 100644
--- a/flake.nix
+++ b/flake.nix
@@ -5,7 +5,6 @@
 
     flake-utils = {
       url = "github:numtide/flake-utils";
-      inputs.nixpkgs.follows = "nixpkgs";
     };
 
     idris2-pkgs = {