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

Compare commits

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

2 commits
2cd403dafb ... 424c24bacb

Author SHA1 Message Date
mehbark
424c24bacb Merge branch 'main' of https://g.pyrope.net/nix 2024-11-23 17:53:55 -05:00
mehbark
450596b3c1 working build on li nux 2024-11-23 17:47:44 -05:00
1 changed files with 0 additions and 6 deletions
Show stats Expand all files Collapse all files

6
flake.nix
View file

@ -19,9 +19,6 @@
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";
@ -39,8 +36,6 @@
hyprland,
fh,
pesterchum,
leanpkgs,
nix-darwin,
...
}:
let
@ -55,7 +50,6 @@
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
];