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.

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, they are not guaranteed to stick around - as they may be cleared out periodically (todo: automatically clear out packages older than ~2-3 versions behind) to save on disk space.

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