How to Install and Uninstall regina-normal-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 14,2024

1. Install "regina-normal-dev" package

This guide covers the steps necessary to install regina-normal-dev on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install regina-normal-dev

2. Uninstall "regina-normal-dev" package

Please follow the guidelines below to uninstall regina-normal-dev on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove regina-normal-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the regina-normal-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: regina-normal-dev
Architecture: amd64
Version: 7.3-2
Priority: extra
Section: universe/libdevel
Source: regina-normal
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ben Burton
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6742
Depends: regina-normal (= 7.3-2), libgmp-dev, libxml2-dev, zlib1g-dev
Suggests: regina-normal-doc
Filename: pool/universe/r/regina-normal/regina-normal-dev_7.3-2_amd64.deb
Size: 722216
MD5sum: de9602834dc5ac849b5d611deeea4af3
SHA1: ccd6f4263d9fecf0689b6dfb39198d46bdd76e91
SHA256: 21a83fff9cad0376294dc4c5aab9c6ccfce66c2f46994ec11b848a3ae4fbaad4
SHA512: d6c66dd6d495e8d5296ede3d2b9df70255591d995df50a4e16464f427aad24edff88c2ef1601b73c77082529f1051a414d057eb1b7b7c740aa0e1cb51d6f7324
Homepage: http://regina-normal.github.io/
Description: development files for Regina, the topology software
Description-md5: 3ef85d510cb0f4732fa53ba3e756d839