[bug#55831] [PATCH] Rename python-platformio to platformio

[peter]

From: Peter Polidoro <peter@polidoro.io>

---
 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