How to Install and Uninstall libcoq-ott Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: November 23,2024

1. Install "libcoq-ott" package

This tutorial shows how to install libcoq-ott on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-ott
            
                    
    
    Copied

2. Uninstall "libcoq-ott" package

In this section, we are going to explain the necessary steps to uninstall libcoq-ott on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-ott
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libcoq-ott package on Ubuntu 22.10 (Kinetic Kudu)

Package: libcoq-ott
Architecture: amd64
Version: 0.32+ds-2
Priority: optional
Section: universe/ocaml
Source: ott
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 735
Provides: libcoq-ott-we3s3
Depends: libcoq-stdlib-95ec4
Filename: pool/universe/o/ott/libcoq-ott_0.32+ds-2_amd64.deb
Size: 184072
MD5sum: 97a52e0224fd8afd25ca70eafb9e8cce
SHA1: 82e00786e4e80b8856a5695c399551040e6e229e
SHA256: 27b4ae57df499e6312e691b3b7a70b23af7d873abcc8bcfd92d649ef9fe47e60
SHA512: 0ec24081ac1fc5a48fe77a0b68b80c34db7d2e94ff87dbf16df6518544599e31396ce0a3f6f2a05a17bc6f1e5458412b0252bfc76fb36a9f91f337f987617b58
Homepage: https://github.com/ott-lang/ott
Description: Ott tool (Coq plugin)
Description-md5: 1386de275ec3b4597f33aab7bc4a2ca7