cadical-1.5.2-3.fc37 | Build Info

Information for build cadical-1.5.2-3.fc37

218884

Package Name

cadical

Version

1.5.2

Release

3.fc37

Epoch

Source

git+https://src.fedoraproject.org/rpms/cadical.git#bdf55967dd19030da1c2157d2a1d494e9be47113

Summary

Simplified SAT solver

Description

CaDiCaL is a simplified Satisfiability solver. The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Thu, 10 Nov 2022 11:04:21 UTC

Completed

Thu, 10 Nov 2022 12:48:17 UTC

Task

build (f37, /rpms/cadical.git:bdf55967dd19030da1c2157d2a1d494e9be47113)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cadical.git#bdf55967dd19030da1c2157d2a1d494e9be47113'}}

Tags

f37

f38

RPMs

src
	cadical-1.5.2-3.fc37.src.rpm (info) (download)
riscv64
	cadical-1.5.2-3.fc37.riscv64.rpm (info) (download)
	cadical-devel-1.5.2-3.fc37.riscv64.rpm (info) (download)
	cadical-libs-1.5.2-3.fc37.riscv64.rpm (info) (download)
	cadical-debuginfo-1.5.2-3.fc37.riscv64.rpm (info) (download)
	cadical-debugsource-1.5.2-3.fc37.riscv64.rpm (info) (download)
	cadical-libs-debuginfo-1.5.2-3.fc37.riscv64.rpm (info) (download)

Logs

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

Changelog

* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.2-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Oct 28 2021 Jerry James <loganjerry@gmail.com> - 1:1.5.2-1 - Version 1.5.2 * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Jun 21 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.1-1 - Version 1.4.1 * Sun Feb 14 2021 Jerry James <loganjerry@gmail.com> - 1:1.4.0-1 - Version 1.4.0 * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.3.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Aug 03 2020 Jerry James <loganjerry@gmail.com> - 1:1.3.0-1 - Version 1.3.0 * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.2.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Main Site Links:

Information for build cadical-1.5.2-3.fc37