How To Install apron on Fedora 34
apron is Numerical abstract domain library Numerical abstract domain library
Introduction
In this tutorial we learn how to install apron on Fedora 34.
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. apron 0.9.13 3.fc34 x86_64 1.7 M apron-0.9.13-3.fc34.src.rpm fedora Numerical abstract domain library https LGPLv2+ and GPLv2+ 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 34. In this tutorial we discuss both methods but you only need to choose one of method to install apron.
Install apron on Fedora 34 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
The output should look something like this:
Fedora 34 - x86_64 20 kB/s | 6.6 kB 00:00
Fedora 34 openh264 (From Cisco) - x86_64 1.4 kB/s | 989 B 00:00
Fedora Modular 34 - x86_64 68 kB/s | 6.5 kB 00:00
Fedora 34 - x86_64 - Updates 3.5 kB/s | 6.2 kB 00:01
Fedora Modular 34 - x86_64 - Updates 17 kB/s | 5.9 kB 00:00
Metadata cache created.
After updating yum database, We can install apron using dnf by running the following command:
sudo dnf -y install apron
Install apron on Fedora 34 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
The output should look something like this:
Fedora 34 - x86_64 20 kB/s | 6.6 kB 00:00
Fedora 34 openh264 (From Cisco) - x86_64 1.4 kB/s | 989 B 00:00
Fedora Modular 34 - x86_64 68 kB/s | 6.5 kB 00:00
Fedora 34 - x86_64 - Updates 3.5 kB/s | 6.2 kB 00:01
Fedora Modular 34 - x86_64 - Updates 17 kB/s | 5.9 kB 00:00
Metadata cache created.
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 34
To uninstall only the apron package we can use the following command:
sudo dnf remove apron
apron Package Contents on Fedora 34
/usr/lib/.build-id
/usr/lib/.build-id/03
/usr/lib/.build-id/03/694d619ac15a9ad33eaaff173e590ad60dd6be
/usr/lib/.build-id/05
/usr/lib/.build-id/05/952b673526d43a337537fa180c97b55a35b45f
/usr/lib/.build-id/06
/usr/lib/.build-id/06/65cbcfb8adc78da123074286c8ebdd5c751f5a
/usr/lib/.build-id/06/eff86ef424037b38e246f8da155711a2acefc0
/usr/lib/.build-id/08
/usr/lib/.build-id/08/1b6ed604aca91befd30908c6067cf5499560af
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/ed89cfdc0da5286bc38c4636e3b6fb3c2524bc
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/7c633bfd89b7a90d6a3019e5694a289c348103
/usr/lib/.build-id/40
/usr/lib/.build-id/40/8e8111adee17174c175d732f1880615f03ef01
/usr/lib/.build-id/43
/usr/lib/.build-id/43/a525d4bfa9e7cea0b6113f1ad5f5cb2cb63fbf
/usr/lib/.build-id/48
/usr/lib/.build-id/48/acfefae4d11cf5c10daa646dd8638415beb09b
/usr/lib/.build-id/49
/usr/lib/.build-id/49/01b60312e61498e28b55911f415ef1eb538123
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/2fe877674f2f5b0f154a11123eebd19f78d8ae
/usr/lib/.build-id/69
/usr/lib/.build-id/69/ba4ddea057b9229ff7b774a4d2986863c849a7
/usr/lib/.build-id/76
/usr/lib/.build-id/76/f1398d098c18c1c965afba7ff832433c042ee4
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/c4e709ad512aca3f830778bfb56e17718abb16
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/e43695828e7d005ebf4190435469d4ad0ff1d0
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/5bc9fe483dadefc692ce401d6b4ad3e56cb933
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/5088c8f041764b53c140813b611d11bae90edf
/usr/lib/.build-id/ac
/usr/lib/.build-id/ac/11f91dc6fa5309eb6af273dea82d6940595d39
/usr/lib/.build-id/ba
/usr/lib/.build-id/ba/5abf1c9c4c4b309bd0f87454af216e4410066a
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/e4c8f5ce5517318c457c08c1dfdb10b0a17280
/usr/lib/.build-id/cd
/usr/lib/.build-id/cd/ea83c6e831ee39c765be7debf99233e93a0e27
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/c988c930555561874855e8b0a0fd841e76dc9b
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/72556dc270261da2f08db0de9f2526d1511704
/usr/lib/.build-id/e9
/usr/lib/.build-id/e9/5c112ae1175648b29c0599bb6faffb080d978d
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/002be4f618ba498fa671181e27ce1007a2ce67
/usr/lib/.build-id/fc
/usr/lib/.build-id/fc/2aad19fa790afbeb56ce258bb0195391e303d9
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/2b8a0b72415fe96040a3e8bf8127d32a186888
/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
/usr/lib/.build-id
/usr/lib/.build-id/04
/usr/lib/.build-id/04/8e5aaf2145f050e7546e6b0993b0d58671cc5a
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/2153efbc4f245bbab32d826ae254270b89d54e
/usr/lib/.build-id/10
/usr/lib/.build-id/10/74231ac7d35cb058438dfc518c5b71c98dfb0c
/usr/lib/.build-id/14
/usr/lib/.build-id/14/11d8fcb39b8c5b467891b454185f6cf5c48dfd
/usr/lib/.build-id/27
/usr/lib/.build-id/27/7d9879a83a14f1bfb6f86dbf12ab3421f91053
/usr/lib/.build-id/28
/usr/lib/.build-id/28/d8cb1a51f8cea5173025dfd9233deaaa5a3972
/usr/lib/.build-id/46
/usr/lib/.build-id/46/eadb5c9ecc8d61263a7a921c065ff7e1f009fe
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/4bd92e6750a678df5569177dc8459c2223cd9f
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/f63083544800ba5fb7a207ba745d825002218f
/usr/lib/.build-id/77
/usr/lib/.build-id/77/e8dd3d7f7c927e472c81a656997e51574c37ea
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/540079d7ec5d0310a7cf29e34880ea4e5904ad
/usr/lib/.build-id/92
/usr/lib/.build-id/92/e0f7a54d76394352272dcc86fc8d64ebbb58fe
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/fb705c532cd894b34574f37712d60434aeb820
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/128c173276301ad4053de910ee42e821e19075
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/1ba96fc2e5a35a89a0e2951210d620101c19a5
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/6446623d70b2f0c1ba8390cfb3e9881f08fb23
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/b534da48b9ed457a0ee222a83c6feb9e8faee3
/usr/lib/.build-id/ca
/usr/lib/.build-id/ca/0ff9e2b8c11b8912075dd53c37c0abf9d95df1
/usr/lib/.build-id/cc
/usr/lib/.build-id/cc/c03824d7b89772832ac6f0b7ba8100e14f2a2f
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/bda533718577d2d7e83717e7a7e7fbbde7c2aa
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/cb072c0bc0573347c1b295f8fc1f00b32dfed1
/usr/lib/.build-id/db
/usr/lib/.build-id/db/f9ca664060388388208fe8ed165cdbe95bb66f
/usr/lib/.build-id/ed
/usr/lib/.build-id/ed/fcda22c8f831bc07a2563b8b4a2f973234f577
/usr/lib/.build-id/f2
/usr/lib/.build-id/f2/b359e793be479201b6e781e64ad752a3816c7c
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/ed530157aacc464c532ce455a9757c91769688
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/e7d0e51abb4731649197dd14bd973c3e8654e6
/usr/lib/.build-id/fc
/usr/lib/.build-id/fc/cf8b57877ca9e181e078297664b1930d334c8c
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/49a4abebc22fb62c384fc716c2d17081489340
/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 34 using yum and dnf.
