Packages / Fedora 43 / Unspecified / gappa

[Source: gappa]

Package: gappa (1.6.1-1.fc43)

Prove programs with floating-point or fixed-point arithmetic

Gappa is a tool intended to help verifying and formally prove properties on numerical programs and circuits handling floating-point or fixed-point arithmetic. This tool manipulates logical formulas stating the enclosures of expressions in some intervals. Through the use of rounding operators as part of the expressions, Gappa is specially designed to deal with formulas that could appear when certifying numerical codes. In particular, Gappa makes it simple to bound computational errors due to floating-point arithmetic. The tool and its documentation were written by Guillaume Melquiond.

Other Packages Related to gappa:

  • 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: libgmp.so.10()(64bit)

    Package not available

  • dep: libmpfr.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.15)(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.18)(64bit)

    Package not available

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

    Package not available

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

    Package not available

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

    Package not available

  • dep: libstdc++.so.6(GLIBCXX_3.4.29)(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.38)(64bit)

    Package not available

Download gappa

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch64257 KiB673 KiBlist of filesDownload
x86_64285 KiB732 KiBlist of filesDownload

Package file paths (16)

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/bin/gappa
  • /usr/lib/.build-id
  • /usr/lib/.build-id/78
  • /usr/lib/.build-id/78/d6dcba99374ed39cb49c906f386ae2d74418d3
  • /usr/lib/.build-id/97
  • /usr/lib/.build-id/97/ffaa32b97e4f785a867a970db1dfa54e1b9d5d
  • /usr/lib/.build-id/dc
  • /usr/lib/.build-id/dc/e20b8d131e591952e946f15740c763ea3ce183
  • /usr/lib/.build-id/ef
  • /usr/lib/.build-id/ef/a3d41f5f9f29565d9024e7a17a9526130f6152
  • /usr/share/doc/gappa
  • /usr/share/doc/gappa/NEWS.md
  • /usr/share/doc/gappa/README.md
  • /usr/share/licenses/gappa
  • /usr/share/licenses/gappa/COPYING
  • /usr/share/licenses/gappa/COPYING.GPL

Field source: Fedora 43 updates aarch64

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try Fedora 43 in the browserBuild an image that includes gappa

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
1.6.1-1.fc4343 / updatesaarch64Fedora 43 · updates · aarch64257 KiB673 KiBPackages/g/gappa-1.6.1-1.fc43.aarch64.rpm
1.6.1-1.fc4343 / updatesx86_64Fedora 43 · updates · x86_64285 KiB732 KiBPackages/g/gappa-1.6.1-1.fc43.x86_64.rpm
1.6.0-2.fc4343 / everythingaarch64Fedora 43 · Everything · aarch64257 KiB673 KiBPackages/g/gappa-1.6.0-2.fc43.aarch64.rpm
1.6.0-2.fc4343 / everythingx86_64Fedora 43 · Everything · x86_64284 KiB732 KiBPackages/g/gappa-1.6.0-2.fc43.x86_64.rpm

Field source: Fedora 43 updates aarch64

Known vulnerabilities

No matching advisories in the tracked sources.

Last synced:

[CVE catalog]

Checksums

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

1.6.1-1.fc43 / aarch64Observed Sep 1, 2026sha256 440410166baf…ff5d4ac8Source-reported digest

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

Source-reported digest (sha256): 440410166baf6569ddb5bf8a3e0f812a8ba51532e55f8a5aeaa8ff57ff5d4ac8

Verify download

printf '%s %s\n' '440410166baf6569ddb5bf8a3e0f812a8ba51532e55f8a5aeaa8ff57ff5d4ac8' 'gappa-1.6.1-1.fc43.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 updates aarch64

1.6.1-1.fc43 / x86_64Observed Sep 1, 2026sha256 fdc661144852…7f1251a8Source-reported digest

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

Source-reported digest (sha256): fdc661144852e7d87abbe826707fe9473e2d819accaab097658bed937f1251a8

Verify download

printf '%s %s\n' 'fdc661144852e7d87abbe826707fe9473e2d819accaab097658bed937f1251a8' 'gappa-1.6.1-1.fc43.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 updates x86_64

1.6.0-2.fc43 / aarch64Observed Sep 1, 2026sha256 aecc02649e6f…477223daSource-reported digest

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

Source-reported digest (sha256): aecc02649e6f4a8ddeff66a8a91353c363154236c345c46df6b1a314477223da

Verify download

printf '%s %s\n' 'aecc02649e6f4a8ddeff66a8a91353c363154236c345c46df6b1a314477223da' 'gappa-1.6.0-2.fc43.aarch64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything aarch64

1.6.0-2.fc43 / x86_64Observed Sep 1, 2026sha256 49aac7873b5b…0d854878Source-reported digest

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

Source-reported digest (sha256): 49aac7873b5b4ac2a7559471742a2a4164f774a5a0b2b92c5263cde80d854878

Verify download

printf '%s %s\n' '49aac7873b5b4ac2a7559471742a2a4164f774a5a0b2b92c5263cde80d854878' 'gappa-1.6.0-2.fc43.x86_64.rpm' | sha256sum --check --strict -

Field source: Fedora 43 Everything x86_64

Sources

  • Fedora 43 Everything aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Signature evidence

    43-everything-aarch64:6431612747d987257399969298151d19cfe87ed26322be6987e7b00cd0ae66a2

    Repository-signature verification record
    Signed-object SHA-256
    6c2a7b7225a6bd12acd5c95dcd0350a0a5929e195692ff68eb31db0ee6b9897b
    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable
  • Fedora 43 Everything x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Signature evidence

    43-everything-x86_64:eb1d8634a798b5cfcef64b0114711f431f2cd186b55cce902f1883a32c6ff4f2

    Repository-signature verification record
    Signed-object SHA-256
    42c0002750de6066124693fff143f4854c1e29474d893f7e6a7616012d41338f
    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable
  • Fedora 43 updates aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Signature evidence

    43-updates-aarch64:ac6921c749da1e864e0971122151b63bb17e427965b3d9f9312a07b49ff10cac

    Repository-signature verification record
    Signed-object SHA-256
    0af1807dead0a1d28599a942743e244fe57da21cf6a935b3e4155f4a3f1070a1
    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable
  • Fedora 43 updates x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Signature evidence

    43-updates-x86_64:d59481a1758810a842f6aaef03eff437442211002d934e2d10266183c629137a

    Repository-signature verification record
    Signed-object SHA-256
    3ae5fecc3db8c7b4ce0cf54a8ea572ed4694e7e132e201c2f6ab6570259d1061
    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable