Comparing 9ac84b3fd1..4a98b90289 - Pantograph - git.leni.sh

..

1 changed files with 1 additions and 1 deletions

									
										2

flake.nix

										View File
									
					@ -29,7 +29,7 @@

					      };

					      };

					    in rec {

					    in rec {

					      packages = project // {

					      packages = project // {

					        inherit leanPkgs;

					        inherit (leanPkgs) lean;

					        default = packages.executable;

					        default = packages.executable;

					      };

					      };

					      devShells.default = project.devShell;

					      devShells.default = project.devShell;