diff --git a/machines/macintosh/home-julien.nix b/machines/macintosh/home-julien.nix
index 6bcf030..f1e1602 100644
--- a/machines/macintosh/home-julien.nix
+++ b/machines/macintosh/home-julien.nix
@@ -68,12 +68,12 @@
           networkmanagerapplet
           sops
           coq
+          cvc5
           coqPackages.coqide
           (why3.withProvers
             [
+              unstable.cvc4
               alt-ergo
-              cvc5
-              cvc4
               z3
             ])
         ];