How to Install and Uninstall libpsmt2-frontend-ocaml-dev Package on Debian 12 (Bookworm)
Last updated: December 24,2024
Notice
You can also install and uninstall the libpsmt2-frontend-ocaml-dev on the following distributions in the same way, as they are all based on the Debian system
- MX Linux 23
- SparkyLinux
1. Install "libpsmt2-frontend-ocaml-dev" package
Please follow the instructions below to install libpsmt2-frontend-ocaml-dev on Debian 12 (Bookworm)
$
sudo apt update
Copied
$
sudo apt install
libpsmt2-frontend-ocaml-dev
Copied
2. Uninstall "libpsmt2-frontend-ocaml-dev" package
This tutorial shows how to uninstall libpsmt2-frontend-ocaml-dev on Debian 12 (Bookworm):
$
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 Debian 12 (Bookworm)
Package: libpsmt2-frontend-ocaml-dev
Source: psmt2-frontend (0.4.0-1)
Version: 0.4.0-1+b1
Installed-Size: 8315
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libpsmt2-frontend-ocaml-dev-2n7g5
Depends: libpsmt2-frontend-ocaml-2n7g5, ocaml-4.13.1
Recommends: ocaml-findlib
Description: Parse and type-check SMT-LIB 2 (dev files)
Description-md5: 35f563832b292fc18578aed4988c7bcf
Homepage: https://github.com/ACoquereau/psmt2-frontend
Section: ocaml
Priority: optional
Filename: pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-1+b1_amd64.deb
Size: 1472532
MD5sum: a71c27b32283c6eca3b4a133169fa591
SHA256: 9494e91f85ba55956086f46897f5266dab276180fcd32562f698c8250ae5f78b
Source: psmt2-frontend (0.4.0-1)
Version: 0.4.0-1+b1
Installed-Size: 8315
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libpsmt2-frontend-ocaml-dev-2n7g5
Depends: libpsmt2-frontend-ocaml-2n7g5, ocaml-4.13.1
Recommends: ocaml-findlib
Description: Parse and type-check SMT-LIB 2 (dev files)
Description-md5: 35f563832b292fc18578aed4988c7bcf
Homepage: https://github.com/ACoquereau/psmt2-frontend
Section: ocaml
Priority: optional
Filename: pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-1+b1_amd64.deb
Size: 1472532
MD5sum: a71c27b32283c6eca3b4a133169fa591
SHA256: 9494e91f85ba55956086f46897f5266dab276180fcd32562f698c8250ae5f78b