blob: 86221054d31e5ed027fb1834cd04cb36a4e3f805 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
pkgbase = tuprolog-repl
pkgdesc = A Kotlin Multi-Platform ecosystem for symbolic AI (REPL)
pkgver = 1.0.4
pkgrel = 1
url = https://tuprolog.unibo.it
arch = any
license = Apache-2.0
depends = java-runtime
options = !strip
source = https://github.com/tuProlog/2p-kt/releases/download/1.0.4/2p-repl-1.0.4-redist.jar
sha256sums = 9b7055100b6f297247f8e57f648941ab1b85d9d97ce37f90bc05507af5893b3c
pkgname = tuprolog-repl
|