Regina for Ubuntu: Precise (Ubuntu 12.04 LTS)

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.

  1. Add Regina's location to your list of repositories. To do this, open the Ubuntu Software Centre and select Edit → Software Sources.

  2. 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.

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 ...