%FILENAME%
ppl-1.2-4-x86_64.pkg.tar.xz

%NAME%
ppl

%BASE%
ppl

%VERSION%
1.2-4

%DESC%
A modern library for convex polyhedra and other numerical abstractions

%CSIZE%
3130288

%ISIZE%
16941817

%SHA256SUM%
7fe14f33b9f1f11db00cc023e285d83d8b74e16eb5737355daa2203a0721c5e3

%URL%
https://bugseng.com/products/ppl

%LICENSE%
GPL3

%ARCH%
x86_64

%BUILDDATE%
1576528555

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
glpk

%OPTDEPENDS%
swi-prolog: SWI Prolog interface

%MAKEDEPENDS%
swi-prolog

