How to Install and Uninstall libapron-ocaml-dev Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: May 12,2024

1. Install "libapron-ocaml-dev" package

Please follow the step by step instructions below to install libapron-ocaml-dev on Ubuntu 21.04 (Hirsute Hippo)

$ sudo apt update $ sudo apt install libapron-ocaml-dev

2. Uninstall "libapron-ocaml-dev" package

Please follow the guidelines below to uninstall libapron-ocaml-dev on Ubuntu 21.04 (Hirsute Hippo):

$ sudo apt remove libapron-ocaml-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the libapron-ocaml-dev package on Ubuntu 21.04 (Hirsute Hippo)

Package: libapron-ocaml-dev
Architecture: amd64
Version: 0.9.10-9.1build3
Priority: optional
Section: universe/ocaml
Source: apron
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 14911
Provides: libapron-ocaml-dev-f72a2
Depends: libapron-ocaml-f72a2, ocaml-nox-4.11.1, libapron-dev
Filename: pool/universe/a/apron/libapron-ocaml-dev_0.9.10-9.1build3_amd64.deb
Size: 1354016
MD5sum: ca5a400981fe6449af3a1d92256c1c0f
SHA1: e0cdc872293ef7b09ec3875a977c66a43f4dce47
SHA256: ea2c7d899f976496c48fb551c24128f89a89b5b883e2545865965deef987fcd8
SHA512: 4ec1915cdf734ff2bf048a766d19bbeefbabc94a1e3469056192e0883111f01ab4269f7aaf732f7b53b482a1c0896d237ea264443a533f508eca76580143a5a6
Homepage: http://apron.cri.ensmp.fr/library/
Description-en: abstract interpretation library (OCaml interface)
The APRON library is dedicated to the static analysis of the numerical
variables of a program by Abstract Interpretation. The aim of such an analysis
is to infer invariants about these variables. It is intended to be a common
interface to various underlying libraries/abstract domains and to provide
additional services that can be implemented independently from the underlying
library/abstract domain.
.
This package contains the files necessary to use the APRON library in OCaml.
Description-md5: 52dc917b117486b6313512aa83783679