micwoj92 [1] filed a deletion request for python-mbed-os-tools [2]: Package is orphaned, has 0 popularity and 0 comments. Upstream of these tools doesn't show much activity and they are not compatible with python 3.12+ [1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/python-mbed-os-tools/