Packages / Fedora 43 / Unspecified / apron

[Source: apron]

Package: apron (0.9.15-10.fc43)

Numerical abstract domain library

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.

Other Packages Related to apron:

  • dep: ld-linux-aarch64.so.1()(64bit)

    Package not available

  • dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)

    Package not available

  • dep: libgcc_s.so.1()(64bit)

    Package not available

  • dep: libgcc_s.so.1(GCC_3.0)(64bit)

    Package not available

  • dep: libgcc_s.so.1(GCC_3.3.1)(64bit)

    Package not available

  • dep: libglpk.so.40()(64bit)

    Package not available

  • dep: libgmp.so.10()(64bit)

    Package not available

  • dep: libgmpxx.so.4()(64bit)

    Package not available

  • dep: libm.so.6()(64bit)

    Package not available

  • dep: libm.so.6(GLIBC_2.17)(64bit)

    Package not available

  • dep: libmpfr.so.6()(64bit)

    Package not available

  • dep: libppl.so.14()(64bit)

    Package not available

  • dep: libpplite.so.5()(64bit)

    Package not available

  • dep: libsdp.so.6()(64bit)

    Package not available

  • dep: libstdc++.so.6()(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.7)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.8)(64bit)

    Package not available

  • dep: libstdc++.so.6(CXXABI_1.3.9)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.15)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.30)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.32)(64bit)

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)

    Package not available

  • dep: rtld(GNU_HASH)

    Package not available

  • dep: libc.so.6(GLIBC_2.17)(64bit)

    Package not available

Download apron

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch641.4 MiB3.9 MiBlist of filesDownload
x86_641.5 MiB3.7 MiBlist of filesDownload

