From 847fc91e2b39afe243a098581574baf5a66fd03b Mon Sep 17 00:00:00 2001
From: Giulio De Pasquale <git@depasquale.giugl.io>
Date: Sat, 18 Feb 2023 11:26:43 -0800
Subject: [PATCH] flake: inherit packages. Update lock

---
 flake.lock | 43 +++++++++++++++++++++++++++++++++++++++++++
 flake.nix  |  7 +++----
 2 files changed, 46 insertions(+), 4 deletions(-)
 create mode 100644 flake.lock

diff --git a/flake.lock b/flake.lock
new file mode 100644
index 0000000..d0da203
--- /dev/null
+++ b/flake.lock
@@ -0,0 +1,43 @@
+{
+  "nodes": {
+    "flake-utils": {
+      "locked": {
+        "lastModified": 1676283394,
+        "narHash": "sha256-XX2f9c3iySLCw54rJ/CZs+ZK6IQy7GXNY4nSOyu2QG4=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "3db36a8b464d0c4532ba1c7dda728f4576d6d073",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "nixpkgs": {
+      "locked": {
+        "lastModified": 1676549890,
+        "narHash": "sha256-sq/WcOEAl7gWrrfGkWdnyYazRyTf+enEim/o6LOQzI8=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "8c66bd1b68f4708c90dcc97c6f7052a5a7b33257",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "root": {
+      "inputs": {
+        "flake-utils": "flake-utils",
+        "nixpkgs": "nixpkgs"
+      }
+    }
+  },
+  "root": "root",
+  "version": 7
+}
diff --git a/flake.nix b/flake.nix
index 19f1672..a5535c2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -11,14 +11,13 @@
           inherit system;
           config.allowUnfree = true;
         };
-        lib = pkgs.lib;
 
-        shellWithPkgs = buildInputs: pkgs.mkShell {
-          inherit buildInputs;
+        shellWithPkgs = packages: pkgs.mkShell {
+          inherit packages;
         };
       in
       {
-        devShells.default = shellWithPkgs (lib.singleton pkgs.codeql);
+        devShells.default = shellWithPkgs [ pkgs.codeql ];
       });
 }