How To Install ocaml-psmt2-frontend-devel on Fedora 36
Introduction
In this tutorial we learn how to install ocaml-psmt2-frontend-devel on Fedora 36.
What is ocaml-psmt2-frontend-devel
The ocaml-psmt2-frontend-devel package contains libraries and signature files for developing applications that use ocaml-psmt2-frontend.
We can use yum or dnf to install ocaml-psmt2-frontend-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-psmt2-frontend-devel.
Install ocaml-psmt2-frontend-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-psmt2-frontend-devel using dnf by running the following command:
sudo dnf -y install ocaml-psmt2-frontend-devel
Install ocaml-psmt2-frontend-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-psmt2-frontend-devel using yum by running the following command:
sudo yum -y install ocaml-psmt2-frontend-devel
How To Uninstall ocaml-psmt2-frontend-devel on Fedora 36
To uninstall only the ocaml-psmt2-frontend-devel package we can use the following command:
sudo dnf remove ocaml-psmt2-frontend-devel
ocaml-psmt2-frontend-devel Package Contents on Fedora 36
/usr/lib/ocaml/psmt2-frontend/dune-package
/usr/lib/ocaml/psmt2-frontend/opam
/usr/lib/ocaml/psmt2-frontend/options.mli
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
/usr/lib/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib/ocaml/psmt2-frontend/version.mli
References
Summary
In this tutorial we learn how to install ocaml-psmt2-frontend-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install ocaml-psmt2-frontend-devel on Fedora 36” linkTitle: “ocaml-psmt2-frontend-devel” type: “docs” description: “In this tutorial we learn how to install ocaml-psmt2-frontend-devel in Fedora 36. ocaml-psmt2-frontend-devel is Development files for ocaml-psmt2-frontend” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ocaml-psmt2-frontend-devel-featured.png
Introduction
In this tutorial we learn how to install ocaml-psmt2-frontend-devel on Fedora 36.
What is ocaml-psmt2-frontend-devel
The ocaml-psmt2-frontend-devel package contains libraries and signature files for developing applications that use ocaml-psmt2-frontend.
We can use yum or dnf to install ocaml-psmt2-frontend-devel on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-psmt2-frontend-devel.
Install ocaml-psmt2-frontend-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-psmt2-frontend-devel using dnf by running the following command:
sudo dnf -y install ocaml-psmt2-frontend-devel
Install ocaml-psmt2-frontend-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-psmt2-frontend-devel using yum by running the following command:
sudo yum -y install ocaml-psmt2-frontend-devel
How To Uninstall ocaml-psmt2-frontend-devel on Fedora 36
To uninstall only the ocaml-psmt2-frontend-devel package we can use the following command:
sudo dnf remove ocaml-psmt2-frontend-devel
ocaml-psmt2-frontend-devel Package Contents on Fedora 36
/usr/lib64/ocaml/psmt2-frontend/dune-package
/usr/lib64/ocaml/psmt2-frontend/opam
/usr/lib64/ocaml/psmt2-frontend/options.mli
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib64/ocaml/psmt2-frontend/version.mli
References
Summary
In this tutorial we learn how to install ocaml-psmt2-frontend-devel on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
