How to Install and Uninstall libapron Package on Ubuntu 20.10 (Groovy Gorilla)
Last updated: November 26,2024
1. Install "libapron" package
Please follow the guidelines below to install libapron on Ubuntu 20.10 (Groovy Gorilla)
$
sudo apt update
Copied
$
sudo apt install
libapron
Copied
2. Uninstall "libapron" package
This guide let you learn how to uninstall libapron on Ubuntu 20.10 (Groovy Gorilla):
$
sudo apt remove
libapron
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the libapron package on Ubuntu 20.10 (Groovy Gorilla)
Package: libapron
Architecture: amd64
Version: 0.9.10-9.1build2
Priority: optional
Section: universe/libs
Source: apron
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1735
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libppl14, libstdc++6 (>= 5)
Filename: pool/universe/a/apron/libapron_0.9.10-9.1build2_amd64.deb
Size: 472800
MD5sum: 27ac30d4b6190265642c9e279af88584
SHA1: d6b7cabff038a36c55e5ba5aa2df93dc3128cc06
SHA256: fff86a486666304707e6c4e6a374046378d21c31e51ad81bcda8c6711ced5df4
SHA512: 48299827d6e9035cbb9acf405b86a7a8a628d485dbf6f2528258f9e9be99b11a643c730309a51027adb34a163fa34ab92947f9742e09b9882b064c88b4a2c55d
Homepage: http://apron.cri.ensmp.fr/library/
Description-en: runtime libraries for APRON
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 shared libraries needed at runtime.
Description-md5: cfbd2488da4d02e7ec43e8a4436cc02c
Architecture: amd64
Version: 0.9.10-9.1build2
Priority: optional
Section: universe/libs
Source: apron
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1735
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libppl14, libstdc++6 (>= 5)
Filename: pool/universe/a/apron/libapron_0.9.10-9.1build2_amd64.deb
Size: 472800
MD5sum: 27ac30d4b6190265642c9e279af88584
SHA1: d6b7cabff038a36c55e5ba5aa2df93dc3128cc06
SHA256: fff86a486666304707e6c4e6a374046378d21c31e51ad81bcda8c6711ced5df4
SHA512: 48299827d6e9035cbb9acf405b86a7a8a628d485dbf6f2528258f9e9be99b11a643c730309a51027adb34a163fa34ab92947f9742e09b9882b064c88b4a2c55d
Homepage: http://apron.cri.ensmp.fr/library/
Description-en: runtime libraries for APRON
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 shared libraries needed at runtime.
Description-md5: cfbd2488da4d02e7ec43e8a4436cc02c