Thu, 12 Nov 2026 00:47:18 UTC Log in

gappa-1.8.2-1.fc45.riscv64.rpm

riscv64
Prove programs with floating-point or fixed-point arithmetic 313.82 KB built 2026-10-13 21:37:39 GMT
Build 3081

Description

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.

Dependencies

32 total
Requires30
  • ld-linux-riscv64-lp64d.so.1()(64bit)
  • ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
  • libc.so.6()(64bit)
  • libc.so.6(GLIBC_2.27)(64bit)
  • libc.so.6(GLIBC_2.34)(64bit)
  • libc.so.6(GLIBC_2.38)(64bit)
  • libgcc_s.so.1()(64bit)
  • libgcc_s.so.1(GCC_3.0)(64bit)
  • libgmp.so.10()(64bit)
  • libm.so.6()(64bit)
  • libm.so.6(GLIBC_2.27)(64bit)
  • libmpfr.so.6()(64bit)
  • libstdc++.so.6()(64bit)
  • libstdc++.so.6(CXXABI_1.3)(64bit)
  • libstdc++.so.6(CXXABI_1.3.15)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
  • libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(FileDigests) <= 4.6.0-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsZstd) <= 5.4.18-1
  • rtld(GNU_HASH)
Provides2
  • gappa = 1.8.2-1.fc45
  • gappa(riscv-64) = 1.8.2-1.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

10
Name ascending sort Size
/usr/bin/gappa 658.20 KB
/usr/lib/.build-id 0.00 B
/usr/lib/.build-id/b1 0.00 B
/usr/lib/.build-id/b1/29b80212d893e51874a98ee93579ef0488226b 25.00 B
/usr/share/doc/gappa 0.00 B
/usr/share/doc/gappa/NEWS.md 20.40 KB
/usr/share/doc/gappa/README.md 614.00 B
/usr/share/licenses/gappa 0.00 B
/usr/share/licenses/gappa/COPYING 21.27 KB
/usr/share/licenses/gappa/COPYING.GPL 34.33 KB
Files 1–10 of 10

Component of

buildroots that installed this RPM

No Buildroots