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

Last updated: January 16,2025

1. Install "flocq.x86_64" package

This guide let you learn how to install flocq.x86_64 on Fedora 36


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                flocq.x86_64
            
                    
    
    Copied

2. Uninstall "flocq.x86_64" package

Please follow the guidelines below to uninstall flocq.x86_64 on Fedora 36:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                flocq.x86_64
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

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

Last metadata expiration check: 1:47:52 ago on Thu Sep 8 08:04:50 2022.
Available Packages
Name : flocq
Version : 3.4.3
Release : 3.fc36
Architecture : x86_64
Size : 4.8 M
Source : flocq-3.4.3-3.fc36.src.rpm
Repository : updates
Summary : Formalization of floating point numbers for Coq
URL : https://gitlab.inria.fr/flocq/flocq
License : LGPLv3+
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.