luj/snowfield
1
0
Fork 0
mirror of https://github.com/JulienMalka/snowfield.git synced 2025-04-09 21:13:11 +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 c25892757d
commit 2726e5e818
Signed by: luj
GPG key ID: 6FC74C847011FD83
1 changed files with 2 additions and 2 deletions
Show stats 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
]) ])
]; ];