Sun, 22 Dec 2024 04:11:31 UTC | login

Information for build qepcad-B-1.74-6.fc40

ID269091
Package Nameqepcad-B
Version1.74
Release6.fc40
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/qepcad-B.git#d9d8baebbcc54a0f4f79a9a0426bc5df3a6549ee
SummaryQuantifier elimination tool
DescriptionQEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. This is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction.
Built bydavidlt
State complete
Volume DEFAULT
StartedFri, 24 Nov 2023 16:17:19 UTC
CompletedFri, 24 Nov 2023 18:56:42 UTC
Taskbuild (f40, /rpms/qepcad-B.git:d9d8baebbcc54a0f4f79a9a0426bc5df3a6549ee)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/qepcad-B.git#d9d8baebbcc54a0f4f79a9a0426bc5df3a6549ee'}}
Tags
f40
RPMs
src
qepcad-B-1.74-6.fc40.src.rpm (info) (download)
riscv64
qepcad-B-1.74-6.fc40.riscv64.rpm (info) (download)
qepcad-B-debuginfo-1.74-6.fc40.riscv64.rpm (info) (download)
qepcad-B-debugsource-1.74-6.fc40.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Dec 13 2022 Jerry James <loganjerry@gmail.com> - 1.74-4 - Convert License tag to SPDX and correct it to ISC * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild