From 518e208bc3f56a65ce1a6396984281bff9e18066 Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Mon, 2 Oct 2023 15:07:45 +0200
Subject: [PATCH] update home x2100

---
 machines/x2100/home-julien.nix | 2 ++
 1 file changed, 2 insertions(+)

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