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 apt-key add -
# Alternatively, import the signing key from a keyserver:
sudo apt-key adv --keyserver hkp:// --recv-keys D48D801C6A66A5D8
# 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.

Index of