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

Шляхи файлів пакета (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

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати Fedora 43 у браузеріЗібрати образ, що містить gappa

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

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

Відомі вразливості

У відстежуваних джерелах немає відповідних повідомлень.

Остання синхронізація:

[Каталог CVE]

Контрольні суми

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

1.6.1-1.fc43 / aarch64Спостережено Sep 1, 2026sha256 440410166baf…ff5d4ac8Контрольна сума джерела

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

Контрольна сума джерела (sha256): 440410166baf6569ddb5bf8a3e0f812a8ba51532e55f8a5aeaa8ff57ff5d4ac8

Перевірити завантаження

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_64Спостережено Sep 1, 2026sha256 fdc661144852…7f1251a8Контрольна сума джерела

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

Контрольна сума джерела (sha256): fdc661144852e7d87abbe826707fe9473e2d819accaab097658bed937f1251a8

Перевірити завантаження

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 / aarch64Спостережено Sep 1, 2026sha256 aecc02649e6f…477223daКонтрольна сума джерела

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

Контрольна сума джерела (sha256): aecc02649e6f4a8ddeff66a8a91353c363154236c345c46df6b1a314477223da

Перевірити завантаження

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_64Спостережено Sep 1, 2026sha256 49aac7873b5b…0d854878Контрольна сума джерела

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

Контрольна сума джерела (sha256): 49aac7873b5b4ac2a7559471742a2a4164f774a5a0b2b92c5263cde80d854878

Перевірити завантаження

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

Field source: Fedora 43 Everything x86_64

Джерела

  • Fedora 43 Everything aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified

    Доказ підпису

    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

    Доказ підпису

    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

    Доказ підпису

    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

    Доказ підпису

    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