From d454d4d20ccd62040629d630108b16416eb86dc7 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 5 Jan 2021 16:31:50 +0100
Subject: [PATCH] chore: Nix: make the default flake.nix a bit easier to
 customize

---
 nix/templates/pkg/flake.nix | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/nix/templates/pkg/flake.nix b/nix/templates/pkg/flake.nix
index 44ad076d6b..4ecd6e3d8b 100644
--- a/nix/templates/pkg/flake.nix
+++ b/nix/templates/pkg/flake.nix
@@ -5,14 +5,17 @@
   inputs.flake-utils.url = github:numtide/flake-utils;
 
   outputs = { self, lean, flake-utils }: flake-utils.lib.eachDefaultSystem (system:
-    let leanPkgs = lean.packages.${system}; in rec {
-      packages = {
-        inherit (leanPkgs) lean;
-      } // leanPkgs.buildLeanPackage {
+    let
+      leanPkgs = lean.packages.${system};
+      pkg = leanPkgs.buildLeanPackage {
         name = "MyPackage";  # must match the name of the top-level .lean file
         src = ./.;
       };
+    in {
+      packages = pkg // {
+        inherit (leanPkgs) lean;
+      };
 
-      defaultPackage = packages.modRoot;
+      defaultPackage = pkg.modRoot;
     });
 }