Regina for Ubuntu: Precise (Ubuntu 12.04 LTS)

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