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

Last updated: June 26,2024

1. Install "libcoq-interval" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-interval
            
                    
    
    Copied

2. Uninstall "libcoq-interval" package

This guide let you learn how to uninstall libcoq-interval on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-interval
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-interval
Architecture: amd64
Version: 4.5.1-2
Priority: optional
Section: universe/ocaml
Source: coq-interval
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 13500
Provides: libcoq-interval-clop8
Depends: libcoq-bignums-mohl3, libcoq-coquelicot-cv3a5, libcoq-flocq-eigu4, libcoq-mathcomp-ssreflect-l9aa5, libcoq-stdlib-95ec4
Filename: pool/universe/c/coq-interval/libcoq-interval_4.5.1-2_amd64.deb
Size: 5268000
MD5sum: fa5f38c560f596d6cc071538107bcc49
SHA1: 211dc590afe98a053667f0746068db994ce5b39a
SHA256: 542c703b113a2b73b46405979e1a82b27897321b1ced675e9f43f45580391b31
SHA512: f00a4a8b85fda4a33f50a7c0f1c80e893d90637277fee0968278097afa6ad05460f1e8eee97f85cb0312ab6af5336161adf276186a4140b4a91aca6a299cc6d9
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description: interval arithmetic for Coq
Description-md5: 592b78874085ed93fea0d897f7ed5db2