# Generated by makepkg 5.1.1
# Sat Nov 10 06:24:44 UTC 2018
pkgbase = ppl
	pkgdesc = A modern library for convex polyhedra and other numerical abstractions
	pkgver = 1.2
	pkgrel = 3
	url = http://bugseng.com/products/ppl
	arch = x86_64
	license = GPL3
	makedepends = swi-prolog
	depends = glpk
	optdepends = swi-prolog: SWI Prolog interface
	options = !docs
	source = http://bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.gz
	validpgpkeys = 058E41DB299DE2DD0AC649CA881457CBB5944392
	md5sums = 2b43339316a3139fd75c7e8ca7ddc201

pkgname = ppl

