blob: 5127b51dbd92fb2a7b6afdc3598f61930c31a0ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
pkgbase = dogelog
pkgdesc = The avant-garde of logic programming
pkgver = 1.3.0
pkgrel = 1
url = https://www.dogelog.ch/
changelog = ChangeLog
arch = any
license = custom
options = !strip
source = https://www.dogelog.ch/typtab/rscsrv/docs/50_archive/archive_1_3/dogelog_1_3_0.zip
source = https://www.xlog.ch/izytab/rscsrv/en/docs/25_recital/17_runtime.pdf
source = https://www.xlog.ch/izytab/rscsrv/en/docs/25_recital/81_conditions.pdf
sha256sums = 3d666dbd07e5caabd8b56296c45e4f05a4b0b292c460b93d9e5093aa3a6e8f96
sha256sums = ab0388caeda85ad41a4e19a096fb92cf319aaf7ead3041c27f4a4a264e9361b3
sha256sums = e00f26995e012646b0dffba4c4cdc604d87458b422b4f72aae6f382dff7ec5af
pkgname = dogelog-js
pkgdesc = The avant-garde of logic programming (JavaScript backend)
depends = dogelog-license
optdepends = nodejs>=22.11.0
optdepends = bun
provides = dogelog-package
replaces = dogelog-node
pkgname = dogelog-py
pkgdesc = The avant-garde of logic programming (Python backend)
depends = dogelog-license
optdepends = python3>=3.10.14
optdepends = pypy3
provides = dogelog-package
pkgname = dogelog-java
pkgdesc = The avant-garde of logic programming (Java backend)
depends = java-runtime>=21
depends = dogelog-license
provides = dogelog-package
pkgname = dogelog-license
pkgdesc = The avant-garde of logic programming (License agreement)
license =
pkgname = dogelog
pkgdesc = The avant-garde of logic programming (Shell wrapper)
license = GPL-2.0-or-later
depends = dogelog-package
optdepends = rlwrap
|