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