How to Install and Uninstall libcoq-mtac2 Package on Ubuntu 24.04 LTS (Noble Numbat)

Last updated: May 09,2024

1. Install "libcoq-mtac2" package

Please follow the steps below to install libcoq-mtac2 on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-mtac2
            
                    
    
    Copied

2. Uninstall "libcoq-mtac2" package

Please follow the step by step instructions below to uninstall libcoq-mtac2 on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-mtac2
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-mtac2 package on Ubuntu 24.04 LTS (Noble Numbat)

Package: libcoq-mtac2
Architecture: amd64
Version: 1.4+8.18-1
Priority: optional
Section: universe/ocaml
Source: coq-mtac2
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4570
Provides: libcoq-mtac2-uss35
Depends: libcoq-stdlib-ncp86, libcoq-unicoq-54hl5
Filename: pool/universe/c/coq-mtac2/libcoq-mtac2_1.4+8.18-1_amd64.deb
Size: 1320774
MD5sum: 96e226fb6db86d71eede10ed6c38661f
SHA1: 1886d6cf0765a3f5c6025a7fdcc230872257a99a
SHA256: b6e75e8151b0646abac0dcf672ec2b6bc8acd398ad9d67bb6b4d3a3ba0c98420
SHA512: bfbb5a79d228193e3839688997160d82bc525f276ad802e1886960cedaab1287044f034c46d6f019fe6fff9eff6c604981d20958a92bb7d3df47d2e638f151ae
Homepage: https://github.com/Mtac2/Mtac2
Description: Mtac2 tactic language for Coq
Description-md5: 6841300aeafd53fddd1be8b77fa1bba7