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

Last updated: July 03,2024

1. Install "libcoq-unicoq" package

Here is a brief guide to show you how to install libcoq-unicoq on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-unicoq
            
                    
    
    Copied

2. Uninstall "libcoq-unicoq" package

Here is a brief guide to show you how to uninstall libcoq-unicoq on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-unicoq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-unicoq
Architecture: amd64
Version: 1.6-8.17-1build1
Priority: optional
Section: universe/ocaml
Source: coq-unicoq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 546
Provides: libcoq-unicoq-hb9e8
Depends: libcoq-stdlib-zp202
Filename: pool/universe/c/coq-unicoq/libcoq-unicoq_1.6-8.17-1build1_amd64.deb
Size: 86740
MD5sum: b543c03e5c7311cb3ec4d9ef764c0cd5
SHA1: d06e885e0fb3da6f0a4ea9608ea26e583ff46e22
SHA256: 1789892b5879ab65cf41bc43436523ef5fd921f10e865f60037ac216e5c35490
SHA512: 6f99c9cf5015b08b6dd62e9496ec390bb49b8a2d9af8a90d13ee6484cee475efb5f21e6ca1ee97f8d5e7dd240717948d0e9c1ffc3816f9e667c44674ff7e06d2
Homepage: https://github.com/unicoq/unicoq/
Description: enhanced unification algorithm for Coq
Description-md5: 48caa7101c0321542fff948271f05d89