How To Install ocaml-psmt2-frontend-docs on Fedora 36
Introduction
In this tutorial we learn how to install ocaml-psmt2-frontend-docs
on Fedora 36.
What is ocaml-psmt2-frontend-docs
Documentation for ocaml-psmt2-frontend.
We can use yum
or dnf
to install ocaml-psmt2-frontend-docs
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-psmt2-frontend-docs.
Install ocaml-psmt2-frontend-docs 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-docs
using dnf
by running the following command:
sudo dnf -y install ocaml-psmt2-frontend-docs
Install ocaml-psmt2-frontend-docs 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-docs
using yum
by running the following command:
sudo yum -y install ocaml-psmt2-frontend-docs
How To Uninstall ocaml-psmt2-frontend-docs on Fedora 36
To uninstall only the ocaml-psmt2-frontend-docs
package we can use the following command:
sudo dnf remove ocaml-psmt2-frontend-docs
ocaml-psmt2-frontend-docs Package Contents on Fedora 36
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/_html
/usr/share/doc/ocaml-psmt2-frontend/_html/highlight.pack.js
/usr/share/doc/ocaml-psmt2-frontend/_html/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/odoc.css
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Main
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Main/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Options
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Options/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_error
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_error/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_lexer
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_lexer/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_parser
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_parser/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_printer
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_printer/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_syntax
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_syntax/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/IMap
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/IMap/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/SMap
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/SMap/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_ty/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/SMap
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/SMap/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_env/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_logic
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typed_logic/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typing
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Smtlib_typing/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Version
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/Version/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Main
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Main/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Options
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Options/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_error
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_error/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_lexer
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_lexer/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_parser
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_parser/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_printer
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_printer/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_syntax
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_syntax/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_ty
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_ty/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typed_env
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typed_env/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typed_logic
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typed_logic/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typing
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Smtlib_typing/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Version
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/Psmt2Frontend__Version/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend/index.html
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend_bin
/usr/share/doc/ocaml-psmt2-frontend/_html/psmt2-frontend_bin/index.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.buildinfo
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/about.doctree
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/environment.pickle
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/index.doctree
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/install.doctree
/usr/share/doc/ocaml-psmt2-frontend/sphinx/.doctrees/license.doctree
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources/about.rst.txt
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources/index.rst.txt
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources/install.rst.txt
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_sources/license.rst.txt
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/basic.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/css/badge_only.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/css/fixes.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/css/theme.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/doctools.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/documentation_options.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/file.png
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/jquery-3.5.1.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/jquery.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/js/badge_only.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/js/theme.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/language_data.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/minus.png
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/plus.png
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/pygments.css
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/searchtools.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/underscore-1.13.1.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/_static/underscore.js
/usr/share/doc/ocaml-psmt2-frontend/sphinx/about.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/genindex.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/index.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/install.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/license.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/objects.inv
/usr/share/doc/ocaml-psmt2-frontend/sphinx/search.html
/usr/share/doc/ocaml-psmt2-frontend/sphinx/searchindex.js
References
Summary
In this tutorial we learn how to install ocaml-psmt2-frontend-docs
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).