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

Last updated: July 08,2024

1. Install "libcoq-flocq" package

Here is a brief guide to show you how to install libcoq-flocq on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libcoq-flocq
            
                    
    
    Copied

2. Uninstall "libcoq-flocq" package

Please follow the step by step instructions below to uninstall libcoq-flocq on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libcoq-flocq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libcoq-flocq
Architecture: amd64
Version: 4.1.1-1build1
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: 9829
Provides: libcoq-flocq-sw7r5
Depends: libcoq-stdlib-zp202
Filename: pool/universe/f/flocq/libcoq-flocq_4.1.1-1build1_amd64.deb
Size: 3783266
MD5sum: e2bae079d7daf6754f0f9b4ed12b5e4b
SHA1: 7df29278f0ff86c4061a71ad0ae24cd82024f98a
SHA256: 76f8b137be42f12e4ad1ef5a38c98583f24aa912e2d3e72b847ea2f4feacd9ea
SHA512: 4ebe3aad5bb05a84977a20c60170a4b63821ffd2bddb2c25e192f7419af849ea89a9b764824054317dc727b10331dc486e29d13c0e5d6ac0cf206304814c31ed
Homepage: https://flocq.gitlabpages.inria.fr/
Description: Floating-point arithmetic for Coq
Description-md5: 40dc9bd26759c7b4d14a10e25957fe12