How To Install ocaml-cil-devel on Fedora 36
In this tutorial we learn how to install ocaml-cil-devel in Fedora 36. ocaml-cil-devel is Development files for ocaml-cil
Introduction
In this tutorial we learn how to install ocaml-cil-devel on Fedora 36.
What is ocaml-cil-devel
The ocaml-cil-devel package contains libraries and signature files for developing applications that use ocaml-cil.
We can use yum or dnf to install ocaml-cil-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-cil-devel.
Install ocaml-cil-devel 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-devel using dnf by running the following command:
sudo dnf -y install ocaml-cil-devel
Install ocaml-cil-devel 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-devel using yum by running the following command:
sudo yum -y install ocaml-cil-devel
How To Uninstall ocaml-cil-devel on Fedora 36
To uninstall only the ocaml-cil-devel package we can use the following command:
sudo dnf remove ocaml-cil-devel
ocaml-cil-devel Package Contents on Fedora 36
/usr/lib/ocaml/cil/alpha.cmx
/usr/lib/ocaml/cil/alpha.mli
/usr/lib/ocaml/cil/availexps.cmx
/usr/lib/ocaml/cil/availexps.inferred.mli
/usr/lib/ocaml/cil/availexpslv.cmx
/usr/lib/ocaml/cil/availexpslv.inferred.mli
/usr/lib/ocaml/cil/bitmap.cmx
/usr/lib/ocaml/cil/bitmap.mli
/usr/lib/ocaml/cil/cabs.cmx
/usr/lib/ocaml/cil/cabs.inferred.mli
/usr/lib/ocaml/cil/cabs2cil.cmx
/usr/lib/ocaml/cil/cabs2cil.mli
/usr/lib/ocaml/cil/cabshelper.cmx
/usr/lib/ocaml/cil/cabshelper.inferred.mli
/usr/lib/ocaml/cil/cabsvisit.cmx
/usr/lib/ocaml/cil/cabsvisit.mli
/usr/lib/ocaml/cil/callgraph.cmx
/usr/lib/ocaml/cil/callgraph.mli
/usr/lib/ocaml/cil/canonicalize.cmx
/usr/lib/ocaml/cil/canonicalize.mli
/usr/lib/ocaml/cil/cfg.cmx
/usr/lib/ocaml/cil/cfg.mli
/usr/lib/ocaml/cil/check.cmx
/usr/lib/ocaml/cil/check.mli
/usr/lib/ocaml/cil/cil.a
/usr/lib/ocaml/cil/cil.cmx
/usr/lib/ocaml/cil/cil.cmxa
/usr/lib/ocaml/cil/cil.mli
/usr/lib/ocaml/cil/cilint.cmx
/usr/lib/ocaml/cil/cilint.mli
/usr/lib/ocaml/cil/cillower.cmx
/usr/lib/ocaml/cil/cillower.mli
/usr/lib/ocaml/cil/ciloptions.cmx
/usr/lib/ocaml/cil/ciloptions.mli
/usr/lib/ocaml/cil/ciltools.cmx
/usr/lib/ocaml/cil/ciltools.inferred.mli
/usr/lib/ocaml/cil/cilutil.cmx
/usr/lib/ocaml/cil/cilutil.inferred.mli
/usr/lib/ocaml/cil/cilversion.cmx
/usr/lib/ocaml/cil/cilversion.inferred.mli
/usr/lib/ocaml/cil/clexer.cmx
/usr/lib/ocaml/cil/clexer.mli
/usr/lib/ocaml/cil/clist.cmx
/usr/lib/ocaml/cil/clist.mli
/usr/lib/ocaml/cil/cparser.cmx
/usr/lib/ocaml/cil/cparser.mli
/usr/lib/ocaml/cil/cprint.cmx
/usr/lib/ocaml/cil/cprint.inferred.mli
/usr/lib/ocaml/cil/dataflow.cmx
/usr/lib/ocaml/cil/dataflow.mli
/usr/lib/ocaml/cil/dataslicing.cmx
/usr/lib/ocaml/cil/dataslicing.mli
/usr/lib/ocaml/cil/deadcodeelim.cmx
/usr/lib/ocaml/cil/deadcodeelim.inferred.mli
/usr/lib/ocaml/cil/dominators.cmx
/usr/lib/ocaml/cil/dominators.mli
/usr/lib/ocaml/cil/epicenter.cmx
/usr/lib/ocaml/cil/epicenter.inferred.mli
/usr/lib/ocaml/cil/errormsg.cmx
/usr/lib/ocaml/cil/errormsg.mli
/usr/lib/ocaml/cil/escape.cmx
/usr/lib/ocaml/cil/escape.mli
/usr/lib/ocaml/cil/expcompare.cmx
/usr/lib/ocaml/cil/expcompare.inferred.mli
/usr/lib/ocaml/cil/feature_config.cmx
/usr/lib/ocaml/cil/feature_config.inferred.mli
/usr/lib/ocaml/cil/formatcil.cmx
/usr/lib/ocaml/cil/formatcil.mli
/usr/lib/ocaml/cil/formatlex.cmx
/usr/lib/ocaml/cil/formatlex.inferred.mli
/usr/lib/ocaml/cil/formatparse.cmx
/usr/lib/ocaml/cil/formatparse.mli
/usr/lib/ocaml/cil/frontc.cmx
/usr/lib/ocaml/cil/frontc.mli
/usr/lib/ocaml/cil/growArray.cmx
/usr/lib/ocaml/cil/growArray.mli
/usr/lib/ocaml/cil/heap.cmx
/usr/lib/ocaml/cil/heap.inferred.mli
/usr/lib/ocaml/cil/heapify.cmx
/usr/lib/ocaml/cil/heapify.inferred.mli
/usr/lib/ocaml/cil/inthash.cmx
/usr/lib/ocaml/cil/inthash.mli
/usr/lib/ocaml/cil/lexerhack.cmx
/usr/lib/ocaml/cil/lexerhack.inferred.mli
/usr/lib/ocaml/cil/liveness.cmx
/usr/lib/ocaml/cil/liveness.inferred.mli
/usr/lib/ocaml/cil/llvm.cmx
/usr/lib/ocaml/cil/llvm.inferred.mli
/usr/lib/ocaml/cil/llvmgen.cmx
/usr/lib/ocaml/cil/llvmgen.inferred.mli
/usr/lib/ocaml/cil/llvmssa.cmx
/usr/lib/ocaml/cil/llvmssa.inferred.mli
/usr/lib/ocaml/cil/llvmutils.cmx
/usr/lib/ocaml/cil/llvmutils.inferred.mli
/usr/lib/ocaml/cil/logcalls.cmx
/usr/lib/ocaml/cil/logcalls.mli
/usr/lib/ocaml/cil/logwrites.cmx
/usr/lib/ocaml/cil/logwrites.inferred.mli
/usr/lib/ocaml/cil/longarray.cmx
/usr/lib/ocaml/cil/longarray.mli
/usr/lib/ocaml/cil/machdep.cmx
/usr/lib/ocaml/cil/machdep.inferred.mli
/usr/lib/ocaml/cil/machdepenv.cmx
/usr/lib/ocaml/cil/machdepenv.inferred.mli
/usr/lib/ocaml/cil/mergecil.cmx
/usr/lib/ocaml/cil/mergecil.mli
/usr/lib/ocaml/cil/olf.cmx
/usr/lib/ocaml/cil/olf.mli
/usr/lib/ocaml/cil/oneret.cmx
/usr/lib/ocaml/cil/oneret.mli
/usr/lib/ocaml/cil/partial.cmx
/usr/lib/ocaml/cil/partial.inferred.mli
/usr/lib/ocaml/cil/patch.cmx
/usr/lib/ocaml/cil/patch.mli
/usr/lib/ocaml/cil/predabst.cmx
/usr/lib/ocaml/cil/predabst.inferred.mli
/usr/lib/ocaml/cil/pretty.cmx
/usr/lib/ocaml/cil/pretty.mli
/usr/lib/ocaml/cil/ptranal.cmx
/usr/lib/ocaml/cil/ptranal.mli
/usr/lib/ocaml/cil/reachingdefs.cmx
/usr/lib/ocaml/cil/reachingdefs.inferred.mli
/usr/lib/ocaml/cil/rmtmps.cmx
/usr/lib/ocaml/cil/rmtmps.mli
/usr/lib/ocaml/cil/setp.cmx
/usr/lib/ocaml/cil/setp.mli
/usr/lib/ocaml/cil/sfi.cmx
/usr/lib/ocaml/cil/sfi.inferred.mli
/usr/lib/ocaml/cil/simplemem.cmx
/usr/lib/ocaml/cil/simplemem.inferred.mli
/usr/lib/ocaml/cil/simplify.cmx
/usr/lib/ocaml/cil/simplify.mli
/usr/lib/ocaml/cil/ssa.cmx
/usr/lib/ocaml/cil/ssa.mli
/usr/lib/ocaml/cil/stats.cmx
/usr/lib/ocaml/cil/stats.mli
/usr/lib/ocaml/cil/trace.cmx
/usr/lib/ocaml/cil/trace.mli
/usr/lib/ocaml/cil/uref.cmx
/usr/lib/ocaml/cil/uref.mli
/usr/lib/ocaml/cil/usedef.cmx
/usr/lib/ocaml/cil/usedef.inferred.mli
/usr/lib/ocaml/cil/util.cmx
/usr/lib/ocaml/cil/util.mli
/usr/lib/ocaml/cil/whitetrack.cmx
/usr/lib/ocaml/cil/whitetrack.mli
/usr/share/doc/ocaml-cil-devel
/usr/share/doc/ocaml-cil-devel/LICENSE
/usr/share/doc/ocaml-cil-devel/README.md
References
Summary
In this tutorial we learn how to install ocaml-cil-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install ocaml-cil-devel on Fedora 36” linkTitle: “ocaml-cil-devel” type: “docs” description: “In this tutorial we learn how to install ocaml-cil-devel in Fedora 36. ocaml-cil-devel is Development files for ocaml-cil” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ocaml-cil-devel-featured.png
Introduction
In this tutorial we learn how to install ocaml-cil-devel on Fedora 36.
What is ocaml-cil-devel
The ocaml-cil-devel package contains libraries and signature files for developing applications that use ocaml-cil.
We can use yum or dnf to install ocaml-cil-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-cil-devel.
Install ocaml-cil-devel 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-devel using dnf by running the following command:
sudo dnf -y install ocaml-cil-devel
Install ocaml-cil-devel 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-devel using yum by running the following command:
sudo yum -y install ocaml-cil-devel
How To Uninstall ocaml-cil-devel on Fedora 36
To uninstall only the ocaml-cil-devel package we can use the following command:
sudo dnf remove ocaml-cil-devel
ocaml-cil-devel Package Contents on Fedora 36
/usr/lib64/ocaml/cil/alpha.cmx
/usr/lib64/ocaml/cil/alpha.mli
/usr/lib64/ocaml/cil/availexps.cmx
/usr/lib64/ocaml/cil/availexps.inferred.mli
/usr/lib64/ocaml/cil/availexpslv.cmx
/usr/lib64/ocaml/cil/availexpslv.inferred.mli
/usr/lib64/ocaml/cil/bitmap.cmx
/usr/lib64/ocaml/cil/bitmap.mli
/usr/lib64/ocaml/cil/cabs.cmx
/usr/lib64/ocaml/cil/cabs.inferred.mli
/usr/lib64/ocaml/cil/cabs2cil.cmx
/usr/lib64/ocaml/cil/cabs2cil.mli
/usr/lib64/ocaml/cil/cabshelper.cmx
/usr/lib64/ocaml/cil/cabshelper.inferred.mli
/usr/lib64/ocaml/cil/cabsvisit.cmx
/usr/lib64/ocaml/cil/cabsvisit.mli
/usr/lib64/ocaml/cil/callgraph.cmx
/usr/lib64/ocaml/cil/callgraph.mli
/usr/lib64/ocaml/cil/canonicalize.cmx
/usr/lib64/ocaml/cil/canonicalize.mli
/usr/lib64/ocaml/cil/cfg.cmx
/usr/lib64/ocaml/cil/cfg.mli
/usr/lib64/ocaml/cil/check.cmx
/usr/lib64/ocaml/cil/check.mli
/usr/lib64/ocaml/cil/cil.a
/usr/lib64/ocaml/cil/cil.cmx
/usr/lib64/ocaml/cil/cil.cmxa
/usr/lib64/ocaml/cil/cil.mli
/usr/lib64/ocaml/cil/cilint.cmx
/usr/lib64/ocaml/cil/cilint.mli
/usr/lib64/ocaml/cil/cillower.cmx
/usr/lib64/ocaml/cil/cillower.mli
/usr/lib64/ocaml/cil/ciloptions.cmx
/usr/lib64/ocaml/cil/ciloptions.mli
/usr/lib64/ocaml/cil/ciltools.cmx
/usr/lib64/ocaml/cil/ciltools.inferred.mli
/usr/lib64/ocaml/cil/cilutil.cmx
/usr/lib64/ocaml/cil/cilutil.inferred.mli
/usr/lib64/ocaml/cil/cilversion.cmx
/usr/lib64/ocaml/cil/cilversion.inferred.mli
/usr/lib64/ocaml/cil/clexer.cmx
/usr/lib64/ocaml/cil/clexer.mli
/usr/lib64/ocaml/cil/clist.cmx
/usr/lib64/ocaml/cil/clist.mli
/usr/lib64/ocaml/cil/cparser.cmx
/usr/lib64/ocaml/cil/cparser.mli
/usr/lib64/ocaml/cil/cprint.cmx
/usr/lib64/ocaml/cil/cprint.inferred.mli
/usr/lib64/ocaml/cil/dataflow.cmx
/usr/lib64/ocaml/cil/dataflow.mli
/usr/lib64/ocaml/cil/dataslicing.cmx
/usr/lib64/ocaml/cil/dataslicing.mli
/usr/lib64/ocaml/cil/deadcodeelim.cmx
/usr/lib64/ocaml/cil/deadcodeelim.inferred.mli
/usr/lib64/ocaml/cil/dominators.cmx
/usr/lib64/ocaml/cil/dominators.mli
/usr/lib64/ocaml/cil/epicenter.cmx
/usr/lib64/ocaml/cil/epicenter.inferred.mli
/usr/lib64/ocaml/cil/errormsg.cmx
/usr/lib64/ocaml/cil/errormsg.mli
/usr/lib64/ocaml/cil/escape.cmx
/usr/lib64/ocaml/cil/escape.mli
/usr/lib64/ocaml/cil/expcompare.cmx
/usr/lib64/ocaml/cil/expcompare.inferred.mli
/usr/lib64/ocaml/cil/feature_config.cmx
/usr/lib64/ocaml/cil/feature_config.inferred.mli
/usr/lib64/ocaml/cil/formatcil.cmx
/usr/lib64/ocaml/cil/formatcil.mli
/usr/lib64/ocaml/cil/formatlex.cmx
/usr/lib64/ocaml/cil/formatlex.inferred.mli
/usr/lib64/ocaml/cil/formatparse.cmx
/usr/lib64/ocaml/cil/formatparse.mli
/usr/lib64/ocaml/cil/frontc.cmx
/usr/lib64/ocaml/cil/frontc.mli
/usr/lib64/ocaml/cil/growArray.cmx
/usr/lib64/ocaml/cil/growArray.mli
/usr/lib64/ocaml/cil/heap.cmx
/usr/lib64/ocaml/cil/heap.inferred.mli
/usr/lib64/ocaml/cil/heapify.cmx
/usr/lib64/ocaml/cil/heapify.inferred.mli
/usr/lib64/ocaml/cil/inthash.cmx
/usr/lib64/ocaml/cil/inthash.mli
/usr/lib64/ocaml/cil/lexerhack.cmx
/usr/lib64/ocaml/cil/lexerhack.inferred.mli
/usr/lib64/ocaml/cil/liveness.cmx
/usr/lib64/ocaml/cil/liveness.inferred.mli
/usr/lib64/ocaml/cil/llvm.cmx
/usr/lib64/ocaml/cil/llvm.inferred.mli
/usr/lib64/ocaml/cil/llvmgen.cmx
/usr/lib64/ocaml/cil/llvmgen.inferred.mli
/usr/lib64/ocaml/cil/llvmssa.cmx
/usr/lib64/ocaml/cil/llvmssa.inferred.mli
/usr/lib64/ocaml/cil/llvmutils.cmx
/usr/lib64/ocaml/cil/llvmutils.inferred.mli
/usr/lib64/ocaml/cil/logcalls.cmx
/usr/lib64/ocaml/cil/logcalls.mli
/usr/lib64/ocaml/cil/logwrites.cmx
/usr/lib64/ocaml/cil/logwrites.inferred.mli
/usr/lib64/ocaml/cil/longarray.cmx
/usr/lib64/ocaml/cil/longarray.mli
/usr/lib64/ocaml/cil/machdep.cmx
/usr/lib64/ocaml/cil/machdep.inferred.mli
/usr/lib64/ocaml/cil/machdepenv.cmx
/usr/lib64/ocaml/cil/machdepenv.inferred.mli
/usr/lib64/ocaml/cil/mergecil.cmx
/usr/lib64/ocaml/cil/mergecil.mli
/usr/lib64/ocaml/cil/olf.cmx
/usr/lib64/ocaml/cil/olf.mli
/usr/lib64/ocaml/cil/oneret.cmx
/usr/lib64/ocaml/cil/oneret.mli
/usr/lib64/ocaml/cil/partial.cmx
/usr/lib64/ocaml/cil/partial.inferred.mli
/usr/lib64/ocaml/cil/patch.cmx
/usr/lib64/ocaml/cil/patch.mli
/usr/lib64/ocaml/cil/predabst.cmx
/usr/lib64/ocaml/cil/predabst.inferred.mli
/usr/lib64/ocaml/cil/pretty.cmx
/usr/lib64/ocaml/cil/pretty.mli
/usr/lib64/ocaml/cil/ptranal.cmx
/usr/lib64/ocaml/cil/ptranal.mli
/usr/lib64/ocaml/cil/reachingdefs.cmx
/usr/lib64/ocaml/cil/reachingdefs.inferred.mli
/usr/lib64/ocaml/cil/rmtmps.cmx
/usr/lib64/ocaml/cil/rmtmps.mli
/usr/lib64/ocaml/cil/setp.cmx
/usr/lib64/ocaml/cil/setp.mli
/usr/lib64/ocaml/cil/sfi.cmx
/usr/lib64/ocaml/cil/sfi.inferred.mli
/usr/lib64/ocaml/cil/simplemem.cmx
/usr/lib64/ocaml/cil/simplemem.inferred.mli
/usr/lib64/ocaml/cil/simplify.cmx
/usr/lib64/ocaml/cil/simplify.mli
/usr/lib64/ocaml/cil/ssa.cmx
/usr/lib64/ocaml/cil/ssa.mli
/usr/lib64/ocaml/cil/stats.cmx
/usr/lib64/ocaml/cil/stats.mli
/usr/lib64/ocaml/cil/trace.cmx
/usr/lib64/ocaml/cil/trace.mli
/usr/lib64/ocaml/cil/uref.cmx
/usr/lib64/ocaml/cil/uref.mli
/usr/lib64/ocaml/cil/usedef.cmx
/usr/lib64/ocaml/cil/usedef.inferred.mli
/usr/lib64/ocaml/cil/util.cmx
/usr/lib64/ocaml/cil/util.mli
/usr/lib64/ocaml/cil/whitetrack.cmx
/usr/lib64/ocaml/cil/whitetrack.mli
/usr/share/doc/ocaml-cil-devel
/usr/share/doc/ocaml-cil-devel/LICENSE
/usr/share/doc/ocaml-cil-devel/README.md
References
Summary
In this tutorial we learn how to install ocaml-cil-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
