From 1a1815b5514ee3aef767e33cda77bf7fd1995a91 Mon Sep 17 00:00:00 2001
From: prspkt <prspkt@protonmail.com>
Date: Sat, 8 May 2021 23:05:38 +0300
Subject: [PATCH] community/clingo: upgrade to 5.5.0
---
community/clingo/APKBUILD | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/community/clingo/APKBUILD b/community/clingo/APKBUILD
index a9de86d897e8..2e64a443b030 100644
--- a/community/clingo/APKBUILD
+++ b/community/clingo/APKBUILD
@@ -1,9 +1,9 @@
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
# Maintainer:
pkgname=clingo
-pkgver=5.4.1
-pkgrel=1
-pkgdesc="grounder and solver for logic programs"
+pkgver=5.5.0
+pkgrel=0
+pkgdesc="Grounder and solver for logic programs"
url="https://potassco.org/clingo/"
arch="all"
license="MIT"
@@ -38,4 +38,6 @@ py() {
mv "$pkgdir"/usr/lib/python* "$subpkgdir"/usr/lib/
}
-sha512sums="85954ef28406a2bc8b54bd46cce6dba24c00541e1fde55779b898373bc96c08ca19cb53d909337772621e79e198b68d10753f32a9f709ac681723a370f284f33 clingo-5.4.1.tar.gz"
+sha512sums="
+c5cc71be081f93bb1322ef018bf9eac024f872dc0f149b340370a40e4b0533b9345316ad259d7664a98fad4fab248e3decf535d393052971a3cd9cf6daa707c5 clingo-5.5.0.tar.gz
+"
--
GitLab