Myself and a colleague have been trying to load the Maixduino extension into the Arduino IDE (1.8.10 or 1.8.12) for Windows.
I have tried both of the suggested lines in Additional Boards Manager URL the file->preferences:
When we try to install the Maixduino package in Tools->Board Manager, it fails while trying to load it, so it does not appear in the list of boards.
We have tried multiple times with only one success, that we have not been able to repeat.
Is there something going on with the website holding the .json files? Has anyone else had these problems and found a solution? Thanks!