firmware-microbit-micropython-doc_1.0.1-1ubuntu1_all.deb
firmware-microbit-micropython-doc_1.0.1-4_all.deb
firmware-microbit-micropython_1.0.1-1ubuntu1_all.deb
firmware-microbit-micropython_1.0.1-4_all.deb