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

Last updated: February 24,2025

1. Install "libcoq-ott" package

This tutorial shows how to install libcoq-ott on Ubuntu 24.04 LTS (Noble Numbat)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-ott
            
                    
    
    Copied

2. Uninstall "libcoq-ott" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-ott
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-ott
Architecture: amd64
Version: 0.33+ds-2build1
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: 725
Provides: libcoq-ott-y8hv2
Depends: libcoq-stdlib-ncp86
Filename: pool/universe/o/ott/libcoq-ott_0.33+ds-2build1_amd64.deb
Size: 218338
MD5sum: 1d606c201e2ab1790091942fee3480a8
SHA1: fe7163109f4c7f5e6133189922290085a261c8ef
SHA256: eb7a3038ee82ea61c3b4105bf16714d644cf2dac8e6dd4bce8397632bd5e2fb8
SHA512: be69712f27ffec7a0e4266d01ac579b6db6f67b52aaaf4d36bdd39a551d8cddda875b53006f09e3b43453c7267b69535ce68198adbec3c7382ddb77a7e39ac7e
Homepage: https://github.com/ott-lang/ott
Description: Ott tool (Coq plugin)
Description-md5: 1386de275ec3b4597f33aab7bc4a2ca7