Skip to content
Snippets Groups Projects
Commit 1a1815b5 authored by prspkt's avatar prspkt
Browse files

community/clingo: upgrade to 5.5.0

parent 3988783a
No related branches found
No related tags found
1 merge request!21250community/clingo: upgrade to 5.5.0
# Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net> # Contributor: Sören Tempel <soeren+alpine@soeren-tempel.net>
# Maintainer: # Maintainer:
pkgname=clingo pkgname=clingo
pkgver=5.4.1 pkgver=5.5.0
pkgrel=1 pkgrel=0
pkgdesc="grounder and solver for logic programs" pkgdesc="Grounder and solver for logic programs"
url="https://potassco.org/clingo/" url="https://potassco.org/clingo/"
arch="all" arch="all"
license="MIT" license="MIT"
...@@ -38,4 +38,6 @@ py() { ...@@ -38,4 +38,6 @@ py() {
mv "$pkgdir"/usr/lib/python* "$subpkgdir"/usr/lib/ mv "$pkgdir"/usr/lib/python* "$subpkgdir"/usr/lib/
} }
sha512sums="85954ef28406a2bc8b54bd46cce6dba24c00541e1fde55779b898373bc96c08ca19cb53d909337772621e79e198b68d10753f32a9f709ac681723a370f284f33 clingo-5.4.1.tar.gz" sha512sums="
c5cc71be081f93bb1322ef018bf9eac024f872dc0f149b340370a40e4b0533b9345316ad259d7664a98fad4fab248e3decf535d393052971a3cd9cf6daa707c5 clingo-5.5.0.tar.gz
"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment