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] f43: Update to 5.8.1
Date: Wed, 05 Aug 2026 06:30:34 GMT	[thread overview]
Message-ID: <178591143408.1.11318899551869925369.rpms-clingo-6421356fdb19@fedoraproject.org> (raw)

            A new commit has been pushed.

            Repo   : rpms/clingo
            Branch : f43
            Commit : 6421356fdb198f1e64dffc2077be79bd4490bce9
            Author : Till Hofmann <thofmann@fedoraproject.org>
            Date   : 2026-08-05T08:30:26+02:00
            Stats  : +3/-2 in 3 file(s)
            URL    : https://src.fedoraproject.org/rpms/clingo/c/6421356fdb198f1e64dffc2077be79bd4490bce9?branch=f43

            Log:
            Update to 5.8.1

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 e5129cf..a1520fb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@
 /clingo-5.6.2.tar.gz
 /clingo-5.7.1.tar.gz
 /clingo-5.8.0.tar.gz
+/clingo-5.8.1.tar.gz

diff --git a/clingo.spec b/clingo.spec
index bf12439..f61cf22 100644
--- a/clingo.spec
+++ b/clingo.spec
@@ -1,5 +1,5 @@
 Name:       clingo
-Version:    5.8.0
+Version:    5.8.1
 Release:    %autorelease
 Summary:    A grounder and solver for logic programs
 

diff --git a/sources b/sources
index 4bcdbd2..19d5359 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (clingo-5.8.0.tar.gz) = 00fa597c5519419fc84240007c2052556048ceb7a7dc289629e2575bcbe37ce8deaf631f5298306ca9fda6b17650d64fb2c9fe4e9a149aeebdddc38be95b6f10
+SHA512 (clingo-5.8.1.tar.gz) = a296afbe919f2a3a4039d99f98c8167dfd47ef0c30b6b63e5f1752dbf8958b80edc7fec49322009ccd7fb9cf4c0c50f527739f44a186c7b8dfd6e361e4b46471

                 reply	other threads:[~2026-08-05  6:30 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=178591143408.1.11318899551869925369.rpms-clingo-6421356fdb19@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