blob: 1166190b839d82e6dcefc9cf3d56500d87a22b94 (
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
|
pkgbase = prologs
pkgdesc = Test your Prolog program against different engines
pkgver = 0.1
pkgrel = 3
url = https://github.com/hurufu/prolog-all
arch = x86_64
arch = i686
depends = make
optdepends = remake: For time profiling
optdepends = swi-prolog
optdepends = ciao-lang
optdepends = cs-prolog
optdepends = gprolog
optdepends = scryer-prolog
optdepends = trealla
optdepends = eclipse-clp
optdepends = bprolog
optdepends = binprolog
optdepends = poplog-git
optdepends = tuprolog-repl
optdepends = tau-prolog
optdepends = dogelog
optdepends = xsb-prolog
optdepends = yap
source = git+https://github.com/hurufu/prolog-all.git
sha256sums = SKIP
pkgname = prologs
|