From 9f9327b7a55ef07d74109bb8671ef0ebca12a8e4 Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Sun, 17 Sep 2023 20:47:35 +0200
Subject: [PATCH] =?UTF-8?q?home=20changes=C3=A9?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

diff --git a/machines/x2100/home-julien.nix b/machines/x2100/home-julien.nix
index f995d29..0caa1ae 100644
--- a/machines/x2100/home-julien.nix
+++ b/machines/x2100/home-julien.nix
@@ -47,6 +47,7 @@
           feh
           meld
           vlc
+          jftui
           stable.nerdfonts
           libreoffice
           font-awesome
@@ -66,7 +67,7 @@
           step-cli
           coq
           cvc5
-          master-patched.signal-desktop-beta
+          nixpkgs-patched.signal-desktop-beta
           coqPackages.coqide
           (why3.withProvers
             [