Ubuntu 17.10 (Artful Aardvark) 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, 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 application and select Software & Updates from the main menu.
Under Authentication, import Regina's cryptographic signing keys. This helps keep your machine secure, and Ubuntu may refuse to install Regina without them. You can download Regina's cryptographic signing keys here.
When you import this key file, you should see new keys in the list of trusted software providers, under the names Ben Burton and Benjamin Burton. After the import, you can delete regina-keys.txt if you like.
Under Ubuntu Software, enable the community-maintained free and 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 artful/
Now close the Software & Updates box. Ubuntu should offer to reload the information about available software. Press Reload, so that Ubuntu can see the new packages for Regina.
Now search for Regina in the Ubuntu Software Centre.
Click on the package name (or icon, or description), and you will see more information. You should ensure that the version is correct (i.e., you are getting the latest version of Regina from this site, not the older version that is already bundled into Ubuntu).
Once you are satisfied that Ubuntu has found the right version, press Install and you are finished!
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 ...