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

Information for build gappa-1.4.2-3.fc40

ID24350
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.fc40
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
StartedFri, 03 May 2024 08:56:41 CST
CompletedFri, 03 May 2024 09:16:16 CST
Taskbuild (f40, /rpms/gappa.git:e5fa8b433e856f047ff301c5eafd032ffb67fc58)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappa.git#e5fa8b433e856f047ff301c5eafd032ffb67fc58'}}
Tags
f40
RPMs
src
gappa-1.4.2-3.fc40.src.rpm (info) (download)
noarch
gappa-doc-1.4.2-3.fc40.noarch.rpm (info) (download)
riscv64
gappa-1.4.2-3.fc40.riscv64.rpm (info) (download)
gappa-debuginfo-1.4.2-3.fc40.riscv64.rpm (info) (download)
gappa-debugsource-1.4.2-3.fc40.riscv64.rpm (info) (download)
Logs
riscv64
state.log
hw_info.log
root.log
build.log
installed_pkgs.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