Percorsi file del pacchetto (120)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/lib64/libap_pkgrid.so.0
  • /usr/lib64/libap_pkgrid.so.0.9.15
  • /usr/lib64/libap_pplite.so.0
  • /usr/lib64/libap_pplite.so.0.9.15
  • /usr/lib64/libap_ppl.so.0
  • /usr/lib64/libap_ppl.so.0.9.15
  • /usr/lib64/libapron.so.0
  • /usr/lib64/libapron.so.0.9.15
  • /usr/lib64/libapronxx.so.0
  • /usr/lib64/libapronxx.so.0.9.15
  • /usr/lib64/libavoD.so.0
  • /usr/lib64/libavoD.so.0.9.15
  • /usr/lib64/libavoMPQ.so.0
  • /usr/lib64/libavoMPQ.so.0.9.15
  • /usr/lib64/libboxD.so.0
  • /usr/lib64/libboxD.so.0.9.15
  • /usr/lib64/libboxMPFR.so.0
  • /usr/lib64/libboxMPFR.so.0.9.15
  • /usr/lib64/libboxMPQ.so.0
  • /usr/lib64/libboxMPQ.so.0.9.15
  • /usr/lib64/libfppDl.so.0
  • /usr/lib64/libfppDl.so.0.9.15
  • /usr/lib64/libfppD.so.0
  • /usr/lib64/libfppD.so.0.9.15
  • /usr/lib64/liboctD.so.0
  • /usr/lib64/liboctD.so.0.9.15
  • /usr/lib64/liboctMPQ.so.0
  • /usr/lib64/liboctMPQ.so.0.9.15
  • /usr/lib64/libpolkaMPQ.so.0
  • /usr/lib64/libpolkaMPQ.so.0.9.15
  • /usr/lib64/libpolkaRll.so.0
  • /usr/lib64/libpolkaRll.so.0.9.15
  • /usr/lib64/libt1pD.so.0
  • /usr/lib64/libt1pD.so.0.9.15
  • /usr/lib64/libt1pMPFR.so.0
  • /usr/lib64/libt1pMPFR.so.0.9.15
  • /usr/lib64/libt1pMPQ.so.0
  • /usr/lib64/libt1pMPQ.so.0.9.15
  • /usr/lib/.build-id
  • /usr/lib/.build-id/0b
  • /usr/lib/.build-id/0b/468cb96c2ec8e86bda80bafc8a57a86803e601
  • /usr/lib/.build-id/0c
  • /usr/lib/.build-id/0c/d692c3342facccebe84b8346611b9cb9798b25
  • /usr/lib/.build-id/18
  • /usr/lib/.build-id/18/2dea0664c9653275e69dbc57ad47897009585e
  • /usr/lib/.build-id/1b
  • /usr/lib/.build-id/1b/831eb2255b9050c1f0e1de2ddabd881bbee547
  • /usr/lib/.build-id/1d
  • /usr/lib/.build-id/1d/fb2e8d67b94209b9d8a63a4814ded0ba911cd0
  • /usr/lib/.build-id/25
  • /usr/lib/.build-id/25/fbd6c011caa9b973ef0664e83628262688392a
  • /usr/lib/.build-id/31
  • /usr/lib/.build-id/31/c416c7fa90ccd0ec9e4943ed7975af3768690e
  • /usr/lib/.build-id/32
  • /usr/lib/.build-id/32/3f81ade177c866956244b0831f46c8db8c07e3
  • /usr/lib/.build-id/35
  • /usr/lib/.build-id/35/8d3db8dc2d94ef1dbe4c2abb1a118c9e028c73
  • /usr/lib/.build-id/35/ee57d729267d641e30d61c54de5bc70042401f
  • /usr/lib/.build-id/40
  • /usr/lib/.build-id/40/9e95b890b1c92b80bd8aeaf1682120052097b7
  • /usr/lib/.build-id/48
  • /usr/lib/.build-id/48/1ee6a29fc3cf4230602ef66fc388cde050797c
  • /usr/lib/.build-id/50
  • /usr/lib/.build-id/50/f47e32f2e702f8df03fd8ddc7247cb60989053
  • /usr/lib/.build-id/66
  • /usr/lib/.build-id/66/12123a9a2cac2a5e36e2cfb013cc7177b43e47
  • /usr/lib/.build-id/6b
  • /usr/lib/.build-id/6b/bec54f722642166788762b9e8435c5a4f0d127
  • /usr/lib/.build-id/7c
  • /usr/lib/.build-id/7c/130a97b41fbab9904ab834ae3260d0fa8e18c3
  • /usr/lib/.build-id/83
  • /usr/lib/.build-id/83/ff1b32b3abea6f620237d57c5fde4d78d4b614
  • /usr/lib/.build-id/86
  • /usr/lib/.build-id/86/98ff86de0ee062a80f109a6a72320168a50d66
  • /usr/lib/.build-id/87
  • /usr/lib/.build-id/87/821e0814169fd0d6f927dd7370e092d55b0b10
  • /usr/lib/.build-id/8e
  • /usr/lib/.build-id/8e/c73d8b37360335c8455c0a9c8b3df1f8c37cb5
  • /usr/lib/.build-id/90
  • /usr/lib/.build-id/90/48f7f65e90d1498b714f3789594bace855aef5
  • /usr/lib/.build-id/92
  • /usr/lib/.build-id/92/37204380d277bd16b467c3998de8f62bf269b3
  • /usr/lib/.build-id/98
  • /usr/lib/.build-id/98/5f8a0b0ac8d8a36a9f0d34c6b56e503dea8ea4
  • /usr/lib/.build-id/9d
  • /usr/lib/.build-id/9d/622915e037f5f8bde0c91d0bb66e339ee64c3c
  • /usr/lib/.build-id/a0
  • /usr/lib/.build-id/a0/315cba8d11c5298fbf4007906d57201d3a9ed8
  • /usr/lib/.build-id/a4
  • /usr/lib/.build-id/a4/4291ca7e71dd04de427bd1b81a39ae46d052cc
  • /usr/lib/.build-id/a9
  • /usr/lib/.build-id/a9/f86b0816aa31557c14c845b627eec1ec2fa0d9
  • /usr/lib/.build-id/aa
  • /usr/lib/.build-id/aa/0317c01548c92bfca1c98d7e9abba8cc7a5c02
  • /usr/lib/.build-id/aa/2aab18e2d10f5de48b39876509330d7491d9e6
  • /usr/lib/.build-id/ae
  • /usr/lib/.build-id/ae/e7149339e0d316c60a440b281dfe2052c400f8
  • /usr/lib/.build-id/b1
  • /usr/lib/.build-id/b1/42e9c50d24be6c3745db94c1593dbb3800d52d
  • /usr/lib/.build-id/b7
  • /usr/lib/.build-id/b7/c73446011767cd6002aad9db8fa8075335a1ca
  • /usr/lib/.build-id/bc
  • /usr/lib/.build-id/bc/255b264718e5992bb8df3b5d76f8b33378a7ce
  • /usr/lib/.build-id/ca
  • /usr/lib/.build-id/ca/6e4a0d61395717ff8f371ebaaeb70fda54dc94
  • /usr/lib/.build-id/dd
  • /usr/lib/.build-id/dd/311fddd87adccb6ad07a654425b97d14b5780d
  • /usr/lib/.build-id/e3
  • /usr/lib/.build-id/e3/4dc0c77e61ad1b2b4e0a02ce318a1f93bc7c21
  • /usr/lib/.build-id/ed
  • /usr/lib/.build-id/ed/a9a3a396ad4926f408f9a0409fc55c1884bae9
  • /usr/lib/.build-id/ef
  • /usr/lib/.build-id/ef/23fec263ab8b2bc355ce7ff106884e64717823
  • /usr/share/doc/apron
  • /usr/share/doc/apron/apron.pdf
  • /usr/share/doc/apron/AUTHORS
  • /usr/share/doc/apron/Changes
  • /usr/share/doc/apron/README.md
  • /usr/share/licenses/apron
  • /usr/share/licenses/apron/COPYING

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova Fedora 43 nel browserCrea un'immagine che include apron

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
0.9.15-10.fc4343 / everythingaarch64Fedora 43 · Everything · aarch641.4 MiB3.9 MiBPackages/a/apron-0.9.15-10.fc43.aarch64.rpm
0.9.15-10.fc4343 / everythingx86_64Fedora 43 · Everything · x86_641.5 MiB3.7 MiBPackages/a/apron-0.9.15-10.fc43.x86_64.rpm

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

Checksum e date di osservazione

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

0.9.15-10.fc43 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: f8663d4686c99985878ae64d4ec6239cbcbf8044c492aecfe3fca266513a6c6f

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' 'f8663d4686c99985878ae64d4ec6239cbcbf8044c492aecfe3fca266513a6c6f' 'apron-0.9.15-10.fc43.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

0.9.15-10.fc43 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: d5e43032195ce4ab79c326bd09e249faf7aeebcad139677e634ce24143e103eb

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' 'd5e43032195ce4ab79c326bd09e249faf7aeebcad139677e634ce24143e103eb' 'apron-0.9.15-10.fc43.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

Completezza del record

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: Fedora 43 Everything aarch64 revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2, Fedora 43 Everything x86_64 revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • Fedora 43 Everything aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified, revision 43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-43-primary
    SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

  • Fedora 43 Everything x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified, revision 43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-43-primary
    SHA-256 2b1449a082d3264dda8e18369f04e9ac4163bf3f8cb530b0783dc2ab064a08ec
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified