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

Last updated: December 23,2024

1. Install "libcoq-interval" package

Please follow the step by step instructions below to install libcoq-interval on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-interval
            
                    
    
    Copied

2. Uninstall "libcoq-interval" package

In this section, we are going to explain the necessary steps to uninstall libcoq-interval on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-interval
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-interval
Architecture: amd64
Version: 4.8.0-1
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: 17810
Provides: libcoq-interval-no6o4
Depends: libcoq-bignums-cj7t4, libcoq-coquelicot-34q78, libcoq-flocq-sw7r5, libcoq-mathcomp-ssreflect-sunj9, libcoq-stdlib-zp202
Filename: pool/universe/c/coq-interval/libcoq-interval_4.8.0-1_amd64.deb
Size: 6776124
MD5sum: 30a75f908fb03fe4565410cb4c62ebc0
SHA1: 0fb55546af60196374a5ad26d5c03f5d86a7b82e
SHA256: 3a7e52da6aff189a94e3efa3cac0e9dded599a7842116aaacf70b2827eb9b916
SHA512: a0eaeadef4c40c06239b0b7fc5f10bd82666911a7f385ec4a7c4f8c2bc6f5b44252cbdaad52d79dc40ff35a9a6dda8ec78293d4602779b9dbd6d014aeb4a892d
Homepage: https://coqinterval.gitlabpages.inria.fr/
Description: interval arithmetic for Coq
Description-md5: 592b78874085ed93fea0d897f7ed5db2