How To Install flocq-source on Fedora 36
Introduction
In this tutorial we learn how to install flocq-source
on Fedora 36.
What is flocq-source
This package contains the source Coq files for flocq. These files are not needed to use flocq. They are made available for informational purposes.
We can use yum
or dnf
to install flocq-source
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install flocq-source.
Install flocq-source on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install flocq-source
using dnf
by running the following command:
sudo dnf -y install flocq-source
Install flocq-source on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install flocq-source
using yum
by running the following command:
sudo yum -y install flocq-source
How To Uninstall flocq-source on Fedora 36
To uninstall only the flocq-source
package we can use the following command:
sudo dnf remove flocq-source
flocq-source Package Contents on Fedora 36
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Bracket.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Div.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Operations.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Round.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Core.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Defs.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Digits.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FIX.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLT.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FLX.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/FTZ.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Float_prop.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Raux.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_NE.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Round_pred.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Ulp.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Core/Zaux.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/SpecFloatCompat.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/IEEE754/SpecFloatCopy.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Relative.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.v
/usr/lib64/ocaml/coq/user-contrib/Flocq/Version.v
References
Summary
In this tutorial we learn how to install flocq-source
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).