How to Install and Uninstall ocaml-dose3.x86_64 Package on Fedora 39
Last updated: January 16,2025
1. Install "ocaml-dose3.x86_64" package
Please follow the step by step instructions below to install ocaml-dose3.x86_64 on Fedora 39
$
sudo dnf update
Copied
$
sudo dnf install
ocaml-dose3.x86_64
Copied
2. Uninstall "ocaml-dose3.x86_64" package
In this section, we are going to explain the necessary steps to uninstall ocaml-dose3.x86_64 on Fedora 39:
$
sudo dnf remove
ocaml-dose3.x86_64
Copied
$
sudo dnf autoremove
Copied
3. Information about the ocaml-dose3.x86_64 package on Fedora 39
Last metadata expiration check: 1:19:11 ago on Thu Mar 7 11:44:58 2024.
Available Packages
Name : ocaml-dose3
Version : 7.0.0
Release : 17.fc39
Architecture : x86_64
Size : 1.8 M
Source : ocaml-dose3-7.0.0-17.fc39.src.rpm
Repository : fedora
Summary : Framework for managing distribution packages and dependencies
URL : http://www.mancoosi.org/software/
License : LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Description : Dose3 is a framework made of several OCaml libraries for managing
: distribution packages and their dependencies.
:
: Though not tied to any particular distribution, dose3 constitutes a pool of
: libraries which enable analyzing packages coming from various distributions.
:
: Besides basic functionalities for querying and setting package properties,
: dose3 also implements algorithms for solving more complex problems
: (monitoring package evolutions, correct and complete dependency resolution,
: repository-wide uninstallability checks).
Available Packages
Name : ocaml-dose3
Version : 7.0.0
Release : 17.fc39
Architecture : x86_64
Size : 1.8 M
Source : ocaml-dose3-7.0.0-17.fc39.src.rpm
Repository : fedora
Summary : Framework for managing distribution packages and dependencies
URL : http://www.mancoosi.org/software/
License : LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Description : Dose3 is a framework made of several OCaml libraries for managing
: distribution packages and their dependencies.
:
: Though not tied to any particular distribution, dose3 constitutes a pool of
: libraries which enable analyzing packages coming from various distributions.
:
: Besides basic functionalities for querying and setting package properties,
: dose3 also implements algorithms for solving more complex problems
: (monitoring package evolutions, correct and complete dependency resolution,
: repository-wide uninstallability checks).