How To Install gappalib-coq-source on Fedora 36
Introduction
In this tutorial we learn how to install gappalib-coq-source
on Fedora 36.
What is gappalib-coq-source
This package contains the source Coq files for gappalib-coq. These files are not needed to use gappalib-coq. They are made available for informational purposes.
We can use yum
or dnf
to install gappalib-coq-source
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install gappalib-coq-source.
Install gappalib-coq-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 gappalib-coq-source
using dnf
by running the following command:
sudo dnf -y install gappalib-coq-source
Install gappalib-coq-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 gappalib-coq-source
using yum
by running the following command:
sudo yum -y install gappalib-coq-source
How To Uninstall gappalib-coq-source on Fedora 36
To uninstall only the gappalib-coq-source
package we can use the following command:
sudo dnf remove gappalib-coq-source
gappalib-coq-source Package Contents on Fedora 36
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_common.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_decimal.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_definitions.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_dyadic.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_fixed.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_float.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_library.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_obfuscate.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_abs.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_bnd.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_fixflt.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_nzr.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_rel.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_real.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_rewriting.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_aux.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_def.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tactic.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tree.v
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_user.v
References
Summary
In this tutorial we learn how to install gappalib-coq-source
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).