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

Last updated: December 28,2024

1. Install "libcoq-flocq" package

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


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-flocq
            
                    
    
    Copied

2. Uninstall "libcoq-flocq" package

Please follow the guidelines below to uninstall libcoq-flocq on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-flocq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-flocq
Architecture: amd64
Version: 4.1.0-2
Priority: optional
Section: universe/ocaml
Source: flocq
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 9765
Provides: libcoq-flocq-eigu4
Depends: libcoq-stdlib-95ec4
Filename: pool/universe/f/flocq/libcoq-flocq_4.1.0-2_amd64.deb
Size: 3757546
MD5sum: 3027f99eeda25aa6b0b97efde8e46214
SHA1: a70a7891637e03d972d669c1036cc4bc27ca6751
SHA256: 4709be3a70581afb33c53aee137381a15cc3011367582eb239d3ef68f66fe14a
SHA512: df93d71e172d8f1e3b6959ab479c576ba31700bc49d6b823945573765546ee67878457088c09f7c933a60f072283a06da7b08168801be0b7495ca41da666f9de
Homepage: https://flocq.gitlabpages.inria.fr/
Description: Floating-point arithmetic for Coq
Description-md5: 40dc9bd26759c7b4d14a10e25957fe12