qepcad-B-1.74-4.fc37 | Build Info

Information for build qepcad-B-1.74-4.fc37

216303

Package Name

qepcad-B

Version

1.74

Release

4.fc37

Epoch

Source

git+https://src.fedoraproject.org/rpms/qepcad-B.git#6e46ba65f4b588f553dfd410af5e74658662dd3b

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

davidlt

State

complete

Volume

DEFAULT

Started

Sat, 05 Nov 2022 09:56:40 UTC

Completed

Sat, 05 Nov 2022 13:02:26 UTC

Task

build (f37, /rpms/qepcad-B.git:6e46ba65f4b588f553dfd410af5e74658662dd3b)

Extra

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

Tags

f37

f38

RPMs

src
	qepcad-B-1.74-4.fc37.src.rpm (info) (download)
riscv64
	qepcad-B-1.74-4.fc37.riscv64.rpm (info) (download)
	qepcad-B-debuginfo-1.74-4.fc37.riscv64.rpm (info) (download)
	qepcad-B-debugsource-1.74-4.fc37.riscv64.rpm (info) (download)

Logs

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

Changelog

* 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 * Tue Mar 02 2021 Jerry James <loganjerry@gmail.com> - 1.74-1 - Version 1.74 * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.72-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.72-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Main Site Links:

Information for build qepcad-B-1.74-4.fc37