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

home changesé

Browse source
This commit is contained in:
Julien Malka 2023-09-17 20:47:35 +02:00
parent 655ac53bfd
commit 9f9327b7a5
Signed by: Luj
GPG key ID: 6FC74C847011FD83
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -47,6 +47,7 @@
feh feh
meld meld
vlc vlc
jftui
stable.nerdfonts stable.nerdfonts
libreoffice libreoffice
font-awesome font-awesome
@ -66,7 +67,7 @@
step-cli step-cli
coq coq
cvc5 cvc5
master-patched.signal-desktop-beta nixpkgs-patched.signal-desktop-beta
coqPackages.coqide coqPackages.coqide
(why3.withProvers (why3.withProvers
[ [