Tue, 20 Oct 2026 18:13:41 UTC | login

Information for build gappa-1.8.2-1.fc45

ID3081
Package Namegappa
Version1.8.2
Release1.fc45
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/gappa.git#554cdf71143fdee50d62f50de7412c1d28b65714
SummaryProve programs with floating-point or fixed-point arithmetic
DescriptionGappa 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.
git:https://gitlab.inria.fr/gappa/gappa.git
Built byguoguo
State complete
Volume DEFAULT
StartedTue, 13 Oct 2026 21:34:55 UTC
CompletedTue, 13 Oct 2026 21:39:41 UTC
Taskbuild (f45, /rpms/gappa.git:554cdf71143fdee50d62f50de7412c1d28b65714)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappa.git#554cdf71143fdee50d62f50de7412c1d28b65714'}}
Tags
f45
RPMs
src
gappa-1.8.2-1.fc45.src.rpm (info) (download)
noarch
gappa-doc-1.8.2-1.fc45.noarch.rpm (info) (download)
riscv64
gappa-1.8.2-1.fc45.riscv64.rpm (info) (download)
gappa-debuginfo-1.8.2-1.fc45.riscv64.rpm (info) (download)
gappa-debugsource-1.8.2-1.fc45.riscv64.rpm (info) (download)
Logs
riscv64
mock_config.log
state.log
build.log
root.log
dnf5.log
noarch_rpmdiff.json
mock_output.log
hw_info.log
installed_pkgs.log
Changelog * Thu Jul 23 2026 Jerry James <loganjerry@gmail.com> - 1.8.2-1 - Version 1.8.2 * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.8.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Fri Jun 26 2026 Jerry James <loganjerry@gmail.com> - 1.8.1-1 - Version 1.8.1 - Regenerate lex & yacc files * Fri May 15 2026 Jerry James <loganjerry@gmail.com> - 1.8.0-1 - Version 1.8.0 * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 1.7.0-1 - Version 1.7.0 * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.6.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Tue Oct 14 2025 Jerry James <loganjerry@gmail.com> - 1.6.1-1 - Version 1.6.1 * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.6.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Wed Feb 26 2025 Jerry James <loganjerry@gmail.com> - 1.6.0-1 - Version 1.6.0 * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jan 16 2025 Jerry James <loganjerry@gmail.com> - 1.5.0-1 - Version 1.5.0