diff --git a/machines/x2100/home-julien.nix b/machines/x2100/home-julien.nix
index 0caa1ae..97d4929 100644
--- a/machines/x2100/home-julien.nix
+++ b/machines/x2100/home-julien.nix
@@ -66,6 +66,8 @@
           sops
           step-cli
           coq
+          gh
+          gh-dash
           cvc5
           nixpkgs-patched.signal-desktop-beta
           coqPackages.coqide