How to Install and Uninstall regina-normal-dev Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: May 13,2024

1. Install "regina-normal-dev" package

Please follow the instructions below to install regina-normal-dev on Ubuntu 20.04 LTS (Focal Fossa)

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

2. Uninstall "regina-normal-dev" package

Please follow the step by step instructions below to uninstall regina-normal-dev on Ubuntu 20.04 LTS (Focal Fossa):

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

3. Information about the regina-normal-dev package on Ubuntu 20.04 LTS (Focal Fossa)

Package: regina-normal-dev
Architecture: amd64
Version: 5.1-6ubuntu1
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: 5000
Depends: regina-normal (= 5.1-6ubuntu1), libboost-dev, libgmp-dev, libxml2-dev, zlib1g-dev
Suggests: regina-normal-doc
Filename: pool/universe/r/regina-normal/regina-normal-dev_5.1-6ubuntu1_amd64.deb
Size: 499484
MD5sum: ace707eef279f02748500d0f65cc70b9
SHA1: 7ecf8ce7ae862e4dba02d356049b11c51ded37f0
SHA256: 4e7c8eea0c70dea316b414493a373cf0f26d6ded60ff6bb91d151df50293ee5c
Homepage: http://regina-normal.github.io/
Description: development files for Regina, the topology software
Description-md5: e9d25990ce64009733a121d02c5233ab