# The directory is intentionally empty in the package, as the runtime is
# only downloaded to this directory at installation time
firmware-microbit-micropython-dl: package-contains-empty-directory usr/share/firmware-microbit-micropython/
