Luj/snowfield
1
0
Fork 0
mirror of https://github.com/JulienMalka/snowfield.git synced 2025-04-01 17:50:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: added software verification tools

Browse source
This commit is contained in:
Julien Malka 2023-02-20 17:26:16 +01:00
parent 4e0827f860
commit 350733016c
Signed by: Luj
GPG key ID: 6FC74C847011FD83
1 changed files with 10 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
machines/macintosh/home-julien.nix
View file

@ -40,8 +40,6 @@
nix-direnv.enable = true; nix-direnv.enable = true;
}; };
home.pointerCursor = { home.pointerCursor = {
name = "Adwaita"; name = "Adwaita";
package = pkgs.gnome.adwaita-icon-theme; package = pkgs.gnome.adwaita-icon-theme;
@ -69,6 +67,15 @@
flameshot flameshot
networkmanagerapplet networkmanagerapplet
sops sops
coq
coqPackages.coqide
(why3.withProvers
[
alt-ergo
cvc5
cvc4
z3
])
]; ];
fonts.fontconfig.enable = true; fonts.fontconfig.enable = true;
@ -78,6 +85,7 @@
}; };
}; };