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

update home x2100

Browse source
This commit is contained in:
Julien Malka 2023-10-02 15:07:45 +02:00
parent 02b75ec298
commit 518e208bc3
Signed by: Luj
GPG key ID: 6FC74C847011FD83
1 changed files with 2 additions and 0 deletions
Show stats 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