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

remove patches

Browse source
This commit is contained in:
Luj 2023-11-24 21:37:18 +01:00
parent 36cc2c9ac3
commit 835da479c0
4 changed files with 3 additions and 66 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -69,7 +69,7 @@
gh
gh-dash
cvc5
nixpkgs-patched.signal-desktop-beta
signal-desktop-beta
coqPackages.coqide
(why3.withProvers
[