Debian PPA

Releases of OBC and software for bare-metal programming of the BBC micro:bit are hosted in a Debian PPA (Private Package Archive). To add the PPA to your system:

• Put the following in the file /etc/apt/sources.d/spivey.list:

deb https://spivey.oriel.ox.ac.uk/repos/apt/debian buster main

• Run the folowing commands to install the GPG signing key for the repository:

$ wget https://spivey.oriel.ox.ac.uk/repos/apt/debian/conf/spivey-ppa.gpg.key
$ sudo apt-key add spivey-ppa.gpg.key

• Run sudo apt-get update to fetch the indexes.
• Then sudo apt-get install obc (or whatever) to install packages.