From 9191ce89adc37f0d9016c7b745387c2ceb91319b Mon Sep 17 00:00:00 2001
From: Ulysse Cura <ulysse.cura@gmail.com>
Date: Sat, 25 Jul 2026 20:17:17 +0200
Subject: [PATCH] Removed utilities as they are in shell.nix.

---
 packages.nix | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/packages.nix b/packages.nix
index bbb9f7c..76dde9f 100644
--- a/packages.nix
+++ b/packages.nix
@@ -137,13 +137,6 @@
     ccls
     scrcpy
     android-tools
-#    patchedPicoSdk
-    picotool
-    gnumake
-    cmake
-    gcc
-    gdb
-    gcc-arm-embedded
     arduino-ide
     (python3.withPackages (myPythonPackages))
 #    patchedQuarto