Regina for Debian: Buster (Debian 10.x)

Debian 10.x (Buster) already comes with Regina, but this will be forever fixed at version 5.1.

To keep up-to-date with the newest version of Regina, follow these instructions.

You only need to follow these steps the first time you install Regina. After this, Debian's package manager will handle upgrades for you, just like for any other Debian package.

  1. Make Regina's repository a trusted source. This helps keep your machine secure, and avoids messages like “these packages cannot be authenticated”. To do this, download Regina's cryptographic signing key here. Then, at a command prompt type:

    sudo apt-key add ~/Downloads/regina-key.txt

    Here you should replace ~/Downloads/regina-key.txt with location of the file you just downloaded. You can now delete regina-key.txt if you like.

  2. Add Regina's location to your list of repositories. To do this, open /etc/apt/sources.list and add the following line:

    deb buster/

  3. Update the list of available packages. At a command prompt, type:

    sudo apt-get update

    If you see an error like “The method driver /usr/lib/apt/methods/https could not be found”, it is because your system does not yet know how to handle HTTPS repositories. Install the package apt-transport-https and try again.

  4. Install or upgrade Regina like you would any other package. Type:

    sudo apt-get install regina-normal

The procedure above only installs the main packages regina-normal and regina-normal-doc, which is all that most people will need.

If you are a C++ programmer and you wish to build Regina into your own projects, you should also install the package regina-normal-dev.

Back to main page ... Back to main page ...