fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build gappa-1.4.2-3.fc41

ID8140
Package Namegappa
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version1.4.2
Release3.fc41
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/gappa.git#e5fa8b433e856f047ff301c5eafd032ffb67fc58
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.
Built bykojiadmin
State complete
Volume DEFAULT
StartedWed, 01 May 2024 23:31:54 CST
CompletedWed, 01 May 2024 23:49:21 CST
Taskbuild (f41, /rpms/gappa.git:e5fa8b433e856f047ff301c5eafd032ffb67fc58)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappa.git#e5fa8b433e856f047ff301c5eafd032ffb67fc58'}}
Tags
f41
RPMs
src
gappa-1.4.2-3.fc41.src.rpm (info) (download)
noarch
gappa-doc-1.4.2-3.fc41.noarch.rpm (info) (download)
riscv64
gappa-1.4.2-3.fc41.riscv64.rpm (info) (download)
gappa-debuginfo-1.4.2-3.fc41.riscv64.rpm (info) (download)
gappa-debugsource-1.4.2-3.fc41.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
installed_pkgs.log
state.log
root.log
build.log
mock_output.log
noarch_rpmdiff.json
Changelog * 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