How to Install and Uninstall libcoq-mathcomp-field Package on Debian 12 (Bookworm)

Last updated: March 15,2025

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

MX Linux 23
SparkyLinux

1. Install "libcoq-mathcomp-field" package

Please follow the steps below to install libcoq-mathcomp-field on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-field" package

Please follow the guidelines below to uninstall libcoq-mathcomp-field on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-field
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-field package on Debian 12 (Bookworm)

Package: libcoq-mathcomp-field
Source: ssreflect (1.15.0-1)
Version: 1.15.0-1+b4
Installed-Size: 9462
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Replaces: libssreflect-coq
Provides: libcoq-mathcomp-field-3ivo6
Depends: libcoq-mathcomp-solvable (= 1.15.0-1+b4), libcoq-stdlib-ewsr6
Breaks: libssreflect-coq (<= 1.15.0-1+b4)
Description: Mathematical Components library for Coq (field)
Description-md5: 552c63b45c57eb8f41189849920f0be9
Homepage: https://math-comp.github.io/math-comp/
Section: math
Priority: optional
Filename: pool/main/s/ssreflect/libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb
Size: 2764764
MD5sum: 09d6e51afee69bb3694e4d96b33b6ede
SHA256: 4795c8db9f7dda98cbc1ce97bfb0a7cfa669014f1ccb7884e9f080b1eb24f2df