# Generated by makepkg 5.2.1
# Mon Dec 16 22:59:05 UTC 2019
pkgbase = ppl
	pkgdesc = A modern library for convex polyhedra and other numerical abstractions
	pkgver = 1.2
	pkgrel = 4
	url = https://bugseng.com/products/ppl
	arch = x86_64
	license = GPL3
	makedepends = swi-prolog
	depends = glpk
	optdepends = swi-prolog: SWI Prolog interface
	options = !docs
	source = https://bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.gz
	validpgpkeys = 058E41DB299DE2DD0AC649CA881457CBB5944392
	sha256sums = 6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8

pkgname = ppl

