.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

pkgbase = pakcs
	pkgdesc = The Portland Aachen Kiel Curry System
	pkgver = 3.3.0
	pkgrel = 3
	url = https://www.informatik.uni-kiel.de/~pakcs/index.html
	install = pakcs.install
	arch = x86_64
	license = custom:PAKCS License
	makedepends = stack
	makedepends = texlive-core
	depends = swi-prolog
	optdepends = rlwrap: for command line editing and history functionality
	source = https://www.informatik.uni-kiel.de/~pakcs/download/pakcs-3.3.0-src.tar.gz
	source = skip_dir_check.patch
	md5sums = 85365437d1121fb3a79262f3fa0f7bd6
	md5sums = 76bdf92b29451a2983c4d9082ded5a2e

pkgname = pakcs