qepcad-B-1.72-4.fc31.rvre0 | Build Info

Information for build qepcad-B-1.72-4.fc31.rvre0

107453

Package Name

qepcad-B

Version

1.72

Release

4.fc31.rvre0

Epoch

Source

git+http://fedora-riscv.tranquillity.se:3000/rpms/qepcad-B.git#ce1727f93fdb92a3252f9bc502ef8d029f867772

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

Wed, 31 Jul 2019 05:50:35 UTC

Completed

Wed, 31 Jul 2019 15:53:05 UTC

Task

build (f31-candidate, /rpms/qepcad-B.git:ce1727f93fdb92a3252f9bc502ef8d029f867772)

Extra

{'source': {'original_url': 'git+http://fedora-riscv.tranquillity.se:3000/rpms/qepcad-B.git#ce1727f93fdb92a3252f9bc502ef8d029f867772'}}

Tags

f31

RPMs

src
	qepcad-B-1.72-4.fc31.rvre0.src.rpm (info) (download)
riscv64
	qepcad-B-1.72-4.fc31.rvre0.riscv64.rpm (info) (download)
	qepcad-B-debuginfo-1.72-4.fc31.rvre0.riscv64.rpm (info) (download)
	qepcad-B-debugsource-1.72-4.fc31.rvre0.riscv64.rpm (info) (download)

Logs

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

Changelog

* Tue Jul 30 2019 David Abdurachmanov <david.abdurachmanov@sifive.com> - 1.72-4.fc30.rvre0 - Rebuilt for Fedora RISCV, no changes * Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.72-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 17 2019 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 1.72-3 - Rebuild for readline 8.0 * Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.72-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Wed Aug 29 2018 Jerry James <loganjerry@gmail.com> - 1.72-1 - New upstream version - Updated URLs * Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.69-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.69-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.69-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild

Main Site Links:

Information for build qepcad-B-1.72-4.fc31.rvre0