How to Install and Uninstall libpsmt2-frontend-ocaml-dev Package on Kali Linux
Last updated: December 24,2024
1. Install "libpsmt2-frontend-ocaml-dev" package
Learn how to install libpsmt2-frontend-ocaml-dev on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
libpsmt2-frontend-ocaml-dev
Copied
2. Uninstall "libpsmt2-frontend-ocaml-dev" package
Learn how to uninstall libpsmt2-frontend-ocaml-dev on Kali Linux:
$
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 Kali Linux
Package: libpsmt2-frontend-ocaml-dev
Source: psmt2-frontend (0.4.0-3)
Version: 0.4.0-3+b1
Installed-Size: 6598
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libpsmt2-frontend-ocaml-dev-orsx4
Depends: libpsmt2-frontend-ocaml-orsx4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Recommends: ocaml-findlib
Size: 1169576
SHA256: 7eafa010df8696145d61f657f3868902caf87f09528528aeedb68daa94633545
SHA1: 198aa8bd3c58a7d7a4b5a705083169f5365acda4
MD5sum: 2704cd68e5aab40a47dce4216a94d0e8
Description: Parse and type-check SMT-LIB 2 (dev files)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
.
This package provides the dev files.
Description-md5:
Homepage: https://github.com/ACoquereau/psmt2-frontend
Section: ocaml
Priority: optional
Filename: pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-3+b1_amd64.deb
Source: psmt2-frontend (0.4.0-3)
Version: 0.4.0-3+b1
Installed-Size: 6598
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libpsmt2-frontend-ocaml-dev-orsx4
Depends: libpsmt2-frontend-ocaml-orsx4, libstdlib-ocaml-dev-ep7y0, ocaml-4.14.1
Recommends: ocaml-findlib
Size: 1169576
SHA256: 7eafa010df8696145d61f657f3868902caf87f09528528aeedb68daa94633545
SHA1: 198aa8bd3c58a7d7a4b5a705083169f5365acda4
MD5sum: 2704cd68e5aab40a47dce4216a94d0e8
Description: Parse and type-check SMT-LIB 2 (dev files)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
.
This package provides the dev files.
Description-md5:
Homepage: https://github.com/ACoquereau/psmt2-frontend
Section: ocaml
Priority: optional
Filename: pool/main/p/psmt2-frontend/libpsmt2-frontend-ocaml-dev_0.4.0-3+b1_amd64.deb