How to Install and Uninstall regina-normal-dev Package on Debian 12 (Bookworm)

Last updated: May 13,2024

You can also install and uninstall the regina-normal-dev on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "regina-normal-dev" package

Please follow the steps below to install regina-normal-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                regina-normal-dev
            
                    
    
    Copied

2. Uninstall "regina-normal-dev" package

This guide let you learn how to uninstall regina-normal-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                regina-normal-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the regina-normal-dev package on Debian 12 (Bookworm)

Package: regina-normal-dev
Source: regina-normal
Version: 7.3-2
Installed-Size: 6742
Maintainer: Ben Burton
Architecture: amd64
Depends: regina-normal (= 7.3-2), libgmp-dev, libxml2-dev, zlib1g-dev
Suggests: regina-normal-doc
Description: development files for Regina, the topology software
Description-md5: 3ef85d510cb0f4732fa53ba3e756d839
Homepage: http://regina-normal.github.io/
Tag: devel::lang:c, devel::library, field::mathematics, implemented-in::c,
implemented-in::c++, role::devel-lib, suite::kde, uitoolkit::qt
Section: libdevel
Priority: optional
Filename: pool/main/r/regina-normal/regina-normal-dev_7.3-2_amd64.deb
Size: 830256
MD5sum: 4dbc1fcd42a43f0e06d837692ea23ad8
SHA256: dfebbbacd838ab046111fa94c49148fd1eedcbd80243a1582fbf6f1fdab08255