summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorGiovanni Ciatto2021-06-28 16:26:15 +0200
committerGiovanni Ciatto2021-06-28 16:26:15 +0200
commit093ea35068d2887c7f7e7acfda50d0f66d650b32 (patch)
treea15a459275ed8d7bbb6317ab62e5f61a402d2213
parent72dfee960be7fc88ad367a68d2c092f1d0a0b027 (diff)
downloadaur-093ea35068d2887c7f7e7acfda50d0f66d650b32.tar.gz
up to 0.17.4
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD4
2 files changed, 6 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3c719a51c34d..c31754b29d02 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = 2p-kt
pkgdesc = A Kotlin Multi-Platform ecosystem for symbolic AI
- pkgver = 0.17.3
+ pkgver = 0.17.4
pkgrel = 1
url = https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin
arch = any
@@ -8,9 +8,9 @@ pkgbase = 2p-kt
makedepends = gendesk
depends = java-runtime
depends = bash
- noextract = 2p-kt-0.17.3.tar.gz
- source = 2p-kt-0.17.3.jar::https://github.com/tuProlog/2p-kt/releases/download/0.17.3/2p-repl-0.17.3-redist.jar
- sha256sums = 2fe08e050582032a88788aa8bef8d4d7e294bee0d70b2c1a322364d60e189888
+ noextract = 2p-kt-0.17.4.tar.gz
+ source = 2p-kt-0.17.4.jar::https://github.com/tuProlog/2p-kt/releases/download/0.17.4/2p-repl-0.17.4-redist.jar
+ sha256sums = defbb036918e98fcd53f06669f7463411e3965d55c693205ea22639b5b4dd4e5
pkgname = 2p-kt
diff --git a/PKGBUILD b/PKGBUILD
index 7a37d8a22f75..6b2486737484 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Dimitris Kiziridis <ragouel at outlook dot com>
pkgname=2p-kt
-pkgver=0.17.3
+pkgver=0.17.4
pkgrel=1
pkgdesc='A Kotlin Multi-Platform ecosystem for symbolic AI'
arch=('any')
@@ -11,7 +11,7 @@ depends=('java-runtime' 'bash')
makedepends=('gendesk')
source=("${pkgname}-${pkgver}.jar::https://github.com/tuProlog/2p-kt/releases/download/${pkgver}/2p-repl-${pkgver}-redist.jar")
noextract=("${pkgname}-${pkgver}.tar.gz")
-sha256sums=('2fe08e050582032a88788aa8bef8d4d7e294bee0d70b2c1a322364d60e189888')
+sha256sums=('defbb036918e98fcd53f06669f7463411e3965d55c693205ea22639b5b4dd4e5')
package() {
echo "#!/bin/sh