Installing STM32duino gives "Error during install: tool STMicroelectronics:[email protected] not available for the current OS"

[Emeric-dufour]

Bug Report

Current behavior

Behavior is as shown.

While trying to install core STMicroelectronics:stm32, the packages download proceeds as expected, and all the arm-none-eabi-gcc packages are correctly downloaded.

But the STM32Tools download that follows is leading to an error:
"Error during install: tool STMicroelectronics:[email protected] not available for the current OS".

This makes it impossible for me to install stm32duino.

hlfc@hlfc-4:~ $ arduino-cli core install STMicroelectronics:stm32
Downloading packages...
STMicroelectronics:[email protected] 774.28 KiB / 140.30 MiB    STMicroelectronics:[email protected] 1.85 MiB / 140.30 MiB    1.STMicroelectronics:[email protected] 3.02 MiB / 140.30 MiB    2.STMicroelectronics:[email protected] 4.15 MiB / 140.30 MiB    2.STMicroelectronics:[email protected] 4.15 MiB / 140.30 MiB    2.STMicroelectronics:[email protected] 4.99 MiB / 140.30 MiB    3.STMicroelectronics:[email protected] 6.22 MiB / 140.30 MiB    4.STMicroelectronics:[email protected] 7.37 MiB / 140.30 MiB    5.STMicroelectronics:[email protected] 8.33 MiB / 140.30 MiB    5.STMicroelectronics:[email protected] 8.33 MiB / 140.30 MiB    5.STMicroelectronics:[email protected] 9.33 MiB / 140.30 MiB    6.STMicroelectronics:[email protected] 10.46 MiB / 140.30 MiB    7STMicroelectronics:[email protected] 11.52 MiB / 140.30 MiB    8STMicroelectronics:[email protected] 12.57 MiB / 140.30 MiB    8STMicroelectronics:[email protected] 12.57 MiB / 140.30 MiB    8STMicroelectronics:[email protected] 13.63 MiB / 140.30 MiB    9STMicroelectronics:[email protected] 14.68 MiB / 140.30 MiB   10STMicroelectronics:[email protected] 15.79 MiB / 140.30 MiB   11STMicroelectronics:[email protected] 17.10 MiB / 140.30 MiB   12STMicroelectronics:[email protected] 17.10 MiB / 140.30 MiB   12STMicroelectronics:[email protected] 18.40 MiB / 140.30 MiB   13STMicroelectronics:[email protected] 19.65 MiB / 140.30 MiB   14STMicroelectronics:[email protected] 20.82 MiB / 140.30 MiB   14STMicroelectronics:[email protected] 21.80 MiB / 140.30 MiB   15STMicroelectronics:[email protected] 21.80 MiB / 140.30 MiB   15STMicroelectronics:[email protected] 22.74 MiB / 140.30 MiB   16STMicroelectronics:[email protected] 24.30 MiB / 140.30 MiB   17STMicroelectronics:[email protected] 25.35 MiB / 140.30 MiB   18STMicroelectronics:[email protected] 26.44 MiB / 140.30 MiB   18STMicroelectronics:[email protected] 26.44 MiB / 140.30 MiB   18STMicroelectronics:[email protected] 27.49 MiB / 140.30 MiB   19STMicroelectronics:[email protected] 28.65 MiB / 140.30 MiB   20STMicroelectronics:[email protected] 29.66 MiB / 140.30 MiB   21STMicroelectronics:[email protected] 30.72 MiB / 140.30 MiB   21STMicroelectronics:[email protected] 30.72 MiB / 140.30 MiB   21STMicroelectronics:[email protected] 31.96 MiB / 140.30 MiB   22STMicroelectronics:[email protected] 33.16 MiB / 140.30 MiB   23STMicroelectronics:[email protected] 34.44 MiB / 140.30 MiB   24STMicroelectronics:[email protected] 35.52 MiB / 140.30 MiB   25STMicroelectronics:[email protected] 35.52 MiB / 140.30 MiB   25STMicroelectronics:[email protected] 36.66 MiB / 140.30 MiB   26STMicroelectronics:[email protected] 37.66 MiB / 140.30 MiB   26STMicroelectronics:[email protected] 38.63 MiB / 140.30 MiB   27STMicroelectronics:[email protected] 39.32 MiB / 140.30 MiB   28STMicroelectronics:[email protected] 40.71 MiB / 140.30 MiB   29STMicroelectronics:[email protected] 40.71 MiB / 140.30 MiB   29STMicroelectronics:[email protected] 41.13 MiB / 140.30 MiB   29STMicroelectronics:[email protected] 41.46 MiB / 140.30 MiB   29STMicroelectronics:[email protected] 43.49 MiB / 140.30 MiB   31STMicroelectronics:[email protected] 44.58 MiB / 140.30 MiB   31STMicroelectronics:[email protected] 45.76 MiB / 140.30 MiB   32STMicroelectronics:[email protected] 45.76 MiB / 140.30 MiB   32STMicroelectronics:[email protected] 46.83 MiB / 140.30 MiB   33STMicroelectronics:[email protected] 47.80 MiB / 140.30 MiB   34STMicroelectronics:[email protected] 48.86 MiB / 140.30 MiB   34STMicroelectronics:[email protected] 49.96 MiB / 140.30 MiB   35STMicroelectronics:[email protected] 49.96 MiB / 140.30 MiB   35STMicroelectronics:[email protected] 51.02 MiB / 140.30 MiB   36STMicroelectronics:[email protected] 52.02 MiB / 140.30 MiB   37STMicroelectronics:[email protected] 53.06 MiB / 140.30 MiB   37STMicroelectronics:[email protected] 53.96 MiB / 140.30 MiB   38STMicroelectronics:[email protected] 53.96 MiB / 140.30 MiB   38STMicroelectronics:[email protected] 54.94 MiB / 140.30 MiB   39STMicroelectronics:[email protected] 56.38 MiB / 140.30 MiB   40STMicroelectronics:[email protected] 57.59 MiB / 140.30 MiB   41STMicroelectronics:[email protected] 58.86 MiB / 140.30 MiB   41STMicroelectronics:[email protected] 58.86 MiB / 140.30 MiB   41STMicroelectronics:[email protected] 59.83 MiB / 140.30 MiB   42STMicroelectronics:[email protected] 61.09 MiB / 140.30 MiB   43STMicroelectronics:[email protected] 62.30 MiB / 140.30 MiB   44STMicroelectronics:[email protected] 63.39 MiB / 140.30 MiB   45STMicroelectronics:[email protected] 63.39 MiB / 140.30 MiB   45STMicroelectronics:[email protected] 64.60 MiB / 140.30 MiB   46STMicroelectronics:[email protected] 65.81 MiB / 140.30 MiB   46STMicroelectronics:[email protected] 67.04 MiB / 140.30 MiB   47STMicroelectronics:[email protected] 68.29 MiB / 140.30 MiB   48STMicroelectronics:[email protected] 69.32 MiB / 140.30 MiB   49STMicroelectronics:[email protected] 69.32 MiB / 140.30 MiB   49STMicroelectronics:[email protected] 70.31 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 70.90 MiB / 140.30 MiB   50STMicroelectronics:[email protected] 75.63 MiB / 140.30 MiB   53STMicroelectronics:[email protected] 76.94 MiB / 140.30 MiB   54STMicroelectronics:[email protected] 78.02 MiB / 140.30 MiB   55STMicroelectronics:[email protected] 79.07 MiB / 140.30 MiB   56STMicroelectronics:[email protected] 79.07 MiB / 140.30 MiB   56STMicroelectronics:[email protected] 80.25 MiB / 140.30 MiB   57STMicroelectronics:[email protected] 81.41 MiB / 140.30 MiB   58STMicroelectronics:[email protected] 82.52 MiB / 140.30 MiB   58STMicroelectronics:[email protected] 83.74 MiB / 140.30 MiB   59STMicroelectronics:[email protected] 83.74 MiB / 140.30 MiB   59STMicroelectronics:[email protected] 85.02 MiB / 140.30 MiB   60STMicroelectronics:[email protected] 85.88 MiB / 140.30 MiB   61STMicroelectronics:[email protected] 87.01 MiB / 140.30 MiB   62STMicroelectronics:[email protected] 88.05 MiB / 140.30 MiB   62STMicroelectronics:[email protected] 89.18 MiB / 140.30 MiB   63STMicroelectronics:[email protected] 89.18 MiB / 140.30 MiB   63STMicroelectronics:[email protected] 90.28 MiB / 140.30 MiB   64STMicroelectronics:[email protected] 91.46 MiB / 140.30 MiB   65STMicroelectronics:[email protected] 92.56 MiB / 140.30 MiB   65STMicroelectronics:[email protected] 93.73 MiB / 140.30 MiB   66STMicroelectronics:[email protected] 93.73 MiB / 140.30 MiB   66STMicroelectronics:[email protected] 94.82 MiB / 140.30 MiB   67STMicroelectronics:[email protected] 95.91 MiB / 140.30 MiB   68STMicroelectronics:[email protected] 96.91 MiB / 140.30 MiB   69STMicroelectronics:[email protected] 98.10 MiB / 140.30 MiB   69STMicroelectronics:[email protected] 98.10 MiB / 140.30 MiB   69STMicroelectronics:[email protected] 99.31 MiB / 140.30 MiB   70STMicroelectronics:[email protected] 100.38 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 101.46 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 102.60 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 102.60 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 103.76 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 104.94 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 106.18 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 107.27 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 107.27 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 108.33 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 109.37 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 110.62 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 111.37 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 111.37 MiB / 140.30 MiB   7STMicroelectronics:[email protected] 112.51 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 113.46 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 114.40 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 115.41 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 115.41 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 116.35 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 117.37 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 118.30 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 119.32 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 119.32 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 120.52 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 121.61 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 122.70 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 123.88 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 123.88 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 125.02 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 126.15 MiB / 140.30 MiB   8STMicroelectronics:[email protected] 127.16 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 128.33 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 128.33 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 129.48 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 130.83 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 131.93 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 132.93 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.26 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.26 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 134.47 MiB / 140.30 MiB   9STMicroelectronics:[email protected] 138.97 MiB / 140.30 MiB   9
STMicroelectronics:[email protected] downloaded                 
Error during install: tool STMicroelectronics:[email protected] not available for the current OS

