Thank you for your reply. With that change in platformio.ini, it seems that Platformio tries to download and install the correct 1.3.2 version of arduino-mbedos, but unfortunately in the end it gives me the following error:
Installing git+https://github.com/arduino/ArduinoCore-mbed.git#1.3.2
git version 2.29.2.windows.2
Cloning into ‘C:\Users\xxxxxx.platformio.cache\tmp\pkg-installing-rxfn24ho’…
remote: Enumerating objects: 4257, done.
remote: Counting objects: 100% (4257/4257), done.
remote: Compressing objects: 100% (3130/3130), done.
remote: Total 4257 (delta 1077), reused 3022 (delta 884), pack-reused 0
Receiving objects: 100% (4257/4257), 95.00 MiB | 11.99 MiB/s, done.
Resolving deltas: 100% (1077/1077), done.
Updating files: 100% (4240/4240), done.
Error: Could not find one of ‘package.json’ manifest files in the package
Any advice how to fix that? I have been able to find a not very elegant way to make Platformio uses the version 1.3.2 by overriding the files FROM:
C:\Users\xxxxxx\AppData\Local\Arduino15\packages\arduino\hardware\mbed\1.3.2
TO:
C:\Users\xxxxxx.platformio\packages\framework-arduino-nrf52-mbedos\
I have noticed the first folder does not contains the files “.piopm” and “package.json”