From ef26f67e95b9c4b3b91c620927c77e9e8f5c1a7a Mon Sep 17 00:00:00 2001
From: unknown <maximilian.gerhardt@rub.de>
Date: Wed, 14 Jul 2021 01:05:15 +0200
Subject: [PATCH] Rename package

---
 platform.json | 2 +-
 platform.py   | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/platform.json b/platform.json
index 11d90ee..1bf5587 100644
--- a/platform.json
+++ b/platform.json
@@ -37,7 +37,7 @@
       "owner": "platformio",
       "version": "~2.1.0"
     },
-    "framework-arduino-pico-earlephilhower": {
+    "framework-arduinopico": {
       "type": "framework",
       "optional": true,
       "owner": "maxgerhardt",
diff --git a/platform.py b/platform.py
index 03ca245..dea47e8 100644
--- a/platform.py
+++ b/platform.py
@@ -36,9 +36,9 @@ class RaspberrypiPlatform(PlatformBase):
         if "arduino" in frameworks:
             if build_core == "arduino":
                 self.frameworks["arduino"]["package"] = "framework-arduino-mbed"
-                self.packages["framework-arduino-pico-earlephilhower"]["optional"] = True
+                self.packages["framework-arduinopico"]["optional"] = True
             elif build_core == "earlephilhower":
-                self.frameworks["arduino"]["package"] = "framework-arduino-pico-earlephilhower"
+                self.frameworks["arduino"]["package"] = "framework-arduinopico"
                 self.packages["framework-arduino-mbed"]["optional"] = True
             else: 
                 sys.stderr.write("Error! Unknown build.core value '%s'. Don't know which Arduino core package to use." % build_core)