python-pycosat-0.6.6-3.oc9 | Build Info

Information for build python-pycosat-0.6.6-3.oc9

40686

Package Name

python-pycosat

Version

0.6.6

Release

3.oc9

Epoch

Draft

False

Source

git+https://gitee.com/opencloudos-stream/python-pycosat.git?.#c5a0a08b46d7526cfd0b8ed7120e1ad348e46ead

Summary

Python bindings to picosat (a SAT solver)

Description

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.

Built by

bbrucezhang

State

complete

Volume

DEFAULT

Started

Sat, 14 Jun 2025 00:48:27 CST

Completed

Sat, 14 Jun 2025 00:53:01 CST

Task

build (dist-oc9-epol, /opencloudos-stream/python-pycosat.git:.:origin/master)

Extra

{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/python-pycosat.git?.#origin/master'}}

Tags

dist-oc9-epol

dist-oc9-epol-compose

epol9-test-compose

RPMs

src
	python-pycosat-0.6.6-3.oc9.src.rpm (info) (download)
aarch64
	python3-pycosat-0.6.6-3.oc9.aarch64.rpm (info) (download)
	python-pycosat-debugsource-0.6.6-3.oc9.aarch64.rpm (info) (download)
	python3-pycosat-debuginfo-0.6.6-3.oc9.aarch64.rpm (info) (download)
loongarch64
	python3-pycosat-0.6.6-3.oc9.loongarch64.rpm (info) (download)
	python-pycosat-debugsource-0.6.6-3.oc9.loongarch64.rpm (info) (download)
	python3-pycosat-debuginfo-0.6.6-3.oc9.loongarch64.rpm (info) (download)
x86_64
	python3-pycosat-0.6.6-3.oc9.x86_64.rpm (info) (download)
	python-pycosat-debugsource-0.6.6-3.oc9.x86_64.rpm (info) (download)
	python3-pycosat-debuginfo-0.6.6-3.oc9.x86_64.rpm (info) (download)

Logs

x86_64
	dnf.rpm.log
	build.log
	dnf.librepo.log
	hw_info.log
	dnf.log
	mock_output.log
	state.log
	root.log
	installed_pkgs.log
	mock_config.log
aarch64
	state.log
	build.log
	installed_pkgs.log
	root.log
	dnf.librepo.log
	dnf.rpm.log
	dnf.log
	mock_output.log
	hw_info.log
	mock_config.log
loongarch64
	state.log
	build.log
	root.log
	hw_info.log
	installed_pkgs.log
	mock_output.log

Changelog

* Wed Jun 11 2025 bbrucezhang <bbrucezhang@tencent.com> - 0.6.6-3 - Rebuilt for loongarch64 * Fri Aug 16 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.6.6-2 - Rebuilt for loongarch release * Mon Dec 11 2023 Shuo Wang <abushwang@tencent.com> - 0.6.6-1 - initial build

Main Site Links:

Information for build python-pycosat-0.6.6-3.oc9