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

support for patched versions of nixpkgs

Browse source
This commit is contained in:
Luj 2023-08-18 12:02:38 +02:00
parent 20565514c6
commit a5272e79c5
5 changed files with 83 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -66,7 +66,7 @@
step-cli
coq
cvc5
signal-desktop
master-patched.signal-desktop-beta
coqPackages.coqide
(why3.withProvers
[
@ -74,6 +74,8 @@
alt-ergo
z3
])
libsForQt5.neochat
];
fonts.fontconfig.enable = true;