Regina for Debian: Jessie (Debian 8.x)

Debian 8.x (Jessie) already comes with Regina, but this is an old version (4.96).

To install 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 keys here. Then, at a command prompt type:

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

    Here you should replace ~/Downloads/regina-keys.txt with location of the file you just downloaded. You can now delete regina-keys.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 https://people.debian.org/~bab/regina jessie/

  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.

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