From ebdd874df7d9e9df8529c64150687093750a40ec Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Fri, 25 Aug 2023 14:15:40 -0400
Subject: [PATCH] Actually add picotool lamo

---
 home-manager/common/programs/devel.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home-manager/common/programs/devel.nix b/home-manager/common/programs/devel.nix
index 12eebce..535695e 100644
--- a/home-manager/common/programs/devel.nix
+++ b/home-manager/common/programs/devel.nix
@@ -116,6 +116,6 @@ with nLib; {
       ];
     })
     # RPi Pico Development
-    (mkIf devel.pico { home.packages = with unstable; [ pico-sdk ]; })
+    (mkIf devel.pico { home.packages = with unstable; [ pico-sdk picotool ]; })
   ];
 }