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

home changesé

Browse source
This commit is contained in:
Luj 2023-09-17 20:47:35 +02:00
parent 1dbb7a0f41
commit be8c0756ea
1 changed files with 2 additions and 1 deletions
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
[ [