Merge pull request 'feat: Add leanpkgs to the flake output' (#46 ) from nix/toolchain into dev

Reviewed-on: #46
chore: Expose `leanPkgs` in flake
2024-02-15 14:30:30 -08:00 · 2024-02-13 15:30:56 -05:00 · 2024-02-05 11:50:22 -08:00
1 changed files with 1 additions and 1 deletions
--- a/flake.nix
+++ b/flake.nix
@ -29,7 +29,7 @@
      };
    in rec {
      packages = project // {
-        inherit (leanPkgs) lean;
+        inherit leanPkgs;
        default = packages.executable;
      };
      devShells.default = project.devShell;
Author	SHA1	Message	Date
Leni Aniva	a748900ad6	Merge pull request 'feat: Add leanpkgs to the flake output' (#46 ) from nix/toolchain into dev Reviewed-on: #46	2024-02-15 14:30:30 -08:00
Leni Aniva	3e321516f7	chore: Expose `leanPkgs` in flake	2024-02-13 15:30:56 -05:00
Leni Aniva	8b67e7006a	feat: Add lake and lean to the package output	2024-02-05 11:50:22 -08:00