How to Install and Uninstall libapron-dev Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: December 28,2024

1. Install "libapron-dev" package

Please follow the guidance below to install libapron-dev on Ubuntu 20.10 (Groovy Gorilla)

$ sudo apt update $ sudo apt install libapron-dev

2. Uninstall "libapron-dev" package

This guide let you learn how to uninstall libapron-dev on Ubuntu 20.10 (Groovy Gorilla):

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

3. Information about the libapron-dev package on Ubuntu 20.10 (Groovy Gorilla)

Package: libapron-dev
Architecture: all
Version: 0.9.10-9.1build2
Priority: optional
Section: universe/libdevel
Source: apron
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1414
Depends: libapron, libgmp3-dev, libmpfr-dev, libppl-dev
Filename: pool/universe/a/apron/libapron-dev_0.9.10-9.1build2_all.deb
Size: 126532
MD5sum: 90912c79d90c298b6bb2d0715c378678
SHA1: b77451c942a0db01986e1b882680217efdee369c
SHA256: 78cc005bd5ac359b67980da7894c3397f255fe7676c9f42f70aa61a6d2ba6c85
SHA512: a0c99b4f372fe9dd4e787a71aeb5329856ae7eb4ba1d4a14edff2e34c20de04e6f5df148c566d5112b6eccaa2e503b8b12081d98176d53d9ea6126d90cfd928e
Homepage: http://apron.cri.ensmp.fr/library/
Description-en: abstract interpretation library
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 C.
Description-md5: 8cfe62b6d247bb639dc39aba20be9b0f