Notice: Regina's repository has moved,
as of 31 August 2014.
The only difference is that http has changed to https.
Even if you have followed these steps before, you will need to add the new APT line under Other software as described in step 1 below.
Ubuntu 12.04 LTS (Precise Pangolin) already comes with Regina, but this is an old version (4.90).
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, Ubuntu's Software Updater will handle upgrades for you, just like for any other Ubuntu package.
Add Regina's location to your list of repositories. To do this, open the Ubuntu Software Centre and select Edit → Software Sources.
Under Authentication, import Regina's cryptographic signing key. This helps keep your machine secure, and Ubuntu may refuse to install Regina without it. You can download Regina's cryptographic signing key here.
When you import this key file, it should show up in the list of trusted software providers as “Ben Burton <email@example.com>”. After the import, you can delete regina-key.txt if you like.
Under Ubuntu Software, enable the Community-Maintained Open Source Software (universe) if this has not been done before.
Under Other Software, click the Add... button. When Ubuntu asks you for an APT line, type:
deb https://people.debian.org/~bab/regina precise/
Unfortunately, the 12.04 Ubuntu Software Centre has a bug which means you will need to finish the installation by typing commands into a terminal window.
Update the list of available packages. In a terminal window, type:
sudo apt-get update
Now you can install Regina. In the same terminal window, 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 ...