This is the apt repository.

Add this repository to your debian-based system like this:

# Add the repository
echo "deb ./ #" | sudo tee /etc/apt/sources.list.d/sbrl.list

# Import the signing key
wget -q -O- | sudo tee /etc/apt/trusted.gpg.d/sbrl.asc
# Alternatively, import the signing key from a keyserver:
sudo apt-key adv --keyserver hkps:// --recv-keys D48D801C6A66A5D8
# Alternatively, use apt-key (deprecated apparently):
wget -q -O- | sudo apt-key add -

# Update apt's cache
sudo apt update

Packages in this repository are automatically signed by aptosaurus, my apt repository bot. While every caution has been taken to avoid signing things we shouldn't, you should still exercise caution.

While packages in this repository primarily come from continuous integration / deployment, package updates are normally stashed and released every day at 2am, to ease updates for clients.

A human-readable summary of the packages available in this repository can be found in SUMMARY.txt, which is automatically generated from the source packages in the repo.

Note that while older versions of packages do exist in this repository, packages more than 3 versions out of date are now automatically deleted to save on disk space. If you need really old versions, download them and keep them as backups ☺

Finally, as many CPU architectures will be attempted to be supported here as possible. If binary packages are being released by a project, they are probably packaged here. The exception to this is the 32-bit x86 architecture. This is deprecated by many Linux distributions - so effort is not made to package it here (though if you've got a valid use-case get in touch and I'll see if I can help).

Index of