How To Install ocaml-cil-doc on Fedora 36
Introduction
In this tutorial we learn how to install ocaml-cil-doc
on Fedora 36.
What is ocaml-cil-doc
The ocaml-cil-doc package contains documentation for users of ocaml-cil.
We can use yum
or dnf
to install ocaml-cil-doc
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-cil-doc.
Install ocaml-cil-doc 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 ocaml-cil-doc
using dnf
by running the following command:
sudo dnf -y install ocaml-cil-doc
Install ocaml-cil-doc 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 ocaml-cil-doc
using yum
by running the following command:
sudo yum -y install ocaml-cil-doc
How To Uninstall ocaml-cil-doc on Fedora 36
To uninstall only the ocaml-cil-doc
package we can use the following command:
sudo dnf remove ocaml-cil-doc
ocaml-cil-doc Package Contents on Fedora 36
/usr/share/doc/ocaml-cil-doc
/usr/share/doc/ocaml-cil-doc/LICENSE
/usr/share/doc/ocaml-cil-doc/README.md
/usr/share/doc/ocaml-cil-doc/cil-manual.pdf
/usr/share/doc/ocaml-cil-doc/html
/usr/share/doc/ocaml-cil-doc/html/api
/usr/share/doc/ocaml-cil-doc/html/api/Alpha.html
/usr/share/doc/ocaml-cil-doc/html/api/Cfg.html
/usr/share/doc/ocaml-cil-doc/html/api/Cil.cilPrinter-c.html
/usr/share/doc/ocaml-cil-doc/html/api/Cil.cilVisitor-c.html
/usr/share/doc/ocaml-cil-doc/html/api/Cil.defaultCilPrinterClass-c.html
/usr/share/doc/ocaml-cil-doc/html/api/Cil.descriptiveCilPrinter-c.html
/usr/share/doc/ocaml-cil-doc/html/api/Cil.descriptiveCilPrinterClass-c.html
/usr/share/doc/ocaml-cil-doc/html/api/Cil.html
/usr/share/doc/ocaml-cil-doc/html/api/Cil.nopCilVisitor-c.html
/usr/share/doc/ocaml-cil-doc/html/api/Cil.plainCilPrinterClass-c.html
/usr/share/doc/ocaml-cil-doc/html/api/Cillower.html
/usr/share/doc/ocaml-cil-doc/html/api/Clist.html
/usr/share/doc/ocaml-cil-doc/html/api/Dataflow.BackwardsDataFlow.html
/usr/share/doc/ocaml-cil-doc/html/api/Dataflow.BackwardsTransfer.html
/usr/share/doc/ocaml-cil-doc/html/api/Dataflow.ForwardsDataFlow.html
/usr/share/doc/ocaml-cil-doc/html/api/Dataflow.ForwardsTransfer.html
/usr/share/doc/ocaml-cil-doc/html/api/Dataflow.html
/usr/share/doc/ocaml-cil-doc/html/api/Dominators.html
/usr/share/doc/ocaml-cil-doc/html/api/Errormsg.html
/usr/share/doc/ocaml-cil-doc/html/api/Formatcil.html
/usr/share/doc/ocaml-cil-doc/html/api/Pretty.MakeMapPrinter.html
/usr/share/doc/ocaml-cil-doc/html/api/Pretty.MakeSetPrinter.html
/usr/share/doc/ocaml-cil-doc/html/api/Pretty.html
/usr/share/doc/ocaml-cil-doc/html/api/Stats.html
/usr/share/doc/ocaml-cil-doc/html/api/html.stamp
/usr/share/doc/ocaml-cil-doc/html/api/index.html
/usr/share/doc/ocaml-cil-doc/html/api/index_attributes.html
/usr/share/doc/ocaml-cil-doc/html/api/index_class_types.html
/usr/share/doc/ocaml-cil-doc/html/api/index_classes.html
/usr/share/doc/ocaml-cil-doc/html/api/index_exceptions.html
/usr/share/doc/ocaml-cil-doc/html/api/index_extensions.html
/usr/share/doc/ocaml-cil-doc/html/api/index_methods.html
/usr/share/doc/ocaml-cil-doc/html/api/index_module_types.html
/usr/share/doc/ocaml-cil-doc/html/api/index_modules.html
/usr/share/doc/ocaml-cil-doc/html/api/index_types.html
/usr/share/doc/ocaml-cil-doc/html/api/index_values.html
/usr/share/doc/ocaml-cil-doc/html/api/style.css
/usr/share/doc/ocaml-cil-doc/html/api/type_Alpha.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cfg.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cil.cilPrinter.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cil.cilVisitor.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cil.defaultCilPrinterClass.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cil.descriptiveCilPrinter.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cil.descriptiveCilPrinterClass.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cil.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cil.nopCilVisitor.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cil.plainCilPrinterClass.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Cillower.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Clist.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Dataflow.BackwardsDataFlow.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Dataflow.BackwardsTransfer.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Dataflow.ForwardsDataFlow.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Dataflow.ForwardsTransfer.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Dataflow.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Dominators.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Errormsg.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Formatcil.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Pretty.MakeMapPrinter.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Pretty.MakeSetPrinter.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Pretty.html
/usr/share/doc/ocaml-cil-doc/html/api/type_Stats.html
/usr/share/doc/ocaml-cil-doc/html/attributes.html
/usr/share/doc/ocaml-cil-doc/html/cil.css
/usr/share/doc/ocaml-cil-doc/html/cil.html
/usr/share/doc/ocaml-cil-doc/html/cil001.html
/usr/share/doc/ocaml-cil-doc/html/cil002.html
/usr/share/doc/ocaml-cil-doc/html/cil003.html
/usr/share/doc/ocaml-cil-doc/html/cil004.html
/usr/share/doc/ocaml-cil-doc/html/cil007.html
/usr/share/doc/ocaml-cil-doc/html/cil009.html
/usr/share/doc/ocaml-cil-doc/html/cil010.html
/usr/share/doc/ocaml-cil-doc/html/cil011.html
/usr/share/doc/ocaml-cil-doc/html/cil012.html
/usr/share/doc/ocaml-cil-doc/html/cil015.html
/usr/share/doc/ocaml-cil-doc/html/cil016.html
/usr/share/doc/ocaml-cil-doc/html/cil017.html
/usr/share/doc/ocaml-cil-doc/html/cil018.html
/usr/share/doc/ocaml-cil-doc/html/cil019.html
/usr/share/doc/ocaml-cil-doc/html/cilly.html
/usr/share/doc/ocaml-cil-doc/html/ciltoc.html
/usr/share/doc/ocaml-cil-doc/html/contents_motif.svg
/usr/share/doc/ocaml-cil-doc/html/examples
/usr/share/doc/ocaml-cil-doc/html/examples/ex1.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex10.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex11.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex12.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex13.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex14.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex15.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex16.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex17.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex18.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex19.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex2.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex20.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex21.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex22.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex23.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex24.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex25.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex26.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex27.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex28.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex29.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex3.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex30.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex31.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex32.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex33.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex34.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex35.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex36.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex37.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex38.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex39.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex4.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex40.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex41.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex42.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex43.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex44.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex45.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex46.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex47.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex48.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex5.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex6.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex7.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex8.txt
/usr/share/doc/ocaml-cil-doc/html/examples/ex9.txt
/usr/share/doc/ocaml-cil-doc/html/ext.html
/usr/share/doc/ocaml-cil-doc/html/header.html
/usr/share/doc/ocaml-cil-doc/html/index.html
/usr/share/doc/ocaml-cil-doc/html/merger.html
/usr/share/doc/ocaml-cil-doc/html/next_motif.svg
/usr/share/doc/ocaml-cil-doc/html/patcher.html
/usr/share/doc/ocaml-cil-doc/html/previous_motif.svg
References
Summary
In this tutorial we learn how to install ocaml-cil-doc
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).