How to Install and Uninstall flocq.x86_64 Package on Fedora 38

Last updated: November 01,2024

1. Install "flocq.x86_64" package

Please follow the step by step instructions below to install flocq.x86_64 on Fedora 38


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                flocq.x86_64
            
                    
    
    Copied

2. Uninstall "flocq.x86_64" package

Learn how to uninstall flocq.x86_64 on Fedora 38:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                flocq.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

3. Information about the flocq.x86_64 package on Fedora 38

Last metadata expiration check: 0:56:02 ago on Sat Mar 16 22:59:57 2024.
Available Packages
Name : flocq
Version : 4.1.1
Release : 2.fc38
Architecture : x86_64
Size : 4.6 M
Source : flocq-4.1.1-2.fc38.src.rpm
Repository : updates
Summary : Formalization of floating point numbers for Coq
URL : https://gitlab.inria.fr/flocq/flocq
License : LGPL-3.0-or-later
Description : Flocq (Floats for Coq) is a floating-point formalization for the Coq
: system. It provides a comprehensive library of theorems on a
: multi-radix multi-precision arithmetic. It also supports efficient
: numerical computations inside Coq.