From 749fe3432fb0ee22dd68fb22b504f188f8646023 Mon Sep 17 00:00:00 2001
From: Francesco Gazzetta <fgaz@fgaz.me>
Date: Sat, 20 Apr 2024 21:48:02 +0200
Subject: [PATCH] Pin GCC 11 in nix shell

Signed-off-by: Francesco Gazzetta <fgaz@fgaz.me>
---
 tools/nix/shell.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/nix/shell.nix b/tools/nix/shell.nix
index f940442..93d7bef 100644
--- a/tools/nix/shell.nix
+++ b/tools/nix/shell.nix
@@ -28,7 +28,7 @@ in pkgs.mkShell {
     ] ++ ifLinux [
       bluepy
     ]))
-    pkgs.gcc-arm-embedded
+    pkgs.gcc-arm-embedded-11
     pkgs.graphviz
   ] ++ ifLinux [
     pkgs.bluez