From afe1232c0e6ccdca3bd50ca0be043150fe477ae3 Mon Sep 17 00:00:00 2001
From: Ben <Ben.mens@gmail.com>
Date: Sat, 9 Nov 2019 17:03:33 +0100
Subject: [PATCH] Update package_digistump_index.json

Removed avr-gcc toolsDependency because it downloads an unsupported 32-bits version of avr-gcc. Now the avr-gcc that is packaged with Arduino is used.
---
 package_digistump_index.json | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/package_digistump_index.json b/package_digistump_index.json
index a1119df..b190a05 100644
--- a/package_digistump_index.json
+++ b/package_digistump_index.json
@@ -45,11 +45,6 @@
             }
           ],
           "toolsDependencies": [
-            {
-              "packager": "arduino",
-              "name": "avr-gcc",
-              "version": "4.8.1-arduino5"
-            },
             {
               "packager": "digistump",
               "name": "micronucleus",