From 1df677a0502c487240896bbf7277bad1ebba4925 Mon Sep 17 00:00:00 2001
From: Lyes Saadi <dev@lyes.eu>
Date: Tue, 2 Jul 2024 00:42:55 +0200
Subject: [PATCH] Add latex's proof

---
 general/user/packages.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/general/user/packages.nix b/general/user/packages.nix
index 1275e47..87df83b 100644
--- a/general/user/packages.nix
+++ b/general/user/packages.nix
@@ -14,7 +14,8 @@ let
       ly1
       footmisc
       titling
-      frpseudocode;
+      frpseudocode
+      ebproof;
     });
 in {
   users.users.lyes.packages = with pkgs; [