How to Install and Uninstall libpsmt2-frontend-ocaml-dev Package on Ubuntu 24.04 LTS (Noble Numbat)
Last updated: November 22,2024
1. Install "libpsmt2-frontend-ocaml-dev" package
This is a short guide on how to install libpsmt2-frontend-ocaml-dev on Ubuntu 24.04 LTS (Noble Numbat)
$
sudo apt update
Copied
$
sudo apt install
libpsmt2-frontend-ocaml-dev
Copied
2. Uninstall "libpsmt2-frontend-ocaml-dev" package
Here is a brief guide to show you how to uninstall libpsmt2-frontend-ocaml-dev on Ubuntu 24.04 LTS (Noble Numbat):
$
sudo apt remove
libpsmt2-frontend-ocaml-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libpsmt2-frontend-ocaml-dev package on Ubuntu 24.04 LTS (Noble Numbat)
Package: libpsmt2-frontend-ocaml-dev
Architecture: amd64
Version: 0.4.0-3build1
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: 6596
Provides: libpsmt2-frontend-ocaml-dev-orsx4
Depends: libpsmt2-frontend-ocaml-orsx4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-3build1_amd64.deb
Size: 1460458
MD5sum: f34df2740f512b8219833738dfea4c02
SHA1: 94e871cd075200f111983bdf0301734e0d32dc19
SHA256: d6176d8f4a49ab793dec2bbcf3b138f60aed2ddf1351ae479dc924ad5e8a605a
SHA512: a90d1d4194b2fdf26f7d20b1c076cea04f18bed2fe6fba56fa41f60e8d3f674ae704c8618c02673b4623747e9c67195308b3c55ed5c763c9ed22d198f7416d51
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (dev files)
Description-md5: 35f563832b292fc18578aed4988c7bcf
Architecture: amd64
Version: 0.4.0-3build1
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: 6596
Provides: libpsmt2-frontend-ocaml-dev-orsx4
Depends: libpsmt2-frontend-ocaml-orsx4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Recommends: ocaml-findlib
Filename: pool/universe/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-3build1_amd64.deb
Size: 1460458
MD5sum: f34df2740f512b8219833738dfea4c02
SHA1: 94e871cd075200f111983bdf0301734e0d32dc19
SHA256: d6176d8f4a49ab793dec2bbcf3b138f60aed2ddf1351ae479dc924ad5e8a605a
SHA512: a90d1d4194b2fdf26f7d20b1c076cea04f18bed2fe6fba56fa41f60e8d3f674ae704c8618c02673b4623747e9c67195308b3c55ed5c763c9ed22d198f7416d51
Homepage: https://github.com/ACoquereau/psmt2-frontend
Description: Parse and type-check SMT-LIB 2 (dev files)
Description-md5: 35f563832b292fc18578aed4988c7bcf