Expected behavior

I would like to be able to download and install the stm32 core properly to be able to compile and upload stm32duino based sketches for the board/mcu I am using (STM32H743) from my Raspberry Pi 4B, using the arduino-cli.

Environment

• CLI version (output of arduino-cli version):

Arduino-cli 0.18.3 on Raspberry Pi 4 model B.
JSON file:
https://github.com/stm32duino/BoardManagerFiles/raw/master/package_stmicroelectronics_index.json

• OS and platform:

hlfc@hlfc-4:~ $ cat /etc/os-release 
PRETTY_NAME="Raspbian GNU/Linux 10 (buster)"
NAME="Raspbian GNU/Linux"
VERSION_ID="10"
VERSION="10 (buster)"
VERSION_CODENAME=buster
ID=raspbian
ID_LIKE=debian
HOME_URL="http://www.raspbian.org/"
SUPPORT_URL="http://www.raspbian.org/RaspbianForums"
BUG_REPORT_URL="http://www.raspbian.org/RaspbianBugs"

hlfc@hlfc-4:~ $ lsb_release -a
No LSB modules are available.
Distributor ID:	Raspbian
Description:	Raspbian GNU/Linux 10 (buster)
Release:	10
Codename:	buster

hlfc@hlfc-4:~ $ uname -a
Linux hlfc-4 5.10.17-v7l+ #1414 SMP Fri Apr 30 13:20:47 BST 2021 armv7l GNU/Linux

[ABOSTM]

Hi @Emeric-dufour,
As you noticed there is already an issue for the support of Raspberry pi.
#708
Discussion can continue on this it.
Nevertheless the current official status from @fpistm is:
"Tools will come later."
So your error message is correct, "[email protected] not available for the current OS".
(you may still look for unofficial source)