firmware-microbit-micropython-dl_1.2.4+dfsg-1+deb10u1_all.deb
firmware-microbit-micropython-dl_1.2.4+dfsg-8_all.deb