| Message ID | 1ad49e090b8c93be52f95a4a6af53f2961d99cc7.1654712272.git.peter@polidoro.io |
|---|---|
| State | New |
| Headers | show |
| Series | [bug#55831] Rename python-platformio to platformio | expand |
| Context | Check | Description |
|---|---|---|
| cbaines/applying patch | fail | View Laminar job |
| cbaines/issue | success | View issue |
Am Mittwoch, dem 08.06.2022 um 14:18 -0400 schrieb peter@polidoro.io: > From: Peter Polidoro <peter@polidoro.io> Provide ChangeLogs, also order your commits. > --- > 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") This change should probably be squashed onto the previous one :)
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
From: Peter Polidoro <peter@polidoro.io> --- gnu/packages/embedded.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)