From 61ecbdb8d3bfaec4944f88553f3241f26cfc2b03 Mon Sep 17 00:00:00 2001
From: Hadi <hadi@example.fr>
Date: Mon, 17 Aug 2026 14:15:16 +0200
Subject: [PATCH] add python to dev deps

Signed-off-by: Hadi <hadi@example.fr>
---
 shell.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/shell.nix b/shell.nix
index 9461804c..1065f7d6 100644
--- a/shell.nix
+++ b/shell.nix
@@ -29,6 +29,7 @@ in
     packages = with pkgs;
       [
         doctoc
+        python3
       ]
       ++ hooks.enabledPackages;