How to Install and Uninstall libmccs-ocaml Package on Linux Mint 20.3 (Una)
Last updated: November 26,2024
1. Install "libmccs-ocaml" package
Please follow the instructions below to install libmccs-ocaml on Linux Mint 20.3 (Una)
$
sudo apt update
Copied
$
sudo apt install
libmccs-ocaml
Copied
2. Uninstall "libmccs-ocaml" package
Learn how to uninstall libmccs-ocaml on Linux Mint 20.3 (Una):
$
sudo apt remove
libmccs-ocaml
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libmccs-ocaml package on Linux Mint 20.3 (Una)
Package: libmccs-ocaml
Architecture: amd64
Version: 1.1+11-1build1
Priority: optional
Section: universe/ocaml
Source: ocaml-mccs
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 348
Provides: libmccs-ocaml-s1ht4
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2), ocaml-base-nox-4.08.1
Filename: pool/universe/o/ocaml-mccs/libmccs-ocaml_1.1+11-1build1_amd64.deb
Size: 72256
MD5sum: 2a8afd1acdf1c1b68fd28ad272a85604
SHA1: cf8ea7826140d29e2f6211dcf0fcfbb5f211415b
SHA256: feb42bae2daf7936af737afcb237dc2f36780e83d5221f9fc0f8d17951254e66
Homepage: https://github.com/AltGr/ocaml-mccs/
Description: stripped-down MCCS CUDF solver for OCaml
Description-md5: 07e43fdef92ca49e839c3d6a694d1d42
Architecture: amd64
Version: 1.1+11-1build1
Priority: optional
Section: universe/ocaml
Source: ocaml-mccs
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 348
Provides: libmccs-ocaml-s1ht4
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 5.2), ocaml-base-nox-4.08.1
Filename: pool/universe/o/ocaml-mccs/libmccs-ocaml_1.1+11-1build1_amd64.deb
Size: 72256
MD5sum: 2a8afd1acdf1c1b68fd28ad272a85604
SHA1: cf8ea7826140d29e2f6211dcf0fcfbb5f211415b
SHA256: feb42bae2daf7936af737afcb237dc2f36780e83d5221f9fc0f8d17951254e66
Homepage: https://github.com/AltGr/ocaml-mccs/
Description: stripped-down MCCS CUDF solver for OCaml
Description-md5: 07e43fdef92ca49e839c3d6a694d1d42