How to Install and Uninstall libfloat-coq Package on Linux Mint 20.3 (Una)

Last updated: May 17,2024

1. Install "libfloat-coq" package

This tutorial shows how to install libfloat-coq on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libfloat-coq
            
                    
    
    Copied

2. Uninstall "libfloat-coq" package

In this section, we are going to explain the necessary steps to uninstall libfloat-coq on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libfloat-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libfloat-coq package on Linux Mint 20.3 (Una)

Package: libfloat-coq
Architecture: all
Version: 1:8.10.0-1
Priority: optional
Section: universe/math
Source: coq-float
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 13002
Depends: coq-8.11.0+4.08.1
Filename: pool/universe/c/coq-float/libfloat-coq_8.10.0-1_all.deb
Size: 1224024
MD5sum: 49a15e7eb7e7f12297607a1e894a9e71
SHA1: 6bebe6f3ae8dad943c8798e9e80cf06e55bf0c1c
SHA256: 3a7c81dd21bc18d5aca719d1ed4bd552aaef7307abde213da89a8540769cc2d1
Homepage: https://github.com/coq-contribs/float
Description: Coq library on floating-point arithmetic
Description-md5: f850275d0bfd31acbb9a4ed726a7b44d