diff options
| author | Roberto Oliveira <robertoguimaraes8@gmail.com> | 2017-07-03 23:49:12 +0000 |
|---|---|---|
| committer | Francesco Colista <fcolista@alpinelinux.org> | 2017-07-06 07:48:21 +0000 |
| commit | e471e6075c5fc51c7fb0634017f78b8b472a056b (patch) | |
| tree | b62bdcd36a45abae279fe87f4fb87476916e064e /community/gringo/APKBUILD | |
| parent | bb5627f1c242a499ce7f6e5e76f562a6fd2d7bc3 (diff) | |
| download | aports-e471e6075c5fc51c7fb0634017f78b8b472a056b.tar.bz2 aports-e471e6075c5fc51c7fb0634017f78b8b472a056b.tar.xz | |
community/gringo: upgrade to 4.5.4 and update project url
Diffstat (limited to 'community/gringo/APKBUILD')
| -rw-r--r-- | community/gringo/APKBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/community/gringo/APKBUILD b/community/gringo/APKBUILD index 042d6209ab..6c55fb8e72 100644 --- a/community/gringo/APKBUILD +++ b/community/gringo/APKBUILD @@ -1,10 +1,10 @@ # 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" |