gentoo.mahdi.cz
dev-python
:MicroBitTools
Library used for helping developing for the BBC microbit easier.
https://github.com/BigCowKing/MicroBitTools
MicroBitTools-2.1.2
download
~amd64 ~x86
pypi