summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 2378fa1fdd2b7d08994391d11b1a75fe9e4a1bba (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 = 2
	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 = gprolog
	optdepends = scryer-prolog
	optdepends = trealla
	optdepends = eclipse-clp
	optdepends = bprolog
	optdepends = binprolog
	optdepends = poplog-git
	optdepends = tuprolog-repl
	optdepends = tau-prolog
	optdepends = dogelog-py
	optdepends = dogelog-node
	optdepends = dogelog-java
	optdepends = xsb-prolog
	source = git+https://github.com/hurufu/prolog-all.git
	sha256sums = SKIP

pkgname = prologs