Subject: [PATCH] Rename python-platformio to platformio

From: [email-masked]
Date: Wed, 8 Jun 2022 14:18:46 -0400

From: Peter Polidoro <[email-masked]>

---
 gnu/packages/embedded.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm
index 79605d8be5..5b5192c751 100644
--- a/gnu/packages/embedded.scm
+++ b/gnu/packages/embedded.scm
@@ -1557,9 +1557,9 @@ (define-public sdcc
                    license:public-domain
                    license:zlib))))
 
-(define-public python-platformio
+(define-public platformio
   (package
-    (name "python-platformio")
+    (name "platformio")
     (version "6.0.2")
     (source (origin
               ;; PyPI does not include tox.ini
-- 
2.36.1