How to Install and Uninstall libcoq-mathcomp-ssreflect Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 07,2024

1. Install "libcoq-mathcomp-ssreflect" package

This is a short guide on how to install libcoq-mathcomp-ssreflect on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mathcomp-ssreflect
            
                    
    
    Copied

2. Uninstall "libcoq-mathcomp-ssreflect" package

Please follow the steps below to uninstall libcoq-mathcomp-ssreflect on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mathcomp-ssreflect
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mathcomp-ssreflect package on Ubuntu 23.10 (Mantic Minotaur)

Package: libcoq-mathcomp-ssreflect
Architecture: amd64
Version: 1.17.0-1build1
Priority: optional
Section: universe/math
Source: ssreflect
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 18016
Provides: libcoq-mathcomp-ssreflect-sunj9
Depends: libcoq-core-ocaml, libcoq-stdlib-zp202
Breaks: libssreflect-coq (<= 1.17.0-1build1)
Replaces: libssreflect-coq
Filename: pool/universe/s/ssreflect/libcoq-mathcomp-ssreflect_1.17.0-1build1_amd64.deb
Size: 4915788
MD5sum: 04a27d0d3999dc2e6b0edb2b304953f2
SHA1: 86355fd19dcff308b6c063c2757c917b972e4981
SHA256: 60ace6a5f0892df4590e67bb38bbe85d67724f7fb234eb6a504d51ee5edd1e95
SHA512: 3e018137c5d9be1ce1304c55297de7c2088b264b32c251fe3651a72a4e58b9b06176a9eb33c5bc2f71a107b7f8a47fa33cd74c9ca1815f93e6ddc17819d9b967
Homepage: https://math-comp.github.io/math-comp/
Description: Mathematical Components library for Coq (small scale reflection)
Description-md5: 70fcad66ebe7043a2a943f9be8be4a05