Ubuntu 20.04 LTS (Focal Fossa) 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 Software & Updates application.
Under Authentication, import Regina's cryptographic signing key. This helps keep your machine secure, and Ubuntu may refuse to install Regina without them. You can download Regina's cryptographic signing key here.
When you import this key file, you should see new keys in the list of trusted software providers, under the name Benjamin Burton. After the import, you can delete regina-key.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 focal/
Now close the Software & Updates application. Ubuntu should offer to reload the information about available software. Press Reload, so that Ubuntu can see the new packages for Regina.
Next, open the Ubuntu Software application and search for Regina.
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.
Back to main page ...