clingo-5.8.0-7.fc44 | Build Info | ISCAS openkoji system

Information for build clingo-5.8.0-7.fc44

199134

Package Name

Links

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

Version

5.8.0

Release

7.fc44

Epoch

Draft

False

Source

git+https://src.fedoraproject.org/rpms/clingo.git#42508b5477bb0e15ea7c666f2fec72dc97151225

Summary

A grounder and solver for logic programs

Description

Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem.

Built by

zhangsongsong

State

complete

Volume

DEFAULT

Started

Tue, 07 Apr 2026 03:14:37 CST

Completed

Tue, 07 Apr 2026 03:31:52 CST

Task

build (f44, /rpms/clingo.git:42508b5477bb0e15ea7c666f2fec72dc97151225)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/clingo.git#42508b5477bb0e15ea7c666f2fec72dc97151225'}}

Tags

f44

RPMs

src
	clingo-5.8.0-7.fc44.src.rpm (info) (download)
riscv64
	clingo-5.8.0-7.fc44.riscv64.rpm (info) (download)
	clingo-devel-5.8.0-7.fc44.riscv64.rpm (info) (download)
	lua-clingo-5.8.0-7.fc44.riscv64.rpm (info) (download)
	python3-clingo-5.8.0-7.fc44.riscv64.rpm (info) (download)
	clingo-debuginfo-5.8.0-7.fc44.riscv64.rpm (info) (download)
	clingo-debugsource-5.8.0-7.fc44.riscv64.rpm (info) (download)
	lua-clingo-debuginfo-5.8.0-7.fc44.riscv64.rpm (info) (download)
	python3-clingo-debuginfo-5.8.0-7.fc44.riscv64.rpm (info) (download)

Logs

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

Changelog

* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Sep 19 2025 Python Maint <python-maint@redhat.com> - 5.8.0-5 - Rebuilt for Python 3.14.0rc3 bytecode * Fri Aug 15 2025 Python Maint <python-maint@redhat.com> - 5.8.0-4 - Rebuilt for Python 3.14.0rc2 bytecode * Sun Aug 10 2025 Till Hofmann <thofmann@fedoraproject.org> - 5.8.0-3 - Consistently use standard %cmake_* macros * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.8.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Thu Jul 03 2025 Till Hofmann <thofmann@fedoraproject.org> - 5.8.0-1 - Update to 5.8.0 * Tue Jun 03 2025 Python Maint <python-maint@redhat.com> - 5.7.1-3 - Rebuilt for Python 3.14 * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.7.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Sun Aug 11 2024 Till Hofmann <thofmann@fedoraproject.org> - 5.7.1-1 - Update to 5.7.1 * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 5.6.2-10 - Rebuilt for Python 3.13 * Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 5.6.2-9 - Rebuilt for Python 3.13 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild