Sun, 22 Dec 2024 04:01:04 UTC | login

Information for build gappa-1.4.2-4.fc41

ID322106
Package Namegappa
Version1.4.2
Release4.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gappa.git#b9a60474d157f1aa660a0640f24d35251210898d
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 bydavidlt
State complete
Volume DEFAULT
StartedWed, 24 Jul 2024 12:14:52 UTC
CompletedWed, 24 Jul 2024 12:29:05 UTC
Taskbuild (f41, /rpms/gappa.git:b9a60474d157f1aa660a0640f24d35251210898d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappa.git#b9a60474d157f1aa660a0640f24d35251210898d'}}
Tags
f41
f42
RPMs
src
gappa-1.4.2-4.fc41.src.rpm (info) (download)
noarch
gappa-doc-1.4.2-4.fc41.noarch.rpm (info) (download)
riscv64
gappa-1.4.2-4.fc41.riscv64.rpm (info) (download)
gappa-debuginfo-1.4.2-4.fc41.riscv64.rpm (info) (download)
gappa-debugsource-1.4.2-4.fc41.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 1.4.2-1 - Version 1.4.2 - New URLs * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Aug 10 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-1 - Version 1.4.1 - Use SPDX license names - Add a doc subpackage * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild