package-management
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| I wanted to remove a duplicated library from the registry caused by name changes |
|
2 | 53 | March 31, 2022 |
| Pre-installing tools required by an environment |
|
4 | 189 | August 11, 2021 |
|
Private/in-premises packages and platform repositories
|
|
1 | 156 | June 14, 2021 |
|
How to be more specific when redirecting package locations?
|
|
3 | 217 | June 3, 2021 |
| Custom platform and packages from local folders |
|
9 | 1398 | May 3, 2021 |
|
Ssl error(platform io)
|
|
2 | 2318 | April 22, 2021 |
| How can I create a repository with multiple libraries in it on GitHub and use them in a project? |
|
3 | 928 | December 22, 2020 |
| Checking status on a published package |
|
3 | 239 | October 19, 2020 |
| Mysterious build failure after PlatformIO update(?) |
|
19 | 3312 | September 30, 2020 |