luj/snowfield
1
0
Fork 0
mirror of https://github.com/JulienMalka/snowfield.git synced 2025-07-03 07:47:20 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

update home x2100

Browse source
This commit is contained in:
Luj 2023-10-02 15:07:45 +02:00
parent 767b6a99a1
commit dbe256697a
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
machines/x2100/home-julien.nix
View file

@ -66,6 +66,8 @@
sops sops
step-cli step-cli
coq coq
gh
gh-dash
cvc5 cvc5
nixpkgs-patched.signal-desktop-beta nixpkgs-patched.signal-desktop-beta
coqPackages.coqide coqPackages.coqide