How to Install and Uninstall libpsmt2-frontend-ocaml Package on Ubuntu 23.10 (Mantic Minotaur)
Last updated: November 07,2024
1. Install "libpsmt2-frontend-ocaml" package
Please follow the instructions below to install libpsmt2-frontend-ocaml on Ubuntu 23.10 (Mantic Minotaur)
$
sudo apt update
Copied
$
sudo apt install
libpsmt2-frontend-ocaml
Copied
2. Uninstall "libpsmt2-frontend-ocaml" package
This tutorial shows how to uninstall libpsmt2-frontend-ocaml on Ubuntu 23.10 (Mantic Minotaur):
$
sudo apt remove
libpsmt2-frontend-ocaml
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libpsmt2-frontend-ocaml package on Ubuntu 23.10 (Mantic Minotaur)
Package: libpsmt2-frontend-ocaml
Architecture: amd64
Version: 0.4.0-3
Priority: optional
Section: universe/ocaml
Source: psmt2-frontend
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5322
Provides: libpsmt2-frontend-ocaml-ap7c6
Depends: ocaml-base-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml_0.4.0-3_amd64.deb
Size: 1734804
MD5sum: b88c21db33374c9bbc91c55902f30381
SHA1: ce6574c02ddbe30d17b46be6c7f922f90994cc85
SHA256: 8e9ccd23818d962924ce09e9191418cc07804e3261fc161f93174d4a2bb597ae
SHA512: 726543ecb88fa33381d913390962d35e7833dfccec579690bcd3b01851f808614bf380c58a37623b59e6321fd60d31a0c3445339d44348d99b21ae5f55715f7c
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (runtime files)
Description-md5: fe163c52ae883e12ada3674e552f9b19
Architecture: amd64
Version: 0.4.0-3
Priority: optional
Section: universe/ocaml
Source: psmt2-frontend
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5322
Provides: libpsmt2-frontend-ocaml-ap7c6
Depends: ocaml-base-4.13.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml_0.4.0-3_amd64.deb
Size: 1734804
MD5sum: b88c21db33374c9bbc91c55902f30381
SHA1: ce6574c02ddbe30d17b46be6c7f922f90994cc85
SHA256: 8e9ccd23818d962924ce09e9191418cc07804e3261fc161f93174d4a2bb597ae
SHA512: 726543ecb88fa33381d913390962d35e7833dfccec579690bcd3b01851f808614bf380c58a37623b59e6321fd60d31a0c3445339d44348d99b21ae5f55715f7c
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (runtime files)
Description-md5: fe163c52ae883e12ada3674e552f9b19