mbk/nix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

base: mbk:424c24bacbc52691b012ce220f65a6edfa45a351
Branches Tags
mbk:main
..
compare: mbk:2cd403dafb3a0e7c8c11e1ee0a995c13c00e0a6e
Branches Tags
mbk:main

No commits in common. "424c24bacbc52691b012ce220f65a6edfa45a351" and "2cd403dafb3a0e7c8c11e1ee0a995c13c00e0a6e" have entirely different histories.
424c24bacb ... 2cd403dafb

1 changed files with 6 additions and 0 deletions
Show stats Expand all files Collapse all files

6
flake.nix
View file

@ -19,6 +19,9 @@
pesterchum.url = "git+https://g.pyrope.net/pesterchum";
pesterchum.inputs.nixpkgs.follows = "nixpkgs";
leanpkgs.url = "github:leanprover/lean4";
leanpkgs.inputs.nixpkgs.follows = "nixpkgs";
# for l8r :::;)
#homeage.url = "github:jordanisaacs/homeage";
#homeage.inputs.nixpkgs.follows = "nixpkgs";
@ -36,6 +39,8 @@
hyprland,
fh,
pesterchum,
leanpkgs,
nix-darwin,
...
}:
let
@ -50,6 +55,7 @@
home-manager.useUserPackages = true;
home-manager.users.mbk = (import ./home.nix) {
inherit conf;
leanpkgs = leanpkgs.packages.x86_64-linux;
more-packages = [
pesterchum.packages.x86_64-linux.default
];