How To Install apron on Fedora 36
Introduction
In this tutorial we learn how to install apron
on Fedora 36.
What is 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, like 1<=x+y<=z, which holds during any execution of the program. The APRON library 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.
We can use yum
or dnf
to install apron
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install apron.
Install apron on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install apron
using dnf
by running the following command:
sudo dnf -y install apron
Install apron on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install apron
using yum
by running the following command:
sudo yum -y install apron
How To Uninstall apron on Fedora 36
To uninstall only the apron
package we can use the following command:
sudo dnf remove apron
apron Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/0816caeb4f35834f499e93ca4ec30e4aa9037e
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/74618f49be62a89c8863e31055be177567ce4c
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/1508e2b035d37368471832cd70322dd72cb17e
/usr/lib/.build-id/12
/usr/lib/.build-id/12/66e8f6f9c880aeed0ac5254fc3a6d8497934ac
/usr/lib/.build-id/15
/usr/lib/.build-id/15/b7719c620b832b2df64b82850c27cae2eaa9fa
/usr/lib/.build-id/29
/usr/lib/.build-id/29/4153a86c769e9bddc9b9cca9d88589307fea1e
/usr/lib/.build-id/2e
/usr/lib/.build-id/2e/b579289f6799c9f9cfebabb7ab27c7af3eaba2
/usr/lib/.build-id/35
/usr/lib/.build-id/35/3823a41724243bf9baef142597ebb78a677094
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/6e8ce5fa43f654cc73b899374fc044e723f6d7
/usr/lib/.build-id/47
/usr/lib/.build-id/47/9b6930286e8770680c2a5f8d1064c2182e8f49
/usr/lib/.build-id/57
/usr/lib/.build-id/57/5680436e184a52f20347ae742d7e9f89a7b106
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/7fb23b777ebb9f87dbca12f5f9c838d80238a7
/usr/lib/.build-id/7d
/usr/lib/.build-id/7d/736b5117d400127d4d3e145543ea561bfaea9f
/usr/lib/.build-id/83
/usr/lib/.build-id/83/3590e97822315147e523eee9bdba2d7f804a45
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/75468628edf793be5faeb063f479432c041b4c
/usr/lib/.build-id/98
/usr/lib/.build-id/98/dd5c63aec9cb4aef9938da888ba0d1865dd505
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/7a06cb4974f0957edff86a5a0004a67bae1310
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/2a32ff89dbc09f4caf14446977eef9386587f5
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/71cd84cb383970a8edffa1774bc12ca315cd21
/usr/lib/.build-id/aa/cf231bff47fe997aa5f933235b254795398df5
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/757b8e84fdb4f73f5fa6ad388bae1db538e558
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/1468bbf43ded4b45fa5689a6bd7a835bcf1a47
/usr/lib/.build-id/b1
/usr/lib/.build-id/b1/61278d92ff2d61fdb73c46fc85aaf3fe77cfae
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/a381cbd65df077a9a4aa162a28c803f16f134c
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/9d92f9a9c6a1e1ffa82b67e3b25d1ec50e2c0d
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/dfa595f11d5e9c07c66ba2c2844115585bc0a8
/usr/lib/.build-id/cb
/usr/lib/.build-id/cb/ba9356bb87691c2873d9cc17856dc4ecd58192
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/2e5da5f80fa998c82508098160369f7a41e94a
/usr/lib64/libap_pkgrid.so.0
/usr/lib64/libap_pkgrid.so.0.9.13
/usr/lib64/libap_pkgrid_debug.so.0
/usr/lib64/libap_pkgrid_debug.so.0.9.13
/usr/lib64/libap_ppl.so.0
/usr/lib64/libap_ppl.so.0.9.13
/usr/lib64/libap_ppl_debug.so.0
/usr/lib64/libap_ppl_debug.so.0.9.13
/usr/lib64/libapron.so.0
/usr/lib64/libapron.so.0.9.13
/usr/lib64/libapron_debug.so.0
/usr/lib64/libapron_debug.so.0.9.13
/usr/lib64/libapronxx.so.0
/usr/lib64/libapronxx.so.0.9.13
/usr/lib64/libapronxx_debug.so.0
/usr/lib64/libapronxx_debug.so.0.9.13
/usr/lib64/libboxD.so.0
/usr/lib64/libboxD.so.0.9.13
/usr/lib64/libboxD_debug.so.0
/usr/lib64/libboxD_debug.so.0.9.13
/usr/lib64/libboxMPFR.so.0
/usr/lib64/libboxMPFR.so.0.9.13
/usr/lib64/libboxMPFR_debug.so.0
/usr/lib64/libboxMPFR_debug.so.0.9.13
/usr/lib64/libboxMPQ.so.0
/usr/lib64/libboxMPQ.so.0.9.13
/usr/lib64/libboxMPQ_debug.so.0
/usr/lib64/libboxMPQ_debug.so.0.9.13
/usr/lib64/liboctD.so.0
/usr/lib64/liboctD.so.0.9.13
/usr/lib64/liboctD_debug.so.0
/usr/lib64/liboctD_debug.so.0.9.13
/usr/lib64/liboctMPQ.so.0
/usr/lib64/liboctMPQ.so.0.9.13
/usr/lib64/liboctMPQ_debug.so.0
/usr/lib64/liboctMPQ_debug.so.0.9.13
/usr/lib64/libpolkaMPQ.so.0
/usr/lib64/libpolkaMPQ.so.0.9.13
/usr/lib64/libpolkaMPQ_debug.so.0
/usr/lib64/libpolkaMPQ_debug.so.0.9.13
/usr/lib64/libpolkaRll.so.0
/usr/lib64/libpolkaRll.so.0.9.13
/usr/lib64/libpolkaRll_debug.so.0
/usr/lib64/libpolkaRll_debug.so.0.9.13
/usr/lib64/libt1pD.so.0
/usr/lib64/libt1pD.so.0.9.13
/usr/lib64/libt1pD_debug.so.0
/usr/lib64/libt1pD_debug.so.0.9.13
/usr/lib64/libt1pMPFR.so.0
/usr/lib64/libt1pMPFR.so.0.9.13
/usr/lib64/libt1pMPFR_debug.so.0
/usr/lib64/libt1pMPFR_debug.so.0.9.13
/usr/lib64/libt1pMPQ.so.0
/usr/lib64/libt1pMPQ.so.0.9.13
/usr/lib64/libt1pMPQ_debug.so.0
/usr/lib64/libt1pMPQ_debug.so.0.9.13
/usr/share/doc/apron
/usr/share/doc/apron/AUTHORS
/usr/share/doc/apron/Changes
/usr/share/doc/apron/README.md
/usr/share/doc/apron/apron.pdf
/usr/share/licenses/apron
/usr/share/licenses/apron/COPYING
References
Summary
In this tutorial we learn how to install apron
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install apron on Fedora 36” linkTitle: “apron” type: “docs” description: “In this tutorial we learn how to install apron in Fedora 36. apron is Numerical abstract domain library” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/apron-featured.png
Introduction
In this tutorial we learn how to install apron
on Fedora 36.
What is 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, like 1<=x+y<=z, which holds during any execution of the program. The APRON library 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.
We can use yum
or dnf
to install apron
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install apron.
Install apron on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install apron
using dnf
by running the following command:
sudo dnf -y install apron
Install apron on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install apron
using yum
by running the following command:
sudo yum -y install apron
How To Uninstall apron on Fedora 36
To uninstall only the apron
package we can use the following command:
sudo dnf remove apron
apron Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/16
/usr/lib/.build-id/16/5de0e491a9bbe540a2a93265b004dba2d1133a
/usr/lib/.build-id/1b
/usr/lib/.build-id/1b/822a3f2556efa68ce626b980b08262e6c13b02
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/3d7ed132ab77b720bd9b096822ec1c4f4a721b
/usr/lib/.build-id/26
/usr/lib/.build-id/26/4b6484a5eea597627365a91531799a17320e9c
/usr/lib/.build-id/38
/usr/lib/.build-id/38/e46cf06537ef7249c8a19f5f43ded1d2ece2e3
/usr/lib/.build-id/3a
/usr/lib/.build-id/3a/3130d2adc4424a23407fc1e0eb62c7d7f8685e
/usr/lib/.build-id/46
/usr/lib/.build-id/46/9793aa963a047ebd566eb09b994eb63b6eeb8c
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/d806f482baa74b7f75c8f1bdd4b723036cb412
/usr/lib/.build-id/52
/usr/lib/.build-id/52/44c0e4e22188c88aa7974207385836a1a01ff2
/usr/lib/.build-id/55
/usr/lib/.build-id/55/7d120a64ba041e6a35c05a84362e525db1bdf4
/usr/lib/.build-id/58
/usr/lib/.build-id/58/193176395682e9ddc4c81ffefadb78f9b802c8
/usr/lib/.build-id/66
/usr/lib/.build-id/66/047aa25aa2b96a7e0844e7ceebc4a04350a17f
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/4e6f8b39874cbfa62bf6f26f4a1d5eef141252
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/b3180959825ccdeb39e46a28169e0ad50abaa8
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/b6427ad3233ab38209f65b4912b674d9df953b
/usr/lib/.build-id/96
/usr/lib/.build-id/96/7451089d9ee50b4de4cb1bb7693046c2841957
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/bd5e4938297699f8e8f5d4351cf76e5c5b56b7
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/30d42d3a29b0860199d8e0aa853408a1070b75
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/021ad45bdcfe86a827290b28528798f0c37559
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/15c4f195fd404ef0a82e696d373c28de112594
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/46e6430fe9c7d831314dd177cf94d6ae962367
/usr/lib/.build-id/cc
/usr/lib/.build-id/cc/d73d8867178bb85803d137b81eb85b1e9cc5a7
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/bb330ad81f5797f9d80da8bff62e27bc322c79
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/36cb24bb8726b6e0b6b1eb3c4de080509812e8
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/00fd1d1254303b4ce1ab9e7e2f3489572bb264
/usr/lib/.build-id/e2/3de17c4efb3e8a8563ba218bf8d1a325e4f85c
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/dcecec78a9f701bf389a5166924bd5db787ba2
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/6dbba6ec86f3260e0e899e25dc78edc8f33b4f
/usr/lib/libap_pkgrid.so.0
/usr/lib/libap_pkgrid.so.0.9.13
/usr/lib/libap_pkgrid_debug.so.0
/usr/lib/libap_pkgrid_debug.so.0.9.13
/usr/lib/libap_ppl.so.0
/usr/lib/libap_ppl.so.0.9.13
/usr/lib/libap_ppl_debug.so.0
/usr/lib/libap_ppl_debug.so.0.9.13
/usr/lib/libapron.so.0
/usr/lib/libapron.so.0.9.13
/usr/lib/libapron_debug.so.0
/usr/lib/libapron_debug.so.0.9.13
/usr/lib/libapronxx.so.0
/usr/lib/libapronxx.so.0.9.13
/usr/lib/libapronxx_debug.so.0
/usr/lib/libapronxx_debug.so.0.9.13
/usr/lib/libboxD.so.0
/usr/lib/libboxD.so.0.9.13
/usr/lib/libboxD_debug.so.0
/usr/lib/libboxD_debug.so.0.9.13
/usr/lib/libboxMPFR.so.0
/usr/lib/libboxMPFR.so.0.9.13
/usr/lib/libboxMPFR_debug.so.0
/usr/lib/libboxMPFR_debug.so.0.9.13
/usr/lib/libboxMPQ.so.0
/usr/lib/libboxMPQ.so.0.9.13
/usr/lib/libboxMPQ_debug.so.0
/usr/lib/libboxMPQ_debug.so.0.9.13
/usr/lib/liboctD.so.0
/usr/lib/liboctD.so.0.9.13
/usr/lib/liboctD_debug.so.0
/usr/lib/liboctD_debug.so.0.9.13
/usr/lib/liboctMPQ.so.0
/usr/lib/liboctMPQ.so.0.9.13
/usr/lib/liboctMPQ_debug.so.0
/usr/lib/liboctMPQ_debug.so.0.9.13
/usr/lib/libpolkaMPQ.so.0
/usr/lib/libpolkaMPQ.so.0.9.13
/usr/lib/libpolkaMPQ_debug.so.0
/usr/lib/libpolkaMPQ_debug.so.0.9.13
/usr/lib/libpolkaRll.so.0
/usr/lib/libpolkaRll.so.0.9.13
/usr/lib/libpolkaRll_debug.so.0
/usr/lib/libpolkaRll_debug.so.0.9.13
/usr/lib/libt1pD.so.0
/usr/lib/libt1pD.so.0.9.13
/usr/lib/libt1pD_debug.so.0
/usr/lib/libt1pD_debug.so.0.9.13
/usr/lib/libt1pMPFR.so.0
/usr/lib/libt1pMPFR.so.0.9.13
/usr/lib/libt1pMPFR_debug.so.0
/usr/lib/libt1pMPFR_debug.so.0.9.13
/usr/lib/libt1pMPQ.so.0
/usr/lib/libt1pMPQ.so.0.9.13
/usr/lib/libt1pMPQ_debug.so.0
/usr/lib/libt1pMPQ_debug.so.0.9.13
/usr/share/doc/apron
/usr/share/doc/apron/AUTHORS
/usr/share/doc/apron/Changes
/usr/share/doc/apron/README.md
/usr/share/doc/apron/apron.pdf
/usr/share/licenses/apron
/usr/share/licenses/apron/COPYING
References
Summary
In this tutorial we learn how to install apron
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).