From 53cbc205703abc75e246a3f81bb671369874f587 Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Thu, 17 Aug 2023 18:16:40 +0200
Subject: [PATCH] Added step-cli

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

diff --git a/machines/x2100/home-julien.nix b/machines/x2100/home-julien.nix
index 0101dea..1db5b04 100644
--- a/machines/x2100/home-julien.nix
+++ b/machines/x2100/home-julien.nix
@@ -63,6 +63,7 @@
           element-desktop
           xdg-utils
           sops
+          step-cli
           coq
           cvc5
           coqPackages.coqide