How to Install and Uninstall libmccs-ocaml Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 01,2024

1. Install "libmccs-ocaml" package

Please follow the instructions below to install libmccs-ocaml on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install libmccs-ocaml

2. Uninstall "libmccs-ocaml" package

Please follow the steps below to uninstall libmccs-ocaml on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove libmccs-ocaml $ sudo apt autoclean && sudo apt autoremove

3. Information about the libmccs-ocaml package on Ubuntu 23.10 (Mantic Minotaur)

Package: libmccs-ocaml
Architecture: amd64
Version: 1.1+16-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: 356
Provides: libmccs-ocaml-jfce1
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1), ocaml-base-4.13.1
Filename: pool/universe/o/ocaml-mccs/libmccs-ocaml_1.1+16-1build1_amd64.deb
Size: 80712
MD5sum: f03369605605a983af5f73f550fb11e8
SHA1: 7dccb05d35eb00e74b5012b90811a7cbfdac37dc
SHA256: fbbd520035d1316d264e1904ec1b6f042747bbe1c6422c64895dea4a7dcb505d
SHA512: 0aed8eed8fac1fb678356c33073696ed9c2fb1a72425e98e4eecf2f403f7f85b4bf92250c6c23290ec159c61f66fbc599b6a9cb28ce6ffff21472a846fb081d9
Homepage: https://github.com/AltGr/ocaml-mccs/
Description: stripped-down MCCS CUDF solver for OCaml
Description-md5: 07e43fdef92ca49e839c3d6a694d1d42