Debian 9.x (Stretch) 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.
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.
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 stretch/
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.
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.
If you want the MPI-enabled utilities for use on high-performance clusters, you should install the package regina-normal-mpi.
Back to main page ...