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

Information for build qepcad-B-1.74-11.fc43

ID142349
Package Nameqepcad-B
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version1.74
Release11.fc43
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/qepcad-B.git#f82054bbeb1728ec3824705d62d68805ba0d5c17
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 byzhangsongsong
State complete
Volume DEFAULT
StartedSun, 24 Aug 2025 19:23:12 CST
CompletedSun, 24 Aug 2025 22:33:17 CST
Taskbuild (f43, /rpms/qepcad-B.git:f82054bbeb1728ec3824705d62d68805ba0d5c17)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/qepcad-B.git#f82054bbeb1728ec3824705d62d68805ba0d5c17'}}
Tags
f43
RPMs
src
qepcad-B-1.74-11.fc43.src.rpm (info) (download)
riscv64
qepcad-B-1.74-11.fc43.riscv64.rpm (info) (download)
qepcad-B-debuginfo-1.74-11.fc43.riscv64.rpm (info) (download)
qepcad-B-debugsource-1.74-11.fc43.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
installed_pkgs.log
state.log
root.log
dnf5.log
build.log
mock_output.log
mock_config.log
Changelog * Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Sat Jan 18 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jul 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Wed Jul 17 2024 Jerry James <loganjerry@gmail.com> - 1.74-8 - Stop building for 32-bit x86 - Minor spec file simplifications * Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.74-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild