[rpms/clingo] f44: Update to 5.8.1

[rpms/clingo] f44: Update to 5.8.1

[Till Hofmann]

            A new commit has been pushed.

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

            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