luj/snowfield
1
0
Fork 0
mirror of https://github.com/JulienMalka/snowfield.git synced 2025-06-08 10:09:04 +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 211ddd0761
commit 8c77040001
Signed by: luj
GPG key ID: 6FC74C847011FD83
4 changed files with 3 additions and 66 deletions
Download patch file Download diff file Expand all files Collapse all files

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

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