How to Install and Uninstall libapron-ocaml-dev Package on Debian 10 (Buster)
Last updated: November 22,2024
1. Install "libapron-ocaml-dev" package
In this section, we are going to explain the necessary steps to install libapron-ocaml-dev on Debian 10 (Buster)
$
sudo apt update
Copied
$
sudo apt install
libapron-ocaml-dev
Copied
2. Uninstall "libapron-ocaml-dev" package
This guide let you learn how to uninstall libapron-ocaml-dev on Debian 10 (Buster):
$
sudo apt remove
libapron-ocaml-dev
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libapron-ocaml-dev package on Debian 10 (Buster)
Package: libapron-ocaml-dev
Source: apron (0.9.10-9)
Version: 0.9.10-9+b3
Installed-Size: 14611
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libapron-ocaml-dev-d1hi5
Depends: libapron-ocaml-d1hi5, ocaml-nox-4.05.0, libapron-dev
Description: abstract interpretation library (OCaml interface)
Description-md5: 52dc917b117486b6313512aa83783679
Homepage: http://apron.cri.ensmp.fr/library/
Tag: devel::lang:ocaml, devel::library, devel::testing-qa, implemented-in::c,
implemented-in::ocaml, role::devel-lib, role::program, use::analysing,
use::checking
Section: ocaml
Priority: optional
Filename: pool/main/a/apron/libapron-ocaml-dev_0.9.10-9+b3_amd64.deb
Size: 1288712
MD5sum: cb3a2dbc9a2d8c41f10c65a8abb079c7
SHA256: b39afde79e799e712c808f0cd59369f48ad0b3bfeede4357c7a424a538a7ca49
Source: apron (0.9.10-9)
Version: 0.9.10-9+b3
Installed-Size: 14611
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Provides: libapron-ocaml-dev-d1hi5
Depends: libapron-ocaml-d1hi5, ocaml-nox-4.05.0, libapron-dev
Description: abstract interpretation library (OCaml interface)
Description-md5: 52dc917b117486b6313512aa83783679
Homepage: http://apron.cri.ensmp.fr/library/
Tag: devel::lang:ocaml, devel::library, devel::testing-qa, implemented-in::c,
implemented-in::ocaml, role::devel-lib, role::program, use::analysing,
use::checking
Section: ocaml
Priority: optional
Filename: pool/main/a/apron/libapron-ocaml-dev_0.9.10-9+b3_amd64.deb
Size: 1288712
MD5sum: cb3a2dbc9a2d8c41f10c65a8abb079c7
SHA256: b39afde79e799e712c808f0cd59369f48ad0b3bfeede4357c7a424a538a7ca49