How to Install and Uninstall libapron-dev Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 15,2024

1. Install "libapron-dev" package

In this section, we are going to explain the necessary steps to install libapron-dev on Ubuntu 18.04 LTS (Bionic Beaver)

$ sudo apt update $ sudo apt install libapron-dev

2. Uninstall "libapron-dev" package

Please follow the guidance below to uninstall libapron-dev on Ubuntu 18.04 LTS (Bionic Beaver):

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

3. Information about the libapron-dev package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: libapron-dev
Architecture: all
Version: 0.9.10-9build4
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-9build4_all.deb
Size: 126548
MD5sum: ce51349d574f2bb38196cb2e95e10808
SHA1: f216a8ace69b5bce89ca425dbd44955b99e72ea3
SHA256: aaf274b349a4a53186cbd29d43ba50e801ded31aa97e34b0a80e0b0a6cec9007
Homepage: http://apron.cri.ensmp.fr/library/
Description: abstract interpretation library
Description-md5: 8cfe62b6d247bb639dc39aba20be9b0f