diff --git a/machines/x2100/home-julien.nix b/machines/x2100/home-julien.nix
index 51909c3..ab30404 100644
--- a/machines/x2100/home-julien.nix
+++ b/machines/x2100/home-julien.nix
@@ -66,28 +66,17 @@
           htop
           evince
           mosh
-          obsidian
           zotero
           flameshot
           kitty
           networkmanagerapplet
-          element-desktop
           xdg-utils
           sops
           step-cli
-          coq
           gh
           gh-dash
           cvc5
           signal-desktop-beta
-          coqPackages.coqide
-          (why3.withProvers
-            [
-              unstable.cvc4
-              alt-ergo
-              z3
-            ])
-          libsForQt5.neochat
           scli
           texlive.combined.scheme-full
         ];