Sun, 22 Dec 2024 03:46:40 UTC | login

Information for build gappa-1.4.1-3.fc40

ID275021
Package Namegappa
Version1.4.1
Release3.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gappa.git#76be015c68c3790611e2304a5b87c77cb11ea061
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 bydavidlt
State complete
Volume DEFAULT
StartedWed, 06 Dec 2023 22:53:07 UTC
CompletedThu, 07 Dec 2023 04:50:09 UTC
Taskbuild (f40, /rpms/gappa.git:76be015c68c3790611e2304a5b87c77cb11ea061)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappa.git#76be015c68c3790611e2304a5b87c77cb11ea061'}}
Tags
f40
RPMs
src
gappa-1.4.1-3.fc40.src.rpm (info) (download)
noarch
gappa-doc-1.4.1-3.fc40.noarch.rpm (info) (download)
riscv64
gappa-1.4.1-3.fc40.riscv64.rpm (info) (download)
gappa-debuginfo-1.4.1-3.fc40.riscv64.rpm (info) (download)
gappa-debugsource-1.4.1-3.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * 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 * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Tue Oct 19 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-1 - Version 1.4.0 - Drop upstreamed -gcc11 patch * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.5-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild