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

Last updated: November 22,2024

1. Install "libcoq-interval" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-interval
            
                    
    
    Copied

2. Uninstall "libcoq-interval" package

This tutorial shows how to uninstall libcoq-interval on Ubuntu 24.04 LTS (Noble Numbat):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-interval
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-interval
Architecture: amd64
Version: 4.9.0-1build2
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: 18932
Provides: libcoq-interval-c1tv1
Depends: libcoq-bignums-a2im0, libcoq-coquelicot-0tdy7, libcoq-flocq-1i130, libcoq-mathcomp-ssreflect-s8sz2, libcoq-stdlib-ncp86
Filename: pool/universe/c/coq-interval/libcoq-interval_4.9.0-1build2_amd64.deb
Size: 6834384
MD5sum: a6f8d976afedede912072fe692aa9b12
SHA1: 3fbe4ad515774daf677976f7f384cbbe2fe58e51
SHA256: a1b932e863c2deb5e359dd470585f0d4d1762367b65e059516e1b2ba8c37c223
SHA512: 782b521f431fda54b5435094a26f689d8a274ffc2dc5f491381f6950922e5129db0780f0aad136e75ff3830363cbbf32b66cd277d7b31608491e4d3a57d65424
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description: interval arithmetic for Coq
Description-md5: 592b78874085ed93fea0d897f7ed5db2