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
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
sudo apt-get updateto fetch the indexes.
sudo apt-get install obc(or whatever) to install packages.