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 $ sudo apt install libapron-ocaml-dev

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 $ sudo apt autoclean && sudo apt autoremove

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