How to Install and Uninstall libcoq-math-classes Package on Debian 12 (Bookworm)

Last updated: December 25,2024

You can also install and uninstall the libcoq-math-classes on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "libcoq-math-classes" package

Please follow the guidance below to install libcoq-math-classes on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-math-classes
            
                    
    
    Copied

2. Uninstall "libcoq-math-classes" package

Please follow the steps below to uninstall libcoq-math-classes on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-math-classes
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-math-classes package on Debian 12 (Bookworm)

Package: libcoq-math-classes
Source: coq-math-classes (8.15.0-4)
Version: 8.15.0-4+b1
Installed-Size: 13350
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libcoq-math-classes-9mrw3
Depends: libcoq-bignums-u3wh0, libcoq-stdlib-ewsr6
Description: Abstract interfaces for mathematical structures for Coq
Description-md5: d978edd31349c76fed385af09374b402
Homepage: https://github.com/coq-community/math-classes
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_8.15.0-4+b1_amd64.deb
Size: 2971664
MD5sum: 0ffb3c6f3113f2c6537a1eac715ffba0
SHA256: 88471e808b23f8204ccaf15ef45428fda8d61d404dcf163e5831cbd27c2c2141