How to Install and Uninstall ocplib-simplex-ocaml-dev Package on Kali Linux
Last updated: November 22,2024
1. Install "ocplib-simplex-ocaml-dev" package
This tutorial shows how to install ocplib-simplex-ocaml-dev on Kali Linux
$
sudo apt update
Copied
$
sudo apt install
ocplib-simplex-ocaml-dev
Copied
2. Uninstall "ocplib-simplex-ocaml-dev" package
In this section, we are going to explain the necessary steps to uninstall ocplib-simplex-ocaml-dev on Kali Linux:
$
sudo apt remove
ocplib-simplex-ocaml-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the ocplib-simplex-ocaml-dev package on Kali Linux
Package: ocplib-simplex-ocaml-dev
Source: ocplib-simplex (0.5-4)
Version: 0.5-4+b3
Installed-Size: 3568
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: liblogs-ocaml-0yoh6, libstdlib-ocaml-ep7y0
Suggests: ocaml-findlib
Size: 643800
SHA256: 50e61cff4956b42b66cb2cc88ee50858c80a60a50f20e2f50da3a97f4f081034
SHA1: f53c363ad159a4cc65edbc8cebf309f37470fc4f
MD5sum: 81867066933398120dac0bb7993f12d0
Description: simplex library for solving linear inequalities
ocplib-simplex is a (fully) functional OCaml implementation of the
simplex algorithm for solving systems of linear inequalities. The
implementation is incremental and backtrackable. It is able to
extract unsat-cores for unsatisfiable problems, and supports linear
optimization.
Description-md5:
Homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
Section: ocaml
Priority: optional
Filename: pool/main/o/ocplib-simplex/ocplib-simplex-ocaml-dev_0.5-4+b3_amd64.deb
Source: ocplib-simplex (0.5-4)
Version: 0.5-4+b3
Installed-Size: 3568
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: liblogs-ocaml-0yoh6, libstdlib-ocaml-ep7y0
Suggests: ocaml-findlib
Size: 643800
SHA256: 50e61cff4956b42b66cb2cc88ee50858c80a60a50f20e2f50da3a97f4f081034
SHA1: f53c363ad159a4cc65edbc8cebf309f37470fc4f
MD5sum: 81867066933398120dac0bb7993f12d0
Description: simplex library for solving linear inequalities
ocplib-simplex is a (fully) functional OCaml implementation of the
simplex algorithm for solving systems of linear inequalities. The
implementation is incremental and backtrackable. It is able to
extract unsat-cores for unsatisfiable problems, and supports linear
optimization.
Description-md5:
Homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
Section: ocaml
Priority: optional
Filename: pool/main/o/ocplib-simplex/ocplib-simplex-ocaml-dev_0.5-4+b3_amd64.deb