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

fix: use cvc4 from master

Browse source
This commit is contained in:
Luj 2023-02-21 09:47:03 +01:00
parent cf2181bc2e
commit 3d7fd39923
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -68,12 +68,12 @@
networkmanagerapplet networkmanagerapplet
sops sops
coq coq
cvc5
coqPackages.coqide coqPackages.coqide
(why3.withProvers (why3.withProvers
[ [
unstable.cvc4
alt-ergo alt-ergo
cvc5
cvc4
z3 z3
]) ])
]; ];