public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
From: Till Hofmann <thofmann@fedoraproject.org>
To: git-commits@fedoraproject.org
Subject: [rpms/clingo] f45: Update to 5.8.2
Date: Sat, 15 Aug 2026 06:45:31 GMT [thread overview]
Message-ID: <178677633181.1.2516182972012729025.rpms-clingo-03ba6bc0e537@fedoraproject.org> (raw)
A new commit has been pushed.
Repo : rpms/clingo
Branch : f45
Commit : 03ba6bc0e537be5295b5e966d5a46dfe51316cc4
Author : Till Hofmann <thofmann@fedoraproject.org>
Date : 2026-08-15T08:31:55+02:00
Stats : +3/-2 in 3 file(s)
URL : https://src.fedoraproject.org/rpms/clingo/c/03ba6bc0e537be5295b5e966d5a46dfe51316cc4?branch=f45
Log:
Update to 5.8.2
Assisted-by: Claude Opus 5 (Claude Code)
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
---
diff --git a/.gitignore b/.gitignore
index a1520fb..1241eae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,4 @@
/clingo-5.7.1.tar.gz
/clingo-5.8.0.tar.gz
/clingo-5.8.1.tar.gz
+/clingo-5.8.2.tar.gz
diff --git a/clingo.spec b/clingo.spec
index f61cf22..cc0a595 100644
--- a/clingo.spec
+++ b/clingo.spec
@@ -1,5 +1,5 @@
Name: clingo
-Version: 5.8.1
+Version: 5.8.2
Release: %autorelease
Summary: A grounder and solver for logic programs
diff --git a/sources b/sources
index 19d5359..75e8367 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (clingo-5.8.1.tar.gz) = a296afbe919f2a3a4039d99f98c8167dfd47ef0c30b6b63e5f1752dbf8958b80edc7fec49322009ccd7fb9cf4c0c50f527739f44a186c7b8dfd6e361e4b46471
+SHA512 (clingo-5.8.2.tar.gz) = 5b14487636198199b8db8621d3bd408ef7f9ee64c818568a3505aae56bb99a272ed2c1290c9bc59bfa3bfb43e0877cf968f4184e0d18abf86220627ce3d34099
reply other threads:[~2026-08-15 6:45 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=178677633181.1.2516182972012729025.rpms-clingo-03ba6bc0e537@fedoraproject.org \
--to=thofmann@fedoraproject.org \
--cc=git-commits@fedoraproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox