qepcad-B-1.74-9.fc41 | Build Info | ISCAS openkoji system

Click here to visit the old openkoji buildsystem (Archived)

Information for build qepcad-B-1.74-9.fc41

80131

Package Name

Links

Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem

Version

1.74

Release

9.fc41

Epoch

Draft

False

Source

git+https://src.fedoraproject.org/rpms/qepcad-B.git#7d45b0ecc5dd0c1901b351e3227a0d14f352456f

Summary

Quantifier elimination tool

Description

QEPCAD 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 by

kojiadmin

State

complete

Volume

DEFAULT

Started

Wed, 18 Sep 2024 23:11:07 CST

Completed

Thu, 19 Sep 2024 02:01:40 CST

Task

build (f41-build-side-1, /rpms/qepcad-B.git:7d45b0ecc5dd0c1901b351e3227a0d14f352456f)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/qepcad-B.git#7d45b0ecc5dd0c1901b351e3227a0d14f352456f'}}

Tags

f41

f41-build-side-1

RPMs

src
	qepcad-B-1.74-9.fc41.src.rpm (info) (download)
riscv64
	qepcad-B-1.74-9.fc41.riscv64.rpm (info) (download)
	qepcad-B-debuginfo-1.74-9.fc41.riscv64.rpm (info) (download)
	qepcad-B-debugsource-1.74-9.fc41.riscv64.rpm (info) (download)

Logs

riscv64
	state.log
	hw_info.log
	root.log
	build.log
	installed_pkgs.log
	mock_output.log

Changelog

* 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 * 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