Commit e471e607 authored by Roberto Oliveira's avatar Roberto Oliveira Committed by Francesco Colista

community/gringo: upgrade to 4.5.4 and update project url

parent bb5627f1
# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
pkgname=gringo
pkgver=4.5.3
pkgver=4.5.4
pkgrel=0
pkgdesc="Grounder to translate user-provided logic programs"
url="http://potassco.sourceforge.net/"
url="https://potassco.org/"
arch="all"
license="LGPL3"
depends=""
......@@ -28,5 +28,5 @@ package() {
done
}
sha512sums="b3e00cd2adc359874aa7c39afa01617dccf4e1600055004cacd094e1a6fb705a403e77a5801bb12f9f9a873a11692b6e5b9228e554d30509c0f60af24410215f gringo-4.5.3-source.tar.gz
sha512sums="0b227f5a639eda512382b4b17adcacb394e010a7297c7cac379ee08679ce60299c6091f272472f376c40f935e8e956b181af83b5bc0a12d881a5bd7211b1dcf7 gringo-4.5.4-source.tar.gz
426b9d578bfa3a8b10963f5084b2f9879c20b9843795518c484335e51c5de2b62b8d69fb96be829c015511d30d428af1ef3cdfa0b9cc3cfb1fac2581eb60f236 010_include_cmath.patch"
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment