mirror of
https://github.com/terrapkg/packages.git
synced 2026-06-02 18:02:19 +00:00
8f0a65a739
* package arduino-cli
* package arduino-lint
* remove old files
* package rpi-update
* remove old files
* exclusive arch in hcl
* package arduino-language-server
* remove old files
* No debug package
Signed-off-by: Owen Zimmerman <123591347+Owen-sz@users.noreply.github.com>
---------
Signed-off-by: Owen Zimmerman <123591347+Owen-sz@users.noreply.github.com>
(cherry picked from commit 6890a3d86c)
Co-authored-by: Owen Zimmerman <123591347+Owen-sz@users.noreply.github.com>
1 line
51 B
Plaintext
1 line
51 B
Plaintext
rpm.version(gh("arduino/arduino-language-server")); |