Sat, 04 May 2024 21:52:42 UTC | login

Information for build clingo-5.6.1-1.fc37

ID204731
Package Nameclingo
Version5.6.1
Release1.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/clingo.git#725ac120d435e4fec1411201b7c5a0f4ba2931ef
SummaryA grounder and solver for logic programs
DescriptionClingo 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 bychurchyard
State complete
Volume DEFAULT
StartedWed, 21 Sep 2022 09:40:22 UTC
CompletedWed, 21 Sep 2022 10:32:02 UTC
Taskbuild (f37, /rpms/clingo.git:725ac120d435e4fec1411201b7c5a0f4ba2931ef)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/clingo.git#725ac120d435e4fec1411201b7c5a0f4ba2931ef'}}
Tags
f37
f38
RPMs
src
clingo-5.6.1-1.fc37.src.rpm (info) (download)
riscv64
clingo-5.6.1-1.fc37.riscv64.rpm (info) (download)
clingo-devel-5.6.1-1.fc37.riscv64.rpm (info) (download)
lua-clingo-5.6.1-1.fc37.riscv64.rpm (info) (download)
python3-clingo-5.6.1-1.fc37.riscv64.rpm (info) (download)
clingo-debuginfo-5.6.1-1.fc37.riscv64.rpm (info) (download)
clingo-debugsource-5.6.1-1.fc37.riscv64.rpm (info) (download)
lua-clingo-debuginfo-5.6.1-1.fc37.riscv64.rpm (info) (download)
python3-clingo-debuginfo-5.6.1-1.fc37.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Wed Sep 21 2022 Fedora Project - 5.6.1-1.fc37 - local build