How To Install ocaml-apron on Fedora 36
In this tutorial we learn how to install ocaml-apron in Fedora 36. ocaml-apron is Ocaml interface to APRON
Introduction
In this tutorial we learn how to install ocaml-apron on Fedora 36.
What is ocaml-apron
Ocaml interface to the APRON library.
We can use yum or dnf to install ocaml-apron on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-apron.
Install ocaml-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 ocaml-apron using dnf by running the following command:
sudo dnf -y install ocaml-apron
Install ocaml-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 ocaml-apron using yum by running the following command:
sudo yum -y install ocaml-apron
How To Uninstall ocaml-apron on Fedora 36
To uninstall only the ocaml-apron package we can use the following command:
sudo dnf remove ocaml-apron
ocaml-apron Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/f57246e096d22b0297a44708abc36d55f6bd33
/usr/lib/.build-id/08
/usr/lib/.build-id/08/9d584f57f891f5e23ff92ee9f97cabbba32999
/usr/lib/.build-id/0c/769cbe6b3a6a01074b6a0f03836ac24297217d
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/64dd94a2e27133b3ddd5ef112985906d06705b
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/d1224fda6f8a742f804019292171f8b03b7cae
/usr/lib/.build-id/22
/usr/lib/.build-id/22/d002f2bc75deba2d0c44b152463d640aaeaecb
/usr/lib/.build-id/23
/usr/lib/.build-id/23/af7858937041c2ca083e0a92b3b1e38d5158ab
/usr/lib/.build-id/27
/usr/lib/.build-id/27/ae3dc093d0eff1760ea2ebca42d4f8d2715a4b
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/2a1087def53b517921e90709419ab6f0a7a67f
/usr/lib/.build-id/37
/usr/lib/.build-id/37/79981d3085d3559dd1f8f1fb1d1f9902a38a7b
/usr/lib/.build-id/48
/usr/lib/.build-id/48/1eec7aad2d1b52d1080781160497f469161f80
/usr/lib/.build-id/56
/usr/lib/.build-id/56/1447c23ec596e88c80d410ba266628a69a049b
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/3604caa303de4473713400fed1ad29fe13754a
/usr/lib/.build-id/63
/usr/lib/.build-id/63/3b0a2c67b26733b954a783d1e9caf4112d4d6a
/usr/lib/.build-id/6a
/usr/lib/.build-id/6a/a3cc19f73889d03045badfd296e12c38d7564a
/usr/lib/.build-id/6f
/usr/lib/.build-id/6f/175d245a130538169c6a7f5d4e932647c9f3c6
/usr/lib/.build-id/71
/usr/lib/.build-id/71/4c2716f65a45ff19c6016650c6c44e315aca32
/usr/lib/.build-id/7b
/usr/lib/.build-id/7b/28219522d626e6c6d638b0231e8bb0f33481e2
/usr/lib/.build-id/7b/c698ef55415450acd0bb2dc91c3b8e0f62f6ee
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/cf30c3b67536e5f50bab50efee150535d63762
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/2d2edfe7dd44157462338cedffa24a188f68b8
/usr/lib/.build-id/96
/usr/lib/.build-id/96/2fd55a02edafc0d7ab9f98585517b371b3c742
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/66847dc531e76c242e356804b540e17fe334c2
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/b97ff1907ecd56349d15713179a5062cd0ecc8
/usr/lib/.build-id/a7
/usr/lib/.build-id/a7/c30839c91c8a7a966fe910c22535cf62081f23
/usr/lib/.build-id/aa/c930cb69cb61b2e918610e1efa06109a01df39
/usr/lib/.build-id/c1
/usr/lib/.build-id/c1/55ffc88a6469b3ad2ce228a68b29c41ba5d728
/usr/lib/.build-id/c5
/usr/lib/.build-id/c5/bf273d2f3cf20d334717cf7ef70a7cd37e2d1f
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/dd211bb32efa82ccec300a9d9db7cec2f12035
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/7d0fd8d6de4c9a60a3cfa496b9599e03294797
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/615e4b8cd918c6d3a0f11116a9ecff5fd34db5
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/00e3077fcee64645a4b1f6042620e246325b28
/usr/lib64/ocaml/apron
/usr/lib64/ocaml/apron/META
/usr/lib64/ocaml/apron/apron.cma
/usr/lib64/ocaml/apron/apron.cmi
/usr/lib64/ocaml/apron/apron.cmxs
/usr/lib64/ocaml/apron/apron.d.cmxs
/usr/lib64/ocaml/apron/box.cmi
/usr/lib64/ocaml/apron/boxD.cma
/usr/lib64/ocaml/apron/boxD.cmxs
/usr/lib64/ocaml/apron/boxMPFR.cma
/usr/lib64/ocaml/apron/boxMPFR.cmxs
/usr/lib64/ocaml/apron/boxMPQ.cma
/usr/lib64/ocaml/apron/boxMPQ.cmxs
/usr/lib64/ocaml/apron/oct.cmi
/usr/lib64/ocaml/apron/octD.cma
/usr/lib64/ocaml/apron/octD.cmxs
/usr/lib64/ocaml/apron/octMPQ.cma
/usr/lib64/ocaml/apron/octMPQ.cmxs
/usr/lib64/ocaml/apron/polka.cmi
/usr/lib64/ocaml/apron/polkaGrid.cma
/usr/lib64/ocaml/apron/polkaGrid.cmi
/usr/lib64/ocaml/apron/polkaGrid.cmxs
/usr/lib64/ocaml/apron/polkaMPQ.cma
/usr/lib64/ocaml/apron/polkaMPQ.cmxs
/usr/lib64/ocaml/apron/polkaMPQ.d.cmxs
/usr/lib64/ocaml/apron/polkaRll.cma
/usr/lib64/ocaml/apron/polkaRll.cmxs
/usr/lib64/ocaml/apron/polkaRll.d.cmxs
/usr/lib64/ocaml/apron/ppl.cma
/usr/lib64/ocaml/apron/ppl.cmi
/usr/lib64/ocaml/apron/ppl.cmxs
/usr/lib64/ocaml/apron/t1p.cmi
/usr/lib64/ocaml/apron/t1pD.cma
/usr/lib64/ocaml/apron/t1pD.cmxs
/usr/lib64/ocaml/apron/t1pD.d.cmxs
/usr/lib64/ocaml/apron/t1pMPFR.cma
/usr/lib64/ocaml/apron/t1pMPFR.cmxs
/usr/lib64/ocaml/apron/t1pMPFR.d.cmxs
/usr/lib64/ocaml/apron/t1pMPQ.cma
/usr/lib64/ocaml/apron/t1pMPQ.cmxs
/usr/lib64/ocaml/apron/t1pMPQ.d.cmxs
/usr/lib64/ocaml/stublibs/dllap_ppl_caml.so
/usr/lib64/ocaml/stublibs/dllap_ppl_caml.so.owner
/usr/lib64/ocaml/stublibs/dllapron_caml.so
/usr/lib64/ocaml/stublibs/dllapron_caml.so.owner
/usr/lib64/ocaml/stublibs/dllboxD_caml.so
/usr/lib64/ocaml/stublibs/dllboxD_caml.so.owner
/usr/lib64/ocaml/stublibs/dllboxMPFR_caml.so
/usr/lib64/ocaml/stublibs/dllboxMPFR_caml.so.owner
/usr/lib64/ocaml/stublibs/dllboxMPQ_caml.so
/usr/lib64/ocaml/stublibs/dllboxMPQ_caml.so.owner
/usr/lib64/ocaml/stublibs/dlloctD_caml.so
/usr/lib64/ocaml/stublibs/dlloctD_caml.so.owner
/usr/lib64/ocaml/stublibs/dlloctMPQ_caml.so
/usr/lib64/ocaml/stublibs/dlloctMPQ_caml.so.owner
/usr/lib64/ocaml/stublibs/dllpolkaGrid_caml.so
/usr/lib64/ocaml/stublibs/dllpolkaGrid_caml.so.owner
/usr/lib64/ocaml/stublibs/dllpolkaMPQ_caml.so
/usr/lib64/ocaml/stublibs/dllpolkaMPQ_caml.so.owner
/usr/lib64/ocaml/stublibs/dllpolkaRll_caml.so
/usr/lib64/ocaml/stublibs/dllpolkaRll_caml.so.owner
/usr/lib64/ocaml/stublibs/dllt1pD_caml.so
/usr/lib64/ocaml/stublibs/dllt1pD_caml.so.owner
/usr/lib64/ocaml/stublibs/dllt1pMPFR_caml.so
/usr/lib64/ocaml/stublibs/dllt1pMPFR_caml.so.owner
/usr/lib64/ocaml/stublibs/dllt1pMPQ_caml.so
/usr/lib64/ocaml/stublibs/dllt1pMPQ_caml.so.owner
/usr/share/doc/ocaml-apron
/usr/share/doc/ocaml-apron/mlapronidl.pdf
title: “How To Install ocaml-apron on Fedora 36”
References
linkTitle: “ocaml-apron”
type: “docs”
description: “In this tutorial we learn how to install ocaml-apron in Fedora 36. ocaml-apron is Ocaml interface to APRON”
Summary
date: “2022-08-17”
lastmod: “2022-08-17”
#image: /images/fedora/36/ocaml-apron-featured.png
In this tutorial we learn how to install ocaml-apron on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
Introduction
In this tutorial we learn how to install ocaml-apron on Fedora 36.
What is ocaml-apron
Ocaml interface to the APRON library.
We can use yum or dnf to install ocaml-apron on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-apron.
Install ocaml-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 ocaml-apron using dnf by running the following command:
sudo dnf -y install ocaml-apron
Install ocaml-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 ocaml-apron using yum by running the following command:
sudo yum -y install ocaml-apron
How To Uninstall ocaml-apron on Fedora 36
To uninstall only the ocaml-apron package we can use the following command:
sudo dnf remove ocaml-apron
ocaml-apron Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/10
/usr/lib/.build-id/10/24b39a74044885a30c4f72653a698d6489fa23
/usr/lib/.build-id/12
/usr/lib/.build-id/12/2110f1531479d70cd96340121d15ec8494c933
/usr/lib/.build-id/14
/usr/lib/.build-id/14/45f81d61844206b2cc35111023fbbc8df475d8
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/69770c3d3cf5f2aa1913a645fe10cf85518429
/usr/lib/.build-id/1c/8cc59bf2c1d8c1eb01d482d0404eb1332389c9
/usr/lib/.build-id/1c/e35bb943a9de253cbd23377495075ec791d1b4
/usr/lib/.build-id/1e/2059c1250b7d9400cfb83a56f2e6769240df79
/usr/lib/.build-id/28
/usr/lib/.build-id/28/196d454387be60075a0b3d2b60121b0fd06868
/usr/lib/.build-id/2d
/usr/lib/.build-id/2d/99a276240f42a311eb1aa61a1b1f00f3881e3a
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/05d15a5641547bf6e755961e597e6599df7779
/usr/lib/.build-id/3c/1284fbfcaa82c50f58bf0fce0fc6ee459be203
/usr/lib/.build-id/45
/usr/lib/.build-id/45/49e5fe6c4da3f0bae966df62137f104adaf446
/usr/lib/.build-id/51
/usr/lib/.build-id/51/78dddc0e9eaa9fc46f75ebeadbab81510c3941
/usr/lib/.build-id/65
/usr/lib/.build-id/65/19635d27629d6a22f313b37ed921dcdfcfcaca
/usr/lib/.build-id/73
/usr/lib/.build-id/73/72ecc1ebd318d938c12096c14e91fd6920545d
/usr/lib/.build-id/78
/usr/lib/.build-id/78/3e8e583ecbbcc41709087928a6fd72e1ec856b
/usr/lib/.build-id/84
/usr/lib/.build-id/84/e9e6655be7f932723e257119cfaa1920501b17
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/75792e82528149ce56bb259ccc8f97a2eb2169
/usr/lib/.build-id/8e
/usr/lib/.build-id/8e/be127d7bbb3f8a489db0f768c8b5c7b3d3cd41
/usr/lib/.build-id/95
/usr/lib/.build-id/95/8c0d2a71d2d65cbd71a03ef8f68582624ce614
/usr/lib/.build-id/ad/d8e702b18a83c25595e51ba1d047e222ecc5a8
/usr/lib/.build-id/be
/usr/lib/.build-id/be/ecb558d10c12220b4b5913efcb6e1852729505
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/1da61b6a9c9449ae3dd2482b17419b55a9cc51
/usr/lib/.build-id/bf/3381a62e1f6800b72e8e45904c68fdede86316
/usr/lib/.build-id/cc/608df359fe92851732c035088af1d47a9ff50d
/usr/lib/.build-id/d3
/usr/lib/.build-id/d3/8d5c5dd376cf50b5ee9a825a9c51d97104e84d
/usr/lib/.build-id/d8
/usr/lib/.build-id/d8/3ad2dd54e410d5acd9d9a5eb54dffff86efb8f
/usr/lib/.build-id/e1
/usr/lib/.build-id/e1/7b569d10a1d537d5eb0543d00c96fa91db74fe
/usr/lib/.build-id/e2/84c7b9a935e757edc91db0db4711dc59f29063
/usr/lib/.build-id/e2/92cbf014b9ae65d1fab38122df32f81b165a4c
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/4b22e04f14bdbb4d99c399786db363c6611eec
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/4dab9cc55cd7d2bf494f08305ee15778e04f0e
/usr/lib/ocaml/apron
/usr/lib/ocaml/apron/META
/usr/lib/ocaml/apron/apron.cma
/usr/lib/ocaml/apron/apron.cmi
/usr/lib/ocaml/apron/apron.cmxs
/usr/lib/ocaml/apron/apron.d.cmxs
/usr/lib/ocaml/apron/box.cmi
/usr/lib/ocaml/apron/boxD.cma
/usr/lib/ocaml/apron/boxD.cmxs
/usr/lib/ocaml/apron/boxMPFR.cma
/usr/lib/ocaml/apron/boxMPFR.cmxs
/usr/lib/ocaml/apron/boxMPQ.cma
/usr/lib/ocaml/apron/boxMPQ.cmxs
/usr/lib/ocaml/apron/oct.cmi
/usr/lib/ocaml/apron/octD.cma
/usr/lib/ocaml/apron/octD.cmxs
/usr/lib/ocaml/apron/octMPQ.cma
/usr/lib/ocaml/apron/octMPQ.cmxs
/usr/lib/ocaml/apron/polka.cmi
/usr/lib/ocaml/apron/polkaGrid.cma
/usr/lib/ocaml/apron/polkaGrid.cmi
/usr/lib/ocaml/apron/polkaGrid.cmxs
/usr/lib/ocaml/apron/polkaMPQ.cma
/usr/lib/ocaml/apron/polkaMPQ.cmxs
/usr/lib/ocaml/apron/polkaMPQ.d.cmxs
/usr/lib/ocaml/apron/polkaRll.cma
/usr/lib/ocaml/apron/polkaRll.cmxs
/usr/lib/ocaml/apron/polkaRll.d.cmxs
/usr/lib/ocaml/apron/ppl.cma
/usr/lib/ocaml/apron/ppl.cmi
/usr/lib/ocaml/apron/ppl.cmxs
/usr/lib/ocaml/apron/t1p.cmi
/usr/lib/ocaml/apron/t1pD.cma
/usr/lib/ocaml/apron/t1pD.cmxs
/usr/lib/ocaml/apron/t1pD.d.cmxs
/usr/lib/ocaml/apron/t1pMPFR.cma
/usr/lib/ocaml/apron/t1pMPFR.cmxs
/usr/lib/ocaml/apron/t1pMPFR.d.cmxs
/usr/lib/ocaml/apron/t1pMPQ.cma
/usr/lib/ocaml/apron/t1pMPQ.cmxs
/usr/lib/ocaml/apron/t1pMPQ.d.cmxs
/usr/lib/ocaml/stublibs/dllap_ppl_caml.so
/usr/lib/ocaml/stublibs/dllap_ppl_caml.so.owner
/usr/lib/ocaml/stublibs/dllapron_caml.so
/usr/lib/ocaml/stublibs/dllapron_caml.so.owner
/usr/lib/ocaml/stublibs/dllboxD_caml.so
/usr/lib/ocaml/stublibs/dllboxD_caml.so.owner
/usr/lib/ocaml/stublibs/dllboxMPFR_caml.so
/usr/lib/ocaml/stublibs/dllboxMPFR_caml.so.owner
/usr/lib/ocaml/stublibs/dllboxMPQ_caml.so
/usr/lib/ocaml/stublibs/dllboxMPQ_caml.so.owner
/usr/lib/ocaml/stublibs/dlloctD_caml.so
/usr/lib/ocaml/stublibs/dlloctD_caml.so.owner
/usr/lib/ocaml/stublibs/dlloctMPQ_caml.so
/usr/lib/ocaml/stublibs/dlloctMPQ_caml.so.owner
/usr/lib/ocaml/stublibs/dllpolkaGrid_caml.so
/usr/lib/ocaml/stublibs/dllpolkaGrid_caml.so.owner
/usr/lib/ocaml/stublibs/dllpolkaMPQ_caml.so
/usr/lib/ocaml/stublibs/dllpolkaMPQ_caml.so.owner
/usr/lib/ocaml/stublibs/dllpolkaRll_caml.so
/usr/lib/ocaml/stublibs/dllpolkaRll_caml.so.owner
/usr/lib/ocaml/stublibs/dllt1pD_caml.so
/usr/lib/ocaml/stublibs/dllt1pD_caml.so.owner
/usr/lib/ocaml/stublibs/dllt1pMPFR_caml.so
/usr/lib/ocaml/stublibs/dllt1pMPFR_caml.so.owner
/usr/lib/ocaml/stublibs/dllt1pMPQ_caml.so
/usr/lib/ocaml/stublibs/dllt1pMPQ_caml.so.owner
/usr/share/doc/ocaml-apron
/usr/share/doc/ocaml-apron/mlapronidl.pdf
References
Summary
In this tutorial we learn how to install ocaml-apron on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).